🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

The PDF Association’s New Research Portal
pdfa.org·2d
📄PDF Archaeology
One word at a time
rhollick.wordpress.com·1d
📼Cassette Linguistics
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·6d·
Discuss: Substack, r/programming
🎯Proof Tactics
Double Maths First Thing: Issue 30
aperiodical.com·3d
📐Mathematical Art
PyTorch 2.8 Release
pytorch.org·2d·
Discuss: Hacker News
⚡Homebrew CPUs
KomoDo, my first KDE app
akselmo.dev·2d·
Discuss: Lobsters, Hacker News
🎮Switch Archaeology
R0ML’s Ratio
blog.glyph.im·18h·
Discuss: Hacker News
🔍BitFunnel
A Full-Chain Exploit of an Unfused Qualcomm Device
hhj4ck.github.io·1d·
Discuss: Lobsters, Hacker News
🔒Secure Boot
LLMs can predict educational and psychological outcomes from childhood essays with remarkable accuracy
phys.org·2d
🧠Intelligence Compression
Achieving 10,000x training data reduction with high-fidelity labels
research.google·2d·
Discuss: Hacker News
📰Content Curation
[$] Treating Python's debugging woes
lwn.net·1d
👁️System Observability
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.me·5d·
Discuss: Hacker News, r/programming
🔩Systems Programming
GPT-5 Is the Best Coding Model in the World: Biggest Leap Since 3.5 Sonnet
vincentschmalbach.com·2d·
Discuss: Hacker News
📏Code Metrics
Numerical analysis of the stochastic Navier-Stokes equations
arxiv.org·1d
🎯Performance Proofs
.aix – A portable execution format for scoped AI (personas, tools, and logic)
github.com·2d·
Discuss: Hacker News
🔒WASM Capabilities
From Monopolies to Innovation: The Promising Future of AI-Driven Startups
dev.to·2h·
Discuss: DEV
🤖AI Curation
Machine Learning Fundamentals: model overfitting example
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Mastering LLM Temperature: A Step-by-Step Guide
dev.to·3d·
Discuss: DEV
🧮Kolmogorov Bounds
Algorithmic Optimization of Circular Economy Logistics via Hyper-Efficient Resource Routing
dev.to·2d·
Discuss: DEV
🕸️Network Topology
Investigating Gender Bias in LLM-Generated Stories via Psychological Stereotypes
arxiv.org·3d
🧠Intelligence Compression