Writing Out My Tunes
jefftk.com·7h
🎼Computational Musicology
2025-08-17: Despite thoughts to the contrary, GNAT (Ada) is in fact fully supported on illumos
briancallahan.net·20h
🔗Static Linking
A programmer's field guide to assertions
typesanitizer.com·10h·
Discuss: Lobsters
📜Proof Carrying Code
On the synchronization between Hugging Face pre-trained language models and their upstream GitHub repository
arxiv.org·2d
🕰️RetroCRDTs
Save memory and CPU with an interning cache
chrispenner.ca·5d
⚡Cache Theory
Branch prediction: Why CPUs can't wait? - namvdo's blog
namvdo.ai·1d·
Discuss: r/compsci, r/programming
⚡CPU Microarchitecture
Stacks in Python — A Practical Guide to LIFO Data Structures
thenewstack.io·2d
🔗Concatenative Programming
Show HN: FilterQL – A tiny query language for filtering structured data
github.com·3d·
Discuss: Hacker News
✅Format Verification
Unducking Typescript primitive aliases
zerotrickpony.com·6d·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
Nonlocal Monte Carlo via Reinforcement Learning
arxiv.org·2d
🔲Cellular Automata
Automated Multi-Modal Protein Expression Analysis via Dynamic Federated Learning
dev.to·1d·
Discuss: DEV
🔍Vector Forensics
Faceclick: A lightweight Emoji picker with keyword search
ratfactor.com·1d·
Discuss: Lobsters
📝Text Compression
Comparison of Generic Container Libraries for C
github.com·4d·
Discuss: Hacker News
💧Liquid Types
Linux Current Task Dump - Debian Bugs
blog.raymond.burkholder.net·5h
🔍eBPF
Public vs. Private LLMs: Another One Rides the Bus
dev.to·1d·
Discuss: DEV
💻Local LLMs
Accelerating Directed Evolution of Thermostable Esterases via Multi-Objective Optimization & Bayesian Hyperparameter Tuning
dev.to·11h·
Discuss: DEV
🧮Algorithmic Cooking
Why might it be necessary for Coalton to be a language in itself?
gist.github.com·5d·
Discuss: Hacker News
🧠Lisp Dialects
A LeetCode Discussion: Coin Change Problems
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Wait Don't spawn that task – Comparing patterns for mutable state
taping-memory.dev·4d·
Discuss: Hacker News, Hacker News, r/programming
🦀Rust Borrowing
AI-Powered Note Taker & Summarizer I Built From Scratch
dev.to·8h·
Discuss: DEV
📄PostScript