 |
Post AvuOjqoi33LB5yiW24 by [email protected] |
 |
More posts by [email protected] |
|
Post #Avu5RAqpRIG8bD5Zcu by [email protected] |
|
0 likes, 1 repeats |
|
|
|
CTF protip: the Mersenne Twister is completely linear over GF(2), you can just … |
|
|
|
Post #AvuH6vxmHVZM5ESEtM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mei i'm surprised sat solvers don't handle linear algebra automatically |
|
|
|
Post #AvuH6w4VsSxOQ7bcOG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@dramforever @mei well, sat solvers would have to reverse-engineer the expressi… |
|
|
|
Post #AvuNqvWCrmLfkYs9xY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@whitequark @dramforever @mei yeah, i always throw linear algebra in ctfs at z3… |
|
|
|
Post #AvuOjqoi33LB5yiW24 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@whitequark @mei i suppose there isn't an obvious way xor gets simpler for … |
