Sidhartha Mani

985 posts

Sidhartha Mani

Sidhartha Mani

@utter_babbage

Apple Containers

Silicon Valley Katılım Kasım 2014
2.4K Takip Edilen917 Takipçiler
Sidhartha Mani retweetledi
Guild.ai
Guild.ai@GuildAI·
We've been quiet for a few days, the team is heads down building. Most AI coding tools today are single-player. We think the future is collaborative, and we’re building the platform for it. More soon. Get on the waitlist: guild.ai
GIF
English
1
1
4
742
Sidhartha Mani retweetledi
Honour Masters
Honour Masters@itsanhonour_·
our thesis from the beginning has been simple: Bitcoin mining was the blueprint. Financial engineering across the energy value chain (i.e. durable leverage points) is where defensibility come from. @Melt_Dem and i believe that whoever manages that volatility becomes the “embedded finance layer” of modern energy.
English
2
2
45
34.7K
Sidhartha Mani retweetledi
Machine Learning Street Talk
Machine Learning Street Talk@MLStreetTalk·
One of the most exciting new AI companies is @SakanaAILabs in our opinion. Their CTO and their Co-founder @YesThisIsLion Llion Jones is now saying it's time to move beyond transformers even though he was one of the 8 original inventors at Google. They are now investigating the next significant step forwards, and have a NeurIPS 2025 spotlight paper called "continuous thought machines" (CTM) which may well be just that (first author @LearningLukeD). They just landed their Series B, with the legendary @hardmaru as their CEO. They are actively investigating neuroevolution approaches which I strongly believe will be a big part of the future of AI -- and they publish their research in the open. Keep an eye on Sakana! 👌 Interview with Llion and Luke dropping today on MLST.
English
24
79
469
186.4K
Sidhartha Mani retweetledi
David K 🎹
David K 🎹@DavidKPiano·
I have no idea what to name my baby At this point I'll just name him "utils"
English
458
363
6.7K
233.2K
Sidhartha Mani retweetledi
Mitchell Hashimoto
Mitchell Hashimoto@mitchellh·
Ghostty 👻 devlog video: I'm working on search! Here's 15 minutes of me explaining why it has taken so long, what is hard about it, the architecture we're going for, and the big progress I've made recently. Progress PR if you'd rather read stuff: github.com/ghostty-org/gh…
English
27
38
1.1K
66.4K
Sidhartha Mani retweetledi
Phil Eaton
Phil Eaton@eatonphil·
Turns out you can communicate across containers via 63-bits of available space in a shared lock you acquire on /proc/self/ns/time that all processes have access to. No networking required. The post has a demo of a chat app communicating across unprivileged containers.
Phil Eaton tweet media
English
37
206
1.9K
131.6K
Sidhartha Mani retweetledi
GLADIA Research Lab
GLADIA Research Lab@GladiaLab·
LLMs are injective and invertible. In our new paper, we show that different prompts always map to different embeddings, and this property can be used to recover input tokens from individual embeddings in latent space. (1/6)
GLADIA Research Lab tweet media
English
280
1.3K
10.9K
5M
Sidhartha Mani retweetledi
Madhav Aggarwal
Madhav Aggarwal@madhavaggar·
Are premier LLMs truly safe from evolving multi-turn attacks? Our new framework, PLAGUE (Plug and Play Lifelong Adaptive Generation of Exploits), automates adversarial prompts—jailbreaking Claude Opus 4.1 at 67.3% ASR and OpenAI o3 at 81.4%. Vulnerabilities persist! 🧵1/7
Madhav Aggarwal tweet media
English
3
7
26
4.2K
Sidhartha Mani retweetledi
Ivan Krstić
Ivan Krstić@radian·
🔺iPhone models announced today include Memory Integrity Enforcement, the culmination of an unprecedented design and engineering effort that we believe represents the most significant upgrade to memory safety in the history of consumer operating systems. security.apple.com/blog/memory-in…
English
56
490
2.7K
374.4K
Sidhartha Mani retweetledi
VraserX e/acc
VraserX e/acc@VraserX·
GPT-5 just casually did new mathematics. Sebastien Bubeck gave it an open problem from convex optimization, something humans had only partially solved. GPT-5-Pro sat down, reasoned for 17 minutes, and produced a correct proof improving the known bound from 1/L all the way to 1.5/L. This wasn’t in the paper. It wasn’t online. It wasn’t memorized. It was new math. Verified by Bubeck himself. Humans later closed the gap at 1.75/L, but GPT-5 independently advanced the frontier. A machine just contributed original research-level mathematics. If you’re not completely stunned by this, you’re not paying attention. We’ve officially entered the era where AI isn’t just learning math, it’s creating it. @sama @OpenAI @kevinweil @gdb @markchen90
VraserX e/acc tweet media
Sebastien Bubeck@SebastienBubeck

Claim: gpt-5-pro can prove new interesting mathematics. Proof: I took a convex optimization paper with a clean open problem in it and asked gpt-5-pro to work on it. It proved a better bound than what is in the paper, and I checked the proof it's correct. Details below.

English
964
3.4K
25K
4.9M
Sidhartha Mani retweetledi
Tom Dörr
Tom Dörr@tom_doerr·
Tool for running Linux containers with lightweight virtual machines on Mac using Swift
Tom Dörr tweet media
English
6
5
59
7.2K
Sidhartha Mani retweetledi
Steren
Steren@steren·
Looks like macOS is getting a built-in way to run containers with a `container` command.
Steren tweet media
English
12
26
304
21K