frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Maxproof

https://arxiv.org/abs/2606.13473
62•ilreb•2h ago

Comments

daquisu•44m ago
"I thought it was interesting and a bit underappreciated that the fraction of gold medalists at the 2025 IMO (72/630 = 11.4%) is the highest it’s been since 1981.

Crudely, IMO gold medals are awarded to the highest-scoring 1/12 of contestants.1 However, because scores are integers up to 42 and there’s no provision for tiebreaking, it’s possible for a lot of contestants to be tied around the threshold. In that case, either all of them get a gold medal or none do, and the fraction of gold medalists might deviate substantially from 1/12. That’s what happened this year: 46 contestants all won a gold medal by scoring exactly 35 points.

In fact, bizarrely, 35 is the mode of the scores this year; the last time the modal score was a gold medal score was in 1994. And, of course, 35 is the same score claimed by AI systems from Google, OpenAI, and others."

From https://blog.vero.site/post/imo-2025

quibono•36m ago
I was under the impression that IMO is conducted in an official "exam" capacity, on site and in a very formal setting. So I find it hard to believe _direct_ LLM usage would be a factor Then again - it very well could be a factor in the training and preparation? I imagine "Write me a prep document for the IMO" will surface all kinds of interesting things from the training set.
pfannl•39m ago
The real AGI test is apparently not solving the IMO, but getting caught in the same scoring traffic jam as 46 teenagers.
thierrydamiba•1m ago
Is the harness more valuable than the weights?

AI agent bankrupted their operator while trying to scan DN42

https://lantian.pub/en/article/fun/ai-agent-bankrupted-their-operator-scan-dn42lantian.lantian/
1019•xiaoyu2006•9h ago•373 comments

Maxproof

https://arxiv.org/abs/2606.13473
62•ilreb•2h ago•4 comments

The Future of Email

https://www.fastmail.com/blog/the-future-of-email/
113•soheilpro•3h ago•110 comments

WASI 0.3.0 Released

https://github.com/WebAssembly/WASI/releases/tag/v0.3.0
21•mavdol04•33m ago•0 comments

If you are asking for human attention, demonstrate human effort

https://tombedor.dev/human-attention-and-human-effort/
1092•jjfoooo4•15h ago•369 comments

Nobody ever gets credit for fixing problems that never happened (2001) [pdf]

https://web.mit.edu/nelsonr/www/Repenning=Sterman_CMR_su01_.pdf
591•sam_bristow•13h ago•191 comments

Claude Fable is relentlessly proactive

https://simonwillison.net/2026/Jun/11/fable-is-relentlessly-proactive/
595•lumpa•13h ago•471 comments

Hazel (YC W24) Is Hiring a Full Stack Engineer

https://www.ycombinator.com/companies/hazel-2/jobs/3epPWgu-full-stack-engineer-ts-sci
1•augustschen•1h ago

AUR Packages Compromised with Infostealer and Rootkit

https://discourse.ifin.network/t/400-aur-packages-compromised-with-infostealer-and-rootkit/577
132•keyle•8h ago•67 comments

Show HN: Homebrew 6.0.0

https://brew.sh/2026/06/11/homebrew-6.0.0/
1335•mikemcquaid•1d ago•319 comments

Kimi K2.7-Code: open-source coding model with better token efficiency

https://huggingface.co/moonshotai/Kimi-K2.7-Code
185•nekofneko•3h ago•84 comments

How we made hit video game Prince of Persia

https://www.theguardian.com/culture/2026/jan/05/raiders-of-the-lost-ark-hit-video-game-prince-of-...
194•msephton•2d ago•74 comments

Show HN: FablePool – pool money behind a prompt, and Fable builds it in public

https://fablepool.com
456•matthewbarras•17h ago•247 comments

SpaceX's president is floating a Tesla merger as the company begins trading

https://qz.com/spacex-tesla-merger-gwynne-shotwell-ipo-061226
50•andsoitis•37m ago•43 comments

Vinyl succumbs to Loudness War: more than just collateral damage (2025)

https://magicvinyldigital.net/2025/04/27/vinyl-succumbs-to-loudness-war-more-than-just-collateral...
108•sneela•5d ago•159 comments

The Unsung Hero of the Lord of the Rings

https://www.theculturist.io/p/the-unsung-hero-of-the-lord-of-the
13•gmays•1h ago•14 comments

Ryanair dark UX patterns summer 2026 refresher

https://blog.osull.com/2026/06/12/ryanair-dark-ux-patterns-summer-2026-refresher/
140•danosull•3h ago•103 comments

Anthropic apologizes for invisible Claude Fable guardrails

https://www.theverge.com/ai-artificial-intelligence/948280/anthropic-claude-fable-invisible-disti...
468•rarisma•1d ago•406 comments

Encrypted Spaces An architecture for collaborative applications

https://encryptedspaces.org/
6•_____k•2h ago•0 comments

MiMo Code is now released and open-source

https://mimo.xiaomi.com/mimocode
524•apeters•23h ago•290 comments

Petition to Withdraw Canada's Bill C-22

https://www.ourcommons.ca/petitions/en/Petition/Sign/e-7416
464•hmokiguess•22h ago•147 comments

Making a vintage LLM from scratch

https://crlf.link/log/entries/260525-1/
55•croqaz•1d ago•16 comments

David Hockney, Who Restored the Human Form to Art, Dies at 88

https://www.nytimes.com/2026/06/12/arts/design/david-hockney-dead.html
65•SirLJ•2h ago•14 comments

macOS 27 Beta breaks the ability to boot Asahi Linux

https://www.phoronix.com/news/macOS-27-Beta-Breaks-Asahi
352•josephcsible•2d ago•145 comments

Claude Fable 5: mid-tier results on coding tasks

https://www.endorlabs.com/learn/claude-fable-5-mythos-grade-hype
365•bugvader•22h ago•206 comments

Reading for pleasure is sharply down among schoolkids, report shows

https://www.nbcnews.com/data-graphics/kids-reading-less-lower-levels-department-education-study-r...
209•freejoe76•1d ago•270 comments

Emacs appearances in pop culture

https://ianyepan.github.io/posts/emacs-in-pop-culture/
358•ggcr•2d ago•103 comments

Ear Training Practice

https://tonedear.com/
281•mattbit•3d ago•113 comments

Removing 'um' from a recording is harder than it sounds

https://doug.sh/posts/erm-a-local-cli-that-strips-ums-uhs-and-erms-from-speech/
125•dougcalobrisi•13h ago•64 comments

Software is made between commits

https://zed.dev/blog/introducing-deltadb
294•jeremy_k•21h ago•201 comments