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

521
Following

1K
Likes

156K

Eduardo @hackerdocc

19 hours ago

I need @obsdmd mobile app to have widgets, so I can have shortcuts to e.g. todo list on my home screen

0 0 1 79 0

Eduardo @hackerdocc

20 hours ago

im going to start putting math problems in my todo list, it's crazy how many problems i've started solving and left unfinished throughout the years, gotta get my priorities straight

0 0 0 90 0

Eduardo @hackerdocc

4 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 94 0

Eduardo @hackerdocc

4 days ago

client diversity is superseded by formal verification

Guillaume Claret 🐻‍❄️ @guillaumeclaret

4 days ago

client diversity is superseded by formal verification

1 1 7 664 0

0 1 4 198 0

Eduardo @hackerdocc

a week ago

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

1 0 4 217 0

prexereca @sapocururuca

2 weeks ago

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

POPTime @siteptbr

2 weeks 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 1K

Download Image

141 11K 98K 1.5M 887

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 142 21K 30

Download Image

0 0 2 143 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 139 3K 446K 953

Download Image

0 0 1 135 0

Thorne 🌸 @ExistentialEnso

2 weeks ago

one of my deepest, most sincerely held architectural design beliefs

Mike Solana @micsolana

2 weeks ago

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

682 962 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