‘Unusual Agreements’
wsj.com·2d
🔤DSLs
Repairing an HP 5370A Time Interval Counter
tomverbeure.github.io·4d·
Discuss: Hacker News
💾Retro Computing
ShortStop: A machine learning framework for microprotein discovery
bmcmethods.biomedcentral.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
Counting Leading Zeros in a Byte
nemanjatrifunovic.substack.com·3d·
Discuss: Substack
🐫Embedded OCaml
How to Build a Smart Website Analyzer with GPT-5, FastAPI, and Celery
fastlaunchapi.dev·4d·
Discuss: r/programming
✓Automated Theorem Proving
Most RAG Setups Are Broken — Here’s How to Fix Yours
javarevisited.substack.com·5d·
Discuss: r/programming
✓Automated Theorem Proving
New adhesive surface modeled on a remora works underwater
arstechnica.com·4d·
Discuss: Hacker News
🔬Unikernels
PHP compile time generics: yay or nay?
thephp.foundation·6d·
Discuss: Hacker News
🔬Static Analysis
Large Hardon Collider Poised to Receive Major Tech Upgrade
spectrum.ieee.org·3d·
Discuss: Hacker News
📡Network Protocol Design
When Everyone Gets a Genie
sanitarium.se·3d·
Discuss: Hacker News
💾Retro Computing
Procrastination and the Bikeshed Effect (2009)
blog.codinghorror.com·3d·
Discuss: Hacker News
🔬Static Analysis
What Is It Like to Be a Bat?
en.wikipedia.org·1d·
Discuss: Lobsters, Hacker News
🔬Unikernels
Rustroid - The Rust IDE that runs locally on your Android phone.
reddit.com·3d·
Discuss: r/programming
❄️Nixified Development
Wikimedia Foundation Challenges UK Online Safety Act Regulations
wikimediafoundation.org·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A Moral Agency Framework for Legitimate Integration of AI in Bureaucracies
arxiv.org·2d
💻CS
Frequency Prior Guided Matching: A Data Augmentation Approach for Generalizable Semi-Supervised Polyp Segmentation
arxiv.org·2d
➡️Category Theory
MedReasoner: Reinforcement Learning Drives Reasoning Grounding from Clinical Thought to Pixel-Level Precision
arxiv.org·2d
✓Automated Theorem Proving
Algorithmic Fairness amid Social Determinants: Reflection, Characterization, and Approach
arxiv.org·1d
🏹Effect Systems
Show HN: SecretShare – Easy, secure one time secret sharing CLI
news.ycombinator.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
Nonparametric Reaction Coordinate Optimization with Histories: A Framework for Rare Event Dynamics
arxiv.org·2d
➡️Category Theory