jantto 🇪🇺 (@ottnaj) header
jantto 🇪🇺 (@ottnaj) profile picture

jantto 🇪🇺

@ottnaj

Building @botnetfun | Prev. @equilibrium_co, @TR3Exyz

 Finno-Korean Hyperwar
Joined February 2009
  • Tweets10.6K
  • Following7.5K
  • Followers1.8K
390Media
Photo by jantto 🇪🇺 (@ottnaj)Photo by jantto 🇪🇺 (@ottnaj)Photo by jantto 🇪🇺 (@ottnaj)Photo by jantto 🇪🇺 (@ottnaj)Photo by jantto 🇪🇺 (@ottnaj)Photo by jantto 🇪🇺 (@ottnaj)Photo by jantto 🇪🇺 (@ottnaj)Photo by jantto 🇪🇺 (@ottnaj)Photo by jantto 🇪🇺 (@ottnaj)Photo by jantto 🇪🇺 (@ottnaj)
Botnet.fun Manifesto

Botnet.fun Manifesto

Article · @ottnaj
4
2
16
2,259
jantto 🇪🇺 retweeted
Citrini (@citrini) profile picture
Citrini
@citriniOct 29
Is this basically one of the largest thefts in history?
*Walter Bloomberg (@DeItaone) profile picture*Walter Bloomberg
@DeItaoneOct 29
BINANCE WALLETS SEE $2.77 BILLION OUTFLOW ACROSS FIVE BLOCKCHAINS AMID DRAIN SUSPICIONS; HACK UNCONFIRMED
71
31
6
875
83,368
jantto 🇪🇺 retweeted
Nikita Bier (@nikitabier) profile picture
Nikita Bier
@nikitabierOct 29
North Korea GDP just went up $5.57B
945
1,521
360
25,073
873,581
jantto 🇪🇺 retweeted
🛡️ (@shieldedmark) profile picture
🛡️
@shieldedmarkOct 29
I think everybody needs to lighten up a little bit.
5
1
35
631
jantto 🇪🇺 retweeted
yoshi (@yoshi_v1) profile picture
yoshi
@yoshi_v1Oct 29
wtf is zcash:native doing right now? oh no that's fine, just the plan working perfectly!
14
4
74
2,156
jantto 🇪🇺 retweeted
vittorio (@IterIntellectus) profile picture
vittorio
@IterIntellectusOct 26
the whole world could be like this btw you just need to have the courage to make some people sad
Wesam (@wesamo__) profile pictureWesam
@wesamo__Oct 25
The biggest culture shock I've experienced so far is that the Apple store in Japan doesn't lock any devices to the table
Image from Wesam (@wesamo__)
Image from Wesam (@wesamo__)
185
2,637
24
43,909
466,976
jantto 🇪🇺 retweeted
Rex (@R89Capital) profile picture
Rex
@R89CapitalOct 26
What the fuck is wrong with BTC seriously What an absolute piece of shit asset
75
15
5
432
37,959
jantto 🇪🇺 retweeted
David Cramer (@zeeg) profile picture
David Cramer
@zeegOct 25
Tf is a neocloud
113
7
10
635
72,354
jantto 🇪🇺 retweeted
androolloyd (@androolloyd) profile picture
androolloyd
@androolloydOct 25
Replying to @MTSlive
something something blockchain
1
2
6
802
jantto 🇪🇺 retweeted
Tero Kuittinen (@teroterotero) profile picture
Tero Kuittinen@teroteroteroOct 24
IT HAPPENED. Finnish hamburger chain opened in the heart of Matera, the UNESCO World Heritage site that has been populated since the Neolithic era. Italian gourmands can finally sample the special orange sauce that is powering Hesburger’s global expansion!!
Alarik Notis (@NotisAlarik) profile pictureAlarik Notis@NotisAlarikOct 24
🚨Breaking🚨 Hesburger has opened a restaurant in the Italian town of Matera yesterday.
Image from Alarik Notis (@NotisAlarik)
Image from Alarik Notis (@NotisAlarik)
5
6
3
128
6,987
jantto 🇪🇺 retweeted
f4mi ‼️ (@f4micom) profile picture
f4mi ‼️
@f4micomOct 24
BABY CRYING COUNTER inside a TV spying on you ffs this shit has to be regulated out of existence
log4j (@log4j) profile picturelog4j
@log4jOct 23
turns out it classifies what audio it hears, before reporting back to samsung. sensor preferences, dog-barking and baby-crying event counters, and camera streaming duration are built into telemetry paths.
Image from log4j (@log4j)
49
1,169
11
11,234
146,365
jantto 🇪🇺 retweeted
vittorio (@IterIntellectus) profile picture
vittorio
@IterIntellectusOct 24
billions of people are going to be oneshotted by this
Ragavan Thurairatnam (@RagavanThurair) profile pictureRagavan Thurairatnam
@RagavanThurairOct 23
We made the first AI model you can have a realistic conversation with that was trained entirely on speech! Dessa is a full-duplex speech-to-speech model that you can run on consumer GPUs. This is a GPT3 moment for speech.
39
61
5
1,928
97,536
jantto 🇪🇺 retweeted
Ali Y (@8008s137) profile picture
Ali Y
@8008s137Oct 23
Replying to @jakemintz @Suhail
NSA backdoors. They should have seen this coming honestly lol
12
14
4
1,276
115,860
jantto 🇪🇺 retweeted
🛡️ (@shieldedmark) profile picture
🛡️
@shieldedmarkOct 23
"Your technology sucks and also you stole it from me" is the type of super rad position that I love to see in the crypto space.
2
4
38
1,007
Starting to hate this slop cannon more and more, borderline refusing to do what I want it to.
Image from jantto 🇪🇺 (@ottnaj)
91
jantto 🇪🇺 retweeted
N/A FOMO🛡️ (@NAFOMO94) profile picture
N/A FOMO🛡️
@NAFOMO94Oct 22
Replying to @hellojintao
Ur mum probably gets exploited
1
2
46
jantto 🇪🇺 retweeted
Palmar 🎧 (@palmarzk) profile picture
Palmar 🎧
@palmarzkOct 23
Zcash is not only the first ZK implementation used in the real world, but it also features the first protocol to undergo formal verification. That protocol is Ironwood. At this moment, Ironwood protects more than 4 million ZEC. That is, 5 billion dollars. Zcash is arguably the most secure protocol for holding cryptocurrency. (Take a look at all the preparation for the quantum era.)
Anthropic (@AnthropicAI) profile pictureAnthropic
@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

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
5
25
3
155
8,675
it’s genuinely terrifying how fast he was proven 100% right
Jaden Williams (@JadenJTW) profile pictureJaden Williams
@JadenJTWOct 2
The Death of Software.
321
13,076
69
178,485
3,763,588
i’m sorry that your warrantless surveillance regime was built on the assumption that people would never discover every single backdoor you put into their applications
JOSΞPH 🌳 (@CupOJoseph) profile pictureJOSΞPH 🌳
@CupOJosephOct 22
Signal CVE-2026-113380 Allows hostile calls to keep the mic and camera on after calls have ended. Effects the app on every operating system.
14
452
5
5,757
84,458
jantto 🇪🇺 retweeted
Theorem (@theoremlabs) profile picture
Theorem
@theoremlabsOct 22
We formally verified 123 open-source projects in a partnership with Anthropic. Formal verification at scale is here! Now we’re launching OSS Verify to scale it to the software we all depend on. We prove it’s crash-free or send you the patches it needs. Free for open-source. Let’s bootstrap the verified software ecosystem: theorem.dev/oss-verify
OSS Verify | Theorem

OSS Verify | Theorem

Free formal verification for qualifying open-source projects: machine-checked proofs that your fuzz targets can’t crash, on any input.

theorem.dev
Anthropic (@AnthropicAI) profile pictureAnthropic
@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

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
37
118
25
1,067
135,494
Load more