🧬 Functional Programming

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

My Top 5 Favourite Features in Python 3.14
blog.codingconfessions.com·1h
🦀Rust Macros
"i like making things—" no. you like things.
kivikakk.ee·2d
📏Code Metrics
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·8h·
Discuss: Hacker News
🎧Learned Audio
How the Rise of Tabular Foundation Models Is Reshaping Data Science
towardsdatascience.com·1d
🧠Machine Learning
Memgoose – An In-Memory Mongoose Impersonator
github.com·41m·
Discuss: Hacker News
🔄Sync Engine
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
TypeScript Flaws (2024)
intercaetera.com·4d·
Discuss: Hacker News
🎯Gradual Typing
Quantum memory optimisation using finite-horizon, decoherence time and discounted mean-square performance criteria
arxiv.org·1d
⚛️Quantum Storage
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·5d
⬆️Lambda Lifting
In-Depth Analysis: "Attention Is All You Need"
dev.to·18h·
Discuss: DEV
🧠Intelligence Compression
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·1d·
Discuss: r/golang
🦀Rust Borrowing
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to·5h·
Discuss: DEV
💻Local LLMs
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·1d·
Discuss: Hacker News
💻Local LLMs
[R] How to retrieve instructions given to annotators - RLHF
reddit.com·1d·
Discuss: r/MachineLearning
📚Documentation Archaeology
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.org·10h·
Discuss: Lobsters, Hacker News
📊APL Heritage
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification