Delta Engineered a Pricing System That Sorts You by Economic Value
blog.getjetback.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Introducing Socket MCP for Claude Desktop
socket.dev·1h·
Discuss: Hacker News
🛡️seL4
Simplify, then add delightness: On designing for children
shaneosullivan.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🍎Apple
Your Brain Gives Off a Faint Light and It Might Say Something About It Works
zmescience.com·16h·
Discuss: Hacker News
🍎Apple
The U.S. Central Intelligence Agency's (CIA) remote viewing experiments
pmc.ncbi.nlm.nih.gov·2d·
Discuss: Hacker News
🍎Apple
Capturing the Invisible Art of Scientific Practice
blog.cultivarium.org·5d·
Discuss: Hacker News
🤖Program Synthesis
Anthropic unveils new rate limits to curb Claude Code power users
techcrunch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
More Windsurf Drama
theahura.substack.com·2d·
Discuss: Substack
📦Unikernel Systems
The many, many, many JavaScript runtimes of the last decade
buttondown.com·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
📦Unikernel Systems
Bluesky's ATProto and the race to the bottom of the brain stem
erasmus.github.io·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
AI Companion Piece
thezvi.substack.com·1d·
Discuss: Substack
🧪Property-Based Testing
The Satya of Satya’s Layoff Memo
om.co·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
SeeDiff: Off-the-Shelf Seeded Mask Generation from Diffusion Models
arxiv.org·18h
🐫OCaml
Review of Deep Learning Applications to Structural Proteomics Enabled by Cryogenic Electron Microscopy and Tomography
arxiv.org·18h
➡️Category Theory
Devs are frustrated with AI coding tools that deliver nearly-right solutions
theregister.com·2h·
Discuss: Hacker News
👁️System Observability
Novel Pivoted Cholesky Decompositions for Efficient Gaussian Process Inference
arxiv.org·18h
💻CS
Watermarking Large Language Model-based Time Series Forecasting
arxiv.org·18h
🐫OCaml
Automating Thematic Review of Prevention of Future Deaths Reports: Replicating the ONS Child Suicide Study using Large Language Models
arxiv.org·18h
🔬Static Analysis
Multi-Attention Stacked Ensemble for Lung Cancer Detection in CT Scans
arxiv.org·18h
💻CS
Security Tensors as a Cross-Modal Bridge: Extending Text-Aligned Safety to Vision in LVLM
arxiv.org·18h
🐫OCaml