🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Show HN: Model-literals, model-aliases, and preference-aligned routing for LLMs
docs.archgw.com·6h·
Discuss: Hacker News
⚙️Configuration Parsing
[journal] Context and Trust, or: Test Suites Reflect Teams
v5.chriskrycho.com·2h
🧪Test DSLs
The Purple Gradient Problem – pt 1
sriraam.substack.com·20h·
Discuss: Substack
✨Effect Inference
The Sum Leaks More Than Its Parts: Compositional Privacy Risks and Mitigations in Multi-Agent Collaboration
arxiv.org·2d
♾️Codata Types
Fail loudly: a plea to stop hiding bugs
alejo.ch·2d·
Discuss: r/programming
🚂Error Propagation
Life beyond the free energy principle: how to survive without invariance
dialecticalsystems.eu·21h·
Discuss: Hacker News
🎯Finite Automata
Pure Python Cryptographic Commitment Scheme — General-Purpose, Offline-Capable, Zero Dependencies
reddit.com·1d·
Discuss: r/opensource
📡Binary Protocols
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·2d·
Discuss: Hacker News
🩺Compiler Diagnostics
Issue 490
haskellweekly.news·3d
⚡functional programming
Seperation of logic and UI in turn based game?
reddit.com·4h·
Discuss: r/godot
💬REPL Design
Robust Optimal Control of Stochastic Hybrid Systems via Adaptive Dynamic Programming
dev.to·1d·
Discuss: DEV
⚡Partial Evaluation
Object-Oriented JavaScript: A Practical Guide with Examples
dev.to·1d·
Discuss: DEV
🚀V8 Internals
structmap - a configurable, type-safe struct mapping generator
reddit.com·14h·
Discuss: r/golang
📋Tablegen
LLM-Deflate: Extracting LLMs into Datasets
scalarlm.com·1d·
Discuss: Hacker News
🪜Recursive Descent
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·6d·
Discuss: Lobsters, Hacker News
🐪OCaml
Why I Chose Rust for My OSD600 Project (And What I Learned)
dev.to·1d·
Discuss: DEV
🚂Cranelift Backend
Proxy Design Pattern in Java: Your Middleman for Performance & Security!
dev.to·1d·
Discuss: DEV
🔧API Design
Metacrisis as a Framework for AI Governance
lesswrong.com·2h
🚂Error Propagation
Quantum Consciousness in Code: Building Systems That Observe Themselves
dev.to·22h·
Discuss: DEV
🎭Erlang OTP
GitHub - vshakitskiy/how-to-otp: Learn how to work with OTP in Gleam!
github.com·13h
✨Gleam