Bincode Deserialization with Generic Type
reddit.com·15h·
Discuss: r/rust
🎭Polymorphic Variants
A FSM Challenge for the c#/DotNet Dev Community
nuget.org·1d·
Discuss: DEV
🎯Finite Automata
Three Meanings of Effects
burakemir.ch·1d·
Discuss: Hacker News
💫Effect Systems
The biggest coding mistakes I made building Kiwi News
proofinprogress.com·32m·
Discuss: Hacker News
🛡️Error Ergonomics
Security Amplification of Threshold Signatures in the Standard Model
eprint.iacr.org·2d
✨Gleam
Triangulation
ttrpg.in·4h
🔮Metacircular Evaluators
Mastering Collections in C#
dev.to·23h·
Discuss: DEV
🔗Concatenative Languages
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·3d·
Discuss: DEV
🌊Gradual Typing
Coffee GB v1.6.0 released!
ngemu.com·1h
🤖Embedded Go
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·4d
📜Proof Languages
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·1d·
Discuss: Hacker News
🩺Compiler Diagnostics
Fully Custom Dactyl Manuform 3x5+3 (+ec11)
imgur.com·1d·
Discuss: r/ErgoMechKeyboards, r/ErgoMechKeyboards
📝Rope Editors
🌎PLF: The Hidden Architecture of Language, AI, and Human Life
zenodo.org·1d·
Discuss: r/LLM
🪜Recursive Descent
Yesterday’s talk video posted: Reflection — C++’s decade-defining rocket engine
herbsutter.com·2d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔬Nanopasses
What I learned building a programming language with LLM agents
eddmann.com·2d·
Discuss: Hacker News
🔮Metacircular Evaluators
Alan Turing on Embodied Intelligence
rodneybrooks.com·10h·
Discuss: Hacker News
🎯Finite Automata
The B2B Case Study Conversion Engine: A Developer's Guide to Engineering Social Proof
getmichaelai.com·1h·
Discuss: DEV
🎮Language Ergonomics
Tutorial Introduction to Guile
gnu.org·22h·
Discuss: Hacker News
🎭Racket
Welcome to the World of Embedded Systems with Python
avid-coders.com·1d·
Discuss: DEV
🤖Embedded Go
Obscure feature + obscure feature + obscure feature = bug
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔮Type Inference Visualization