What brain surgery taught me about the fragile gift of consciousness
bigthinkmedia.substack.com·10h·
Discuss: Substack
🩹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·1d·
Discuss: Substack
✓Automated Theorem Proving
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·3d·
Discuss: Hacker News
🔄Reproducible Builds
You and Your Local Gradient
whybyfire.net·1d·
Discuss: Hacker News
🩹Self-Healing Systems
'Make invalid states representable' considered harmful
seangoedecke.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Building a Multilingual Blog with FastHTML
simn.fr·4d·
Discuss: Hacker News
💎Refinement Types
🚀 Looking for Feedback on ClearWork: Real-World Process Mapping, Future-State Design & Agentic Workflows
clearwork.io·1d·
Discuss: DEV, Hacker News
👁️System Observability
Another Turn, Better Output? A Turn-Wise Analysis of Iterative LLM Prompting
arxiv.org·2d
🧩Parser Combinators
An End-to-End Deep Learning Framework for Arsenicosis Diagnosis Using Mobile-Captured Skin Images
arxiv.org·21h
📚Automata Learning
Validation of a CT-brain analysis tool for measuring global cortical atrophy in older patient cohorts
arxiv.org·21h
💾Retro Computing
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·21h
📚Automata Learning
HumanAgencyBench: Scalable Evaluation of Human Agency Support in AI Assistants
arxiv.org·21h
📚Automata Learning
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
arxiv.org·3d
🐫OCaml
Focusing by Contrastive Attention: Enhancing VLMs' Visual Reasoning
arxiv.org·2d
📚Automata Learning
Biomedical Literature Q&A System Using Retrieval-Augmented Generation (RAG)
arxiv.org·2d
🧩Parser Combinators
Show HN: An open source Vercel/Render alternative for Python apps
github.com·14h·
Discuss: Hacker News
🐳Containerization