news newest ask show jobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

IMO 2025 (International Math Olympiad) starts tomorrow – will DeepMind win Gold?

https://www.youtube.com/watch?v=vJjgtOcXq8A

3•mathsTeacher82•6h ago

Comments

mathsTeacher82•6h ago

The International Math Olympiad will take place on 15th and 16th July in Australia. Google Deepmind will attempt to win a gold medal with their models AlphaProof and AlphaGeometry, after announcing a silver medal performance in 2024. Any open-source model that wins a gold medal will receive a $5 million AIMO prize from XTX markets.

Surname Response Protocol – Shared Grok

https://grok.com/share/bGVnYWN5_58c54add-1989-4257-914b-a26002921c91

1•zepolud•5m ago•0 comments

You can still enable uBlock Origin in Chrome, here is how

https://www.neowin.net/guides/you-can-still-enable-ublock-origin-in-chrome-here-is-how/

1•bundie•5m ago•0 comments

Finding good bets in the lottery, and why you shouldn't take them

https://arxiv.org/abs/2507.01993

1•belter•5m ago•0 comments

Metadata Shows the FBI's 'Raw' Jeffrey Epstein Prison Video Was Likely Modified

https://www.wired.com/story/metadata-shows-the-dojs-raw-jeffrey-epstein-prison-video-was-likely-modified/

1•belter•6m ago•0 comments

SIMD in Rust: you do not need multithreading to do more than one thing at a time

https://sander.saares.eu/2024/12/31/you-do-not-need-multithreading-to-do-more-than-one-thing-at-a-time/

1•fanf2•6m ago•0 comments

The Surgeon and the Homemaker

https://www.thepublicdiscourse.com/2025/05/98005/

1•jger15•7m ago•0 comments

Generating Swagger Documentation from Source Code with ChatGPT

https://gist.github.com/atjsh/4a2a6ebd45e6d14afe712ddb7fed9241

1•letaem77•9m ago•0 comments

Show HN: I Wanted to Text My Danish Girlfriend, So I Built This Tool

https://menerdu.vercel.app/

1•lil_csom•10m ago•1 comments

Automating Oral Argument

https://adamunikowsky.substack.com/p/automating-oral-argument

1•gfortaine•11m ago•0 comments

Show HN: I hate buying shoes online so I built a service to fix that

https://www.getsize.shoes

1•monsharen•13m ago•0 comments

Micro Adventure – Space Attack (online emulator)

https://auri-microadventure.azurewebsites.net/

1•AlexeyBrin•15m ago•0 comments

Kimi-Dev-72B

https://huggingface.co/moonshotai/Kimi-Dev-72B

1•tosh•16m ago•0 comments

Adding up Feynman diagrams to make predictions about real materials

https://phys.org/news/2025-07-adding-feynman-diagrams-real-materials.html

1•rbanffy•21m ago•0 comments

The US gov is failing on vax policy. Vaccine Integrity Project is here to help

https://www.statnews.com/2025/07/03/vaccine-integrity-project-michael-osterholm-cidrap-rsv-flu-covid/

1•susiecambria•22m ago•0 comments

AI coding tools make developers slower but they think they're faster study finds

https://www.theregister.com/2025/07/11/ai_code_tools_slow_down/

17•Mgtyalx•33m ago•9 comments

Netflix Vulnerability: Dependency Confusion in Action

https://www.landh.tech/blog/20250610-netflix-vulnerability-dependency-confusion/

2•0xcybersec•39m ago•0 comments

Thunderbird: Fluent Windows 11 Design

https://github.com/Deathbyteacup/fluentbird

1•skipnup•40m ago•0 comments

Show HN: Try Free 5 SEO-Ready Articles Generated, You Make Them Unique

https://writfy.ai

1•wrtify_ai•40m ago•2 comments

Drones Are Key to Winning Wars Now. The U.S. Makes Hardly Any

https://www.nytimes.com/2025/07/13/business/drones-us-military-manufacturing-lags.html

19•perihelions•40m ago•8 comments

Phenomenology of a Kiddie Ride – Philosophy on an empty stomach

https://hedgehogreview.com/web-features/thr/posts/phenomenology-of-a-kiddie-ride

1•rntn•41m ago•0 comments

Show HN: The easiest way to track your finances in just one view, with an app

https://easybudget.ing/

2•mttspss•46m ago•0 comments

.NET: From Zero to Hero

https://dotnetz2h.com/

2•blackpc•49m ago•1 comments

Capas para Facebook e Instagram

https://docs.google.com/document/d/1clYqi6WsGuDuivqd3Y8RoYtOVlfQO4Zvnou9FN311OY/edit?usp=drivesdk

1•FCSB•1h ago•1 comments

What if UKR falls? No longer a hypothetical question – must be answered urgently

https://www.theguardian.com/commentisfree/2025/jul/13/ukraine-europe-donald-trump-nato

3•prmph•1h ago•1 comments

Show HN: I built an LLM chat app because we shouldn't need 10 AI subscriptions

https://prismharmony.com/chat

9•maniknt28•1h ago•6 comments

20 Games Challenge

https://20_games_challenge.gitlab.io/

1•agnishom•1h ago•0 comments

Happy 20th Birthday Django

https://www.djangoproject.com/weblog/2025/jul/13/happy-20th-birthday-django/

4•spapas82•1h ago•1 comments

AI therapy bots fuel delusions and give dangerous advice, Stanford study finds

https://arstechnica.com/ai/2025/07/ai-therapy-bots-fuel-delusions-and-give-dangerous-advice-stanford-study-finds/

8•pseudolus•1h ago•0 comments

What is a micro-retirement? Inside the latest Gen Z trend

https://www.fastcompany.com/91357784/what-is-a-micro-retirement-inside-the-latest-gen-z-trend

6•BerislavLopac•1h ago•2 comments

Mysterious pre-Islamic script from Oman finally deciphered

https://www.science.org/content/article/mysterious-pre-islamic-script-oman-finally-deciphered

3•pseudolus•1h ago•0 comments