🗡️🇨🇦🔪 I am a student of the language of the people of the land of the sun, the moon, and the stars.

double root
Joined July 2022
GCU Tense Correction retweeted
I made an inverse design with BeamZ to solve MNIST.
18
18
3
265
9,069
Fun fact: both Muse and Argon do great on NSBMbench!
2
176
For those in AI new to cyber (or w/e kids call infosec now) the turnkey abliterated model providers you see are all honeypots/watering hole attacks.
11
8
3
392
23,685
accompaniment: Atrium Carceri - Kapnobatai [2005]
Mathematics is 100% dead 🪦 A cause for celebration 🎉 Read my eulogy and weap 😭 Link👇
1
157
You won't get real security without a sacrifice. - Google want you to sacrifice privacy by getting your stuff scanned and surveilled for your own safety. - Enterprises want you to sacrifice perf by triple-wrapping up in redundant DLPs/EDRs. - Ain't nobody sacrificing complexity.
6
181
Greatest security uplift since Bitcoin monetized rm -rf!
We've created a magic box that improves software security more than decades of human/industry effort and literally trillions of dollars of spend. This is like Nobel Prize-level worthy of celebration, not condemnation.
3
210
GCU Tense Correction retweeted
reminder: vulnerability discovery and exploit development are not the same thing
10
24
3
115
8,319
GCU Tense Correction retweeted
Everyone wants to draw conclusions about the future based on what they saw in the past. Usually this works really well for people, so why stop now?
7
1
1
64
6,359
Given cheap execution, creative vision is the bottleneck. - Have pet bug classes? Now you've got exploits! - Bitter attack surface reduction/formal verification enjoyer? No better time to! - Want Stormwind to look like it did in your imagination as a kid? Have some shaders.
1
9
245
One of those is tractable, novel, and cool. The other two chip away at vast problems that were never really technical. Being bullish on formal verification long-term is like being bullish on fusion. I don't think AI automation is going to make grsec popular or PHP radioactive.
1
65
And another one. Real deal security for some ;)
New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time). With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks. Read our research in full here: anthropic.com/research/forma…
6
359
GCU Tense Correction retweeted
five critical patches before lunch
Today we disclose PHP2Shell - remotely exploitable memory corruptions in PHP WordPress pre-auth RCE: ✅ Drupal pre-auth RCE: ✅ Joomla pre-auth RCE: ✅ Remote memory disclosure of any PHP application: ✅ Read more ⬇️🧵
5
4
21
1,782
Organizational IQ test to watch: who stops using PHP? >90 IQ orgs stopped in the last two decades. >80 IQ orgs stop this quarter. Anyone left...
7
321
GCU Tense Correction retweeted
What you’re seeing right now is decades of technical debt finally catching up in one intense burst rather than a prolonged string of incidents. There are decades where weeks happen, and weeks in which decades happen.
1
1
12
642
GCU Tense Correction retweeted
Attack surface reduction is the one thing that reliably works.
Reducing the attack surface of deployed services and apps is a fundamental component of software that is secure by design. Earlier this year we tasked Claude with autonomously mapping and reducing the attack surface of 25 large and widely used OSS codebases. This blog post covers some of our methodology and a preview of the data we collected. This research resulted in a significant reduction in OpenSSH pre-authentication attack surface (now fixed in 10.6). And over 500 findings where reachability could be reduced and configurations hardened to ensure security controls weren’t silently disabled. anthropic.com/research/attac…
5
32
2
158
13,782
holy shit an Anthropic blog post that's mandatory reading
Reducing the attack surface of deployed services and apps is a fundamental component of software that is secure by design. Earlier this year we tasked Claude with autonomously mapping and reducing the attack surface of 25 large and widely used OSS codebases. This blog post covers some of our methodology and a preview of the data we collected. This research resulted in a significant reduction in OpenSSH pre-authentication attack surface (now fixed in 10.6). And over 500 findings where reachability could be reduced and configurations hardened to ensure security controls weren’t silently disabled. anthropic.com/research/attac…
3
196
42,981