aaraujo002

6 ms·

1.
Lean Verified Transformers(srush.github.io)
1 points by aaraujo002 1d ago|0 comments
2.
Making Startups Powerful(paulgraham.com)
20 points by aaraujo002 4d ago|3 comments
3.
by aaraujo002 9d ago
OP’s link is the statement on the events of the last few days. Tristan Buckmaster also released mathematical papers alongside this statement: https://mastodon.social/@tristanbuckmaster/11723341370570119... And here are
4.
The KV cache as an agent runtime(research.yandex.com)
2 points by aaraujo002 10d ago|0 comments
5.
Terence Tao on the Navier-Stokes Equations(mathstodon.xyz)
7 points by aaraujo002 12d ago|0 comments
6.
by aaraujo002 12d ago
They released the code here: https://github.com/anthropics/fermats-last-theorem
7.
Fermat's Last Theorem in Lean 4(github.com)
146 points by aaraujo002 12d ago|31 comments
8.
Corporate America is getting hooked on open-source AI(nytimes.com)
334 points by aaraujo002 13d ago|310 comments
9.
by aaraujo002 21d ago
https://archive.is/MrOXv
10.
Mark Zuckerberg Wants to Make Sure His Competitors Share His Pain(nytimes.com)
14 points by aaraujo002 21d ago|9 comments
11.
by aaraujo002 27d ago
This is a position paper. Its purpose is to advocate for a specific viewpoint to the ML community. From [1]: "Position papers make an argument for a viewpoint or perspective about what should be done [...]" [1] https://
12.
Improving the Matrix Multiplication Exponent(arxiv.org)
6 points by aaraujo002 29d ago|0 comments
13.
Mathematics in the Age of AI(arxiv.org)
6 points by aaraujo002 29d ago|0 comments
14.
As France's Elders Swelter in the Heat, Postal Workers Come to the Rescue(nytimes.com)
1 points by aaraujo002 1mo ago|0 comments
15.
A New Chapter for Reve(blog.reve.com)
6 points by aaraujo002 2mo ago|1 comments
16.
by aaraujo002 4mo ago
The model should perform better with JSON prompts than with natural language prompts. The safety filter may also be triggered incorrectly by natural language prompts, we are aware of this and will make a future checkpoint update to improve
17.
by aaraujo002 6mo ago
https://archive.is/v3Jcm
18.
Meta Delays Rollout of New A.I. Model After Performance Concerns(nytimes.com)
8 points by aaraujo002 6mo ago|1 comments
19.
We built a browser with GPT-5.2 in Cursor(xcancel.com)
4 points by aaraujo002 8mo ago|0 comments
20.
by aaraujo002 9mo ago
https://archive.is/I2mgz
21.
Trump Clears Sale of More Powerful Nvidia A.I. Chips to China(nytimes.com)
7 points by aaraujo002 9mo ago|1 comments
22.
The Eiffel Tower Llama(huggingface.co)
2 points by aaraujo002 10mo ago|0 comments
23.
Piloting Group Chats in ChatGPT(openai.com)
1 points by aaraujo002 10mo ago|0 comments
24.
Let's Talk About the AI Bubble [video](youtube.com)
3 points by aaraujo002 10mo ago|0 comments
25.
We Started with Jax but Moved to PyTorch(mlechner.substack.com)
2 points by aaraujo002 10mo ago|0 comments
26.
The Free Transformer(arxiv.org)
6 points by aaraujo002 11mo ago|0 comments
27.
by aaraujo002 1y ago
https://archive.is/8nEQN
28.
Is Consumerism the Biggest Religion?(simone.org)
6 points by aaraujo002 1y ago|1 comments
29.
The Problem with Time and Timezones (2013) [video](youtube.com)
1 points by aaraujo002 1y ago|0 comments
30.
Is 'Zone 2' the Magic Effort Level for Exercise?(nytimes.com)
1 points by aaraujo002 2y ago|1 comments

More ›