frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

JIT Context OS – Epistemic context runtime for coding agents

https://github.com/wojciechwiesner/jit-context
1•WWiesner•2m ago•0 comments

Show HN: MacDelta – A ChangeLog for Your Mac

https://macdelta.app
1•anand_murugan•4m ago•0 comments

CodeMetrics.CLI for C# projects in VS Code and Visual Studio

https://github.com/quicksln/CodeMetrics.CLI
1•qsln•6m ago•0 comments

TrustNotch – Tamper-evident audit logs for AI agents, verifiable offline

https://trustnotch.com/
1•sandrochekalov•7m ago•0 comments

My first extension with 20 useful features

https://chromewebstore.google.com/detail/digital-shield-tab-suspen/pkonihncnkmbejhhjadaognganhinnhc
1•digitaShida•8m ago•1 comments

Hiring and Firing a DBA

https://www.jmduke.com/posts/hiring-and-firing-a-dba.html
1•Tomte•14m ago•0 comments

The New Hugo at Home Plus a Tour of My Shelves

https://whatever.scalzi.com/2026/09/07/the-new-hugo-at-home-plus-a-tour-of-my-shelves/
1•Tomte•14m ago•0 comments

DeepSeek/Qwen are surprisingly well at generating code for DSCI pipelines

https://chat.deepseek.com/share/jg3hcnatoliqs1ct5i
3•melezhik•14m ago•3 comments

Venus may have been temperate and potentially habitable for most of its history

https://spacedaily.com/t-venus-carbonatite-lava-canali-co2-habitable-climate/
1•bryanrasmussen•14m ago•0 comments

Star Trek 60th Anniversary – National Air and Space Museum

https://airandspace.si.edu/whats-on/events/star-trek-60th-anniversary
1•rbanffy•15m ago•0 comments

Major Math Breakthrough by AI

https://mastodon.social/@tristanbuckmaster/117233413705701198
2•mvrandswe•16m ago•0 comments

GrapheneOS is building its own RCS support to cut Google Messages out

https://www.androidauthority.com/grapheneos-messaging-rcs-support-secure-paste-3708317/
3•the-mitr•18m ago•0 comments

Eiffel Tower employees strike after female staff removed

https://www.google.com/url?q=https://amp.dw.com/en/eiffel-tower-closed-strike-women-hindu/a-79152...
3•Michelangelo11•27m ago•2 comments

Magic-mushroom compound blocks a side effect of chemotherapy in mice

https://www.nature.com/articles/d41586-026-02744-6
3•tzury•29m ago•0 comments

Switching Password Managers in 2026

https://rmondello.com/2026/09/07/switching-password-managers-2026/
2•wrxd•29m ago•0 comments

CivBench: A Long-Horizon Benchmark for Tool-Mediated Agents in Civilization VI

https://arxiv.org/abs/2609.02459
1•taubek•29m ago•0 comments

Agility Robotics reports $1.8M revenue ahead of humanoid SPAC

https://www.therobotreport.com/agility-robotics-reports-18m-revenue-ahead-of-humanoid-spac/
1•raptortech•30m ago•0 comments

Generals – Conquer the live world map

https://generals.lol
2•mshermamatov•31m ago•0 comments

Do tech billionaires dream of shared abundance? We should probably just tax them

https://theconversation.com/do-tech-billionaires-dream-of-shared-abundance-we-should-probably-jus...
8•billybuckwheat•32m ago•0 comments

Show HN: Typebook engage yourself in reading by painstakingly writing every word

https://typebook.duckdns.org/
1•vegnus•32m ago•0 comments

Robot-Use Agents

https://web.mit.edu/phillipi/www/writing/robot-use-agents.html
1•hardmaru•33m ago•0 comments

Autistici.org Domain Taken Down

https://autistici.org
2•oriettaxx•36m ago•1 comments

Web Import Master: rebuild a live web page as a Figma design with auto layout

https://www.figma.com/community/plugin/1630132577257927426
1•evgeniiarts•37m ago•0 comments

Fx2-Cmix-Transformer

https://mattmahoney.net/dc/text.html#0969
1•soltanov•39m ago•0 comments

ToolHive Is Open-Source

https://www.helpnetsecurity.com/2026/09/07/toolhive-open-source-mcp-server-security/
1•noobplus•40m ago•0 comments

AI crawler user-agents are being spoofed to reach cloud metadata endpoints

https://honeylabs.net/blog/spoofed-ai-crawlers-one-client
1•honeylabs•44m ago•0 comments

Where Good Decisions Don't Add Up

https://medium.com/@gurvinder372/article-11-where-good-decisions-dont-add-up-e3a3714792dc
1•gps372•45m ago•0 comments

Navier-Stokes – Tristan Buckmaster [pdf]

https://cims.nyu.edu/~tristanb/statement.pdf
40•procedurecall•46m ago•5 comments

Famous Unsolved Math Problems as Homework(2015)

https://blogs.ams.org/matheducation/2015/05/01/famous-unsolved-math-problems-as-homework/
1•nill0•48m ago•0 comments

'Global reckoning for big tech': Australia to force opt-out of social algs

https://www.theguardian.com/australia-news/2026/sep/08/australia-social-media-algorithm-switch-of...
7•ggm•56m ago•0 comments
Open in hackernews

Navier-Stokes – Tristan Buckmaster [pdf]

https://cims.nyu.edu/~tristanb/statement.pdf
33•procedurecall•46m ago

Comments

tristanj•22m ago
Full mastodon post: https://mathstodon.xyz/@tristanbuckmaster@mastodon.social/11...

It seems there is much background drama happening, the author claims OpenAI was working on the same problems as them. Additionally, OpenAI has solved a millennium problem and is sitting on the result.

"I was told that an internal OpenAI model had produced a proof of finite time blowup for the forced Navier-Stokes equations."

Because they were working on the same problems, they were coordinating with OpenAI regarding a publishing timeline, but could not come to an agreement, hence they published first.

The post is missing context from both sides, and this isn't my field, hopefully someone else can unpack what's happening here.

akersten•13m ago
> They were coordinating with OpenAI regarding a publishing timeline, but could not come to an agreement,

Skimming the PDFs it seems much more dramatic than that? It sounds like at least one of them is concerned OpenAI "solved" the problem by having their internal model use the chats of the independent researchers and want to claim the credit instead? I don't know. The tone is pretty accusational though:

> the one Levent and I had quietly chosen to attack. Almost nobody else I know of was working on it. It is not the direction one arrives at in a few days by giving a model the problem statement. When I heard “forced,” it was a bright red flag.

> I was shown a prompt and told the internal research model had simply been given the problem statement. Levent had been told by Sebastien “very little human input” had been used. This turned out not to be true. Over the course of the call, as members of their team sent Sebastien corrections and details over their internal chat, it emerged that an entire team had been working on the problem, that this was one of a number of things that was tried, that work had started on the unforced problem, that the team first set the model on easier problems, including Euler, that even the prompt that had been shown to me had been written by prompting Codex, and that an insane amount of compute had been used.

> I asked when the first prompt had been sent by them. This question was not answered directly by OpenAI for some time. Eventually it was agreed that it had been sent in the past few days, after information about our work had reached OpenAI.

> I asked whether the model had been trained on, or had access to, our sessions in Codex, into which we had been putting all our drafts for the whole of this project. I was told the model did not look up user data. I asked again, about training, and I did not get an answer. [0]

[0]: https://cims.nyu.edu/~tristanb/statement.pdf

dumberquestions•7m ago
>...has solved a millennium problem and is sitting on the result

Someone correct me if I'm wrong, but the work involved here is not the actual millennium problem, but it concerns versions with an added external force that the author thinks is a path that may help toward solving the harder unforced problem.

achierius•4m ago
While I'm generally pretty negative on claims that the labs are 'scamming' the public with misrepresentations of model capabilities, it's hard to see how this wouldn't qualify.

- the OpenAI researchers claimed that they had "just told it to work on the problem" with little human input - in fact, they had a whole team working on it - and used, among other things, the work of third party human researchers to drive the work - then went silent when asked to coordinate on the publication

Just from this document (which is of course only one side of the story) it really sounds like OpenAI was planning to publish and say "we just told the model to try harder and it solved a Millennium problem!". Not great if true.