| The Z3 Theorem Prover 34 points by benoitg | 2 Comments |
| How I block all online ads 355 points by StrLght | 287 Comments |
| GitHub no longer uses Toasts 127 points by samsolomon | 67 Comments |
| Is P=NP? 10 points by adlrocha | 16 Comments |
| Twelve Days of Shell 258 points by zoidb | 86 Comments |