Baltimore Assessments Accidentally Subsidize Blight–and How We Can Fix It
progressandpoverty.substack.com·1d·
Discuss: Substack
🧪Property-Based Testing
Building Resilient Systems from the Customer's Perspective
americanexpress.io·3d·
Discuss: Hacker News
👁️System Observability
Run Node.js frameworks like Express.js natively on Cloudflare Workers
jross.me·3d·
Discuss: Hacker News
⎈Kubernetes
Harvard considered as a long-lived biological organism (2022)
frankhecker.com·3d·
Discuss: Hacker News
🎮Verification Games
Designing for User Font-size and Zoom | OddBird
oddbird.net·4d·
Discuss: Hacker News
🧪Property-Based Testing
Artificial intelligence saves doctors time, but makes mistakes – study
rnz.co.nz·1d·
Discuss: Hacker News
🎮Verification Games
original ↗
ergaster.org·5d·
Discuss: Lobsters, Hacker News
🏠HomeLab
Building Income Through LibrePCB: A Personal Story
librepcb.org·3d·
Discuss: Hacker News, r/opensource
🖥️Self-hosted Infrastructure
Flourishing chemosynthetic life at the greatest depths of hadal trenches
nature.com·3d·
Discuss: Hacker News
⎈Kubernetes
More scientific papers being written with help of ChatGPT—especially in computer science
phys.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
IBM Outlines Steps To Verify Claims Of Quantum Advantage
nextplatform.com·3d·
Discuss: Hacker News
👁️System Observability
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·5d·
Discuss: Hacker News
🐫OCaml
PCB-CI: Printed Circuit Board Automation (cosin2025)
cdn.media.ccc.de·1d
🔄Reproducible Builds
Glioblastoma Overall Survival Prediction With Vision Transformers
arxiv.org·4d
💻CS
Talking Surveys: How Photorealistic Embodied Conversational Agents Shape Response Quality, Engagement, and Satisfaction
arxiv.org·4d
🎮Verification Games
AI-Generated Algorithmic Virality
arxiv.org·4d
✓Automated Theorem Proving
Fast Algorithm for Moving Sound Source
arxiv.org·3d
💻CS
When Cars Have Stereotypes: Auditing Demographic Bias in Objects from Text-to-Image Models
arxiv.org·3d
🎮Verification Games
Classifying Epistemic Relationships in Human-AI Interaction: An Exploratory Approach
arxiv.org·3d
🛡️seL4
Diffusion Models with Adaptive Negative Sampling Without External Resources
arxiv.org·3d
✓Automated Theorem Proving