📐 Formal Methods - c13e · Scour

Abduction Prover in Isabelle/HOL

🐫OCaml Academic

Proof System Timelines

🔢Type Theory Blog

Subversion-Resistance for Free from Formal Verification

🛡️Memory Safety

lesswrong.com·

Programming Languages Software Award

λFunctional Programming

Quanta Books Releases The Proof in the Code

λFunctional Programming

simonsfoundation.org·

The Proof in the Code

🔢Type Theory

quantabooks.org·

Design Reliable, Scalable Distributed Systems

Neon NTT - (Auto)formalised

🔢Type Theory

eprint.iacr.org·

🔬Scaling Past Informal AI - Carina Hong, Axiom Math

latent.space··Hacker News

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

⚙️Compiler Design Code

github.com··Hacker News

Interspecies quorum sensing signals modulate multicellular organization and enhance contact-dependent antagonism in Vibrio cholerae

🔢Type Theory Academic

Zcash Developers Weigh New Shielded Pool After Orchard Bug

⚗️BEAM Ecosystem

cointelegraph.com·

New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"

⚗️BEAM Ecosystem Discussion

news.ycombinator.com··Hacker News

Researchers discover hidden chip threats and a way to stop them

🖥️History of Computing

techxplore.com·

Issue 527

λFunctional Programming

haskellweekly.news·

FOD#155: Continual Learning in LLMs: Why AI Models Need Sleep

🤖AI Engineering

turingpost.com·

Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory

🔢Type Theory Academic

Security experts warn advanced AI is about to spark a hacking crisis for both crypto and banks

🧠Local AI News

View from Bangladesh: India forcing people across the border is becoming a test of ties

🌍East Africa News

Less-relevant results

Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases

🤖AI Engineering

Log in to enable infinite scrolling