Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·20h
🔧Scheme Macros
Swift 6.2 advances the language meaningfully
victorwynne.com·2h·
Discuss: Hacker News, r/programming
🦉Swift Interpreters
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d
🐪OCaml
Asynchronous Exceptions in Practice (2017)
simonmar.github.io·1d·
Discuss: Hacker News
🔗Concurrency Primitives
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·21h
📦Closure Conversion
Safepoints and Fil-C
fil-c.org·20h·
Discuss: Hacker News
🎯Ring Buffers
Semantic Dictionary Encoding
falvotech.com·1d·
Discuss: Hacker News
🗂️Type Indexing
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·12h·
Discuss: r/rust
🦀Rust Macros
Zettelkasten for Programmers: Processing Swift Actor Usage Advice in Depth
christiantietze.de·18h
✨Gleam
The pirate-based logic of Rust shared references
ais523.me.uk·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
Why I Still Reach for C for Certain Projects
dev.to·7h·
Discuss: DEV
🪄C Metaprogramming
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·2d·
Discuss: Hacker News
⚡functional programming
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·16h
🗺️Region Inference
PSA: `views::single` doesn’t really view
quuxplusone.github.io·1d
🔗Lexical Scoping
VImpl: A Virtual Take on the C++ PImpl Pattern
solidean.com·12h·
Discuss: r/cpp
🔀Control Structures
Machine Scheduler in LLVM
myhsu.xyz·17h·
Discuss: Hacker News
📅Instruction Scheduling
How to implement the Outbox pattern in Go and Postgres
medium.com·9h·
Discuss: Lobsters
📮Message Queues
Claude Can (Sometimes) Prove It
galois.com·1h·
Discuss: Hacker News
🧩Constraint Solvers
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🪢Rope Data Structures
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·2d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers