‘Unusual Agreements’
wsj.com·3d
🔤DSLs
Do You Know These Hidden Ways Node.js Manages Memory?
blog.stackademic.com·5h·
Discuss: r/node, r/programming
🏹Effect Systems
Counting Leading Zeros in a Byte
nemanjatrifunovic.substack.com·4d·
Discuss: Substack
🐫Embedded OCaml
Prices as the optimal mechanism: Why I Support Capitalism
nicholasdecker.substack.com·1d·
Discuss: Substack
🖥️Self-hosted Infrastructure
How to Build a Smart Website Analyzer with GPT-5, FastAPI, and Celery
fastlaunchapi.dev·5d·
Discuss: r/programming
✓Automated Theorem Proving
I am selling an AI-powered feedback collecting app($700, negotiable)
slentix.vercel.app·3d·
Discuss: Hacker News
👁️System Observability
MusicExtend
musicextend.com·1d·
Discuss: Hacker News
🍎Apple
Procrastination and the Bikeshed Effect (2009)
blog.codinghorror.com·4d·
Discuss: Hacker News
🔬Static Analysis
What Is It Like to Be a Bat?
en.wikipedia.org·2d·
Discuss: Lobsters, Hacker News
🔬Unikernels
My Lethal Trifecta talk at the Bay Area AI Security Meetup
simonwillison.net·6d·
Discuss: Hacker News
🛡️seL4
New adhesive surface modeled on a remora works underwater
arstechnica.com·5d·
Discuss: Hacker News
🔬Unikernels
A Moral Agency Framework for Legitimate Integration of AI in Bureaucracies
arxiv.org·3d
💻CS
MedReasoner: Reinforcement Learning Drives Reasoning Grounding from Clinical Thought to Pixel-Level Precision
arxiv.org·3d
✓Automated Theorem Proving
Frequency Prior Guided Matching: A Data Augmentation Approach for Generalizable Semi-Supervised Polyp Segmentation
arxiv.org·3d
➡️Category Theory
Conversational DNA: A New Visual Language for Understanding Dialogue Structure in Human and AI
arxiv.org·3d
➡️Category Theory
HealthBranches: Synthesizing Clinically-Grounded Question Answering Datasets via Decision Pathways
arxiv.org·3d
🎮Verification Games
Fusion-Based Brain Tumor Classification Using Deep Learning and Explainable AI, and Rule-Based Reasoning
arxiv.org·3d
💻CS
Algorithmic Fairness amid Social Determinants: Reflection, Characterization, and Approach
arxiv.org·2d
🏹Effect Systems
AI can make us UK's biggest firm, Rolls-Royce says
bbc.co.uk·2d·
Discuss: Hacker News
👁️System Observability
Creating good content with AI still needs good amount of iteration if you CARE
news.ycombinator.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving