chief (mad) scientist @baincapcrypto alt: @tarunchitra

Joined April 2011
guille retweeted
we've been living in a digital pigsty, a world of security by scarcity that got activists and journalists surveilled and killed using 0days in human code. we're going to finally purge 50 years of accumulated tech debt and complete the project of 90s cyberidealism.
4
22
4
233
7,617
Cool work! I did something similar with gpt-5.6-sol: put two agents inside isolated workerd (V8) isolates and set the win condition to be learning the other agent's flag. They succeeded 1/5 times using the shared event loop as a comms channel
Over the past several months, we have substantially hardened the security of our research training environment. We’ve removed live internet access for all frontier models during training and built an offline world for them to use instead—a cached version of the web where they can still learn to browse, search, and use applications. On September 20, after a model exploited a DNS misconfiguration to find a way outside of this offline world, we paused frontier training to strengthen containment further. We assembled teams of agents, powered by our most cyber-capable models, and tasked them with finding weaknesses in our research environments. While they found no route to the internet they could easily exploit while concealing their activity from our monitors, they did find zero-day vulnerabilities, virtual machine escapes, and hardware side-channels for communication between agents. We used their discoveries to further strengthen our defenses and contribute fixes to open-source software. After strengthening our containment architecture, we resumed our frontier RL training and inference on October 1. We’ve reserved substantial compute for continuous red-teaming, and made high-compute red-teaming part of the safety cases we use to decide whether frontier training and evaluation can proceed securely. openai.com/index/securing-ou…
2
10
2
95
7,299
it appears my squinting simulator is working 👀 we all love wave optics, naked-eye interference, eyelash diffraction right
190
850
129
11,535
563,065
A new era for Celestia begins today. After 2 years in research and development, Fibre is now live. Fibre's ~2B TPS of potential throughput capacity is enough to fit all the sci-fi visions of the agentic economy and high frequency trading onchain.
Fibre is now live on Celestia mainnet. As the biggest upgrade since Celestia’s launch, Fibre delivers the unprecedented scale required to bring global finance and agentic commerce onchain.
30
56
2
396
13,877
🎙️Last week, @AnnaRRose & @angeris spoke w Josh Yang from Brightlight Photonics about the lasers that power neutral atom quantum computers, how they trap, cool & control atoms + how Brightlight is shrinking laser down to chips the size of a grain of rice zeroknowledge.fm/podcast/413…
2
2
1
9
1,726
guille retweeted
having deep talks with my genius friend to distill the smarter model of me from their brain
your smarter friend has a model of you in their head that is smarter than you
12
181
6
3,300
42,812
Honored to announce my first LessWrong post. It's a weird one, and it may be jarring initially, but I truly believe it is worth a dedicated close-read. It is written in the form of an LLM CoT, but is entirely authored by me. Link: lesswrong.com/posts/vzKWsEsk…
77
69
32
1,365
249,495
guille retweeted
In light of the latest Anthropic's latest not-particularly-oblique attempt to build a case against open weights, I thought I would write down how I currently think about open weight AI models. (1) Open weights have been deeply, irreplaceably useful for AI safety.
22
79
19
528
48,872
Pretty cool to see Celestia unlocking a new use case for Midnight, a team I really respect. I see this at not only an exciting new frontier for DA, but also a potential wedge for Celestia to expand it's TAM dramatically over the long run. TL;DR Midnight uses Celestia DA as a substitute for a P2P network to publish and match trades in a privacy preserving way. What's nice about this is: 1. Midnight saved a bunch of effort they would have had to spend building a P2P networking stack 2. DA gives stronger guarantees than traditional gossip over a P2P network would It takes a really smart team like Midnight to identify this new use case for DA and harness it, but now that it's been done I expect other teams will follow suit. In the long run, Celestia could serve as a kind of layer 0 (overloaded term I know) as the message publishing network underneath many chains. This doesn't stop at just messaging within a particular chain, it could extend to cross-chain messaging replacing relayers, and eventually chains being able to prove things about their state to other chains (i.e. trust-minimized interop, the holy grail that has always been Celestia's ultimate goal). It's worth mentioning that this kind of application wouldn't be possible without the recent advance in DA called Fibre (s/o @angeris and @alexhevans) making DA fast, abundant and cheap enough for this to be practical. It has been a pleasure working with the Midnight team on this. If you're interested in building using Celestia in this way, please reach out.
1/ Midnight 🤝 @celestia Private markets have a discovery problem: how do you make an offer discoverable while keeping the parties involved and unrelated balance information private? Zswap enables privacy-preserving atomic swaps, while Celestia provides the shared layer for offer discovery. 👇
13
26
3
182
16,451
Blueprint of BinarySpartan: Spartan instantiated with Ligerito PCS and well-known optimizations. A lot of the optimizations were originally developed in the elliptic curve setting!
Proving standard hashes matters for the post-quantum transition of blockchains, so: what's the simplest proof system to reach the "escape velocity"? Turns out old techniques can get you past both Ethereum's and Bitcoin's requirements! In eprint queue from a few days!
1
10
48
3,484
guille retweeted
guys you do know you can just disable thinking, and instead give it a "deep_think" tool, and it will call it with internal CoT reasoning format right? gl fixing that
We can finally talk about it: We found a way to extract hidden reasoning of frontier models using a vulnerability in the APIs of every frontier AI company. We verified that our reasoning token count matches billed API thinking tokens 1:1 for most of the prompts we queried.
154
449
139
6,382
957,374
guille retweeted
Excited to share I’ve joined @zksecurityXYZ 😃 I’ve known the amazing team for years, and I’m happy to be part of this team that has been involved in securing and creating important parts of cryptographic infrastructure across the industry Grateful to the inspiring @stefancoh, @alexhevans, @angeris and the rest of the team for the time together in @BainCapCrypto, and all the awesome founders I got to know and work with during my time there Reach out to me with anything related to security, cryptography, formal verification, distributed systems, protocols or otherwise need help with!
50
8
2
283
18,985
Before and after
🤖 Made with AI
10
5
1
44
5,480
Today we’re releasing Poolside Laguna S 2.1 It is a 118B-total, 8B-active open-weight model built for agentic coding and long-horizon work, with context up to 1M tokens poolside.ai/blog/introducing… Laguna S 2.1 sits at the top of its weight class and competes with open models many times larger, while remaining small enough to run on a single NVIDIA DGX Spark It is available today under OpenMDW-1.1 via Hugging Face, OpenRouter, the Poolside API, and pool This is a remarkable model by any measure. As much as we can gather, it's the best open weight model in the West, regardless of size But the model itself is only part of the story There is a prevailing narrative that building capable models requires ever more capital, compute, and people. We believe the more important question is how efficiently you can turn those resources into intelligence At Poolside, we approach model building as an industrialized process spanning data, pre-training, reinforcement learning, evaluation, and inference. We call that system the Model Factory. We have written about our approach to model building extensively in a 6 part blog series: poolside.ai/blog/introducing… Laguna S 2.1 went from the Model Factory kicking it off to release in 52 days. The model is the output. The ability to keep building better models, faster and more efficiently each time is the actual innovation. The Model Factory is Poolside's compounding asset And so here we are, 52 days after kicking this off, releasing a 118B/8B MOE that tops 70% on TB 2.1, 78% on SWE-Bench Multi, 59% on SWE-Bench Pro, and 40% on DeepSWE. And it's fully open, from an American company I grew up in the Linux and Python communities, then spent much of my career at Canonical (Ubuntu), Heroku and GitHub. Those communities shaped my belief that important technology becomes more useful when people can understand it, challenge it, and build upon it. And even more important than being useful is being trusted. That is what open weights mean to me. They are not a marketing or distribution exercise. They give people control: the ability to inspect the work, reproduce the claims, modify the model, and run it inside their own environment I believe the West needs a credible open path to frontier intelligence. I believe it should be from an American company. We intend to be that company Laguna S 2.1 is another step in that direction and yet more evidence of Poolside's long held, often times contrarian beliefs and views on how intelligence will be built. One last note. We are doing something very different that we hope becomes industry norm going forward. We recognize that releasing a 118B/8B MOE that performs as well as Laguna S does would be met with some degree of skepticism. Models of this size are not supposed to outperform models 4-25x larger. We double and triple checked our benchmark trajectories to be sure. But we wanted to go another step and release those trajectories for you to see and help us quadruple check them. trajectories.poolside.ai/ If you find something we missed, we genuinely want to hear about Have fun building whatever thing you can think of with the most persistent little model that could
42
35
15
362
86,755
I read @slatestarcodex 's latest on Plan A. Originally I wasn't going to write a response because I have a hard time picturing someone at the margin that would be swayed by my arguments. But in the spirit of trying to contribute in good faith to the dialogue...
10
35
7
228
116,686
fifa has a new rule that goals can only be scored in stoppage time
1
1
3
712
guille retweeted
👀
roko’s basilisk… in an AAA videogame? twitter really is becoming real life huh
2
1
33
2,225
Excited to announce Flock! A new SNARK for efficiently proving batched Boolean computations, in collaboration with @benediktbuenz and @kleptographic . The key use case for Flock is proving standard hash function such as SHA-256, Keccak and BLAKE3. For example, on an m4 max MacBook Pro it proves over 660k BLAKE3 compressions per second. xitter.cf/SuccinctLabs/status/20…
Introducing Flock: a new SNARK for proving batches of standard hash functions at just 250× the cost of computing them natively. Developed by @benediktbuenz from @EspressoSys, @ronrothblum, and NYU's William Wang, Flock puts Ethereum's Post Quantum target in reach.
16
36
7
202
48,134
We’re sharing an early preview of Raven Prism, our stylish ambient computer in glasses form, ahead of its launch later this year. Raven Prism is Linux-based with a ARM64 architecture and devs have already built apps for it. If you’re at AWE, come by our booth for a demo! raven.computer @raven_computer
84
64
33
711
116,893