🧬 Functional Programming

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

Introducing ERNIE 4.5-21B-A3B-Base
digitalocean.com·2h
🌀Brotli Internals
wrote like the wind; frequentist vs Bayes on sparsity
hoggresearch.blogspot.com·22h·
Discuss: hoggresearch.blogspot.com
🧠Machine Learning
I wrote 2000 LLM test cases so you don't have to: LLM feature compatibility grid
getkiln.ai·2h·
Discuss: Hacker News
🔍Concolic Testing
API tests as the single source of truth for docs, SDKs, and AI agents
scheduleddowntime.com·2h·
Discuss: Hacker News
🔗Hypermedia APIs
On the Inevitability of Left-Leaning Political Bias in Aligned Language Models
arxiv.org·13h
💻Programming languages
Coding with LLMs in the summer of 2025 (an update)
antirez.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🛠Language Design
Swift and C++ Interoperability in Practice
arturgruchala.com·1d·
Discuss: Hacker News
✅Format Verification
Vibecoding a High Performance System
andrewkchan.dev·46m·
Discuss: Hacker News
👁️System Observability
Myth vs. Reality: Real-World Runtime Performance of Node.js, Deno, and Bun
hackernoon.com·20h
🌐Web Standards
A leave-one-out approach to approximate message passing
arxiv.org·13h
🧮Kolmogorov Complexity
Dear Null
home.expurple.me·4h·
Discuss: Hacker News
🦀Rust Verification
Brent Yorgey: Competitive programming in Haskell: sparse tables
byorgey.github.io·4d
🧮Algebraic Datatypes
Cactus Language • Stylistics 6
inquiryintoinquiry.com·2d
🌳Context free grammars
Python Fundamentals: class variables
dev.to·1d·
Discuss: DEV
🐛Fuzzing
Intuitionistic monotone modal logic via translation
arxiv.org·1d
🏗️Constructive Mathematics
The calculus of variations of the Transformer on the hyperspherical tangent bundle
arxiv.org·13h
🌀Differential Geometry
DARE: Diverse Visual Question Answering with Robustness Evaluation
arxiv.org·13h
🏛Digital humanities
H-Nets – The Past
goombalab.github.io·2d·
Discuss: Hacker News
🧠Machine Learning
A Full Code Agent in 200 Lines
cthiriet.com·23h·
Discuss: Hacker News
⚡Proof Automation
Machine Learning Fundamentals: federated learning tutorial
dev.to·2h·
Discuss: DEV
📊Homelab Monitoring