Rust needed its FastAPI moment. So I built it.
fastrs — validation, OpenAPI docs, and routing that generate themselves from your types. Zero runtime cost, because it all happens at compile time.
“That fits the margin”
This was in reference to a letter of euler that he claimed to have the proof to a problem but the proof won’t fit in the margin of the letter 😂😂😂
Last week, @AnthropicAI formalized Fermat's Last Theorem in 13 million lines of Lean code.
We "proved" that same theorem in 20 lines by exploiting a bug we found in Lean. blog.trailofbits.com/2026/09/09/a-p…
since math is solved now
can we please prove/disprove these conjectures (collatz, goldbach, twin prime and mersenne numbers)
these conjectures are like itching in your brain and you just can’t get away from it