Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification
Worth Reading 081325
rule11.tech·1d
Hidden Agendas, Lost Cities
systemstack.dev·1d
Guess what else GPT-5 is bad at? Security
cyberscoop.com·2d
How This AI Breakthrough with Pure Mathematics and Reinforcement Learning Could Help Predict Future Crises
scientificamerican.com·3d
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·22h
I Analyzed 14 Years of My Writing with Vibe Coding. Here's What Made Me Change How I See Everything.
Askeladden Capital Q2 2025 Letter
seekingalpha.com·1d
AI Security Map: Holistic Organization of AI Security Technologies and Impacts on Stakeholders
arxiv.org·2d
Loading...Loading more...