‘Alarmingly high’ levels of forever chemicals found at airports in England, investigation reveals
theguardian.com·1d·
Discuss: Hacker News
🔍Formal Verification
We'll Soon Mod Our TV Shows Like We Mod Our Video Games
ai.gopubby.com·2d·
Discuss: Hacker News
🍎Apple
"I've got a solution: wolves"
robmanuelfuckyeah.substack.com·3d·
Discuss: Substack
🍎Apple
Prediction markets could create a missing incentive for climate action
santiag0m.github.io·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Methods of Science & Medieval Rainbows
brianschrader.com·4d·
Discuss: Hacker News
➡️Category Theory
The Beautiful Logic of Brains on the Brink
domofutu.substack.com·3d·
Discuss: Substack
🎮Verification Games
Gemini adds Temporary Chats and new personalization features
blog.google·2d·
Discuss: Hacker News, r/Android
🍎Apple
D-cysteine impairs tumour growth by inhibiting cysteine desulfurase NFS1
nature.com·2d·
Discuss: Hacker News
➡️Category Theory
A Special Diamond Is the Key to a Fully Open Source Quantum Sensor
wired.com·6d·
Discuss: Hacker News
💾Retro Computing
I'm Worried It Might Get Bad
danielmiessler.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Augmenting clinical reasoning, without replacing it
samrawal.substack.com·4d·
Discuss: Substack
✓Automated Theorem Proving
Welcome to the Era of Big Stupid in America
esquire.com·3d·
Discuss: Hacker News
🍎Apple
Robot can reduce superior's dominance in group discussions with human social hierarchy
arxiv.org·3d
🏹Effect Systems
Control-affine Schr\"odinger Bridge and Generalized Bohm Potential
arxiv.org·3d
🔄Finite State Machines
Diagrams-to-Dynamics (D2D): Exploring Causal Loop Diagram Leverage Points under Uncertainty
arxiv.org·5d
🏹Effect Systems
Robotic space rovers keep getting stuck. UW engineers have figured out why
news.wisc.edu·4d·
Discuss: Hacker News
🎮Verification Games
Mixture of Experts Guided by Gaussian Splatters Matters: A new Approach to Weakly-Supervised Video Anomaly Detection
arxiv.org·5d
🔠Type-Level Programming
ClimateSOM: A Visual Analysis Workflow for Climate Ensemble Datasets
arxiv.org·4d
✓Automated Theorem Proving
Towards Human-AI Collaboration System for the Detection of Invasive Ductal Carcinoma in Histopathology Images
arxiv.org·4d
💻CS
Learning More by Seeing Less: Line Drawing Pretraining for Efficient, Transferable, and Human-Aligned Vision
arxiv.org·4d
➡️Category Theory