Hacker News @HN@qoto.org

Lean4 helped Terence Tao discover a small bug in his recent paper
https://news.ycombinator.com/item?id=38035672
#hackernews #tech

Google's plan to stop Apple from getting serious about search
https://news.ycombinator.com/item?id=38023874
#hackernews #tech

Reality Labs has lost $11.4B during 2023 (there's still one quarter left)
https://news.ycombinator.com/item?id=38024056
#hackernews #tech

Sodium batteries offer an alternative to tricky lithium
https://news.ycombinator.com/item?id=38025086
#hackernews #tech

Gen Z wants less sex in TV and movies
https://news.ycombinator.com/item?id=38026817
#hackernews #tech

Next.js 14
https://news.ycombinator.com/item?id=38028480
#hackernews #tech

Synth Emulation in MAME
https://news.ycombinator.com/item?id=38025125
#hackernews #tech

Why cloud bandwidth is so obscenely expensive and what you can do about that
https://news.ycombinator.com/item?id=38025788
#hackernews #tech

The history of Rob 'CmdrTaco' Malda [audio]
https://news.ycombinator.com/item?id=38026637
#hackernews #tech

EU parliament agreement to remove chat control and safeguard secure encryption
https://news.ycombinator.com/item?id=38027346
#hackernews #tech

OpenAI Preparedness Challenge
https://news.ycombinator.com/item?id=38029307
#hackernews #tech

Cities Skylines 2 runs with 20fps on an Nvidia RTX4090
https://news.ycombinator.com/item?id=38029479
#hackernews #tech

War Thunder game engine released under BSD license
https://news.ycombinator.com/item?id=38030050
#hackernews #tech

Static Analysis Tools for C
https://news.ycombinator.com/item?id=38024002
#hackernews #tech

Apple backs national right-to-repair bill, offering parts, manuals, and tools
https://news.ycombinator.com/item?id=38024573
#hackernews #tech

Cold war satellite images reveal hundreds of unknown Roman forts
https://news.ycombinator.com/item?id=38024665
#hackernews #tech

Mars has a surprise layer of molten rock inside
https://news.ycombinator.com/item?id=38024899
#hackernews #tech

The Negative Impact of Mobile-First Web Design on Desktop
https://news.ycombinator.com/item?id=38025767
#hackernews #tech

75 percent of exclusive hardwood may be illegally harvested
https://news.ycombinator.com/item?id=38025998
#hackernews #tech

Kidney stone breakthrough procedure at UW called 'game changer' for patients
https://news.ycombinator.com/item?id=38026119
#hackernews #tech