Security Eng @eigenlabs , prev @coinbase

Mempool
Joined April 2022
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 👉👈
9
6
3
93
19,458
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
2
22
4,040
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!
55
23
6
334
45,203
Anto retweeted
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.
49
62
26
866
101,832
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
whole team feels dumb now, but it's true, we did not explicitly train our model on 3d demo games obviously in retrospect we probably should've done a bit of that... but no regrets, please try muse wonder on your actual coding work!
5
341
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
2
26
3,791
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
7
39
16
233
41,925
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.
2
9
716
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
6
42
18
169
23,273
The new iPhones camera can sign over the pixels attesting to the authenticity of an image! In a world flooded with ai slop , cryptography shows you the way.
6
285
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.
41
149
31
1,869
148,816
Update : 👀 deploying more tokens, anyways...
GLM 5.3 on @defcon ctf quals, no flags yet 👀
2
7
1,726
GLM 5.3 on @defcon ctf quals, no flags yet 👀
14
4
4
195
25,544
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
19
46
27
247
117,018
Blackhat feels a lot different this year! Great talk by @cryps1s
1
10
783
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…
6
1,148
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
1
3
1,248
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."
6
1
1
11
2,701