frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Old and new apps, via modern coding agents by Terry Tao

https://terrytao.wordpress.com/2026/07/11/old-and-new-apps-via-modern-coding-agents/
83•subset•2h ago

Comments

luciana1u•1h ago
Terry Tao using coding agents to build apps means we're one step away from a Fields Medalist asking an LLM why his Docker container won't start, just like the rest of us.
skinfaxi•35m ago
This is a very humbling thought, thank you.
wffurr•1h ago
Nice balanced perspective there at the end:

"as such [LLM-coded interactive] supplements are not mission-critical to the core of the paper, I again feel that the downside risk of using guided interaction with LLM agents to generate such visualizations is acceptable."

It's a tool. Good for some things but not others and generally not to be trusted.

jgalt212•57m ago
The more Terry talks about AI, the more I'm starting to feel like Terry may have some undisclosed conflicts of interest.

https://www.reddit.com/r/mathematics/comments/1tryyw7/terenc...

nmfisher•56m ago
Or he just finds it an incredible time-saving tool to help him do more maths.
perching_aix•49m ago
The well-known bias and conflict of interest of "I just enjoy experimenting with this new thing".
sega_sai•46m ago
When it comes to coding, non-programmers do not have to be in a defensive position worried that their job is under risk, instead they just see a great tool that saves them time, especially doing boring coding like dashboards, visualizations, interactive web-pages, or doing experiments that they otherwise would not have time for.
simonw•34m ago
A lot of mathematicians are worried: https://arstechnica.com/tech-policy/2026/06/mathematicians-w...
jdright•30m ago
Mathematicians are a kind of programmers, the original ones.
lagrange77•5m ago
Why are mathematicians a kind of programmers? Besides applied maths, aren't they more researchers that explore and discover, in contrast to the majority of programmers who are more like handymen?
muragekibicho•50m ago
The article's awkward opening statement proves it wasn't written by AI.

I have been interested in machine-assisted ways to do and teach mathematics from as far back as 1999, when I started coding several applets in Java 1.0, both for my complex analysis and linear algebra courses, to visualize various mathematical objects I was interested in (such as honeycombs or Besicovitch sets).

koe123•7m ago
I am far from a mathematician but I am excited by the possibilities of using AI for generating more math. Math in my mind exists purely in the world of forms, and cannot be appropriated for profit, but is downstream to everything else. I am keen to see what this enables.
alansaber•7m ago
I always enjoy these "domain expert has fun using AI to do something in their domain" articles. But it's always a hobby project, never something serious.
lowsong•23m ago
"When it comes to a field I'm not an expert in, AI is a great tool."

Every time.

alansaber•9m ago
Yes, because AI gets the "shape" of something right. If you don't know the field you don't notice the pockmarked surface.

Old and new apps, via modern coding agents by Terry Tao

https://terrytao.wordpress.com/2026/07/11/old-and-new-apps-via-modern-coding-agents/
85•subset•2h ago•16 comments

Yt-Dlp Sequence Diagrams

https://app.ilograph.com/demo.ilograph.yt-dlp/Download%2520a%2520YouTube%2520Video
34•billyp-rva•1h ago•3 comments

Understanding the Odin Programming Language

https://odinbook.com/
16•AlexeyBrin•1h ago•0 comments

Ghostel.el: Terminal emulator powered by libghostty

https://dakra.github.io/ghostel/
61•signa11•4h ago•1 comments

Vint Cerf, a “father of the Internet”, is retiring

https://techcrunch.com/2026/06/30/the-father-of-the-internet-is-finally-retiring/
155•compiler-guy•2d ago•90 comments

Show HN: Mindwalk – Replay coding-agent sessions on a 3D map of your codebase

https://github.com/cosmtrek/mindwalk
97•cosmtrek•7h ago•45 comments

Mesh LLM: distributed AI computing on iroh

https://www.iroh.computer/blog/mesh-llm
282•tionis•14h ago•65 comments

Protobuf-py: Protobuf for Python, without compromises

https://buf.build/blog/protobuf-py
76•ming13•4d ago•16 comments

Woman in Brazil enslaved for 55 years by 3 generations of the same family

https://english.elpais.com/international/2026-07-10/woman-rescued-in-brazil-after-being-enslaved-...
94•RetroTechie•1h ago•80 comments

Xbox 'OG' Adventures

https://mamoniem.com/xbox-og-adventures/
15•davikr•5d ago•0 comments

Ditching Zotero for a Text File

https://atthis.link/blog/2026/57207.html
7•speckx•5d ago•1 comments

Datacentres drive up big tech's carbon emissions to a third of those of France

https://www.theguardian.com/us-news/2026/jul/11/microsoft-amazon-google-datacentre-carbon-emissio...
40•YeGoblynQueenne•2h ago•34 comments

Handsum: An LQIP Image File Format

https://nigeltao.github.io/blog/2026/handsum.html
31•dmit•4d ago•1 comments

Nvidia, CoreWeave, and Nebius: Inside the Circular Financing of the GPU Boom

https://io-fund.com/ai-stocks/nvidia-coreweave-nebius-circular-financing-gpu-boom
298•adletbalzhanov•19h ago•118 comments

An agent in 100 lines of Lisp

https://thebeach.dev/posts/lisp-agent/
182•jamiebeach•4d ago•50 comments

Show HN: Ant – A JavaScript runtime and ecosystem

https://antjs.org
290•theMackabu•17h ago•131 comments

RISCBoy is an open-source portable games console, designed from scratch

https://github.com/Wren6991/RISCBoy
166•mariuz•15h ago•21 comments

Text art tools

https://hlnet.notion.site/text-art-tools
65•surprisetalk•4d ago•19 comments

I Did Not Kill Stanley Lieber: How to Draw (With 9front)

https://triapul.cz/automa/i_did_not_kill_stanley_lieber
85•c-c-c-c-c•2d ago•29 comments

Fibonacci's Real Mathematical Legacy

https://blogs.nature.com/aviewfromthebridge/2017/04/20/fibonaccis-mathematical-legacy/
16•ColinWright•4d ago•5 comments

EF Core 11 makes your split queries faster

https://steven-giesel.com/blogPost/d4401fd0-805a-4703-9d9e-5fe3b57c25ea
52•rellem•1w ago•25 comments

UPI: Anatomy of a Payment Transaction

https://timeseriesofindia.com/economy/reads/upi-architecture/
212•prtk25•20h ago•94 comments

Modern decor may be straining people's brains

https://studyfinds.com/modern-decor-may-be-straining-peoples-brains/
220•downwithdisease•20h ago•220 comments

Billions of Sketches Reveal Hidden Cultural Variation in Human Concepts

https://arxiv.org/abs/2607.07267
112•Anon84•2d ago•18 comments

We scaled PgBouncer to 4x throughput

https://clickhouse.com/blog/pgbouncer-clickhouse-managed-postgres
223•saisrirampur•21h ago•53 comments

The early History of the Singular Value Decomposition (1993) [pdf]

https://www.math.ucdavis.edu/~saito/courses/229A/stewart-svd.pdf
129•wolfi1•21h ago•68 comments

Jellyfish Undersea Roundabout

https://visitfaroeislands.com/en/plan-your-stay/getting-around/world-first-under-sea-roundabout
58•hydrogen7800•3d ago•20 comments

A dock that wakes up reliably

https://fabiensanglard.net/tb4/index.html
92•ingve•12h ago•54 comments

Under federal rule, colleges must leave grads better off or lose financial aid

https://www.npr.org/2026/06/30/nx-s1-5835631/turner-camhi-do-no-harm-college-loans
123•nradov•9h ago•272 comments

Prefer strict tables in SQLite

https://evanhahn.com/prefer-strict-tables-in-sqlite/
312•ingve•19h ago•160 comments