coding sometimes, just for fun [email protected]

Joined March 2009
the largest proof in math history just got fully machine-checked → classification of finite simple groups → ~15,000 pages, 500 papers, 100 authors, 30 years → no human alive has read all of it → @axiommath verified every step in Lean in 24 days → ~40M lines of checked proof, about 3x fermat's last theorem the wild part: the agents logged 2,000+ mistakes in the published proof one of them, in the unbalanced group theorem, went unnoticed for decades. the AI wrote a new proof, the few remaining experts checked it, now it's verified that knowledge was one generation away from being lost
The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.
60
Vivi retweeted
The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.
295
4,580
420
4,109
1,067,589
Vivi retweeted
The state of the Al race...
We gave you distribution, now we’re giving you conversion! 🙇 Manage DMs and comments across your fleet of organic accounts in 15+ countries. ManyChat-style automation, included with every TokPortal account at no extra cost: → Reply to comments → Build automated reply and moderation workflows → Turn viewers into customers with DM automation Enjoy our first TokPortal Direct! 🙇
5
6
31
677
Vivi retweeted
i'm not lying when i say this might be the greatest AI related twitter account in history i haven't seen a single bad tweet from it.
THEY JUST SOLVED THE BIGGEST SECURITY PROBLEM IN SOFTWARE DEVELOPMENT Last week brought PHP2Shell and Node2Shell two critical remote code execution bugs, one in PHP, one in Node.js. Patch those first. Then test what's actually yours: your app. AI already writes your code. But nobody actually checks it for flaws before it ships. The idea? Instead of running a pentest once a year and praying, Shannon analyzes your code, finds the attack paths, and launches real exploits against your app BEFORE someone else does. What it does: → Reads your code and maps out where the weak spots are → Launches real attacks: injection, XSS, SSRF, broken authentication → Only reports what it can reproduce if it can't exploit it, it doesn't include it → Plugs into your CI/CD and fails the pipeline if it finds anything serious → Works with your own AI provider: Anthropic, OpenAI, local models That means fewer vulnerabilities in production and fewer scares. A pentest on every release, without hiring anyone. Repo in the comments
24
20
99
1,694
nintendo: 3 years of teasers for a remake tokportal: free manychat on every account, out today
We gave you distribution, now we’re giving you conversion! 🙇 Manage DMs and comments across your fleet of organic accounts in 15+ countries. ManyChat-style automation, included with every TokPortal account at no extra cost: → Reply to comments → Build automated reply and moderation workflows → Turn viewers into customers with DM automation Enjoy our first TokPortal Direct! 🙇
4
156
Vivi retweeted
We gave you distribution, now we’re giving you conversion! 🙇 Manage DMs and comments across your fleet of organic accounts in 15+ countries. ManyChat-style automation, included with every TokPortal account at no extra cost: → Reply to comments → Build automated reply and moderation workflows → Turn viewers into customers with DM automation Enjoy our first TokPortal Direct! 🙇
29
133
35
317
59,079
Vivi retweeted
real users are very good at writing test cases without meaning to. nice to have a way to keep those around
Today, @JudgmentLabs opens for general access. We believe long running agent systems will generate more exhaust data than the world can currently process. Hidden within agent traces are rich records of how to make these systems better: what users ask for, when agents stumble, and how agents interact with the external world. Judgment is the most performant monitoring and improvement layer for long-horizon agents. We’re excited to see what you build!
2
3
129
4,564
Today we're coming out of stealth, introducing Neywa Labs 🚀 We built the infrastructure to build and deploy AI that runs on the devices people already own. Private, offline, unlimited. One mission: make AI available to everyone in the world. neywalabs.ai/
150
139
63
1,084
109,690
New in CodeRabbit Secure: Deep Scan now follows a vulnerability across your linked repos, then replays the exploit in a throwaway sandbox to prove it's real before it flags anything. Hendrik walks through this and everything else in the new update:
207
381
50
570
196,766
POWERPOINT FINALLY GOT ITS AGENT Templafy Document Agents create, edit and review decks on your own template → build it once, share it with the whole team → 3,000+ icons and 50+ consultancy-grade designs built in → same quality every time, for everyone client-ready in minutes, not an afternoon
AI that knows your company’s content and branding? 👀 With Templafy Team, build and share AI Agents that create editable PowerPoints using your company's knowledge and templates. Get started 👉 templafy.com/templafy-teams-…
1
126
654
so we're just chatting our way through edits now? → cuts in one app → captions in another → b-roll from somewhere else → export, import, repeat cardboard just put that whole loop inside a chat on claude and chatgpt yeah this one's getting bookmarked
Introducing Cardboard for ChatGPT and Claude. You never know when your best ideas will find you. So we made sure that @usecardboard is there, whenever they do. At your desk, or on the go, wherever you are :)
1
2
137
14,177
Vivi retweeted
Introducing Cardboard for ChatGPT and Claude. You never know when your best ideas will find you. So we made sure that @usecardboard is there, whenever they do. At your desk, or on the go, wherever you are :)
146
190
83
854
511,852
When the CEO of the most valuable company in the world says... 'the founders of Higgsfield are visionary in the work that they do … but these are some of the brightest people in the world' You know you made the right investment.
Jensen Huang: “… the founders of Higgsfield are visionary in the work that they do … but these are some of the brightest people in the world.” We're grateful to Jensen and the teams at NVIDIA and TCV for believing in us. Both companies have joined Higgsfield as investors in our Series B extension. Since our August Series B: • We’ve crossed $1 billion in annualized revenue. • Enterprise contracts are up 71%, growing 100%+ month-over-month • We’ve grown from 30 million to over 40 million users globally. TCV has backed Netflix, Facebook, ByteDance and Spotify, companies that changed how people create and consume media. NVIDIA has powered every generation of Higgsfield, from L40 and A40 GPUs through Hopper and Blackwell, with Vera Rubin next to meet growing demand. Thank you to our creators and customers for building with us every day, and to everyone at Higgsfield whose work brought us here. The full Bloomberg Announcement is linked below.
40
271
7
1,300
233,778
Alex is literally on a generational run Jeansen Huang just called the team at higgs visionaries in their work and is now an investor in them too
Replying to @JensenHuang
@jensenhuang and NVIDIA just invested in Higgsfield We turn competition at the foundation layer into compounding advantage for our customers. Every advance at the frontier expands what Higgsfield can deliver The moat is ownership of demand, and we clearly own one.
10
198
6
291
80,702
NVIDIA started out making chips so games could look better 30 years later they're investing in Higgsfield to make ai videos look better, and Jensen Huang is calling the founders visionaries they're just following their own footsteps at this point
DST Global. Goldman Sachs. Nvidia. There’s NO big investor left who isn’t in Higgsfield. Jensen Huang called the founders “visionary” and explained why: “you invest in people, not companies.” He also added that Higgsfield got the brightest people in the entire world. In an industry obsessed with benchmarks and GPU counts, the smartest money keeps backing a team that builds for creators. BY THE PEOPLE, FOR THE PEOPLE
10
3
107
18,283
Vivi retweeted
DST Global. Goldman Sachs. Nvidia. There’s NO big investor left who isn’t in Higgsfield. Jensen Huang called the founders “visionary” and explained why: “you invest in people, not companies.” He also added that Higgsfield got the brightest people in the entire world. In an industry obsessed with benchmarks and GPU counts, the smartest money keeps backing a team that builds for creators. BY THE PEOPLE, FOR THE PEOPLE
Jensen Huang: “… the founders of Higgsfield are visionary in the work that they do … but these are some of the brightest people in the world.” We're grateful to Jensen and the teams at NVIDIA and TCV for believing in us. Both companies have joined Higgsfield as investors in our Series B extension. Since our August Series B: • We’ve crossed $1 billion in annualized revenue. • Enterprise contracts are up 71%, growing 100%+ month-over-month • We’ve grown from 30 million to over 40 million users globally. TCV has backed Netflix, Facebook, ByteDance and Spotify, companies that changed how people create and consume media. NVIDIA has powered every generation of Higgsfield, from L40 and A40 GPUs through Hopper and Blackwell, with Vera Rubin next to meet growing demand. Thank you to our creators and customers for building with us every day, and to everyone at Higgsfield whose work brought us here. The full Bloomberg Announcement is linked below.
25
204
4
350
91,590
Vivi retweeted
Este ha sido el progreso de la IA en los últimos 3 años 👀 Ahora imaginad lo que viene con la inversión de NVIDIA en Higgsfield
🤝 Paid partnership
Jensen Huang: “… the founders of Higgsfield are visionary in the work that they do … but these are some of the brightest people in the world.” We're grateful to Jensen and the teams at NVIDIA and TCV for believing in us. Both companies have joined Higgsfield as investors in our Series B extension. Since our August Series B: • We’ve crossed $1 billion in annualized revenue. • Enterprise contracts are up 71%, growing 100%+ month-over-month • We’ve grown from 30 million to over 40 million users globally. TCV has backed Netflix, Facebook, ByteDance and Spotify, companies that changed how people create and consume media. NVIDIA has powered every generation of Higgsfield, from L40 and A40 GPUs through Hopper and Blackwell, with Vera Rubin next to meet growing demand. Thank you to our creators and customers for building with us every day, and to everyone at Higgsfield whose work brought us here. The full Bloomberg Announcement is linked below.
29
128
19
2,061
1,203,241
Vivi retweeted
Sir, NVIDIA just backed Higgsfield. Last time they made a move like this, it was us.
Jensen Huang: “… the founders of Higgsfield are visionary in the work that they do … but these are some of the brightest people in the world.” We're grateful to Jensen and the teams at NVIDIA and TCV for believing in us. Both companies have joined Higgsfield as investors in our Series B extension. Since our August Series B: • We’ve crossed $1 billion in annualized revenue. • Enterprise contracts are up 71%, growing 100%+ month-over-month • We’ve grown from 30 million to over 40 million users globally. TCV has backed Netflix, Facebook, ByteDance and Spotify, companies that changed how people create and consume media. NVIDIA has powered every generation of Higgsfield, from L40 and A40 GPUs through Hopper and Blackwell, with Vera Rubin next to meet growing demand. Thank you to our creators and customers for building with us every day, and to everyone at Higgsfield whose work brought us here. The full Bloomberg Announcement is linked below.
15
244
459
66,857
Jensen Huang: “… the founders of Higgsfield are visionary in the work that they do … but these are some of the brightest people in the world.” We're grateful to Jensen and the teams at NVIDIA and TCV for believing in us. Both companies have joined Higgsfield as investors in our Series B extension. Since our August Series B: • We’ve crossed $1 billion in annualized revenue. • Enterprise contracts are up 71%, growing 100%+ month-over-month • We’ve grown from 30 million to over 40 million users globally. TCV has backed Netflix, Facebook, ByteDance and Spotify, companies that changed how people create and consume media. NVIDIA has powered every generation of Higgsfield, from L40 and A40 GPUs through Hopper and Blackwell, with Vera Rubin next to meet growing demand. Thank you to our creators and customers for building with us every day, and to everyone at Higgsfield whose work brought us here. The full Bloomberg Announcement is linked below.
214
590
144
2,082
2,109,276
never play against jensen huang and higgsfield
Jensen Huang: “… the founders of Higgsfield are visionary in the work that they do … but these are some of the brightest people in the world.” We're grateful to Jensen and the teams at NVIDIA and TCV for believing in us. Both companies have joined Higgsfield as investors in our Series B extension. Since our August Series B: • We’ve crossed $1 billion in annualized revenue. • Enterprise contracts are up 71%, growing 100%+ month-over-month • We’ve grown from 30 million to over 40 million users globally. TCV has backed Netflix, Facebook, ByteDance and Spotify, companies that changed how people create and consume media. NVIDIA has powered every generation of Higgsfield, from L40 and A40 GPUs through Hopper and Blackwell, with Vera Rubin next to meet growing demand. Thank you to our creators and customers for building with us every day, and to everyone at Higgsfield whose work brought us here. The full Bloomberg Announcement is linked below.
17
200
5
366
182,164