Tim Carstens Ⓥ✨ is hacking 🤖

7.2K posts

Tim Carstens Ⓥ✨ is hacking 🤖 banner
Tim Carstens Ⓥ✨ is hacking 🤖

Tim Carstens Ⓥ✨ is hacking 🤖

@intoverflow

Pan computer science. Math and math accessories. Clean, efficient, reliable number systems sold daily. ✨ Be Boundless ✨ Eng @ 🤫🥸

🤫|Risc0|Meta|CITL|InvLim|LSG Katılım Temmuz 2008
2.1K Takip Edilen2.3K Takipçiler
Mike Dodds
Mike Dodds@miike·
Fun exercise: predict what year an agent with sufficient scaffolding could reconstruct the entire seL4 proof. Estimates at Galois ranged from “2040” to “this year” :)
English
4
3
8
1.4K
Mike Dodds
Mike Dodds@miike·
Someone should build seL4-ablate-bench. Progressively delete proofs, lemmas, theorems and see how much a long-running AI agent can reconstruct. End state: just give the AI the seL4 code + top spec, and re-synthesise the whole 1m+ line Isabelle proof
English
3
7
57
6.8K
Tim Carstens Ⓥ✨ is hacking 🤖
I've pretty much stopped engaging with CT The stuff people are posting makes no sense ... but it feels mean to point this out when their tokens are already in the gutter So instead, I just scroll on by ... Anyway, if y'all could please try making more sense ... ya that'd be great
English
3
0
9
640
Tom Sydney Kerckhove
Tom Sydney Kerckhove@kerckhove_ts·
Pet peeve: kill and killall are really the wrong name for programs that send an arbitrary signal to a process and don't wait for any reaction.
English
12
1
46
3.6K
Tim Carstens Ⓥ✨ is hacking 🤖 retweetledi
Katelyn Bowden Ⓥ
Katelyn Bowden Ⓥ@medus4_cdc·
You know you're a hacking legend when the secret service agent that arrested you gives a eulogy at your memorial. Rest in peace @jasonsnitker. You will be sorely missed 🧡🧡
English
9
40
381
33.5K
Shiv Shankar
Shiv Shankar@sshankar·
I can’t believe I casually said home supercomputing ™️. What a time to be alive.
Shiv Shankar tweet media
English
1
0
6
317
Tim Carstens Ⓥ✨ is hacking 🤖 retweetledi
Srinath Setty
Srinath Setty@srinathtv·
New post-quantum proof system: a path to real-time proving with way less hardware than the status quo!
Srinath Setty tweet media
English
1
6
49
3.1K
Tim Carstens Ⓥ✨ is hacking 🤖
We lost a real one. Par was a true legend. I don’t think it’s my place to share the stories I’ve heard. Suffice to say, my mentors spoke his name with a hushed reverence. Though he was elusive, he was kind to me and helped me on my journey. It was a privilege to talk to him about the craft. Maybe that’s a story I can share sometime, after I gather my thoughts. All my love to his friends and family. Rest in peace, Parmaster.
Chris Wysopal@WeldPond

My wife @debkav and I are heartbroken to share the sad news that our old friend @jasonsnitker AKA Parmaster has passed away. Par was one of the sharpest and most elusive minds of the early underground hacking scene. As chronicled in “Underground”, he spent years navigating the emerging digital frontier, connecting with hackers internationally and repeatedly staying ahead of the United States Secret Service during a prolonged investigation in the early 1990s. His story in “Underground” includes the Citibank investigation that helped trigger the pursuit, as well as his time in custody at Rikers Island, where he found himself playing Dungeons & Dragons. Par’s life reflected both the intensity of the early hacking world and the very real consequences that came with it. He was part of a generation that explored the edges of a new technological landscape before most of the world even understood it existed. There will be an online memorial gathering on Feb 28. More details to follow. The old-school hacking community has lost a true original. Rest in peace, Par. If anyone has stories or memories, please share them here.

English
2
1
6
502
ricky b
ricky b@rbranson·
openai cafe might have the best slice in sf
ricky b tweet media
English
44
1
306
58.6K
Tim Carstens Ⓥ✨ is hacking 🤖 retweetledi
Lean
Lean@leanprover·
In this highly accessible talk, Terence Tao outlines the future of research mathematics and why formal verification, via Lean and other tools, enables human-AI collaboration at scale: "The reason why scaling and AI and broad participation actually is a net win is because we have formal verification... we have ways to filter out the untrustworthy inputs and keep the good ones." 📺 youtube.com/watch?v=SuTxpK… #LeanLang #LeanProver #FormalVerification
YouTube video
YouTube
Lean tweet media
English
5
78
366
23.7K
Tim Carstens Ⓥ✨ is hacking 🤖
Talk of a “permanent underclass” is just Roko’s Basilisk specialized to a specific timeline and method of torture
English
3
0
2
111
Claire Kart
Claire Kart@clairekart·
17 miladies just followed me. should i be concerned?
English
25
0
60
2.6K
Tim Carstens Ⓥ✨ is hacking 🤖 retweetledi
Ilya Sergey
Ilya Sergey@ilyasergey·
New post on "Proofs and Intuitions": Verifying Distributed Protocols in Veil. We take a tour of Veil, a Lean-based verification framework that combines TLA+-style model checking with formal proofs and enables AI-powered invariant inference. proofsandintuitions.net/2026/02/09/dis…
English
3
21
107
8.3K