Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification
Worth Reading 081325
rule11.tech·1d
Guess what else GPT-5 is bad at? Security
cyberscoop.com·2d
Immediate-Mode-UI/Nuklear
github.com·2d
I created SerdeCraft - Serialize Rust data structures into Minecraft blocks using Serde
github.com·3d
Pironman 5 Mini is a cheaper Tower PC case for the Raspberry Pi 5
cnx-software.com·20h
I Analyzed 14 Years of My Writing with Vibe Coding. Here's What Made Me Change How I See Everything.
Resurrecting the Salmon: Rethinking Mechanistic Interpretability with Domain-Specific Sparse Autoencoders
arxiv.org·1d
Loading...Loading more...