Capture Checking in Scala
nrinaudo.github.io·20h·
Discuss: Hacker News
🧪Binary Fuzzing
Distributed Request Assignment with Max‑Min and Deviation Fairness in On‑Demand Mobility
hackernoon.com·4h
📡Network Calculus
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·15h
🤝Paxos Consensus
Teaching programming languages
kmjn.org·13h
💻Programming languages
Structural vs. Mathematical “Under” (2023)
dyalog.com·1h·
Discuss: Lobsters
🐚Shell Calculus
Song recommendations with F# free monads
blog.ploeh.dk·18h
🔗Functional Compilers
Refactoring 032 - Apply Consistent Style Rules
dev.to·1d·
Discuss: DEV
📐Delta Encoding
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·11h
🧮Kolmogorov Bounds
Two Dogmas of Empiricism
en.wikipedia.org·13h·
Discuss: Hacker News
💻Programming languages
When functions dissolve
rubber-duck-typing.com·1d·
Discuss: Hacker News
🐚Shell Calculus
Nullable vs. Nullable in C#
einarwh.no·7h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·11h·
Discuss: Hacker News
⚡Proof Automation
Stable, Mutable References for Ante
antelang.org·12h·
Discuss: Hacker News, r/programming
🔒Type Safety
The Lobster Programming Language
strlen.com·6h·
Discuss: Hacker News
🔗Concatenative Programming
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
Sound and Solution-Complete CCBS
arxiv.org·21h
🛡️Archive Verification
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Computer Architecture Lessons from the Kitchen
sigarch.org·11h
🧮Algorithmic Cooking
Generating C functions and prototypes using macros – part 2
subethasoftware.com·17m
🦀Rust Macros
Claude Code's 19 cent Parser
blogger.com·12h
🔧Binary Parsers