🧬 Functional Programming

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

School of Humanities, Arts, and Social Sciences welcomes 14 new faculty for 2025
news.mit.edu·2d
🧮Theoretical Computer Science
(1) Fitting hierarchical models in genetics, (2) A Stan model that runs faster with 400,000 latent parameters, (3) Super-scalable penalized maximum likelihood i...
statmodeling.stat.columbia.edu·2d
🧮Kolmogorov Bounds
Why I don't allow AI-generated content on my blog
seangoedecke.com·1d
⚡Proof Automation
2025.07.DisappearingMoment
newsletter.disappearingmoment.com·2d
🎯Gradual Typing
How the fight over what it means to be human has dramatically changed
vox.com·1d
🧲Magnetic Philosophy
Apache Flink 2.1.0 Released
flink.apache.org·3d·
Discuss: Hacker News
🌊Streaming Databases
From Frustration to Power: What We Learned at Nixcademy
niteo.co·3d·
Discuss: Lobsters, Hacker News
❄️Nix Adoption
Vibe Coding but not what you think
amritpandey.io·3d·
Discuss: Hacker News
📏Code Metrics
Day 40/100: Python math, random, and statistics Modules
dev.to·2d·
Discuss: DEV
📟Terminal Physics
The pest book is finally complete now!
github.com·4d
🦀Rust Macros
6 Weeks of Claude Code
blog.puzzmo.com·3d·
Discuss: Lobsters, Hacker News, Hacker News
📏Code Metrics
My LLM Was a Terrible Co-Pilot, So I Built It a Better Cockpit: Introducing AxleLLM
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
SigBERT: Combining Narrative Medical Reports and Rough Path Signature Theory for Survival Risk Estimation in Oncology
arxiv.org·2d
🧠Machine Learning
Enhanced Prediction of CAR T-Cell Cytotoxicity with Quantum-Kernel Methods
arxiv.org·3d
🔐Quantum Security
Building an AI FAQ Assistant with Redis 8 and OpenAI
dev.to·1d·
Discuss: DEV
⚡Redis Internals
Probabilistic Consistency in Machine Learning and Its Connection to Uncertainty Quantification
arxiv.org·4d
🧠Machine Learning
🚀 I Built a DSA Learning App with React + Firebase + YouTube API — Meet AlgoBites
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Export AWS Untagged Resources to CSV for Analysis and Reporting
dev.to·17h·
Discuss: DEV
🤖Archive Automation
Predicting Champions League Winner Using Python
dev.to·2d·
Discuss: DEV
🧪Data science
Machine Learning Fundamentals: k-nearest neighbors tutorial
dev.to·3d·
Discuss: DEV
🧠Machine Learning