📊 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
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·4d
🔓Decompilation
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
Quantum Agents: The Algorithmic Alchemists Reshaping Discovery
dev.to·3h·
Discuss: DEV
⚛️Quantum Algorithms
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
ChatGPT Pretends to Run Code
eriklonnroth.com·2d·
Discuss: Hacker News
⚡Proof Automation
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Sorting encrypted data without decryption: a practical trick
dev.to·22h·
Discuss: DEV
🔐Hash Functions
Three Solutions to Nondeterminism in AI
blog.hellas.ai·3d·
Discuss: Hacker News
🎯Performance Proofs
The Conveyor Belt Protocol: Understanding Iterators
dev.to·9h·
Discuss: DEV
🧬Functional Programming
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·15h·
Discuss: DEV
⚙️Proof Engineering
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org·1d
💻Local LLMs
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.org·1d
🗺️Competency Maps
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
🧮Compute Optimization
BanglaLlama: LLaMA for Bangla Language
arxiv.org·3d
🌀Brotli Dictionary
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
Show HN: I built a LSP with its own parser to learn Rust
github.com·9h·
Discuss: Hacker News
⚡Dependent Rust