Eduardo @hackerdocc
0x1A yo ; verifying zero-knowledge to make sure it's actually dumb ; organized TYPED Floripa ; prev SRE @bookingcom and Rust & cryptography @opactprotocol hackerdo.cc Floripa Joined July 2020-
Tweets8K
-
Followers759
-
Following1K
-
Likes182K
@misterclayt0n i mean it's easier to either verify another language by having a formal semantics + extractor or to write an embedded dsl in a theorem prover that outputs code of the target language you want
@Aron_Adler this claude is autistic let him write his proofs
today i just conducted an experiment and the magsafe cable i thought was broken actually worked with my switch 2 brick. it appears the port on my macbook brick maybe got dirty? funny cuz i swore it was bad contact fixed by fiddling with the cable, maybe the issues compound?
someone needs to fix this fucking mathlib cache situation. versions that aren't even old already have no cache being served. sometimes transient failures kick in and it fucks with CI
@TheYisusOne champions graphics only appear good because pokémon graphics have been shit for more than 10 years now. it's profoundly unambitious. and they even cut themselves some slack by restricting the available pokémon
who's making: apple care+ but it covers your magsafe cable?
@AstleDsa nvm this is actually so fucking interesting? i may have an inductive bias myself as to which theories i tend to believe, but what they claim here is huge! i wonder if it could lend itself to optimize optimizers other than Adam
i'm so excited to witness the scientific theory of deep learning start to exist
@AstleDsa i was referencing this actually: arxiv.org/abs/2604.21691 but that was a great read too!
@JoeMerrick sure they have some animations and sure it's over a thousand models i still think they are lackluster. some animations are cute sure but the idle poses for many models are depressing
@JoeMerrick no the models have sucked for more than a decade and there's no excuse for pokémon games to have this little care put on them. other game franchises which gross much less have better graphics, and random 3d artists online consistently outperform official devs
who's going to extract an AGENTS.md to Lean and formally verify it's AGI?
formal and cryptographic proofs are two different faces of an epistemological phenomenon regarding computation
@danrobinson @paradigm isnt this the puzzle that someone else had found the answer to, but the author had to legally threaten them to not reveal it as to not jeopardize the auction?
@lucasleandro @OpenAI a minha chegou hj tb, n tava esperando q ia ser tão bem feita minha namorada odiou que agr o chatgpt sabe nosso endereço kkkkkkkkkkk
sorry i don't know you and your previous obtuseness in engaging with the points i was laying out made me think you were bullshitting me in that case i just think your position is not intellectually honest then, reads like BigAudit dissuading people from verifying, especially when you cite a big practical win of formal methods authored by yourself while complaining it won't solve contrived theoretic instances that no one gives a shit about you were prompted multiple times to elucidate what you mean by "formal verification doesn't scale" and the only thing you came up with was citing that integer program infeasibility is coNP, and you couldn't even be bothered to write it yourself i'm not invested in trying to convince you anymore, since you know the theory and the practice, if you are still claiming that the existence of adversarial inputs for constraint satisfaction problems has any bearing on the practice of program verification, your biases got the best of you and there's nothing i can really argue that will change your mind the day i can't know whether my software has a bug because it's equivalent to proving an integer program has no solution i'll shout to the 4 winds that you were right all along
Dalton Jr. @profdaltonjr
1K Followers 272 Following Professor. Bacharel e Licenciado em História pela UFSC. Criador do canal História para Contar no YouTube. Gamer e Cozinheiro nas horas vagas.
Jojo @joanamattosm
160 Followers 134 Following
maria júlia @majuprazeress
373 Followers 169 Following
luiza @luizarosaaaf
145 Followers 154 Following
CALLI ⭐️ @callindissima
1K Followers 760 Following claro que você pode ser mais que meu amigo, você pode ser meu fã!
Opact Protocol @opactprotocol
1K Followers 238 Following Private Transactions on @NEARProtocol and @kadena_io | Bridging the gap between Privacy and Compliance
atarpara @atarpara
911 Followers 1K Following Open to work | ✯ https://t.co/GIde268mPb | prev. @onchainheroes
0xferrous @0xferrous
12 Followers 139 Following
Axe 🐙 @Logicb0x
294 Followers 953 Following ora language https://t.co/NqR37OJ9lM - ex - @Superfluid_HQ | @superfluid_labs | https://t.co/z6tpe2v2T2
Thomas Pani | blltprf... @audithare
82 Followers 207 Following Model-based adversarial testing for distributed systems. Executable specs, stronger oracles, fewer outages and 3am pages. Make software boring again.
Raoul @RaoulSaffron
2K Followers 2K Following Head of Developer Tooling @rv_inc Creator of https://t.co/Dcto1PwaRD Building Simbolik: The Solidity Debugger EVM | Solidity | Debugging | Formal Methods
merkleplant.eth @merkleplant_eth
1K Followers 888 Following Smart contract lead @ChronicleLabs 📖 | Huffooooor 🐴 | street cryptography and monetary theory | ex-maker, prev. Security Researcher @spearbitdao, @code4rena
euphoric.eth @StevenNevins
654 Followers 2K Following
Tobias Rothmann @tobiasrth
102 Followers 474 Following Cryptography & Formal Methods Enthusiast | Intern @ethereumfndn | CS @TU_muenchen | prev. Cryptography @Arcium, @tbc_munich
Pokémon TCG Pocket P... @EerieTrainer
1K Followers 4K Following FrogEX Top 8 x4 🐸 King Solomen 1st x1 🏆 Godzly's $1,500 winner 🏆 🔮 I play Psychic / Ghost Decks 🔮 Follow for weekly deck profiles. ✨
Emmanuel @emmanuelSR77
351 Followers 872 Following Web3 Security Researcher Portfolio: https://t.co/Hi3nwHLnO2
Mike @CryptyMike
1K Followers 1K Following Blockchain Warrior, Crypto Samurai, Illiquid token buyer, Musician | prev. @krakenfx @BRDHQ (acq. Coinbase)
Eliokenedy @Eliokenedyweh
794 Followers 3K Following Crypto Trader & Investors Crypto founders Crypto mentors Contact / Assistants
Erm @Erm7inr
70 Followers 797 Following
Josh | ⬛🟥⬛ @TBSocialist
11K Followers 5K Following I blog and podcast about crypto and the left | @breadcoop | Patreon https://t.co/xFUiBSmPRK | Podcast https://t.co/aKnuqOcGNi
Meek @msakiart
388 Followers 2K Following Co-Founder @asyncswap; ⭐️ Creator of Solidity Language Server @solidity_lsp; and @Slippagedotfun bot;
Derek @dhsorens
540 Followers 2K Following researcher | formal verification protocol snarkification at @ethereumfndn
Lazaro Brito @dev_lazaro
65 Followers 313 Following Rust engineer, backyard philosopher, wandering through the AI gold rush with a husky avatar.
Igor Os @igor_os777
24K Followers 23K Following Experienced #Unix and #Linux #SysAdmin with over twenty years background in Systems Analysis, Problem Resolution, Application Support, and Process #Automation.
SB Holdings @SlimBitcoins
172 Followers 426 Following NWS : Noderunners With Standards @BitcoinCreds || Bitcoin Sovereign Memers @getDibbys || Hash in Speech @spokenbitcoin
'shakira @philiacrvg
73 Followers 690 Following @vascodagama / @emacs / math/type-theory and compilers
larry_lang @ildkekgdlgiled
40 Followers 1K Following
444 @nazar44444444
15 Followers 2K Following
stargazer @0xstargazer111
303 Followers 3K Following leading engg @anthiasxyz vice president @BlocSocIITR prev @GlueXProtocol @LucidlyFinance
Mike Dupont @introsp3ctor
4K Followers 7K Following FOLLOWS YOU BACK. ca: BwUTq7fS6sfUmHDwAiCQZ3asSiPEapW5zDrsbwtapump Zero Ontology System Compiler Introspector ZOS-SFM #SOLFUNMEME @zos_sfm :)
zzzzzzoo00oo @zzzzzzoo00oo
255 Followers 7K Following
Marilyn @Causativexc
512 Followers 3K Following One of the worst feelings, is the feeling of regret looking back and knowing you could have kept going. Never, ever quit.
Donavin @0x_Donavin
54 Followers 2K Following Breaking down technical concepts so that your grandma can understand
two_tree_hundo @two_tree_hundo
309 Followers 7K Following
Patrick G @RelevantElement
204 Followers 3K Following it's me, Unfortunately, TypeScript is the best programming language.
David Turturean @DavidTurturean
990 Followers 1K Following Physics & AI @ MIT. Hibernating for AGI Spring
nsatzhaderach @nsatzhaderach
7 Followers 67 Following
Tricko @retsokdo
109 Followers 6K Following
Susan Coombs @CoombsSusand
2K Followers 4K Following
Dalton Jr. @profdaltonjr
1K Followers 272 Following Professor. Bacharel e Licenciado em História pela UFSC. Criador do canal História para Contar no YouTube. Gamer e Cozinheiro nas horas vagas.
Jojo @joanamattosm
160 Followers 134 Following
maria júlia @majuprazeress
373 Followers 169 Following
luiza @luizarosaaaf
145 Followers 154 Following
CALLI ⭐️ @callindissima
1K Followers 760 Following claro que você pode ser mais que meu amigo, você pode ser meu fã!
Opact Protocol @opactprotocol
1K Followers 238 Following Private Transactions on @NEARProtocol and @kadena_io | Bridging the gap between Privacy and Compliance
Przemek Chojecki | PC @prz_chojecki
13K Followers 1K Following Math Data + Evals + Models @ https://t.co/v2xNrVTykE, PhD in mathematics
Zack Korman @ZackKorman
13K Followers 2K Following Cofounder @ Embroidery. Building AI cybersecurity stuff.
alana goyal @alanaagoyal
19K Followers 4K Following one woman vc @baseten @braintrust @browserbase @maticrobots @paper @resend @supabase @vercel @windsurf + more
Rivet @rivet_dev
4K Followers 2 Following Rivet Actors are the primitive for stateful workloads. Built for AI agents, collaborative apps, and durable execution. Open-source.
Raven Resonance @raven_computer
848 Followers 3 Following We build stylish wearable computers in glasses form.
Blacksmith @useblacksmith
5K Followers 7 Following The fastest way to run your GitHub Actions. Trusted by @supabase, @trychroma, @clerk and 1000+ others.
Gerardo Delgado @gerdelgado
2K Followers 830 Following Sr. Director of Product - Local AI, Creators, Developers @NVIDIA. My opinions are my own.
snackyboy.co.uk | Upd... @snackyboyshop
8K Followers 2 Following Updates about orders/shipping/stock for @snackyboy ⬅️ (must be following to be accepted) 🥭🍉 enquiries via DM or to [email protected] 📩 shop: closed atm
Tobias Rothmann @tobiasrth
102 Followers 474 Following Cryptography & Formal Methods Enthusiast | Intern @ethereumfndn | CS @TU_muenchen | prev. Cryptography @Arcium, @tbc_munich
Josh | ⬛🟥⬛ @TBSocialist
11K Followers 5K Following I blog and podcast about crypto and the left | @breadcoop | Patreon https://t.co/xFUiBSmPRK | Podcast https://t.co/aKnuqOcGNi
Matej Cerny @matej_cerny
512 Followers 330 Following Scala & Functional Programming Engineer. Database/SQL Veteran.
Derek @dhsorens
540 Followers 2K Following researcher | formal verification protocol snarkification at @ethereumfndn
Christos Tzamos @ChristosTzamos
23K Followers 137 Following Founding Researcher at Percepta, Associate Professor at University of Athens, Lead Researcher at Archimedes, MIT PhD
Project Tachyon @TachyonZcash
2K Followers 2 Following Project Tachyon for Zcash — Encrypted Money at Planetary Scale
Gro-Tsen @gro_tsen
7K Followers 91 Following Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I tweet in fr&en.
IC3 @initc3org
12K Followers 282 Following The Initiative for CryptoCurrencies and Contracts | Stay Ahead of Blockchain Research📍Cornell Tech, NYC
CryptoChef @cryptochefmatt
576 Followers 559 Following Ex Michelin chef - Now feeding the space “literally”
vost @foolibuster
61K Followers 512 Following I lowkey invented Twitter STORE: https://t.co/ORsJoNOaBl please consider support: https://t.co/cT6pAwgloZ https://t.co/VzJ4LzR5MX
Snacky Boy 🍟 @snackyboy
19K Followers 812 Following Snacky Boy art account! (he/him) no AI⚠️ 🌱 Commissions: all slots filled!📩 Store updates: @snackyboyshop 🌐 [email protected]
Vizor Wallet @vizorwallet
631 Followers 17 Following A beautifully crafted @zcash wallet. Available on MacOS, Windows, and Linux
Philip Zucker @SandMouth
2K Followers 2K Following Computer Friend, Not a Bird. https://t.co/hnYqnXLnqW
'shakira @philiacrvg
73 Followers 690 Following @vascodagama / @emacs / math/type-theory and compilers
Dev 🧪 @zkDragon
11K Followers 2K Following Building for a free world. Making @zcash win, with @valargroup Founder of @osmosiszone
Pedro Abreu @p_droabreu0
1K Followers 723 Following Host of @ttforall, MSc in PL, PhD dropout. I like to meditate
GambiConf @gambiconf
2K Followers 4 Following ✍️ CFP aberto: https://t.co/1TVoemPWQd | 🗓️ 28 e 29 de Novembro, na USP - Campus Butantã
David Turturean @DavidTurturean
990 Followers 1K Following Physics & AI @ MIT. Hibernating for AGI Spring
Octant @OctantApp
13K Followers 490 Following Token-locking + rewards funding impact. DeFi vaults with payment splitters. Epoch 12 : allocate until 30 June
Token Engineering Com... @tecmns
6K Followers 447 Following Bringing token engineering into real life. 🌱⚙️
Griff Green - griff.e... @griffgreen
24K Followers 5K Following Leads @thedaofund Founded @Giveth @dappnode & more Delegate & Security Council: @arbitrum @ensdomains Believes we can build something better than governments 🤷
Lauren Luz @karmaticacid
4K Followers 2K Following Mission Specialist @Giveth | Building & funding public goods since before it was uncool 😌 | $GIV maxi | Not financial advice.
farseen.eth @LifeHodlr
780 Followers 2K Following Indie AI Researcher(AI safety, Agentic RL and structured data) building @ScarRetreival (sparse retrieval for smart contract security)
Giveth @Giveth
19K Followers 2K Following Crypto donations since 2016 | $900K+ in $GIV rewarded | $4M+ raised | Quadratic Funding since 2023 | Evolving Nonprofits: https://t.co/GT3JOrlnkd
Alexander Whedon @alex_whedon
25K Followers 59 Following Building better algorithms. Co-Founder at @subquadratic
Mario Zechner @badlogicgames
53K Followers 1K Following Armin's handler at https://t.co/B05ybKGkzx. Old man yelling at Claudes. https://t.co/Q1wG57v1yc https://t.co/mnOoWUr0TO https://t.co/8i5vIRE0Wn
Hamzé 🦀 @Hamzeml
6K Followers 8K Following 🇪🇺 CTO. Builder. Building AI products, engineering teams, and technical strategy. AI Architect with fintech/edtech roots. Currently deep in Rust 🦀
Mert Ünsal @mertunsal2020
2K Followers 1K Following Training Formal Math AI @mistral_ai, prev. founding engineer @browser_use (YC W25), Kimina Prover @ProjectNumina @ETH_en
Kewerson Hugo @KewersonHugo
750 Followers 2K Following Jack of all trades, master of none. Piadas ruins. Memes. Coisas aleatórias. As vezes falo sobre programação.
Kaihua Qin @KaihuaQIN
967 Followers 294 Following
Lawrence Paulson @LawrPaulson
2K Followers 550 Following Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.
ensue @ensue_ai
2K Followers 2 Following Breakthroughs are optional. Discord: https://t.co/DJUqDTHNai
Paata Ivanisvili @PI010101
5K Followers 175 Following Professor of Mathematics @ UCI. Former postdoc @ Princeton. Exploring what AI can (and can’t) do in math.
tim-clancy.eth @_Enoch
7K Followers 715 Following User layer @ethereumfndn, I love @ethereum with a Crusader's zeal; suffer not the weaker souls. Magnifica Æthereum. Was zealot @Sigil_L2 still zealot.
camilo.bend @_camilotk
4K Followers 3K Following 30 y. | 👨💻 DEV. working with OCaml ADM na @UBLivre ORG na @gambiconf

































