Terence Tao started a YouTube channel

Comments (6)

meltyness · 38m 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 · 3h ago

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

somezero · 2h 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 · 3h ago

Fields medal winner. Arguably the greatest living mathematician.

Zr01 · 1h ago

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

4gotunameagain · 1h ago

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

Ask HN: How are you acquiring your first hundred users?

Firefox moves to GitHub (github.com)

FastVLM: Efficient vision encoding for vision language models (github.com)

Why are coffee stains darker at the edges? (why.is)

Open Hardware Ethernet Switch project, part 1 (serd.es)

Anti-Personnel Computing (2023) (erratique.ch)

The Microsoft unit working to thwart hackers (bloomberg.com)

TransMLA: Multi-head latent attention is all you need (arxiv.org)

The Barbican (arslan.io)

Air Traffic Control (computer.rip)

15 Years of Shader Minification (ctrl-alt-test.fr)

A programming language made for me (zylinski.se)

Trial by Fire: The crash of Aeroflot flight 1492 (admiralcloudberg.medium.com)

Alephic Writing Style Guide (alephic.com)

Revisiting Image Maps (css-tricks.com)

Nextcloud cries foul over Google Play Store app rejection (theregister.com)

Can you trust that permission pop-up on macOS? (wts.dev)

A conversation about AI for science with Jason Pruet (lanl.gov)

RIP Usenix ATC (bcantrill.dtrace.org)

Understanding LucasArts' iMUSE System (github.com)

A community-led fork of Organic Maps (comaps.app)

HealthBench – An evaluation for AI systems and human health (openai.com)

University of Texas-led team solves a big problem for fusion energy (news.utexas.edu)

How to avoid P hacking (nature.com)

Reviving a modular cargo bike design from the 1930s (core77.com)

Launch HN: ParaQuery (YC X25) – GPU Accelerated Spark/SQL

Writing N-body gravity simulations code in Python (alvinng4.github.io)

NASA study reveals Venus crust surprise (science.nasa.gov)

Ruby 3.5 Feature: Namespace on read (bugs.ruby-lang.org)

The Beam (erlang-solutions.com)

Continuous glucose monitors reveal variable glucose responses to the same meals (examine.com)

Offline vs. online ML pipelines (decodingml.substack.com)

Universe expected to decay in 10⁷⁸ years, much sooner than previously thought (phys.org)

Wtfis: Passive hostname, domain and IP lookup tool for non-robots (github.com)

FedRAMP 20x – One Month in and Moving Fast (fedramp.gov)

Demonstrably Secure Software Supply Chains with Nix (nixcademy.com)

Build your own Siri locally and on-device (thehyperplane.substack.com)

Legion Health (YC S21) is hiring engineers to help fix mental health with AI (workatastartup.com)

Policy of Transience (chiark.greenend.org.uk)

Show HN: Lumoar – Free SOC 2 tool for SaaS startups (lumoar.com)

Low-intensity transcranial focused ultrasound amygdala neuromodulation (nature.com)

Everything That Has Changed Since Congestion Pricing Started in New York (nytimes.com)

Show HN: Airweave – Let agents search any app (github.com)

New Bill Would Make All Pornography a Federal Crime in the U.S. (404media.co)

Terence Tao started a YouTube channel (youtube.com)

A Typical Workday at a Japanese Hardware Tool Store [video] (youtube.com)

Plain Vanilla Web (plainvanillaweb.com)

Spade Hardware Description Language (spade-lang.org)

Continuous Thought Machines (pub.sakana.ai)

The Acid King (2001) (rollingstone.com)

Terence Tao started a YouTube channel

Comments (6)