Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·13h·
Discuss: Hacker News
🎯Interactive Provers
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Checking data integrity
eclecticlight.co·4h
✅Checksum Validation
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·17h
🎯Gradual Typing
Historical highlights?
logicmatters.net·23h
🔀Category Theory
An engineer’s path from data loss to software preservation
softwareheritage.org·8h
🔄Archival Workflows
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
🔐 Introducing EMCL – A Secure Protocol for AI Agents to Call Tools
dev.to·19h·
Discuss: DEV
🌐NetworkProtocols
A Rust shaped hole
ente.io·2d
🦀Rust Macros
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·20h·
Discuss: Hacker News
🔐CBOR
Proof by Intimidation
en.wikipedia.org·2h·
Discuss: Hacker News
🎯Proof Tactics
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·11h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·20h
🦀Rust Verification
Cactus Language • Stylistics 4
inquiryintoinquiry.com·19h
🌳Context free grammars
Grok 4 Arrives With Impressive Coding Powers
hackernoon.com·2d
🎯Gradual Typing