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Β·
πŸ—οΈ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Β·
πŸ”—Functional Compilers
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.orgΒ·2dΒ·
πŸ”€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