🔶 Lattice Theory

Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

The Purple Gradient Problem – pt 1
sriraam.substack.com·18h·
Discuss: Substack
✨Effect Inference
The Modern Developer Blog Revolution: Why WordPress is Dead and Static is King
thedanielmark.com·1h·
Discuss: DEV
⚡Live Coding
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
Why Do LLMs Design Mediocre Architecture?
recurse.ml·2d·
Discuss: Hacker News, r/programming
🎮Language Ergonomics
Pure Python Cryptographic Commitment Scheme — General-Purpose, Offline-Capable, Zero Dependencies
reddit.com·1d·
Discuss: r/opensource
📡Binary Protocols
Emacs GTD flow evolved (2023)
daryl.wakatara.com·3h·
Discuss: Hacker News
🔄Bootstrapping
Built a database in Rust and got 1000x the performance of Neo4j
reddit.com·1d·
Discuss: r/rust
🔍Query Engines
Security Amplification of Threshold Signatures in the Standard Model
eprint.iacr.org·2d
✨Gleam
I think I found another way to do a subset of self-referential structs, do you think it is sound?
reddit.com·9h·
Discuss: r/rust
🔒Rust Borrowing
Debugging Circuits and Code
dev.to·1h·
Discuss: DEV
🐛Debugging
You don’t need NPM to ship fully-featured apps.
dev.to·3h·
Discuss: DEV
🎮Language Ergonomics
Day 13 of 90 day python series....
github.com·11h·
Discuss: DEV
💬Interactive REPLs
Vulkan Graphics in OCaml vs. C
roscidus.com·1d·
Discuss: Lobsters, Hacker News
🐪OCaml
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·3d·
Discuss: Hacker News
😴Lazy Evaluation
Beliefs and JavaScript types
lesswrong.com·1d
∀Quantified Types
Issue 490
haskellweekly.news·3d
⚡functional programming
jpf - My take on a robust approach to handling LLMs
github.com·1d·
Discuss: r/golang
🌉Language Bridges
Python Booleans Explained: A Deep Dive into True, False, and Logical Operations
dev.to·13h·
Discuss: DEV
🪞Homoiconicity
Seperation of logic and UI in turn based game?
reddit.com·2h·
Discuss: r/godot
💬REPL Design