
Security Eng @eigenlabs , prev @coinbase
Mempool
Joined April 2022
- Tweets606
- Following2.2K
- Followers1.9K
- Likes4.6K
Pinned Tweet
We won 1st!! @usmannk @juancito @DrasticWM & adriro . Thank you @wonderland for organizing. We had so much fun
The Wonderland CTF was a blast!
Huge congrats to all the teams, especially “STACK TOO DEEP”, “NADA ESPECIAL” and “SECSEE”.
Oh, also: apply.wonderland.xyz 👉👈
New attack vector dropped! Threat actors add “bio” to a query parameter, your ai driven soc and IR goes poof
Replying to @RhysSullivan
yes that was a bit frustrating mid incident when trying to investigate. they did quite a bit and then started refusing
we got access to daybreak blue now so it's better
Anto retweeted
The CEOs of @Apple and @Meta are tweeting about how efficient it is to run inference on Mac Silicon
Someone should really build a distributed inference network that runs on top of Mac Silicon.
It's probably a $10b company or protocol. 🙃
Replying to @finkd
Congrats to the team! Amazing to run a model of Muse Spark Open's caliber and scale this efficiently, right from your desk. Mac Studio keeps pushing the boundaries of on-device AI!
A new paper from Apple engineers ends with a line we couldn’t have written better ourselves:
"if idle macOS devices across organizations [...] can be securely federated, they could form a massive, shared GPU resource pool that benefits the broader ecosystem."
That’s what we’re building with Darkbloom.
The paper's Minions is a system that pool idle Apple Silicon Macs into a distributed GPU cloud for on-prem inference. Queue times went from 10+ hours to minutes. Zero new GPU purchases. Zero infrastructure cost.
It runs inside Apple, on coworkers’ Macs, using the company’s own storage and access controls. When a team needs more capacity, they Slack colleagues and ask them to turn on the executor. Even in that setting, the top adoption concern was data confidentiality. People were wary of their jobs running on a colleague’s Mac. Apple’s fix was to keep each team’s work on its own team’s machines.
Which brings it back to that one word in the conclusion: “securely.”
Inside a company, you can shrink the network until you trust everyone in it. On an open network, the machine belongs to a stranger and there’s no one to Slack. Keeping prompts private and outputs honest on hardware you don’t control is the hard problem that we solved at Darkbloom.
Apple built the on-prem version.
Darkbloom is the open one.
Exactly why you should pick the model for the task at hand. Ask your agent to look up the closest benchmark on @ValsAI , @ArtificialAnlys and use it. This is why @OpenRouter is king
Real post training work on cyber security tasks! Kudos to the @cantinasecurity team.
today we're releasing apex-flash-1, our first open-weights model for security research post-trained on real vulnerabilities we found and got paid for.
we are also releasing the abliterated variant for researchers who want fewer refusals in their own authorized workflows.
how we built it: cantina.security/apex-flash
Anto retweeted
sig.golf is live
Join the open autoresearch challenge to design stateless hash-based signatures for post-quantum Ethereum, prove them secure in Lean, and beat the record on size × verification cycles.
Point your agents at sig.golf
Built with @eigenlabs on @yukonresearch
Replying to @Marcus_J_W
2. A model in RL training used a DNS resolver to reach an external chatbot. This is our first incident since our post HF security hardening.
Our misalignment monitoring system triggered within 15 minutes and a human reviewed it three minutes after that. Unfortunately auto-pausing failed so the run was manually killed 2.5 hours later. All inference and training of our most capable models was paused and remains paused.
Anto retweeted
The paper is led by @jieyilong, CTO of @Theta_Network, with coauthors from @ethereumfndn, @StarkWareLtd, @Starknet, @trailofbits, @brevis_zk, @SeiNetwork, @pauli_group, @OctavFi, @sciencevr, @nasqret at Adam Mickiewicz University, and researchers at Warsaw University of Technology and Stanford's Free Systems Lab.
On the comparison, the 2 efforts use different interfaces and accounting conventions, so the paper treats this as a numerical comparison rather than a formal claim.
Craig Gidney and Tanuj Khattar of @GoogleQuantumAI reviewed the manuscript before publication.
Read the full paper on @arxiv: arxiv.org/pdf/2609.09582
Anto retweeted
Running Gemma 4 26B A4B on a Mac just got 2x faster!
The developer community has been grinding on the mlx.fast leaderboard, pushing Apple Silicon to its limits.
Anto retweeted
Introducing @YukonResearch
A platform for open frontier research.
Over the past 2 months, an open network of humans + AI has already:
- Beat Google’s frontier quantum circuit result over 50%
- Made Poolside’s open-weight model run 2.6x faster
- Increased post-quantum Ethereum scaling by 3.5x
- Boosted Lighter’s prover 9.5x faster
Put a hard frontier science problem in front of many independent solvers, each bringing different models, harnesses, prompts and tacit knowledge. And let the best results compound.
Accelerating the future of scientific progress together with AI.
Bring us your hardest problem: yukon.org
The frontier collab we didn’t expect 👀
We're detailing two new incidents that occurred during external cyber evaluations conducted by independent evaluation partners.
We outline what happened, how the activity was contained, and how we’re working with evaluators to strengthen our approach to third-party testing.
openai.com/index/third-party…
Fuzzing is the OG compute scaling, ai probably does a better search given the same amount of compute? Maybe we should compare?
.@hosseeb on why beating North Korea's hackers now comes down to who can afford the most compute:
"If the attackers are spending 500 bucks, and good guys are spending maybe a couple bucks, they're like, oh, I just wanna check and see if there's any low-hanging fruit. Otherwise I'm not gonna use this code if I can tell it's obviously busted. So they spend a couple dollars worth of compute, and they say, ah, it looks good enough. It's a well-funded project. It's open source. Yeah, I guess I'll use it."
"But North Korea is spending 500 bucks, 1,000 bucks, 2,000 bucks just grinding and grinding and grinding, running multiple agents overnight trying to find an attack."
"That means that no matter how many good people are spending $2 worth of GLM compute on you, they will never be able to find the depth of the tree that North Korea is searching for. None of the normal users will ever get there, which means it's only really on the company."
"The company is the only party that can coordinate enough compute to be able to actually expand the search space enough to out search an attacker."
"But it does mean that attackers have the same problem. So if North Korea and Russia and China are all trying to hack your protocol, but they all spend, let's say, $5,000 each, if you spend $10,000 you will actually find everything that they can find and more."
"Which in that sense, it benefits defenders over attackers in the long run, because the company can actually outspend any individual attacker in principle, and that used to be not sufficient defense in the old model because of the fact that attackers were uncorrelated with each other."
@dragonflyvc
I recently got a chance to test @Certora AutoProver. Using frontier models to write your spec is cool, but i believe breakthroughs in prover tech and frontier model capabilities will increasingly close the gap on what’s possible. Maybe we need a formal verification benchmark?
Robinhood CEO @vladtenev believes mathematical superintelligence could eliminate software bugs altogether.
"Math skills and coding actually go hand in hand... In the same way that MSI can be used to make sure that your math is correct, when you have a computer program or a piece of software, it could be used to make sure that's correct and that there are no mistakes."
"Rather than it being a cat-and-mouse game of escalating model capabilities, finding breaches and preventing breaches from happening, verification and proof that software is immune to these types of bugs, I think is the future."



























