✅ Formal Methods - def4ultx · Scour

Abduction Prover in Isabelle/HOL

💻Computer Science Academic

Subversion-Resistance for Free from Formal Verification

💻Computer Science

lesswrong.com·

Proof System Timelines

💻Computer Science Blog

Neon NTT - (Auto)formalised

🔧Systems Programming

eprint.iacr.org·

Design Reliable, Scalable Distributed Systems

🌐Distributed Systems

Programming Languages Software Award

💻Computer Science

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

💻Computer Science Code

github.com··Hacker News

Zcash Developers Weigh New Shielded Pool After Orchard Bug

💻Computer Science

cointelegraph.com·

(PR) Rosewill Launches the FBM-Z Series Micro-ATX Cases

🗄️Storage Engines

techpowerup.com·

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

💻Computer Science

lix.polytechnique.fr·

Researchers discover hidden chip threats and a way to stop them

💻Computer Science

techxplore.com·

DB Nerds – Try this out

📊Query Optimization

kesseldb.com··Hacker News

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

💻Computer Science Discussion

news.ycombinator.com··Hacker News

A Proof in Coq that Core Logic is not Paraconsistent

λFunctional Programming Academic

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

💻Computer Science News

Programming Languages Course Reboot, 2026

💻Computer Science Reference

docs.google.com··Lobsters

BMW Has A Secret American Car Collection You Cannot Visit

🔭Observability Blog

Build Your Own Bond Car: Aston Martin DB5 Replica

barnfinds.com·

"a game of court intrigue where AI simulates the various courtiers"

⚡Parallel Computing

substack.com··Substack

Property-based testing | Liam DeVoe

λFunctional Programming

tybug.dev··Hacker News

Log in to enable infinite scrolling