Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·18h·
Discuss: Hacker News
⚙️Zig Comptime
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·2d
📜Proof Languages
Same named methods in Java. Part 1: Don’t Underestimate Overloading
dev.to·15h·
Discuss: DEV
🔧API Design
🎲 Very-busy expression analysis
reasoning.page·2h
📊Dataflow Analysis
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·12h·
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·18h
⚡functional programming
haskell/mtl
github.com·1d
🚂Error Monads
Semantic Dictionary Encoding
falvotech.com·3d·
Discuss: Hacker News
🗂️Type Indexing
Simple Dependent Types in Python
sobolevn.me·1h·
Discuss: Hacker News
🌊Gradual Typing
Controlling program flow with capabilities in Scala
nrinaudo.github.io·20h·
Discuss: Lobsters, Hacker News, r/programming
🔗Lexical Scoping
Large Language Model probabilities cannot distinguish between possible and impossible language
arxiv.org·2h
🔍ML Language
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·16h
✨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·18h
🌉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·1d·
Discuss: r/golang
🐹Go Internals