Do transformers need three projections? Systematic study of QKV variants
Article URL: https://arxiv.org/abs/2606.04032
Comments URL: https://news.ycombinator.com/item?id=48405931
Points: 37
# Comments: 5
Article URL: https://arxiv.org/abs/2606.04032
Comments URL: https://news.ycombinator.com/item?id=48405931
Points: 37
# Comments: 5
Article URL: https://arxiv.org/abs/2604.24881
Comments URL: https://news.ycombinator.com/item?id=48405841
Points: 5
# Comments: 0
Valve now says that the delayed Steam Machine PC and Steam Frame VR headset are set to launch sometime this summer. In a Thursday blog post detailing its Verified programs for both pieces of hardware, Valve concludes by saying that "We're excited for players to try your titles on the new Steam hardware once they […]
Anthropic has been growing at a breakneck pace. The company announced that annualized revenue crossed $47 billion in May, up dramatically from roughly $9 billion at the end of 2025. That trajectory faces a real test, though.
The Airbnb CEO said last year it hasn't struck an LLM partnership because existing products weren't quite ready.
Robot demonstrations can distort public perceptions of robotic capabilities.
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons.
The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps.
Trust in the correctness comes entirely from the Lean checker and human review of a small specification, not from the LLM.
Also check out the web demo built around the verified core linked in the readme: https://schildep.github.io/verified-polygon-intersection/. It supports multipolygons including holes, self intersections, and overlapping edges.
Comments URL: https://news.ycombinator.com/item?id=48405264
Points: 31
# Comments: 5
This popular ad blocker app for iPhones, iPads, and Macs can now block ads from loading inside apps, including web browsers, thanks to a new feature in the latest Apple software.
Article URL: https://xeiaso.net/notes/2026/ipv6-zones-go-url/
Comments URL: https://news.ycombinator.com/item?id=48405019
Points: 53
# Comments: 36
Article URL: https://cen.acs.org/materials/biobased-materials/queen-bees-special-wax/104/web/2026/06
Comments URL: https://news.ycombinator.com/item?id=48404905
Points: 24
# Comments: 0