Why did the über-protocols fail? A history of OOP RPC
medium.com·9h·
Discuss: Hacker News
🔌Interface Evolution
Building My Smart 2nd Brain, Part 3: API and UI Explained
dev.to·15h·
Discuss: DEV
🔄Archival Workflows
Show HN: Is-Kit – Lightweight TypeScript Guard and Validator Toolkit
github.com·15h·
Discuss: Hacker News
⚡Dependent Rust
Nix pills
nixos.org·18h
❄️Nixpkgs
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·3d
🔧Binary Parsers
Callbacks in C++ Using Template Functors – Rich Hickey (1994)
tutok.sk·9h·
Discuss: Hacker News
✨Algebraic Effects
Four years, Five failures, One compiler
daymare.net·18h·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
Announcing template-haskell-lift and template-haskell-quasiquoter
informal.codes·2d
🔗Functional Compilers
Why Reactive Programming Hasn't Taken Off in Python (and Why Signals)
bui.app·3h·
Discuss: Hacker News
⚡Effectful Programming
OO Design Principles: GRASP patterns
slott56.github.io·1d
🔒WASM Capabilities
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·2d·
Discuss: Lobsters, Hacker News
🔤Type Theory
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
✨Algebraic Effects
OpenAI's GPT-OSS-20B Model and Safety Alignment Issues in a Low-Resource Language
arxiv.org·2d
💧Liquid Types
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·8h·
Discuss: Hacker News
🛡️WASM Security
expressjs/express
github.com·1h
⚡Proof Automation
The State of Security Protocols in Agent 2 Agent(A2A) Systems.
dev.to·21h·
Discuss: DEV
🔐Capability Systems
The Making of Digital Identity – The Birth of Digital Authentication
syntheticauth.ai·11h·
Discuss: Hacker News
🔐PKI Archaeology
How Much Should You Tell Your AI Agent?
raymondyxu.com·9h·
Discuss: Hacker News
⚡Proof Automation
The Apology of MCP
aaazzam.substack.com·3d·
Discuss: Substack
📞Session Types