🧬 Functional Programming

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

It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·3h·
Discuss: Hacker News
🦀Rust Macros
Which Programming Language Should I Teach First?
parentheticallyspeaking.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
💻Programming languages
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·17h
🎯Performance Proofs
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·1d·
Discuss: Hacker News
✅Format Verification
What’s Next for Kotlin Multiplatform and Compose Multiplatform – August 2025 Update
blog.jetbrains.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
k-NN Classification and Model Evaluation
dev.to·14h·
Discuss: DEV
🧠Machine Learning
Das Problem mit German Strings
polarsignals.com·23m·
Discuss: Lobsters, Hacker News
✅Format Verification
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·3h·
Discuss: DEV
🧠Intelligence Compression
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·6h·
Discuss: Hacker News
🛡️Error Boundaries
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·13h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🦾ARM Assembly
Reloading classes in python and shared borders
andrewpwheeler.com·10h·
Discuss: Hacker News
🦀Rust Macros
Making MCP Tool Use Feel Natural with Context-Aware Tools
ragie.ai·2h·
Discuss: Hacker News
🔗Constraint Handling
Trading Grids: A Technical Deep Dive
koolcodez.com·1d·
Discuss: Hacker News
🌊Stream Processing
Scheme Basics
courses.cs.washington.edu·4d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
WOMAC: A Mechanism For Prediction Competitions
arxiv.org·17h
🔲Cellular Automata
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·1d·
Discuss: Hacker News
🔗Concatenative Languages
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·17h
🔧Hardware Verification
Feature-Refined Unsupervised Model for Loanword Detection
arxiv.org·17h
📏Manuscript Metrics