⚙️ Zig Comptime

Compile-Time Computation, Generic Programming, Type-Level Programming, Zero-Cost

Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·5h·
Discuss: Hacker News
🔬Nanopasses
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
arxiv.org·14h
⏭️Skip Lists
Issue 490
haskellweekly.news·6h
⚡functional programming
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·2d·
Discuss: Lobsters, Hacker News
🐪OCaml
Gleam: The New Functional Language Developers Actually Want to Use
dev.to·1h·
Discuss: DEV
✨Gleam
Embarrassingly parallel evaluations (nixcon2025)
cdn.media.ccc.de·2h
⚡Interpreter Optimization
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
📜Proof Languages
Efficient evaluation of expressions specified in the GO runtime
reddit.com·11h·
Discuss: r/golang
🐹Go Internals
Controlling program flow with capabilities in Scala
nrinaudo.github.io·8h·
Discuss: Lobsters, Hacker News
🔗Lexical Scoping
Advent of Code: Libraries
elly.town·1d
📚Stack Data Structures
Carbon Copy No.8: Classes Part II
github.com·10h·
Discuss: Hacker News
🌈Gradual Languages
Compiling with Continuations
swatson555.github.io·1d·
Discuss: Hacker News
🔬programming language theory
Can a Data Race Happen on a Single-Core Machine?
aoli.al·1h·
Discuss: Hacker News
🔗Concurrency Primitives
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·2d
🔧Scheme Macros
GTA -- An ATSP Method: Shifting the Bottleneck from Algorithm to RAM
arxiv.org·14h
⏲️Embedded GC
What I learned building a programming language with LLM agents
eddmann.com·1h·
Discuss: Hacker News
🔮Metacircular Evaluators
Hardness of Dynamic Core and Truss Decompositions
arxiv.org·14h
⚡Partial Evaluation
Claude Can (Sometimes) Prove It
galois.com·1d·
Discuss: Lobsters, Hacker News
🧩Constraint Solvers
Solving a Wooden Puzzle Using Haskell
glocq.github.io·1d·
Discuss: Lobsters, Hacker News
📏Linear Haskell
Generalised Reachability Games Revisited
arxiv.org·14h
🚂Error Propagation