news newest ask show jobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Terence Tao started a YouTube channel

https://www.youtube.com/channel/UCCGfqB7qtWIktmPyf5UMcbw

21•yu3zhou4•3h ago

Comments

KiranRao0•3h ago

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

npsomaratna•2h 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.

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.

4gotunameagain•1h ago

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

meltyness•31m 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.

In-Context Learning can distort the relationship between likelihoods and fitness

https://arxiv.org/abs/2504.17068

1•PaulHoule•1m ago•0 comments

Multiple Security Issues in GNU Screen

https://www.openwall.com/lists/oss-security/2025/05/12/1

1•st_goliath•2m ago•0 comments

Organization of Behavior

https://en.wikipedia.org/wiki/Organization_of_Behavior

1•belter•4m ago•0 comments

Experiment on your code freely with Git worktree

https://opensource.com/article/21/4/git-worktree

1•todsacerdoti•4m ago•0 comments

Fixing chatbots requires psychology not technology

https://hbr.org/2025/05/fixing-chatbots-requires-psychology-not-technology

1•tdmckinlay•7m ago•0 comments

Don't Confuse Price and Value

https://emeaentrepreneurs.com/anti/dont-confuse-price-and-value/

1•ritzaco•7m ago•0 comments

Show HN: Basecoat – shadcn/UI components, no React required

1•hunvreus•8m ago•0 comments

An accessibility update – GTK Development Blog

https://blog.gtk.org/2025/05/12/an-accessibility-update/

1•todsacerdoti•8m ago•0 comments

ML-Enhanced Code Completion Improves Developer Productivity (2022)

https://research.google/blog/ml-enhanced-code-completion-improves-developer-productivity/

1•ddadon10•10m ago•0 comments

Improving Prompt Consistency with Structured Generations

https://huggingface.co/blog/evaluation-structured-outputs

1•pabo•12m ago•0 comments

Cartwheel Robotics' Social Humanoid for the Home

https://spectrum.ieee.org/cartwheel-robotics-humanoid

1•rbanffy•14m ago•0 comments

My Brush with Trump's Thought Police

https://www.nytimes.com/2025/05/13/opinion/stiglitz-trump-dei.html

3•doener•21m ago•0 comments

Git Bug: Distributed, Offline-First Bug Tracker Embedded in Git, with Bridges

https://github.com/git-bug/git-bug

1•stefankuehnel•23m ago•0 comments

Study Plan: How Do You Win and Be Awesome

https://diamantinoalmeida.com/study-plan-how-do-you-win-and-be-awesome/

1•MitiaHiers•23m ago•1 comments

What were the MS-DOS programs that the moricons.dll icons were intended for?

https://devblogs.microsoft.com/oldnewthing/20250507-00/?p=111157

3•rbanffy•24m ago•1 comments

Future-Proofing Your Career: The Ultimate Guide

https://diamantinoalmeida.com/future-proofing-your-career-the-ultimate-guide/

1•MitiaHiers•24m ago•0 comments

Show HN: Chat with the Article 4 AI Literacy Practices

https://www.fragdaspdf.de/en/use-cases/article-4-ai-literacy-practices

1•mnewme•26m ago•0 comments

Political attacks could crush the mRNA vaccine revolution

https://www.nature.com/articles/d41586-025-01462-9

1•rbanffy•27m ago•0 comments

Ports that are blocked by browsers

https://www.keenformatics.com/ports-that-are-blocked-by-browsers

2•keepamovin•30m ago•0 comments

YC Application Review before ddl: Built this AI tool to vet YC applications

https://pitchscorer.ergodex.ai/Trymbinator/

1•serialbuilder•34m ago•0 comments

Is there is any free JMAP mail service?

https://jmap.io/

1•Improvement•35m ago•0 comments

I built a decentralized crypto exchange from scratch using Solidity and Next.js

1•KrishBaidya•40m ago•0 comments

Show HN: Why hanging out on Hacker News is a good use of your time?

https://www.parliant.ai/surveys/e31a7442-080b-4921-bfa4-457ef0b974ec

8•pontes•46m ago•4 comments

Everything That Has Changed Since Congestion Pricing Started in New York

https://www.nytimes.com/interactive/2025/05/11/upshot/congestion-pricing.html

7•Vinnl•47m ago•1 comments

Effortless Database Subsetting with Jailer: A Must-Have Tool for QA and DevOps

1•faidata•48m ago•0 comments

Perspectives on the Craft of Writing

https://sites.google.com/site/zachelkinstexas/me-write-pretty-some-day?pli=1

1•sebg•49m ago•0 comments

PostgreSQL 18 Beta 1 Released

https://www.postgresql.org/about/news/postgresql-18-beta-1-released-3070/

1•mooreds•51m ago•1 comments

Ask Your LLM to Prompt You

https://akshayr.xyz/blog/articles/ask-your-llm-to-prompt-you

3•barbierocks•58m ago•0 comments

Show HN: Wrkspace – The Ultimate 5-Second Dev Environment Launcher

https://wrkspace.co

1•mfcmatheus•59m ago•0 comments

The world could run on older hardware if software optimization was a priority

https://twitter.com/ID_AA_Carmack/status/1922100771392520710

4•turrini•59m ago•0 comments