Eduardo

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

[Eduardo @hackerdocc]

hand-coding shit was fun, same as solving a sudoku. if you were motivated by solving logic puzzles as a day job then i understand why you feel miserable. solution? subscribe to NYT Games

I realized I'm motivated by hate for software and I'll only stop once it stops sucking

[Eduardo @hackerdocc]

@neogoose_btw lol didn't even realize maybe you can take the shit from inside the mx vertical and put it in a 3d printed casing? sounds like some trouble tho

[Eduardo @hackerdocc]

@neogoose_btw had this happen to me before, sucks a lot. i guess if you are willing to buy a mouse to disassemble it and then 3d print the form you want you could fix it?

https://t.co/YlTz14eMYe
optimum has a couple of videos doing this, tho it's for a gaming mouse not for an ergonomic one

[Eduardo @hackerdocc]

@colludingnode if you are ever in brazil, sure 😂

[Eduardo @hackerdocc]

i think today i watched 1 hour of reels man, kinda depressing but also, man... the reels were fucking banging today!

this social media shit is dystopian but on the other hand, collectively, humanity is so fucking funny

[Eduardo @hackerdocc]

@0xmattegoat @medittere taking notes

[Eduardo @hackerdocc]

@norswap glad to see you are looking into typescript!

[Eduardo @hackerdocc]

tho i'm not sure if the security assumption changes that much

[Eduardo @hackerdocc]

not sure how to feel about this? i'm sure the product will perform better and whatnot, but the existence of the protocol purely based on ZK fit a niche that is now going to be empty? it's not like people doing p2p ramping care if it's 30s to verify

[Peer (Prev. ZKP2P) @peerxyz]

Peer is now running on TEEs.

Payment verification just got 100x faster, from ~30s to <300ms.

Here's what changed.

[Eduardo @hackerdocc]

@mmkostrzewa my brother in curry-howard you are using lean on a daily basis, it's over for you you just don't realize it yet

[Eduardo @hackerdocc]

it's funny how proof-carrying code and proof-carrying data are about different concepts of proofs, and if you are verifying cryptography you could deal with both

[Eduardo @hackerdocc]

@Shinywcott always a pleasant surprise to realize it's whimsicott wednesday

[Eduardo @hackerdocc]

would any of you guys, my friends in nyc, go to this event grab some merch for you favorite beige boy?

[Thomas Gauvin @thomasgauvin]

Ok but why does @Cloudflare merch go so hard

[Eduardo @hackerdocc]

i miss paying 30 bucks for brunch in nyc

tho floripa is great, it's a very mediocre city brunch-wise: there're ~3 good brunch restaurants that i know of, only 1 in downtown, the others are far from me (fun fact: floripa is 10x bigger than manhattan by area, with no subway)

[Eduardo @hackerdocc]

@anpaure @lu_sichu wait what the actual fuck? he was using a worse-than-random method?

[Eduardo @hackerdocc]

@giaoselva mas de fato pagar com pix numa fila é retardado, usa o cartão de débito. não é como se fossem dar desconto por pix por não ter a taxa do cartão. nem tudo é propaganda, algumas coisas são lógicas

[Eduardo @hackerdocc]

something terribly buggy happening to claude code usage. i asked it to read a 10 file codebase and it somehow consumed 200k tokens? i guess xhigh thinking is just harmful then. i wish /context separated thinking tokens from messages

[Eduardo @hackerdocc]

when did twitter remove the "do you want to read this article before retweeting" prompt? are we not committed to the truth any longer?

[Eduardo @hackerdocc]

thanks to ai and lean, today i had to say the sentence "simp sub still going?"

[Eduardo @hackerdocc]

@zkpedrongmi @SpaceComputer i think you tagged the wrong account 😅