📐 Formal Methods - c13e · Scour

What Code Review Can't See (and Bad Data Always Finds) 🛡️Memory Safety

blog.dochia.dev·9h·Hacker News, r/programming

The fall of the theorem economy (David Bessis) 🔣Category Theory

lesswrong.com·1d

Michael Tsai - Blog - Zig’s Anti-AI Contribution Policy ⚡Zig

Making Resource Holders Easier to Identify: Introducing reg-nr: in the RIPE Database 🔤New Languages

labs.ripe.net·11h

Antithesis BugBash Conference 2026 📡Erlang

emptysqua.re·5d

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🐫OCaml

pocketcasts.com·2d·Hacker News

On This Day in Math 🖥️History of Computing

pballew.blogspot.com·14h·Blogger

How we turned Storybook into a behavioral verification engine 📡Erlang

developers.redhat.com·1d

Emulating PS2 Floating-Point Numbers: IEEE 754 Differences (Part 1) ⚙️Systems Programming

gregorygaines.com·12h·Hacker News

Built a domain-specific claude skill for writing authorization policies. what worked and what didn't. 🗃️PKM

cerbos.dev·3d·r/ClaudeAI

test (3) Linux Manual Page 🔤New Languages

systutorials.com·1h

The Policy Picks the Policy 📡Erlang

noise2signal.bearblog.dev·2d

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) 📡Erlang

Sum-Check as an Algebraic Tensor Reduction: Part 1 λFunctional Programming

blog.zksecurity.xyz·3d·Hacker News

Specification-Driven Development framework for agent-native development 🤖AI Engineering

specdd.ai·1d·Hacker News

Article: The DPoP Storage Paradox: Why Browser-Based Proof-of-Possession Remains an Unsolved Problem ☎️OTP

The Lightening of Intent 🔢Type Theory

aneeshsathe.substack.com·17h·Substack

Mistral AI launches Workflows, a Temporal-powered orchestration engine already running millions of daily executions 🧠Local AI

venturebeat.com·2d

Formal Verification, Integration and Physical Evaluation of Prime-Field Masking on Silicon λFunctional Programming

eprint.iacr.org·6d

Machine Payments Protocol Ships Multi-Method Discovery (3 minute read) ☎️OTP

Log in to enable infinite scrolling