Some recent project milestones
markjgsmith.com·1d
🔌Interface Evolution
Stable, Mutable References for Ante
antelang.org·19h·
Discuss: Hacker News, r/programming
🔒Type Safety
On systematic construction of correct logic programs
arxiv.org·5h
⚖️Hoare Logic
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·21h
🌀Brotli Dictionary
Shelling Out Is Selling Out
petersobot.com·7h·
Discuss: Hacker News
🎞️MKV Forensics
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Legal Doublet (Wikipedia)
en.wikipedia.org·1d·
Discuss: Hacker News
📜Text Collation
Notes on Autograd
aschrein.github.io·14h·
Discuss: Hacker News
⚡Incremental Computation
Trading Grids: A Technical Deep Dive
koolcodez.com·23h·
Discuss: Hacker News
🌊Stream Processing
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
A string formatting library in 65 lines of C++
riki.house·3d·
Discuss: Lobsters, Hacker News
✅Format Verification
Scheme Basics
courses.cs.washington.edu·3d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·23h·
Discuss: DEV
🔗Constraint Handling
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·14h·
Discuss: Hacker News
🤖AI Curation
OmniMRI: A Unified Vision--Language Foundation Model for Generalist MRI Interpretation
arxiv.org·5h
🤖Advanced OCR
Antirez/sds: Simple Dynamic Strings library for C
github.com·17h·
Discuss: Hacker News
✅Format Verification
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·5h
💻Local LLMs
How to Benchmark Classical Machine Learning Workloads on Google Cloud
towardsdatascience.com·12h
⚡Performance Mythology
Build a baby Claude Code using Python
siddharthbharath.com·18h·
Discuss: Hacker News
⚡Proof Automation
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·3d·
Discuss: Hacker News
🔗Concatenative Programming