‘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
Most RAG Setups Are Broken — Here’s How to Fix Yours
javarevisited.substack.com·5d·
Discuss: r/programming
✓Automated Theorem Proving
The actual core of the AI debate
thepsmiths.com·2d·
Discuss: Hacker News
➡️Category Theory
I am selling an AI-powered feedback collecting app($700, negotiable)
slentix.vercel.app·2d·
Discuss: Hacker News
👁️System Observability
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
Wikimedia Foundation Challenges UK Online Safety Act Regulations
wikimediafoundation.org·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Rustroid - The Rust IDE that runs locally on your Android phone.
reddit.com·3d·
Discuss: r/programming
❄️Nixified Development
My Journey from macOS to Arch Linux with Omarchy
ssp.sh·6d·
Discuss: Hacker News, r/archlinux
🍎Apple
GPT-5 Alternatives: Indie hackers don't seem to like it
shipper.now·6d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Intersectoral Knowledge in AI and Urban Studies: A Framework for Transdisciplinary Research
arxiv.org·2d
💻CS
Fusion-Based Brain Tumor Classification Using Deep Learning and Explainable AI, and Rule-Based Reasoning
arxiv.org·2d
💻CS
Frequency Prior Guided Matching: A Data Augmentation Approach for Generalizable Semi-Supervised Polyp Segmentation
arxiv.org·2d
➡️Category Theory
InterChart: Benchmarking Visual Reasoning Across Decomposed and Distributed Chart Information
arxiv.org·2d
🔄Finite State Machines
Conversational DNA: A New Visual Language for Understanding Dialogue Structure in Human and AI
arxiv.org·2d
➡️Category Theory
HealthBranches: Synthesizing Clinically-Grounded Question Answering Datasets via Decision Pathways
arxiv.org·2d
🎮Verification Games
MedReasoner: Reinforcement Learning Drives Reasoning Grounding from Clinical Thought to Pixel-Level Precision
arxiv.org·2d
✓Automated Theorem Proving