IMO 2025 (International Math Olympiad) starts tomorrow

Comments (1)

mathsTeacher82 · 9h 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.

Swift is a more convenient Rust (lobste.rs)

MatrixTransformer – A Unified Framework for Matrix Transformations

'They Kept Coming': Packages Pile Up Outside Woman's Home (nytimes.com)

Bringing Virtualization to the x86 Architecture with the Original VMware Workst [pdf] (cs.columbia.edu)

73.5% of Argentinians support Milei's program and reject going back to the past (derechadiario.com.ar)

Jack the Signalman (en.wikipedia.org)

Idontpayattention(dot)com (idontpayattention.com)

Gut microbes can absorb and help expel 'forever chemicals' from the body (theguardian.com)

Idontfuckingpayattention(dot)com (idontfuckingpayattention.com)

A massive piece of Mars could sell for $4M (bbc.co.uk)

How does a screen even work? (makingsoftware.com)

Show HN: I made a free tool to sync Strava activities with your calendar (stravatocalendar.com)

Midas Introduces Private Credit Product with Fasanara, Morpho and Steakhouse (coindesk.com)

The Ukrainian links of America's legendary SR-71 spy plane (counteroffensive.news)

Setting Up a Greenfield Project on AWS (newsletter.masterpoint.io)

Using Stedi for AI voice agent workflows (stedi.com)

Science of Chess: How does chess calculation depend on words vs. pictures? (lichess.org)

You're Not Refactoring – You're Just Moving Code Around (thecynical.dev)

Derek Sivers' useful summary of Seth Godin's "Small is the new big" (sive.rs)

The Goal Is to Think as Little as Possible (without Ever Being Wrong) (gardnermcintyre.com)

Show HN: C0admin – A terminal-based AI assistant for Linux sysadmins (github.com)

The oceans may contain much, much more plastic than previously thought (grist.org)

Show HN: Brandiseer – From Idea to Full Brand Identity in Minutes (brandiseer.com)

Local Chatbot RAG with FreeBSD Knowledge (hackacad.net)

Spending Inference Time (kevinlu.ai)

Netherlands rations electricity to ease power grid stresses (ft.com)

Google strikes deal to buy fusion power from MIT spinoff Commonwealth Fusion Sys (reuters.com)

Multiplying vectors: An introduction to geometric algebra (niklasbuschmann.github.io)

A New Kind of AI Model Lets Data Owners Take Control (wired.com)

People Are Using AI Chatbots to Guide Their Psychedelic Trips (wired.com)

China's Maglev Train Is Faster Than Most Planes (newsweek.com)

Remove Text from Image (removetextfromimage.net)

Quickly create images for your SaaS or App Landingpage – FREE and Desktop only (ybrand.io)

Structure and Interpretation of the Chinese Economy (yuxi-liu-wired.github.io)

From the Tensor to the Transformer: Building the AI stack from first principles (github.com)

Easily Ask Your LLM Coding Questions (uithub.com)

A chatbot coined a phrase I really like. Am I allowed to use it? (jessesingal.substack.com)

The US military's long history with drag (militarytimes.com)

The Harvard-Educated Linguist Breaking Down 'Skibidi' and 'Rizz' (nytimes.com)

Show HN: Learn LLMs LeetCode Style (github.com)

The Trump Administration Is Planning to Use AI to Deny Medicare Authorizations (truthout.org)

Show HN: FansBond: Create Tokens, Crypto Payments, and Private Chats and Content (fansbond.com)

Andrew Kassoy, 55, Dies; Saw Capitalism as a Force for Social Good (nytimes.com)

Show HN: I gamified ChatGPT usage to unlock achievements and track fun stats (gptrecap.com)

Following workplace death, Amazon worker at JFK8 in Staten Island speaks out (wsws.org)

What I'm working on – at work and on the side – aswin's blog (aswinc.blog)

Why Jolly Ranchers Are Banned in the UK but Not the US (wired.com)

Everyutil-C – A modular, cross-platform C utility library (github.com)

Show HN: QueryBurst – SEO audits from your own GSC data (no scraping, no spying) (queryburst.com)

One Law to Rule Them All: The Iron Law of Software Performance (blog.codingconfessions.com)

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

Comments (1)