how to resolve a halting paradox
academia.edu·19h·
Discuss: r/programming
🧮SMT Solvers
Project Graveyard on Apple Vision Pro Is a Free Place for Dead Ideas
uploadvr.com·7h·
Discuss: Hacker News
🚀Startups
9 ways AI makes Pixel 10 our most helpful phone yet
blog.google·3h
📱Edge AI Optimization
'It Was a Trap': In China, Non-Competes Leave Workers in Limbo
sixthtone.com·6h·
Discuss: Hacker News
🔓Hacking
Simpler Category Theory
ryanbrewer.dev·6h·
Discuss: Hacker News
🧩Types
REITs Buying Tranches of Single-Family Homes (2024)
finance.yahoo.com·2h·
Discuss: Hacker News
🚀Startups
New bitcoin institute to focus on Africa
semafor.com·5h
💰Money and Power
South Africa Pushes Rule Review That Would Ease Starlink Entry
bloomberg.com·14h
⚖️Tech Policy
We Found Zero Low-Severity Bugs in 165 AI Code Reports. Zero
shamans.dev·3h·
Discuss: Hacker News
🛡️AI Safety
Subinterpreters and Asyncio
blog.changs.co.uk·9h·
Discuss: Hacker News
🚀Async Optimization
Sequoia Backs Zed's Vision for Collaborative Coding
zed.dev·19h·
Discuss: Hacker News
🔧Developer tools
Aura Triple Aero 15.6 Pro Max portable monitor review: 43 inches of real estate spread across three displays
tomshardware.com·6h
🖥GPUs
What to do with pre-order if I live in Russia?
lesswrong.com·5h
🚫Economic Sanctions
Four Remarkable Stories from the History of Math Behind Bars
scientificamerican.com·8h
💻Programming languages
From Sound to Meaning: A Deep Meaning Comprehension by DeepSeek
medium.com·11h·
Discuss: Hacker News
🎭Claude
'Biomining' seaweed explored for critical minerals to improve domestic supply chains
phys.org·4h
🥒Pickling
I Tried Amazon's Kiro.dev For 5 Days—It's a Below mid-level Dev
hackernoon.com·13h
👨‍💻Solo Dev
Single quantum device that measures amperes, volts and ohms could revolutionize how we measure electricity
phys.org·6h
⚛️Physics
I tried to get 600 dollars "deep think" for local models by making them argue with each other for hours. It's slow, but it's interesting
reddit.com·23h·
Discuss: r/LocalLLaMA
🆕New AI
Ok I raw dogged another new project.
threadreaderapp.com·23h
🚀Startups