The Easiest Way to Build a Type Checker
jimmyhmiller.com·15h·
Discuss: Hacker News
🧩Types
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·11h
💻Programming languages
Flag this post
10000
jro.sg·22h
🔍Binary Analysis
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·13h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·13h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Error handling with axum and enum_convert
github.com·18h·
Discuss: r/rust
🌐Axum
Flag this post
SQLite Release 3.51.0
sqlite.org·24m·
Discuss: Hacker News
💾SQLite
Flag this post
I use AI to synthesize all my datasets now
thefulldatastack.substack.com·15h·
Discuss: Substack
🔍EXPLAIN ANALYZE
Flag this post
CodeSummit 2.O: National-Level Coding Competition
reddit.com·21h·
✏️Code Editors
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·12h·
Discuss: Hacker News
📄Semantic Chunking
Flag this post
Challenges compiling old C++ code on modern Linux
smalldatum.blogspot.com·17h·
🗄️libSQL
Flag this post
Zig in 30 Minutes
gist.github.com·15h·
Discuss: Hacker News
🦀Rust Compiler Internals
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·18h
📦WASM
Flag this post
Dipole Nature
lesswrong.com·3h
⚛️Physics
Flag this post
Near-Perfect Portfolio Strategy For Today's Uncertain Market
seekingalpha.com·21h
🐯TigerBeetle
Flag this post
The Machine Learning Roadmap
github.com·11h·
Discuss: Hacker News
🏗️LLM Infrastructure
Flag this post
A Holiday Gift Guide: Presents to Thank Your Host
newyorker.com·23h
Coffee
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·10h
🆕New AI
Flag this post
Every brand should save this!
threadreaderapp.com·17h
🔤Typography
Flag this post
RESULTS: Belgian Pro League results and standings
nordot.app·17h
💾Database Formats
Flag this post