Eduardo

7.7K posts

Eduardo banner
Eduardo

Eduardo

@hackerdocc

0x19 yo ; verifying zero-knowledge to make sure it's actually dumb ; organized TYPED Floripa ; prev SRE @bookingcom and Rust & cryptography @opactprotocol

Floripa Katılım Temmuz 2020
1.3K Takip Edilen728 Takipçiler
Sabitlenmiş Tweet
Eduardo
Eduardo@hackerdocc·
in midst of the techno-fascist global Trump+META age-verification mega lobby, crypto has never been more relevant
English
1
0
5
911
Eduardo
Eduardo@hackerdocc·
binance deposit funder addresses is the easiest way to get doxxed
English
0
0
0
74
Wolfey
Wolfey@WolfeyGlick·
@GothamChess hello Levy I am hosting a Pokemon tournament and would love to have you, Pokemon is like chess except the pieces explode sometimes
English
58
441
11.5K
156.8K
Eduardo
Eduardo@hackerdocc·
@iFood a proxy de vocês é absolutamente retardada todo dia acontece isso comigo não basta ter um dos modelos de negócios mais predatórios do século, vocês acumulam todo esse capital para atingir um nível indefensável de incompetência
Eduardo tweet media
Português
0
0
0
56
💨 FaVela SinnOh 🌊
💨 FaVela SinnOh 🌊@FavelaSinnoh·
Eu em Lumiose tentando evoluir meus Pokémon por amizade
Português
8
150
948
12.9K
Eduardo
Eduardo@hackerdocc·
@Guidamoo ele tem que colocar todos os pacotes com o código de barras pra baixo pra uma próxima máquina ler
Português
0
0
0
5
daminho
daminho@Guidamoo·
@hackerdocc Só nao entendi pq q ele fica virando as paradas se ele só tem q colocar os pacotes na esteira
Português
1
0
0
14
Michael Arnaldi
Michael Arnaldi@MichaelArnaldi·
@samgoodwin89 Please add a lint rule to ban multiple Effect.provide calls or use the LSP plugin :)
English
3
0
40
2.7K
sam
sam@samgoodwin89·
Effect AI in Alchemy v2 is the first layer towards building coding agents with embedded cloud infrastructure. We implement the LanguageModel and Persistence interfaces for you with Cloudflare AI Gateway and Durable Objects. On top of this, we can build an slick harness.
sam tweet media
English
8
8
136
12.1K
Eduardo
Eduardo@hackerdocc·
@Shinywcott guys... 🫣 i think it might be whimsicott wednesday 🫨🤯
English
0
0
2
70
Shiny Whimsicott 🩵
Shiny Whimsicott 🩵@Shinywcott·
IT'S FINALLY HERE!!! 😭✨✨✨ The moment y'all have been waiting for. HAPPY WHIMSICOTT WEDNESDAY!!!
English
6
68
499
6.6K
Eduardo
Eduardo@hackerdocc·
@real_philogy @leonardoalt @leanprover @plankevm yes i think nowadays that people expect AI to be proving things with barely any humans even reading the specs it's indeed problematic, i feel like historically it has been a pragmatic decision if you really intended to verify a proof? since that assumption is "practically true"
English
1
0
1
25
philogy
philogy@real_philogy·
@hackerdocc @leonardoalt @leanprover @plankevm isn't this super bad tho, because you can't assume your theorems are sound anymore without manually auditing that the assumption wasn't accidentally used to create a contradiction?
English
2
0
1
53
Leo Alt
Leo Alt@leonardoalt·
New article: write crazy gas optimizations directly in EVM bytecode, prove them equivalent to the original in @leanprover, profit. - Compilers won't do these. - Most humans don't dare. - AI + Lean proofs can. Read more + full article link below 👇
Leo Alt tweet media
English
6
12
142
12.9K
Eduardo
Eduardo@hackerdocc·
@real_philogy @leonardoalt @leanprover @plankevm yes i think it's somewhat common to assume the hash is injective even tho that trivially leads to a contradiction via pigeonhole. ofc we have better models of collision-resistance, but for that you need game-based crypto, under an assumption like the random-permutation model
English
1
0
2
38
philogy
philogy@real_philogy·
@leonardoalt @leanprover @plankevm also other question: how do you model keccak "injectiveness" in Lean4 without introducing contradictions? if keccak is well defined and you just plainly state injectiveness (as assumption or axiom) you have a contradiction (pigeon hole principle), how does this work?
English
5
0
1
146
Eduardo
Eduardo@hackerdocc·
> be me > get your hackathon prize hacked due to utter negligence and trying stupid shit in your hot wallet > token 4x in a couple days
English
3
0
6
284
Eduardo
Eduardo@hackerdocc·
@PixieChess how can the king be captured off the board? sumo rook?
English
1
0
1
177
Pixie Chess
Pixie Chess@PixieChess·
Patch Notes: V1.2.1
Pixie Chess tweet media
English
12
10
76
3.5K
Eduardo
Eduardo@hackerdocc·
pra quem gostou da typed vamos fazer essa collab com a gambi em são paulo em novembro! manda msg quem tiver interesse em participar 👀
GambiConf@gambiconf

Tem uma novidade massa na GambiConf 2026 A @CryptoLarBrasil e a TYPED estão colaborando nessa edição e, pela primeira vez, teremos duas trilhas simultâneas. Escolha entre curtir as gambiarras mais tradicionais ou mergulhar nas gambiarras que envolvem verificação formal e web3

Português
1
1
6
403
Eduardo
Eduardo@hackerdocc·
@KewersonHugo i wonder at which radius r it becomes better than the queen itself
English
1
0
1
35
Eduardo
Eduardo@hackerdocc·
if you put both an active noise-cancelling headphone and a beanie the sound of a paper bag hits really nice
English
0
0
1
71
Eduardo
Eduardo@hackerdocc·
has anyone ever tested this flow? it's failing due to CORS apparently ``` Access to XMLHttpRequest at 'id-server.holonym.io/phone/sessions…' from origin 'id.human.tech' has been blocked by CORS policy: No 'Access-Control-Allow-Origin' header is present on the requested resource. ```
English
1
0
0
51
Eduardo
Eduardo@hackerdocc·
the free @ZKPassport verification on @HumnPassport is always failing after proofs with "Could not reach the verification server. Please try again."
English
2
0
0
103