Tesla plans to roll out its Robotaxi service in San Francisco this weekend

1 points by loog5566 55s ago 0 comments

Claude outage off and on since Thursday afternoon (status.anthropic.com)

1 points by VoidWhisperer 2m ago 1 comments

Unofficial HTTP Status Codes (en.wikipedia.org)

1 points by kvnhn 2m ago 0 comments

Preston is a software engineer at a San Francisco startup – he's also in prison (techcrunch.com)

2 points by ryan_j_naughton 4m ago 0 comments

Show HN: StackDAG: Build and share application stacks as DAGs (stackdag.pages.dev)

2 points by JavRedstone 4m ago 0 comments

Microsoft CEO feels weighed down by job cuts (theregister.com)

1 points by rntn 4m ago 0 comments

Hachi – A new systems language built on C++, with built-in auto-free mem mgmt (hdev.run)

1 points by takko_the_boss 6m ago 1 comments

Should America Be Run by Trader Joe's? (freakonomics.com)

1 points by impish9208 7m ago 1 comments

Augmented Democracy exploring the design space of collective decisions (augmenteddemocracy.com)

2 points by Bluestein 8m ago 1 comments

Taste testing battery-flavored tortilla chips (theverge.com)

2 points by microsoftedging 9m ago 0 comments

The companies using AI to reinvent the energy business (fortune.com)

2 points by Bluestein 13m ago 0 comments

Analysis of helmet materials for reducing traumatic brain injury risk in cricket (pubs.aip.org)

1 points by PaulHoule 13m ago 0 comments

Developed the First Quantum Metabolic Avatar, Digital Twin of Human (newswise.com)

1 points by smb111 13m ago 0 comments

Open-Source RISC-V Peripheral Challenge (tinytapeout.com)

2 points by EvgeniyZh 13m ago 0 comments

The Roots of the Gaza Genocide (mearsheimer.substack.com)

3 points by hackandthink 14m ago 1 comments

SuperDuper 4.0b1 update, macOS Tahoe and 6M Spotlight index files (shirtpocket.com)

2 points by zdw 15m ago 0 comments

Show HN: Go for Gophers (eBook) (goforgophers.com)

2 points by tunabr 17m ago 0 comments

Wero Wallet (wero-wallet.eu)

2 points by edent 18m ago 0 comments

Show HN: I missed a $2M deal due to bad notes, so I built this (apps.apple.com)

1 points by pokakrisztian 19m ago 2 comments

Tariffs Are Being Picked Up by Corporate America (wsj.com)

1 points by JumpCrisscross 20m ago 0 comments

Tomato Season Is Different This Year (theatlantic.com)

2 points by JumpCrisscross 20m ago 0 comments

NixOS MCP Server (github.com)

1 points by aussieguy1234 21m ago 0 comments

Ispc: Intel implicit SPMD single program multiple data compiler (pharr.org)

3 points by fanf2 22m ago 0 comments

I've Had It with Microsoft (disconnect.blog)

3 points by speckx 23m ago 0 comments

Programming Vehicles in Games (wassimulator.com)

13 points by Bogdanp 23m ago 0 comments

Who Is Adam? (twitter.com)

1 points by titaniumrain 24m ago 0 comments

Does the Mac even matter anymore? (macworld.com)

3 points by indigodaddy 24m ago 1 comments

AI Is Power-Hungry (intelligent-people.org)

1 points by FaustBaseline 28m ago 1 comments

Cursor makes developers less effective? (newsletters.feedbinusercontent.com)

1 points by robenkleene 28m ago 0 comments

Show HN: Built 100x faster ChatGPT Agents. Raised $2.8M (twitter.com)

1 points by louis030195 29m ago 0 comments

Physics-Based Simulation Free Online Book (phys-sim-book.github.io)

1 points by s-macke 30m ago 0 comments

Red Hat Has Been Rewriting Bash-Based Greenboot in Rust (phoronix.com)

1 points by mikece 30m ago 0 comments

The Kernel Programming Language (web.cs.wpi.edu)

2 points by thunderbong 33m ago 0 comments

Fumbling Toward Truth and Beauty in Used Bookstores (charliebecker.substack.com)

3 points by pearlysoames 34m ago 0 comments

AI Code Guide (github.com)

1 points by mov 37m ago 0 comments

Show HN: The Montana MiniComputer (mtmc.cs.montana.edu)

12 points by recursivedoubts 38m ago 6 comments

Google's shortened goo.gl links will stop working next month (theverge.com)

11 points by mobilio 39m ago 2 comments

Lander (ehmorris.com)

2 points by bwoah 39m ago 0 comments

Air Canada returned lost bag, it now had knife,toiletries, ticket scanner inside (cbc.ca)

17 points by andy99 42m ago 6 comments

FinantixAI Goes Public (finantix.ai)

2 points by NotNerdz 43m ago 0 comments

Show HN: I created a Chrome extension with GitHub Copilot that works

1 points by KodyBerns99 46m ago 0 comments

How AI on Microcontrollers Actually Works: Registering Operators (danielmangum.com)

1 points by hasheddan 48m ago 0 comments

Eros-Aanand Rai Dispute over AI-Altered 'Raanjhanaa' Ending Escalates (variety.com)

1 points by speckx 51m ago 0 comments

Hungary's government bans Kneecap from the country because antisemitism (twitter.com)

2 points by aquir 57m ago 1 comments

The Cool Professor: When Your "Student Centered" Classroom Is All About You (freddiedeboer.substack.com)

1 points by PaulHoule 59m ago 0 comments

Meta Has Negative Brand Value (crookeddandy.substack.com)

1 points by rb196 59m ago 0 comments

Why Apple Dumped 2,700 Computers In A Landfill In 1989 (hackaday.com)

1 points by rbanffy 1h ago 0 comments

Microsoft admits it 'cannot guarantee' data sovereignty (theregister.com)

8 points by rntn 1h ago 2 comments

I won three competitive grants in a row. Here's how I learned what to do. (nature.com)

2 points by bookofjoe 1h ago 1 comments

How do I get better at interviews

2 points by sebzuddas 1h ago 0 comments

Gemini 2.5 Pro Capable of Winning Gold at IMO 2025 with Prompting

4 thorum 3 7/24/2025, 3:16:37 AM arxiv.org ↗

Comments (3)

thorum · 1d ago

This is independent research, not by the Google team that won gold, showing the public model can achieve gold results through clever prompting.

andsoitis · 1d ago

Not just “capable”; it did win gold: https://www.nytimes.com/2025/07/21/technology/google-ai-inte...

yorwba · 1d ago

That is a different model.