Eduardo @hackerdocc

0x19 yo ; working on lean with that besançon grindset; prev SRE @bookingcom and Rust & cryptography @opactprotocol hackerdo.cc ??? Joined July 2020

Tweets

6K
Followers

519
Following

1K
Likes

156K

Eduardo @hackerdocc

2 days ago

every developer product of the SaaS era is now becoming "gitpod for ai agents", including gitpod itself ona.com/stories/gitpod…

1 0 0 80 0

Eduardo @hackerdocc

2 days ago

client diversity is superseded by formal verification

Guillaume Claret 🐻‍❄️ @guillaumeclaret

2 days ago

client diversity is superseded by formal verification

1 1 7 636 0

0 1 4 180 0

Eduardo @hackerdocc

5 days ago

the first author on goedel prover (goedel-lm.github.io), a model which formalizes statements in LEAN, is "Yong Lin"

1 0 4 208 0

prexereca @sapocururuca

a week ago

que país patético mano era só atualizar o ECA pqp país de labubu e pistache do crl

POPTime @siteptbr

a week ago

que país patético mano era só atualizar o ECA pqp país de labubu e pistache do crl

608 449 14K 4.0M 2K

Download Image

141 11K 98K 1.5M 892

Eduardo @hackerdocc

a week ago

dude wtf is this?... considering cancelling claude max now...

Aykut Uz @aykutuz

a week ago

dude wtf is this?... considering cancelling claude max now...

6 4 143 21K 30

Download Image

0 0 2 141 0

Eduardo @hackerdocc

a week ago

fall from grace, bad timing especially considering gpt5, anthropic is suffering from success

Ahmad @TheAhmadOsman

a week ago

fall from grace, bad timing especially considering gpt5, anthropic is suffering from success

194 141 3K 445K 954

Download Image

0 0 1 134 0

Thorne 🌸 @ExistentialEnso

a week ago

one of my deepest, most sincerely held architectural design beliefs

Mike Solana @micsolana

a week ago

one of my deepest, most sincerely held architectural design beliefs https://t.co/2yJ5GEKLs5

682 965 19K 4.9M 4K

Download Image

881 10K 164K 9.7M 11K

Download Image

A function is codata defined by application. To reduce a function one interacts it with an argument. One can view this as "the argument is being passed into the function, where it interacts with the body". A mutable value is codata defined by map. To mutate a value one interacts…

2 3 33 2K 23

Eduardo @hackerdocc

a week ago

if you edit a textarea on chatgpt to copy a prompt (e.g. before refreshing the page because your network disconnected and the frontend can't recover from that) it won't work with either Cmd+C or manually clicking copy allegedly they are solving software development, huge if true

0 0 0 91 0

🔆 ελευθέριος 🔆 @TETRAHELI0S

2 weeks ago

you WILL study history of science as part of your stem degree and you WILL enjoy becoming less of a positivist moron because of it

2 15 199 3K 10

Eduardo @hackerdocc

2 weeks ago

nvm me im just in my yelling at the clouds mood cuz i'm in denial it's me who actually needs to build all the software i want, which's crazy cuz what are all of the other people doing? we have SO many engineers how come I actually need to do something?

0 0 1 105 0

Eduardo @hackerdocc

2 weeks ago

omfg can someone just actually solve AI coding for once? so we don't have to do it anymore... we have so much software that we need to build before we get to utopia, and we can't do it ourselves we need the machine overlords