haskell/mtl
github.com·3d
🚂Error Monads
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·2d·
Discuss: Hacker News
😴Lazy Evaluation
HTML, the Programming Language
html-lang.org·2d·
Discuss: Hacker News
📝Rope Editors
Bincode Deserialization with Generic Type
reddit.com·19h·
Discuss: r/rust
🎭Polymorphic Variants
Python Can Now Call Mojo
towardsdatascience.com·4h
🛠programming language development
A FSM Challenge for the c#/DotNet Dev Community
nuget.org·1d·
Discuss: DEV
🎯Finite Automata
Three Meanings of Effects
burakemir.ch·2d·
Discuss: Hacker News
💫Effect Systems
The biggest coding mistakes I made building Kiwi News
proofinprogress.com·4h·
Discuss: Hacker News
🛡️Error Ergonomics
I need to write up a blog post for this, but instead I'm going to do a Post Thread about it until I get the motivation/time to one-shot a longer write up.
bsky.app·54m·
Discuss: Bluesky
🦀Rust Macros
Iterators: The Waiters With One-Way Tickets 🍽️🧑‍🍳
dev.to·3h·
Discuss: DEV
🪢Rope Data Structures
Security Amplification of Threshold Signatures in the Standard Model
eprint.iacr.org·2d
✨Gleam
Triangulation
ttrpg.in·8h
🔮Metacircular Evaluators
Mastering Collections in C#
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·3d·
Discuss: DEV
🌊Gradual Typing
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·4d
📜Proof Languages
🌎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·3d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔬Nanopasses
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·2d·
Discuss: Hacker News
🩺Compiler Diagnostics
Fully Custom Dactyl Manuform 3x5+3 (+ec11)
imgur.com·1d·
Discuss: r/ErgoMechKeyboards, r/ErgoMechKeyboards
📝Rope Editors
Tutorial Introduction to Guile
gnu.org·1d·
Discuss: Hacker News
🎭Racket