🌊 Coalgebra

Coinduction, Bisimulation, Stream Calculus, Final Semantics

How I Solved S3 Write Contention with a Distributed Lock Server
reddit.com·2d·
Discuss: r/programming
🌐NetworkProtocols
Trigamma
johndcook.com·9h·
Discuss: Hacker News
🧮Lambda Calculus
How to Test
matklad.github.io·23h·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
Build an AI coding agent in Python
theptrk.com·6h·
Discuss: Hacker News
💎Refinement Types
Lessons from building an AI data analyst
pedronasc.com·18h·
Discuss: Hacker News
🧠Automated Reasoning
Proper Error Handling for Your Node.js Application
masteringbackend.com·1d·
Discuss: Hacker News
📊Runtime Verification
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev·2d·
Discuss: r/rust
⚙️PL Implementation
Lisp Still Matters
funcall.blogspot.com·20h·
Discuss: Hacker News
⚙️PL Implementation
A new attack reshapes the rules of Bitcoin mining
techxplore.com·21h·
Discuss: Hacker News
🧮Lambda Calculus
HealthProcessAI: A Technical Framework and Proof-of-Concept for LLM-Enhanced Healthcare Process Mining
arxiv.org·1d
🧩Parser Combinators
Run Erlang/Elixir on Microcontrollers and Embedded Linux
grisp.org·2h·
Discuss: Hacker News
🐫Embedded OCaml
things rust shipped without (2015)
graydon2.dreamwidth.org·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Math Moments: Blaise Pascal
kidswholovemath.substack.com·22h·
Discuss: Substack
⚡Process Calculi
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2d·
Discuss: Hacker News
🔤DSLs
Chicken Scheme internals: the garbage collector
more-magic.net·3d·
Discuss: Hacker News
🤖Program Synthesis
Fast and Scalable Mixed Precision Euclidean Distance Calculations Using GPU Tensor Cores
arxiv.org·1d
🔧Unikernel Development
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·15h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🧩Parser Combinators
How to log structured JSON in Rust
josevalerio.com·19h·
Discuss: Hacker News
🔬Static Analysis
Vibe-Coding as We Need to Eat Our Own Dog Food
kevinkuipers.substack.com·5h·
Discuss: Substack
🧱Immutable Infrastructure
Quirks of Common Lisp Types
fosskers.ca·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml