HNHacker News
TopNewBestAskShowJobs

aaraujo002

982 karma · joined December 8, 2021

submissionscomments

Lean Verified Transformers

srush.github.io·1 pts·aaraujo002·
0

Making Startups Powerful

paulgraham.com·20 pts·aaraujo002·
3

The KV cache as an agent runtime

research.yandex.com·2 pts·aaraujo002·
0

Terence Tao on the Navier-Stokes Equations

mathstodon.xyz·7 pts·aaraujo002·
0

Fermat's Last Theorem in Lean 4

github.com·146 pts·aaraujo002·
31

Corporate America is getting hooked on open-source AI

nytimes.com·334 pts·aaraujo002·
310

Mark Zuckerberg Wants to Make Sure His Competitors Share His Pain

nytimes.com·14 pts·aaraujo002·
9

Improving the Matrix Multiplication Exponent

arxiv.org·6 pts·aaraujo002·
0

Mathematics in the Age of AI

arxiv.org·6 pts·aaraujo002·
0

As France's Elders Swelter in the Heat, Postal Workers Come to the Rescue

nytimes.com·1 pts·aaraujo002·
0

A New Chapter for Reve

blog.reve.com·6 pts·aaraujo002·
1

Meta Delays Rollout of New A.I. Model After Performance Concerns

nytimes.com·8 pts·aaraujo002·
1

We built a browser with GPT-5.2 in Cursor

xcancel.com·4 pts·aaraujo002·
0

Trump Clears Sale of More Powerful Nvidia A.I. Chips to China

nytimes.com·7 pts·aaraujo002·
1

The Eiffel Tower Llama

huggingface.co·2 pts·aaraujo002·
0

Piloting Group Chats in ChatGPT

openai.com·1 pts·aaraujo002·
0

Let's Talk About the AI Bubble [video]

youtube.com·3 pts·aaraujo002·
0

We Started with Jax but Moved to PyTorch

mlechner.substack.com·2 pts·aaraujo002·
0

The Free Transformer

arxiv.org·6 pts·aaraujo002·
0

Is Consumerism the Biggest Religion?

simone.org·6 pts·aaraujo002·
1

The Problem with Time and Timezones (2013) [video]

youtube.com·1 pts·aaraujo002·
0

Is 'Zone 2' the Magic Effort Level for Exercise?

nytimes.com·1 pts·aaraujo002·
1

Humanity's Last Exam

agi.safe.ai·3 pts·aaraujo002·
0

Can Europe build its first trillion-dollar startup?

ft.com·15 pts·aaraujo002·
19

Alternative notation for exponents, logs and roots?

math.stackexchange.com·15 pts·aaraujo002·
1

What is temperature? (2022) [video]

youtube.com·3 pts·aaraujo002·
1

Where Am I? (Daniel C. Dennett) [pdf]

lehigh.edu·1 pts·aaraujo002·
1

The Math of Card Shuffling

fredhohman.com·1 pts·aaraujo002·
0

The Problem of New York City Trash

nytimes.com·3 pts·aaraujo002·
0

Can Humans Endure the Psychological Torment of Mars?

nytimes.com·4 pts·aaraujo002·
3
Page 1 of 3Next →