Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
A Review of Developmental Interpretability in Large Language Models
arxiv.org·1d
🤖Grammar Induction
Claude Code's 19 cent Parser
blogger.com·15h
🔧Binary Parsers
Why Semantic Layers Matter—and How to Build One with DuckDB
ssp.sh·1d
🗄️Database Internals
Song recommendations with F# free monads
blog.ploeh.dk·20h
🔗Functional Compilers
Teaching programming languages
kmjn.org·16h
💻Programming languages
Day 11: AI Analyzer Foundation Complete - Model Selection and Evidence Formatting
dev.to·9h·
Discuss: DEV
👁️System Observability
[P] aligning non-linear features with your data distribution
reddit.com·17h·
Discuss: r/MachineLearning
🧠Machine Learning
How Should a CMS Repository Understand the Content Within It?
deanebarker.net·2d·
Discuss: Hacker News
🗄️Database Internals
Can large language models figure out the real world?
news.mit.edu·7h
🧮Kolmogorov Bounds
Structural vs. Mathematical “Under” (2023)
dyalog.com·3h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·17h
🤝Paxos Consensus
FLINT: Fast Library for Number Theory
flintlib.org·9h
🧮Algebraic Datatypes
The Lobster Programming Language
strlen.com·8h·
Discuss: Hacker News
🔗Concatenative Programming
Stable, Mutable References for Ante
antelang.org·14h·
Discuss: Hacker News, r/programming
🔒Type Safety
Anonymous structavaganza in zig
lirk.top·10h·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Software convergence
underlap.org·4d
⚔️Lean Theorem
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·21h·
Discuss: Hacker News
💾Binary Linguistics
Grok: Thousands LOC a day in C is a big deal even if the "coder" uses LLM?
news.ycombinator.com·5h·
Discuss: Hacker News
📏Code Metrics