What brain surgery taught me about the fragile gift of consciousness
bigthinkmedia.substack.com·6h·
Discuss: Substack
🩹Self-Healing Systems
Devotion Without Fanaticism
templeton.org·12h·
Discuss: Hacker News
🩹Self-Healing Systems
The Scam Called "You Don't Have to Remember Anything"
zettelkasten.de·1d·
Discuss: Hacker News
✓Automated Theorem Proving
You're a Slow Thinker. Now What?
chillphysicsenjoyer.substack.com·23h·
Discuss: Substack
✓Automated Theorem Proving
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·3d·
Discuss: Hacker News
🔄Reproducible Builds
'Make invalid states representable' considered harmful
seangoedecke.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Building a Multilingual Blog with FastHTML
simn.fr·3d·
Discuss: Hacker News
💎Refinement Types
Mediabunny: Pure TypeScript media toolkit similar to FFmpeg
github.com·16h·
Discuss: Hacker News
🌐NetworkProtocols
An End-to-End Deep Learning Framework for Arsenicosis Diagnosis Using Mobile-Captured Skin Images
arxiv.org·17h
📚Automata Learning
Validation of a CT-brain analysis tool for measuring global cortical atrophy in older patient cohorts
arxiv.org·17h
💾Retro Computing
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·2d
🧠Automated Reasoning
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.org·2d
🤖Program Synthesis
Humans as Bottleneck
shubhamg.bearblog.dev·1d·
Discuss: Hacker News
📚Automata Learning
Asymmetry Vulnerability and Physical Attacks on Online Map Construction for Autonomous Driving
arxiv.org·2d
📦Unikernel Systems
Classification of 24-hour movement behaviors from wrist-worn accelerometer data: from handcrafted features to deep learning techniques
arxiv.org·17h
📚Automata Learning
HumanAgencyBench: Scalable Evaluation of Human Agency Support in AI Assistants
arxiv.org·17h
📚Automata Learning
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
arxiv.org·3d
🐫OCaml
Biomedical Literature Q&A System Using Retrieval-Augmented Generation (RAG)
arxiv.org·2d
🧩Parser Combinators
Focusing by Contrastive Attention: Enhancing VLMs' Visual Reasoning
arxiv.org·2d
📚Automata Learning
Show HN: An open source Vercel/Render alternative for Python apps
github.com·10h·
Discuss: Hacker News
🐳Containerization