Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
⚡Proof Automation
The Porcelain to Come
stackdiver.com·1h·
Discuss: Hacker News
🔲Cellular Automata
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
⚙️Proof Engineering
Intro to RL: Off-Policy Methods
neelsomaniblog.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·19h
🧮Theorem Proving
Just finished learning Go basics — confused about two different ways of handling errors.
reddit.com·2d·
Discuss: r/golang
🔗Lisp
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·44m·
Discuss: Hacker News
⚡Proof Automation
What's the Role of Trust in AI?
algorithmictradeoff.substack.com·8h·
Discuss: Substack
🔲Cellular Automata
Multi-Core By Default
rfleury.com·22h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
Toy Binary Decision Diagrams
philipzucker.com·4d
🧮Algebraic Datatypes
GaloisInc/parameterized-utils
github.com·2d
🧮Algebraic Datatypes
2025-10-10 # LLMs Are Transpilers
alloc.dev·23h·
Discuss: Hacker News
🔄Language Evolution
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·1h·
Discuss: Hacker News
🎯Performance Proofs
Ethical AI Oversight for Predictive Genetic Counseling: A Framework for Algorithmic Fairness & Patient Trust
dev.to·1d·
Discuss: DEV
🧪Binary Fuzzing
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·15h·
Discuss: Hacker News
⚙️Proof Engineering
SAT problems are kind of cool
blog.karanjanthe.me·2d·
Discuss: Hacker News
🧮SMT Solvers