Tomás Senart
@tsenart
Followers
1K
Following
7K
Media
605
Statuses
8K
Lucid ramblings in time and space. LLM maximalist. Hacker at heart. Building at https://t.co/mHZvYBjD7e ☯ Making things go brrrrrr @axiomfm
127.0.0.1
Joined February 2009
Trillion with a capital T.
From 0 to 178,600,000,000 rows/second in 30 days: Introducing Haydex - our hyper-fast filtering system that makes trillion-row needle-in-the-haystack queries interactive. Read @tsenart's account of the journey below ↓, from a failed V0 → complete redesign → 12.7x speedups
0
4
17
Reactive backends like @convex_dev are transforming how we build apps- but they need observability that matches their real-time nature ⚡️ └ Convex provides useful basic logging └ However you need visibility into function performance, errors, and patterns too └ Real-time
3
5
60
axiom > datadog
Reactive backends like @convex_dev are transforming how we build apps- but they need observability that matches their real-time nature ⚡️ └ Convex provides useful basic logging └ However you need visibility into function performance, errors, and patterns too └ Real-time
4
4
109
🤣
An ambitious founder called me "We're growing fast, have a great team, and incredible product/market fit. Can I come by and pitch you?" I paused. "Did you obtain a Prospective Investor Meeting Permit from the EU Commission on Venture Investments?" He stuttered.
0
0
1
Who’s dropping monster truck PRs at 03:00AM on a Saturday? This guy.
0
0
3
Right after Anthropic released MCP, I wrote Axiom's first mcp server. Then I started hacking on a Debug Adapter Protocol one, only to realize that the complexity wasn't worth it, since agents would be able to just call gdb or dap directly in the terminal. Most models so far
0
0
1
The @karpathy interview 0:00:00 – AGI is still a decade away 0:30:33 – LLM cognitive deficits 0:40:53 – RL is terrible 0:50:26 – How do humans learn? 1:07:13 – AGI will blend into 2% GDP growth 1:18:24 – ASI 1:33:38 – Evolution of intelligence & culture 1:43:43 - Why self
520
3K
18K
Amp is one of the most loved products engineers at Axiom use. And so we’re especially excited to be a part of bringing it to more developers through the excellent work by the @Sourcegraph team!
We made Amp Free. It's powered by great tokens and tasteful ads. Agentic coding is now free for everyone.
2
7
56
Using a trillion parameter LLM and 16 core MacBook Pro to send an email
74
155
3K
It just came out the 🇪🇺 European Commission was actively buying advertisement to promote its own ChatControl bill, targeting specific political demographics Which is something that's illegal by the way
Freedom won today! 🚫 No ChatControl in EU Now keep this snooping on people's private messages off the 🇪🇺 EU's agenda forever please
153
630
4K
We are open-sourcing OpenZL, a new data compression library and training tools to generator specialized compressors for structured data, achieving performance levels inaccessible to classic generic algorithms: https://t.co/cJJVpqGBK6
github.com
A novel data compression framework. Contribute to facebook/openzl development by creating an account on GitHub.
33
217
2K
This is insane. New AI model from Samsung, 10,000x smaller than DeepSeek and Gemini 2.5 Pro just beat them on ARC-AGI 1 and 2 Samsung’s Tiny Recursive Model (TRM) is about 10,000x smaller than typical LLMs yet smarter because it thinks recursively instead of just predicting
My brain broke when I read this paper. A tiny 7 Million parameter model just beat DeepSeek-R1, Gemini 2.5 pro, and o3-mini at reasoning on both ARG-AGI 1 and ARC-AGI 2. It's called Tiny Recursive Model (TRM) from Samsung. How can a model 10,000x smaller be smarter? Here's how
225
1K
9K
Wrote up some of the challenges we faced when building the first version of our remote MCP server with the kind and volume of data that @axiomfm handles! Have to say the @Cloudflare Agents SDK made it super easy to focus on the value add bits instead of losing ourselves in
🛠️New engineering blog: Designing MCP servers for wide schemas and large result sets: └ Wide schemas in tight contexts └ Result size vs token budget └ Picking useful fields first └ Binning without losing shape Link below ↓
2
7
31
Saved by the Germans. Shame on us Danes.
We did it: 🇩🇪Germany will OPPOSE Chat Control! 🥳 Thanks everyone for writing to the ministers. 🫶 #ChatControl will not get a majority in the EU Council - at least for now.
243
577
8K
The EU Chat Control proposal would be a catastrophe for Europe. It would seal Europeans behind a new digital Berlin wall, cut off from Signal and other e2e messengers. It's embarrassing and dangerous that it's gotten this close already. Time to bail to back to sanity.
We are alarmed by reports that Germany is on the verge of a catastrophic about-face, reversing its longstanding and principled opposition to the EU’s Chat Control proposal which, if passed, could spell the end of the right to privacy in Europe. https://t.co/015qmQnIS2
184
1K
8K