Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·10h·
Discuss: Hacker News
⚙️Zig Comptime
Same named methods in Java. Part 1: Don’t Underestimate Overloading
dev.to·7h·
Discuss: DEV
🔧API Design
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
📜Proof Languages
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·4h·
Discuss: Hacker News
😴Lazy Evaluation
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·3d·
Discuss: Hacker News
🔗Lexical Scoping
Advent of Code: Libraries
elly.town·1d
📚Stack Data Structures
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
🔬Nanopasses
Issue 490
haskellweekly.news·11h
⚡functional programming
haskell/mtl
github.com·21h
🚂Error Monads
Semantic Dictionary Encoding
falvotech.com·3d·
Discuss: Hacker News
🗂️Type Indexing
Controlling program flow with capabilities in Scala
nrinaudo.github.io·12h·
Discuss: Lobsters, Hacker News
🔗Lexical Scoping
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·2d·
Discuss: Lobsters, Hacker News
🐪OCaml
From Pixels to Pure Derivations: Deterministic Logos with Nix (nixcon2025)
cdn.media.ccc.de·8h
✨Format Preserving
Learning languages with the help of algorithms
johndcook.com·1d·
Discuss: Hacker News
🔤String Algorithms
Efficient evaluation of expressions specified in the GO runtime
reddit.com·16h·
Discuss: r/golang
🐹Go Internals
.NET Feature Spotlight: User-Defined Implicit Type Conversion
spin.atomicobject.com·11h
🌉Cross-Platform FFI
Can a Data Race Happen on a Single-Core Machine?
aoli.al·6h·
Discuss: Hacker News
🔗Concurrency Primitives
original ↗
dandelion-utilitarian.com·23h
🔗Concatenative Theory
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·2d
🔧Scheme Macros
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·2d·
Discuss: Hacker News
🦉Swift Interpreters