🧬 Functional Programming

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

More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)
bertrandmeyer.com·1d
⚡Proof Automation
Free Things Are Complicated (Especially the Sphere Spectrum!)
grossack.site·6d
🧮Algebraic Archives
An AI-Generated Protein Helps T Cells Kill Cancer
the-scientist.com·6h·
Discuss: Hacker News
🔬Logic in Computer Science
Unit Test Mocks in Go
martincapodici.com·2d·
Discuss: Hacker News
🕹Emulation
In Defence of Gary Marcus
reubenadams.substack.com·5h·
Discuss: Substack
💾vintage computing
An Engineer's Guide to AI Code Model Evals
addyosmani.com·1d·
Discuss: r/programming, r/webdev
📏Code Metrics
The Gory Details of Finetuning SDXL and Wasting $16k
aerial-toothpaste-34a.notion.site·21h·
Discuss: Hacker News
⚡Incremental Computation
Tackling the AI-Fueled API Explosion With Visibility
devops.com·1d
🔌Interface Evolution
Inside GPT – The Maths Behind the Magic • Alan Smith • GOTO 2024
youtube.com·2d
🎯Proof Tactics
Designing for Learning with Generative AI is a Wicked Problem: An Illustrative Longitudinal Qualitative Case Series
arxiv.org·2d
🔲Cellular Automata
AI Course in Bangalore: Learn Inferential Statistics for AI
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
LeetCode Buddy – My AI-powered Code Review Assistant
dev.to·21h·
Discuss: DEV
🦀Rust Macros
Doubly transitive equiangular tight frames that contain regular simplices
arxiv.org·4d
🌀Differential Geometry
SETOL: A Semi-Empirical Theory of (Deep) Learning
arxiv.org·1d·
Discuss: Hacker News
🧠Machine Learning
If you're interested in agentic AI, you need to read this. Stunning, original, pragmatic.
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Machine Learning Fundamentals: gradient descent example
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
I Built a Visual Novel Engine in TypeScript
news.ycombinator.com·1d·
Discuss: Hacker News
🎯Gradual Typing
International standard language developed to unite synthetic biology laboratories worldwide
phys.org·2d
💧Liquid Types
Risk In Context: Benchmarking Privacy Leakage of Foundation Models in Synthetic Tabular Data Generation
arxiv.org·2d
💻Local LLMs
So I Quit $200k Job To Write A Framework
dev.to·1d·
Discuss: DEV
🌊Streaming Systems