A Slotted Hash Cons for Alpha Invariance
philipzucker.com·48m·
Discuss: Hacker News
λLambda Encodings
Outbox Done Right in Go: Building Resilient Event-Driven Systems with NATS and SQL
dev.to·1d·
Discuss: DEV
📝Database WAL
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·8h·
Discuss: Hacker News
🌳Archive Merkle Trees
Google Summer of Code 2025 Reports: Enhancing Support for NAT64 Protocol Translation in NetBSD
blog.netbsd.org·2h
📝ABNF Parsing
Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🌀Brotli Dictionary
What is Algebraic about Algebraic Effects?
interjectedfuture.com·3h
Algebraic Effects
Engineers Bring Quantum Internet to Commercial Fiber for the First Time
scitechdaily.com·16h
⚛️Quantum Codecs
Cap'n Proto - structured data serialziation format
capnproto.org·1h
📋Protocol Buffers
Cognitive and Gestalt psychology in your code: SMVP pattern
github.com·19h·
Discuss: Hacker News
Format Verification
Sites using PQC (September 2025)
netmeister.org·5h
🌐DNS over QUIC
Rowhammer: TRR on DDR5 DRAM has been broken
comsec.ethz.ch·2h·
Discuss: Hacker News
🔍RISC-V Forensics
Convergence to equilibrium for fully discretizations of nonlocal Cahn-Hilliard equation
arxiv.org·15h
📚Archive Mathematics
A Kevin week
blog.mitrichev.ch·22h·
📐Linear Algebra
Planarizing matchings
11011110.github.io·1d
🎨Graph Coloring
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·2d
💎Information Crystallography
From Legal Documents to Knowledge Graphs
neo4j.com·2d·
Discuss: Hacker News
📋Document Grammar
You can't test if quantum uses complex numbers
algassert.com·7h·
Discuss: Hacker News
🔐Quantum Security
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·4h·
🔗Lisp
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·3h·
Discuss: Hacker News
📏Code Metrics
Hyperdimensional Prime Editing Optimization: Predictive Modeling for Cystic Fibrosis Gene Correction
dev.to·18h·
Discuss: DEV
🧬Copy Number Variants