📊 APL Heritage

Array Programming, K Language, Historical Notation, Mathematical Computing

GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·2d
🔗Functional Compilers
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
⛪Church Encoding
The Porcelain to Come
stackdiver.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Making performant Python bindings to compiled code
kylebarron.dev·3d·
Discuss: Hacker News
🦀Rust Macros
Love C, Hate C: Web Framework Memory Problems
alew.is·1d·
Discuss: Hacker News
🔩Systems Programming
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·18h·
Discuss: Hacker News
🔓Open Source Software
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·1d·
Discuss: DEV
⚡Cache Theory
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
#16 Pronic, oblong, rectangular numbers.... Etymology and History of Math Terms
pballew.blogspot.com·1h·
Discuss: www.blogger.com
λLambda Encodings
English - the hottest programming language of the future
dev.to·15h·
Discuss: DEV
🔄Language Evolution
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·12h·
Discuss: DEV
🔍Concolic Testing
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
GPT-5 for AI-assisted discovery
johndcook.com·18h·
Discuss: Hacker News
🎯Performance Proofs
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Sorting encrypted data without decryption: a practical trick
dev.to·17h·
Discuss: DEV
🔐Hash Functions
The Conveyor Belt Protocol: Understanding Iterators
dev.to·4h·
Discuss: DEV
🧬Functional Programming
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs