New best story on Hacker News: Microsoft's 'unhackable' Xbox One has been hacked by 'Bliss'

Microsoft's 'unhackable' Xbox One has been hacked by 'Bliss'
541 by crtasm | 206 comments on Hacker News.

New best story on Hacker News: The “small web” is bigger than you might think

The “small web” is bigger than you might think
526 by speckx | 217 comments on Hacker News.

New best story on Hacker News: Kagi Small Web

Kagi Small Web
632 by trueduke | 177 comments on Hacker News.

New best story on Hacker News: Leanstral: Open-source agent for trustworthy coding and formal proof engineering

Leanstral: Open-source agent for trustworthy coding and formal proof engineering
601 by Poudlardo | 128 comments on Hacker News.
Lean 4 paper (2021): https://ift.tt/wAqpYEe

New best story on Hacker News: Kagi Translate now supports LinkedIn Speak as an output language

Kagi Translate now supports LinkedIn Speak as an output language
625 by smitec | 160 comments on Hacker News.

New best story on Hacker News: US SEC preparing to scrap quarterly reporting requirement

US SEC preparing to scrap quarterly reporting requirement
489 by djoldman | 262 comments on Hacker News.

New best story on Hacker News: Palestinian boy, 12, describes how Israeli forces killed his family in car

Palestinian boy, 12, describes how Israeli forces killed his family in car
535 by tartoran | 139 comments on Hacker News.