Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·14h·
Discuss: Hacker News
⚙️Zig Comptime
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
📜Proof Languages
Same named methods in Java. Part 1: Don’t Underestimate Overloading
dev.to·11h·
Discuss: DEV
🔧API Design
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·8h·
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·2d
📚Stack Data Structures
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
🔬Nanopasses
Issue 490
haskellweekly.news·14h
⚡functional programming
haskell/mtl
github.com·1d
🚂Error Monads
Semantic Dictionary Encoding
falvotech.com·3d·
Discuss: Hacker News
🗂️Type Indexing
Controlling program flow with capabilities in Scala
nrinaudo.github.io·16h·
Discuss: Lobsters, Hacker News, r/programming
🔗Lexical Scoping
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·3d·
Discuss: Lobsters, Hacker News
🐪OCaml
From Pixels to Pure Derivations: Deterministic Logos with Nix (nixcon2025)
cdn.media.ccc.de·12h
✨Format Preserving
FHEMaLe: Framework for Homomorphic Encrypted Machine Learning
eprint.iacr.org·2d
🔍ML Language
.NET Feature Spotlight: User-Defined Implicit Type Conversion
spin.atomicobject.com·14h
🌉Cross-Platform FFI
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·20h·
Discuss: r/golang
🐹Go Internals
original ↗
dandelion-utilitarian.com·1d
🔗Concatenative Theory
[Python tool] Anti bot text obfuscator
discuss.privacyguides.net·2h
📝Rope Editors
Can a Data Race Happen on a Single-Core Machine?
aoli.al·10h·
Discuss: Hacker News
🔗Concurrency Primitives