Domain Driven Design in Clojure with Generalized Hiccup
biotz.ioยท1dยท
๐Ÿ”—Functional Compilers
Managing Prompts Without the Chaos: Simplifying AI Agent Development with Dakora
dev.toยท3hยท
Discuss: DEV
๐Ÿ“Proof Assistants
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.comยท2hยท
Discuss: Hacker News
๐ŸŽฏInteractive Provers
News for September 2025
ptreview.sublinear.infoยท15h
๐ŸงชProperty-Based Testing
Atomic and Saturated Models
functor.networkยท1dยท
Discuss: Hacker News
๐Ÿ”ขDenotational Semantics
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinลฏ
logicmatters.netยท9h
๐Ÿ”€Category Theory
Show HN: AutoRules AI โ€“ Check all files against a list of questions
markwylde.comยท6hยท
Discuss: Hacker News
โšกProof Automation
Ask HN: Systems Development Path
news.ycombinator.comยท12hยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ฌLean
Red Stone One Carat โ€” TryHackMe Challenge Write-up
infosecwriteups.comยท13h
๐Ÿ›ก๏ธCLI Security
The Analystโ€™s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.comยท1d
โš”๏ธLean Theorem
ExGRPO: Learning to Reason from Experience
arxiv.orgยท1d
๐Ÿ‘‘Coq Tactics
LLM Prompt Fixed Point: the Ultimate Prompt
funcall.blogspot.comยท1dยท
โœ“Automated Theorem Proving
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.meยท2d
๐Ÿ”งBinary Parsers
Upgrading Our Way Through the Rest of OpenGL
bumbershootsoft.wordpress.comยท5h
๐ŸŽจLUT Compression
Math Is the Bridge: Axiom's Signal Flare and the Coming Reasoning Renaissance
zakelfassi.comยท1dยท
Discuss: Hacker News
โš™๏ธProof Engineering
Bram Cohen: How Claude Web Is Broken
bramcohen.comยท7hยท
Discuss: Hacker News
๐ŸงฎZ3 Solver
Fun with HyperLogLog and SIMD
vaktibabat.github.ioยท14hยท
๐Ÿ“ŠHyperLogLog
Observations from Working with Coding Agents
anyblockers.comยท1dยท
Discuss: Hacker News
โšกProof Automation
Announcing template-haskell-lift and template-haskell-quasiquoter
informal.codesยท1d
๐Ÿ”—Functional Compilers