frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Large Language Models Develop Novel Social Biases Through Adaptive Exploration

https://openreview.net/challenge?redirect=%2Fforum%3Fid%3Dpc7fqaOcAH
51•paimapi•1h ago•19 comments

Google DeepMind Releases AlphaGenome Atlas

https://blog.google/innovation-and-ai/models-and-research/google-deepmind/alphagenome-atlas/
471•utiiiD•8h ago•113 comments

Navier-Stokes – Tristan Buckmaster [pdf]

https://cims.nyu.edu/~tristanb/statement.pdf
1098•procedurecall•17h ago•484 comments

How to Build a Printer

https://nishantjosh.dev/blogs/how-to-build-a-fking-printer/
46•cat-whisperer•2h ago•2 comments

On the Navier–Stokes Millennium Prize Problem

https://openai.com/index/navier-stokes-solution/
1032•tedsanders•6h ago•857 comments

DaVinci Resolve 21.1

https://www.blackmagicdesign.com/media/release/20260908-03
330•tosh•9h ago•147 comments

Kimi K3 (2.8T) at 1 token/s on a MacBook Pro, streamed from four SSDs

https://github.com/argonautlabsai/deltafin
188•Argonautlabs•3h ago•90 comments

Tao: Open math problems being non-renewably mined by AI

https://mathstodon.xyz/@tao/117237320796901560
34•_alternator_•2h ago•16 comments

Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses

https://quesma.com/blog/qwen38-27b-quantizations-benchmarked/
200•stared•8h ago•97 comments

A Topological Picture Book, Rendered

https://e-infinity.space/picture-book/
9•mathgenius•56m ago•0 comments

The Microeconomics of Artificial Intelligence (Open Access)

https://direct.mit.edu/books/oa-monograph/6067/The-Microeconomics-of-Artificial-Intelligence
10•neehao•2d ago•1 comments

Mercury 2.5

https://www.inceptionlabs.ai/blog/introducing-mercury-2-5
108•Topfi•3h ago•13 comments

Animation in Bevy: The Big Picture

https://glocq.com/en/blog/20260827/
32•ibobev•3h ago•1 comments

I-have-ADHD: A skill to stop coding agents from burying the answer

https://github.com/ayghri/i-have-adhd
278•domhudson•9h ago•216 comments

Muse: Meta's personal AI agent, features and capabilities

https://ai.meta.com/muse/
210•yks•3h ago•200 comments

Implementation of GCC's Nested Functions (vs. C++ Lambdas)

https://uecker.codeberg.page/2026-09-05.html
49•uecker•3d ago•6 comments

Tracing np.add, all the way down

https://blog.veitheller.de/numpy.html
26•luu•4d ago•2 comments

Show HN: LLM Attention Visualization

https://ishamf.dev/p/llm-attention-visualizer/
104•ifz•6h ago•19 comments

Replacing a Rust Enum with a 64-Bit Word Made My Interpreter 17% Faster

https://pointersgonewild.com/2026-08-25-replacing-a-rust-enum-with-a-64-bit-word/
68•metrofun•3d ago•33 comments

The Helicopter with Radioactive Blades

https://hackaday.com/2026/09/07/the-helicopter-with-radioactive-blades/
139•zdw•1d ago•36 comments

Reverse Engineering an ASIC

https://kjartanvandriel.github.io/asic/
13•burekqueen•1d ago•1 comments

Show HN: Copperhead – Hardware as Fast as Software

https://copperhead.sh/
195•animeshchouhan•9h ago•76 comments

The 92-Year-Old Mathematician and the Teenage Apprentice

https://www.nytimes.com/2026/09/06/science/92-year-old-mathematician-apprentice.html
123•robinhouston•2d ago•11 comments

The two Christian saints who are the Buddha

https://signoregalilei.com/2026/08/30/the-two-christian-saints-who-are-secretly-the-buddha/
199•surprisetalk•8h ago•138 comments

C*: Unifying Programming and Verification in C

https://arxiv.org/abs/2504.02246
66•rramadass•7h ago•40 comments

Connecting the Machines

https://herdr.dev/blog/connecting-the-machines/
71•collinmanderson•6h ago•24 comments

Function Arguments Are Not Function Colors

https://jerf.org/iri/post/2026/func_args_are_not_colors/
29•ingve•4h ago•13 comments

ZX Spectrum: Experimenting with 1-Bit Sound

https://bumbershootsoft.wordpress.com/2026/09/05/zx-spectrum-experimenting-with-1-bit-sound/
90•ibobev•8h ago•26 comments

AlphaGenome Atlas predictive map of every DNA letter change in the human genome

https://deepmind.google/blog/alphagenome-atlas-a-predictive-map-of-every-possible-dna-letter-chan...
76•fady0•9h ago•9 comments

FreeBSD 14.5-Release

https://www.freebsd.org/releases/14.5R/announce/
108•joshcsimmons•11h ago•21 comments
Open in hackernews

Tao: Open math problems being non-renewably mined by AI

https://mathstodon.xyz/@tao/117237320796901560
34•_alternator_•2h ago

Comments

turtleyacht•2h ago
If proofs are tropes, explanations are stories. There won't be an end to stories.
vouaobrasil•15m ago
Actually there will because if you've actually ever spent time doing math, you only really get to that level of truly understanding and appreciating the stories if you've actually done the hard work yourself, which in turn will be economically infeasible due to AI. The analogy is interesting but incomplete and misleading.
_alternator_•34m ago
This series of posts by Terry Tao is a direct response to the Navier-Stokes results (multiple results!) from the last 24 hours. The question is what is left after the levelling of mathematics, in all its senses, occurs? How can you protect a field that's under this much pressure in the next 6 months?

> [I]t is now the identification of a promising problem which is the scarce and precious resource. We have now seen that even the rumor of someone working on a problem can trigger a massive amount of AI-powered effort to flatten it before the original research project has time to reach its full potential.

calvinmorrison•27m ago
> How can you protect a field that's under this much pressure in the next 6 months?

Sounds like they're going the way of the DoDo. better take that PhD, migrate to the new world and become a tuktuk driver.

ModernMech•27m ago
If math is solved then move to an area that’s not. Why do fields need “protecting” from ai?
dgellow•22m ago
Have you read his tweets?
ModernMech•15m ago
yes but the tweets don't really address why the field needs to be protected instead of adapting and evolving.

And to reply to the sibling since I hit my comment limit and I'm going to probably forget about this conversation until tomorrow:

But our situation before 2023 was one in which we had an endless abundance of solutions and ideas. I understand that AI can generate bad ideas faster than we can discern them, but we already have tried and true mechanisms to filter good ideas from bad (e.g. the scientific process), why can't they be adapted?

vouaobrasil•16m ago
The reason is because the entirety of society, historically, has been based upon humans using their differential skills to further it, which in turn promotes societal cohesion. If most human endeavours are solved, then we will enter a period of abundance that paradoxically will erode the glue holding society together. In short, endless abundance of solutions and ideas cannot coexist with a healthy society. Only those who are priveleged and have a naive belief in a Star Trek utopia think otherwise.
program_whiz•24m ago
Timing is everything https://nonlineartransform.substack.com/p/ai-swarms-timing-i...

Article arguing math is the next "human calculator".

olalonde•11m ago
Can't mathematicians still gain novel insights by reverse-engineering AI-generated proofs? Just like chess players learn new concepts by studying what engines play.
lalalanananana•3m ago
It's possible but the approaches these tools take are usually verbose and strange. Think about it like anything else llms do. Even when the picture is right and there are only 5 digits on each hand all the textures are off and so is the lighting and postures. Or in code, the code is always way larger then it needs to be and tightened up strangely with weird loose ends. Or in writing weird idioms, words, structure, and a weaselly way to turn 3 sentences into 8 paragraphs.

People usually use these tools in math and science to find an answer. Then often they will work it back using more sane or human pathways. So it's shareable or even beautiful.

Knowing the answer has value. But, often in math the best thing was how someone got there.

_alternator_•2m ago
Yes, and they will. But what's happening here is that the system that cultivates mathematics (and mathematicians) is recieving likely the biggest shock of its history. How do you reward merit and identify talen when people can't absorb the number of proofs being generated, much less understand them? Perleman's proof of the Poincare conjecture took several years for the mathematical community to digest; the proof of Navier-Stokes will probably take a similarly long time. In the mean time, it looks like all open problems will be solved (or proved that they can't be solved).

It's not that the horizon is expanding because of this. It's more like a forest getting clear-cut.

ReflectedImage•1m ago
Well no because it works by joining together existing novel insights.
colinhb•10m ago
Seems like in current cultural and economic context, short term extraction is what we’re going to do

> In short, the indiscriminate use of powerful solution-extraction tools can achieve the immediate short-term goal of solving problems at hand, but at the cost of sustaining the ecosystem for the next wave of progress, or in understanding the progress already obtained.

CamperBob2•1m ago
The "ecosystem" is dead. Tao should be thinking about what will replace it. I don't understand why he's taking this tack.
dvt•4m ago
I'm with @nilesh on this one, and not exactly sure how merely the existence of a solution precludes the advancement of human knowledge. If a problem is "solved" (say, symbolically verified) without any insights gained, it doesn't seem very interesting to the profession.

Navier-Stokes is a bit different (because there's a prize attached, so "scooping" matters), but almost all interesting problems don't have any prizes attached.