TechBrief — تازه‌ترین اخبار فناوری

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

Latent Agents: A Post-Training Procedure for Internalized Multi-Agent Debate

Article URL: https://arxiv.org/abs/2604.24881

Comments URL: https://news.ycombinator.com/item?id=48405841

Points: 5

# Comments: 0

Valve says it’s ready to launch the Steam Machine this summer

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 […]

Ahead of its IPO, Anthropic’s Daniela Amodei shrugs off doubts about AI’s returns

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.

Airbnb’s Brian Chesky plans to launch a new AI lab

The Airbnb CEO said last year it hasn't struck an LLM partnership because existing products weren't quite ready.

The skeptic’s guide to humanoid robots going viral on the Internet

Robot demonstrations can distort public perceptions of robotic capabilities.

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

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

Filtr is a new privacy tool that blocks ads in almost every iPhone and Mac app

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.

IPv6 zones in URLs are a mistake

Article URL: https://xeiaso.net/notes/2026/ipv6-zones-go-url/

Comments URL: https://news.ycombinator.com/item?id=48405019

Points: 53

# Comments: 36

Queen bees emerge from special wax chambers

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