🧬 Functional Programming

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

MetaGreenData: Making Code More Sustainable, One Metadata File at a Time
software.ac.uk·17h
🦋Format Metamorphosis
Coding with LLMs in the summer of 2025 (an update)
simonwillison.net·2d
💧Liquid Types
AI in universities: How large language models are transforming research
phys.org·12h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Beginner’s Guide to String Manipulation in Python
kdnuggets.com·16h
📝Text Parsing
MIT 6.1200J Mathematics for Computer Science, Spring 2024
ocw.mit.edu·43m·
Discuss: Hacker News
💻CS
Python Morsels: Don't call dunder methods
pythonmorsels.com·4h
🔢Denotational Semantics
Functional Documentation
dzombak.com·14h·
Discuss: Hacker News
📜Proof Carrying Code
Coding with LLMs in the summer of 2025 (an update)
antirez.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🛠Language Design
Mind the Gap: Evaluating the Representativeness of Quantitative Medical Language Reasoning LLM Benchmarks for African Disease Burdens
arxiv.org·30m
✅Formal Methods
Intuitionistic monotone modal logic via translation
arxiv.org·2d
🏗️Constructive Mathematics
Python Fundamentals: class variables
dev.to·1d·
Discuss: DEV
🐛Fuzzing
The calculus of variations of the Transformer on the hyperspherical tangent bundle
arxiv.org·1d
🌀Differential Geometry
DARE: Diverse Visual Question Answering with Robustness Evaluation
arxiv.org·1d
🏛Digital humanities
A Full Code Agent in 200 Lines
cthiriet.com·1d·
Discuss: Hacker News
⚡Proof Automation
Machine Learning Fundamentals: federated learning tutorial
dev.to·13h·
Discuss: DEV
📊Homelab Monitoring
Agentic Coding Is A Fundamental Shift
saewitz.com·1d·
Discuss: Hacker News
🔢Coding Theory
Combining model tracing and constraint-based modeling for multistep strategy diagnoses
arxiv.org·2d
🧮Constraint Solvers
Tiny language models
arxiv.org·1d
🎙️Whisper
GASPnet: Global Agreement to Synchronize Phases
arxiv.org·30m
📝ABNF Parsing
LLM-in-a-Box: A Templated, Self-Hostable Framework for Generative AI
github.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis