Trump/Brazil: Delusions of Grandeur Go South
paulkrugman.substack.com·6h·
Discuss: Substack
🐫OCaml
How Not to Study a Disease
neurofrontiers.blog·1d·
Discuss: Hacker News
➡️Category Theory
Proximity Audio/Video Technology
thegamer.com·10h·
Discuss: Hacker News
🎮Verification Games
Everything Is Cringe
jamie.sh·18h·
Discuss: Hacker News
🍎Apple
Cognizant Attempts World's Largest Vibe Coding Event to Accelerate AI Literacy Across Thousands of Employees
news.cognizant.com·1d·
Discuss: r/programming
🎮Verification Games
Tetris Presents Math Problems Even Computers Can’t Solve
scientificamerican.com·4d·
Discuss: Hacker News
🎮Verification Games
Launching Peedief – Structured Document Generation for AI Agents
peedief.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Bug which took months to debug
sumantopal07.medium.com·2d·
Discuss: Hacker News
👁️System Observability
The Bard and The Shell
journal.bsd.cafe·4d·
Discuss: Lobsters, Hacker News
❄️Nix
Texts as Toys
contraptions.venkateshrao.com·4d·
Discuss: Hacker News
🏹Effect Systems
Bazzite OS
reddit.com·15h·
Discuss: r/homelab
🔬Unikernels
Exploring Dynamic Parameters for Vietnamese Gender-Independent ASR
arxiv.org·12h
🍎Apple
What ChatGPT Study Mode gets right and wrong
moderndescartes.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Wine Characterisation with Spectral Information and Predictive Artificial Intelligence
arxiv.org·3d
🐫OCaml
Point Cloud Self-supervised Learning via 3D to Multi-view Masked Learner
arxiv.org·3d
🔄Finite State Machines
Multi-Attention Stacked Ensemble for Lung Cancer Detection in CT Scans
arxiv.org·3d
💻CS
LSFDNet: A Single-Stage Fusion and Detection Network for Ships Using SWIR and LWIR
arxiv.org·3d
🐫OCaml
Security practices in AI development
arxiv.org·2d
🔍Formal Verification
‘This wasn’t obvious’: the potato evolved from a tomato ancestor, researchers find
theguardian.com·1d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
Torque-based Graph Surgery:Enhancing Graph Neural Networks with Hierarchical Rewiring
arxiv.org·2d
🏹Effect Systems