| GPT-5.2 1190 points by atgctg | 1076 Comments |
| Lean theorem prover mathlib 83 points by downboots | 4 Comments |
| Generative Optogenetics 54 points by birriel | 18 Comments |
| The Laffer Curve in Action 8 points by freespirt | 13 Comments |
| Z3 Internals (Draft) 5 points by vismit2000 | 0 Comments |