Multiples and powers mod 1
johndcook.com·2d
🎯Arithmetic Coding Theory
I am no longer chairing defenses or joining committees where students use generative AI for their writing
statmodeling.stat.columbia.edu·1d
⚡Proof Automation
OpenAI's gold medal performance on the International Math Olympiad
simonwillison.net·5h
👑Isabelle
Front End Assets in Ruby on Rails Through the Years
cassey.dev·1d·
Discuss: Hacker News
🌐Web Standards
Intermediate Zig Build
rdunnington.github.io·1d·
Discuss: Hacker News
⚙️Build Archaeology
NIH Is Far Cheaper Than The Wrong Dependency
lewiscampbell.tech·1d·
Discuss: Lobsters, Hacker News, r/programming
📏Code Metrics
Shift Left Meets Kafka: Testing Event-Driven Microservices (2024)
signadot.com·1d·
Discuss: Hacker News
🌊Streaming Systems
I Fixed Ruby's Most Annoying Problem: 60-Second Gem Installs
mensfeld.pl·1d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nix Flakes
Vibe Coding with AI: Ensuring User Needs Are Met
kamil.chm.ski·2d·
Discuss: Hacker News
🚀Indie Hacking
I am a Rust compiler engineer looking for a new job
nnethercote.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·4d
🔲Proof Irrelevance
Context Engineering for AI Agents: Lessons
manus.im·1d·
Discuss: Hacker News
⚡Incremental Computation
Early Detection of Furniture-Infesting Wood-Boring Beetles Using CNN-LSTM Networks and MFCC-Based Acoustic Features
arxiv.org·1d
🎧Learned Audio
When Pattern-by-Pattern Works: Theoretical and Empirical Insights for Logistic Models with Missing Values
arxiv.org·1d
🧮Kolmogorov Complexity
A Discrete Analog of Tutte's Barycentric Embeddings on Surfaces
arxiv.org·1d
🌐Computational Topology
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·2d
🗂️Vector Databases
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.to·2d·
Discuss: DEV
🔄Language Evolution
Language Models for Adult Service Website Text Analysis
arxiv.org·3d
📝Text Parsing
✅ Week 1 Done! Python Automation + Git + Scripting 🚀
dev.to·11h·
Discuss: DEV
🐚Shell Automation
Parsing Protobuf Like Never Before
mcyoung.xyz·3d·
Discuss: Lobsters, Hacker News, r/programming
🔧Binary Parsers