@tensecorrection

🗡️🇨🇦🔪 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
  • Tweets12.6K
  • Following736
  • Followers1.5K
1.1KMedia
aesthetic
9
9
3
111
GCU Tense Correction retweeted
Linus Mixson
@LinusMixsonOct 26
Holy shit. I just got pwned. iPhone suddenly crashed, rebooted, locked. Checked router stats. Total exfiltration ongoing. Panicked, tried to shut off network. Router also locked. Unplugged router. Didn't matter. Router harvesting zero-point energy. As a last-ditch resort, tried to smash my iPhone. All the atoms in the hammer quantum-phased right through. Hackers got everything, all of it. All my penis pictures.
62
346
16
7,946
271,413
GCU Tense Correction retweeted
Lain on the Blockchain
@CryptoCyberia22h
Big tech companies have proven, time and time again, that they will do everything they can to screw over white hats, including actually rugging them. We are entering a golden age for black hats, no doubt, but until big tech fixes their issue with paying people to secure their product, I expect way more black hat news than white hat news.
roon
@tszzlOct 26
it's the golden age of the white hats. the world has never needed you more. there should be a huge prize pool for finding flaws in civic infrastructure. their work should be strongly protected by statute
13
14
1
166
3,428
GCU Tense Correction retweeted
thebes
@voooooogel16h
please stop being credible quokkas and understand that cohere has a vested interest in spreading FUD about chinese models if this is the best they can find...
3
2
119
2,197
GCU Tense Correction retweeted
Quentin
@QuentinWach21h
I made an inverse design with BeamZ to solve MNIST.
34
58
8
856
34,295
Fun fact: both Muse and Argon do great on NSBMbench!
ripatel ✠
@fd_ripatelOct 25
Ok China might win
2
185
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
4
392
23,990
2
1
19
701
accompaniment: Atrium Carceri - Kapnobatai [2005]
doomslide
@doomslideOct 24
Mathematics is 100% dead 🪦 A cause for celebration 🎉 Read my eulogy and weap 😭 Link👇
1
160
GCU Tense Correction retweeted
yuanti - e/acc
@0xyuantiOct 24
warlock.ai/blog/warcraftsim-… Best game on best map

Beating Warcraft III's insane AI with self-play reinforcement learning on one desktop

In three weeks, an agent that plays the real Warcraft III went from losing to the easy AI to winning about nine games in ten against insane, trained by self-play on one desktop.

warlock.ai
1
1
80
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
182
Greatest security uplift since Bitcoin monetized rm -rf!
Jon Oberheide
@jonoberheideOct 23
Replying to @jonoberheide @OpenAI @AnthropicAI
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
211
GCU Tense Correction retweeted
cje
@caseyjohnellisOct 23
reminder: vulnerability discovery and exploit development are not the same thing
10
24
3
115
8,341
GCU Tense Correction retweeted
Matthew Green
@matthew_d_greenOct 23
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,393
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
246
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
66
And another one. Real deal security for some ;)
Anthropic
@AnthropicAIOct 22
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…

LLMs are making formal software verification feasible at a much larger scale

Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.

anthropic.com
6
361
GCU Tense Correction retweeted
Dreaming Tulpa 🥓👑
@dreamingtulpaOct 22
five critical patches before lunch
sagitz
@sagitz_Oct 21
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,799
GCU Tense Correction retweeted
faulty *ptrrr
@0x_shaqOct 22
Since PHP is trending again(php2shell): It’s time to bump my old research about the Zend engine/PHP Internals :^) github.com/0xbigshaq/php7-in…

GitHub - 0xbigshaq/php7-internals: Research about the Zend Engine

Research about the Zend Engine. Contribute to 0xbigshaq/php7-internals development by creating an account on GitHub.

github.com
1
18
62
3,774
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
323
Load more