Three ways formally verified code can go wrong in practice
buttondown.com·6h
📜Proof Carrying Code
QUIC! Jump to User Space!
hackaday.com·8h
🌐Network Protocols
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
CAPIF 4: Grounded in IPv6, Looking to Orbit
labs.ripe.net·12h
📡BGP Archaeology
Slip – A Lisp System in JavaScript
lisperator.net·10h·
Discuss: Hacker News
🔗Lisp
Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com·3d
🔢Reed-Solomon Math
IASC: Interactive Agentic System for ConLangs
arxiv.org·19h
🌳Context free grammars
How Calyx Is Solving The $100 Billion Problem That's Fragmenting DeFi Across 19 Blockchains
hackernoon.com·7h
🔗Hash Chains
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com·3h·
Discuss: Hacker News, r/hardware
🖥️Terminal Renaissance
Sorting encrypted data without decryption: a practical trick
dev.to·8h·
Discuss: DEV
🔐Hash Functions
API Attack Awareness: Injection Attacks in APIs – Old Threat, New Surface
lab.wallarm.com·1d
🔓LDAP Injection
MCP Servers vs. Extensions in Gemini CLI
harishgarg.com·1d·
Discuss: Hacker News
❄️Nix Adoption
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·6h·
Discuss: Hacker News
📟Terminal Typography
Building Trust for AI Agents — ISM-X: A Privacy-Preserving Identity Layer (with demo)
dev.to·5h·
Discuss: DEV
🌳Archive Merkle Trees
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔢Reed-Solomon Math
Go + gRPC microservices (URL shortener). Looking for collaborators to improve this or start a new build.
reddit.com·22h·
Discuss: r/golang
⚡gRPC
From Clicks to Code: Building a Production‑Ready EVM Transaction Client (Approve, Mint, Swap, EIP‑1559)
dev.to·1d·
Discuss: DEV
✅Format Verification
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·5h·
Discuss: Hacker News
🛡️RISC-V Security
Controlled Release of Microorganisms from Engineered Living Materials
pubs.acs.org·8h·
Discuss: Hacker News
📦METS Packaging
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·1d
🌐WASI