When HRSA replaces it’s inscrutable UDS Mapper Tool with an equally incomprehensible GeoCare Navigator and grants.gov makes us all beta testers!
seliger.com·6h
🐧FOSS
Brands! Brands! Brands!
thomasrigby.com·7h
🔌Operating system internals
RSS feed in an Astro blog
amanhimself.dev·1d
📰RSS Feed Discovery
Sorting Prompts - LLMs are not wrong you just caught them mid thought
kau.sh·3d
⚡Proof Automation
The cost of design iteration in software engineering
ayende.com·11h
⚙️Proof Engineering
Well-Typed.Com: Verifying and testing timeliness constraints with io-sim
well-typed.com·23h
🔍Concolic Testing
Introducing oavif: faster target quality image compression
giannirosato.com·1d·
Discuss: Lobsters, Hacker News
⚡Modern Compression
People Are People, or Why I Don't Want to Be a Landlord
oddevan.com·5h·
Discuss: Hacker News
🏠Personal Archives
We need (at least) ergonomic, explicit handles
smallcultfollowing.com·23h·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Borrowing
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·6d
🎯Proof Tactics
Looking for Work and Community Resources
news.ycombinator.com·13h·
Discuss: Hacker News
🚀Indie Hacking
Predictive Modeling of Neutron Capture Cross-Sections via Bayesian Kernel Regression
dev.to·21h·
Discuss: DEV
🧲Magnetic Resonance
Unlocking 3D Worlds: How Differentiable Rendering Bridges AI and Graphics
dev.to·17h·
Discuss: DEV
📐Projective Geometry
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Conformal Risk Training: End-to-End Optimization of Conformal Risk Control
arxiv.org·19h
🧠Machine Learning
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·7h·
Discuss: DEV
🎙️Whisper
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·6d
💻Programming languages
The Future is AI — and It’s Happening Now!
dev.to·6h·
Discuss: DEV
🤖AI Curation
Evaluating LLM-Generated Legal Explanations for Regulatory Compliance in Social Media Influencer Marketing
arxiv.org·3d
🔍Information Retrieval
The Alignment Waltz: Jointly Training Agents to Collaborate for Safety
arxiv.org·3d
🔲Cellular Automata