I'd rather read the prompt (claytonwramsey.com)

1438 points by claytonwramsey 8d ago 840 comments

Plain Vanilla Web (plainvanillaweb.com)

1425 points by andrewrn 2d ago 671 comments

From: Steve Jobs. "Great idea, thank you." (blog.hayman.net)

1183 points by mattl 4d ago 292 comments

The curse of knowing how, or; fixing everything (notashelf.dev)

1180 points by Lunar5227 7d ago 441 comments

Show HN: Clippy – 90s UI for local LLMs (felixrieseberg.github.io)

1120 points by felixrieseberg 7d ago 272 comments

Void: Open-source Cursor alternative (github.com)

927 points by sharjeelsayed 5d ago 343 comments

Ty: A fast Python type checker and language server (github.com)

900 points by arathore 5d ago 287 comments

Design for 3D-Printing (blog.rahix.de)

835 points by q3k 8d ago 207 comments

Zed: High-performance AI Code Editor (zed.dev)

737 points by vquemener 6d ago 420 comments

Gemini 2.5 Pro Preview (developers.googleblog.com)

705 points by meetpateltech 7d ago 684 comments

The Death of Daydreaming (afterbabel.com)

700 points by isolli 8d ago 265 comments

Mozilla Firefox – Official GitHub repo (github.com)

696 points by thefilmore 11h ago 378 comments

My new deadline: 20 years to give away virtually all my wealth (gatesnotes.com)

662 points by nrvn 5d ago 646 comments

OpenAI reaches agreement to buy Windsurf for $3B (bloomberg.com)

662 points by swyx 7d ago 571 comments

The Barbican (arslan.io)

661 points by farslan 1d ago 241 comments

ALICE detects the conversion of lead into gold at the LHC (home.cern)

628 points by miiiiiike 4d ago 299 comments

Claude's system prompt is over 24k tokens with tools (github.com)

626 points by mike210 6d ago 334 comments

CLion Is Now Free for Non-Commercial Use (blog.jetbrains.com)

621 points by AlexeyBrin 6d ago 384 comments

Matt Godbolt sold me on Rust by showing me C++ (collabora.com)

610 points by LorenDB 6d ago 658 comments

A critical look at MCP (raz.sh)

609 points by ablekh 3d ago 326 comments

Evolving OpenAI's Structure (openai.com)

602 points by rohitpaulk 7d ago 674 comments

First American pope elected and will be known as Pope Leo XIV (cnn.com)

599 points by saikatsg 5d ago 1037 comments

LegoGPT: Generating Physically Stable and Buildable Lego (avalovelace1.github.io)

585 points by nkko 4d ago 136 comments

Business books are entertainment, not strategic tools (theorthagonist.substack.com)

572 points by ZeroTalent 3d ago 253 comments

Waiting for Postgres 18: Accelerating Disk Reads with Asynchronous I/O (pganalyze.com)

571 points by lfittl 6d ago 154 comments

NSF faces shake-up as officials abolish its 37 divisions (science.org)

561 points by magicalist 4d ago 765 comments

Vision Now Available in Llama.cpp (github.com)

541 points by redman25 3d ago 102 comments

Unity’s Open-Source Double Standard: the ban of VLC (mfkl.github.io)

540 points by cempaka 6d ago 161 comments

Leaving Google (airs.com)

539 points by todsacerdoti 2d ago 362 comments

I hacked a dating app (and how not to treat a security researcher) (alexschapiro.com)

531 points by bearsyankees 1d ago 301 comments

Reservoir Sampling (samwho.dev)

525 points by chrisdemarco 4d ago 105 comments

Ask HN: What are good high-information density UIs (screenshots, apps, sites)?

520 points by troupo 5d ago 370 comments

Show HN: Real-time AI Voice Chat at ~500ms Latency (github.com)

519 points by koljab 7d ago 226 comments

One-Click RCE in Asus's Preinstalled Driver Software (mrbruh.com)

508 points by MrBruh 2d ago 239 comments

A simple 16x16 dot animation from simple math rules (tixy.land)

505 points by andrewrn 3d ago 98 comments

Mistral ships Le Chat – enterprise AI assistant that can run on prem (mistral.ai)

504 points by _lateralus_ 6d ago 158 comments

India launches attack on 9 sites in Pakistan and Pakistani Jammu and Kashmir (reuters.com)

487 points by alephnerd 6d ago 630 comments

High tariffs become 'real' with our first $36K bill (blog.adafruit.com)

477 points by ptorrone 5d ago 395 comments

Embeddings are underrated (2024) (technicalwriting.dev)

465 points by jxmorris12 1d ago 148 comments

Curl: We still have not seen a valid security report done with AI help (linkedin.com)

453 points by indigodaddy 6d ago 240 comments

Car companies are in a billion-dollar software war (insideevs.com)

450 points by rntn 1d ago 794 comments

VVVVVV Source Code (github.com)

444 points by radeeyate 6d ago 92 comments

Observations from people-watching (skincontact.substack.com)

443 points by jger15 2d ago 225 comments

So Much Blood (dynomight.net)

438 points by debesyla 6d ago 209 comments

US Copyright Office found AI companies breach copyright. Its boss was fired (theregister.com)

436 points by croes 1d ago 374 comments

Replacing Kubernetes with systemd (2024) (blog.yaakov.online)

435 points by birdculture 7d ago 369 comments

The vocal effects of Daft Punk (bjango.com)

432 points by qzervaas 8d ago 112 comments

Rust’s dependencies are starting to worry me (vincents.dev)

416 points by chaosprint 4d ago 566 comments

Launch HN: Exa (YC S21) – The web as a database

410 points by willbryk 7d ago 132 comments

Sneakers (1992) – 4K makeover sourced from the original camera negative (blu-ray.com)

410 points by bredren 7d ago 299 comments

Terence Tao started a YouTube channel

42 yu3zhou4 8 5/13/2025, 7:43:41 AM youtube.com ↗

Comments (8)

meltyness · 6h ago

Lean is a lovely language ecosystem, as Tao clearly demonstrates though, LLMs can struggle with it. The language and the tooling is designed heavily around not merely text code, but continuous feedback from a specialized shell, though Tao attributes the issue to another condition, that there are two acutely similar versions of the language.

KiranRao0 · 8h ago

Can someone provide a tl;dr on him/why he’s important?

somezero · 8h ago

Gauss 2.0; He’s very prolific, very famous in the math community. In this context, he is noteworthy because he’s taking automated theorem proving seriously which destigmatizes it for other pure mathematicians.

npsomaratna · 8h ago

Fields medal winner. Arguably the greatest living mathematician.

Zr01 · 6h ago

Some would argue more for Wiles or Perelman on account of solving long-standing conjectures.

achierius · 3h ago

Top three greatest living mathematician, perhaps?

Analemma_ · 2h ago

I think what gives Tao the title is how multidisciplinary he is. He can wander in to a new subfield of mathematics and start making SOTA contributions after not very much time, which is a rare thing.

4gotunameagain · 6h ago

Yes, google can provide that in like 3 seconds, human parsing included.