My first fifteen compilers (2019)
blog.sigplan.org·22h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Designing Smarter Health Checks for Pomerium
pomerium.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Flag this post
Beyond IP lists: a registry format for bots and agents
blog.cloudflare.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·46m·
Discuss: Hacker News
📦Opam
Flag this post
A DRL-Empowered Multi-Level Jamming Approach for Secure Semantic Communication
arxiv.org·1d
Existential Types
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·4h·
Discuss: Hacker News
λFunctional Programming
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1h·
Discuss: Hacker News
👁️System Observability
Flag this post
Web PKI Ditches TLS Client Authentication
feistyduck.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Making MLS More Decentralized
blog.phnx.im·3d·
Discuss: Hacker News
🛡️seL4
Flag this post
What's new in Swift: October 2025 Edition
swift.org·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·1h·
🔢Algebraic Data Types
Flag this post
Security Holes Found in OpenAI's ChatGPT Atlas Browser (and Perplexity's Comet)
it.slashdot.org·3h
🛡️macOS Security
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·8h
❄️Nixified Development
Flag this post
Automated Semantic Validation of Modular Software Architectures via Hyper-Graph Resonance
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
From Visibility to Verification: The Second Phase of AI Surface Governance
aivojournal.org·10h·
Discuss: Hacker News
🎮Verification Games
Flag this post
Free Alternatives to Cheaterbuster AI: Build Your Own AI Investigator
dev.to·5h·
Discuss: DEV
👁️Observability
Flag this post
How to design effective agent workflows?
boliv.substack.com·23h·
Discuss: Substack
💎Refinement Types
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·23h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post