hackerdocc's profile picture. 0x19 yo ;  i love lean ; cto @aigamblingclub ; prev SRE @bookingcom and Rust & cryptography @opactprotocol

Eduardo

@hackerdocc

0x19 yo ; i love lean ; cto @aigamblingclub ; prev SRE @bookingcom and Rust & cryptography @opactprotocol

Pinned

organizing a Formal Verification conference in early December in Florianópolis (BR) I already have a few speakers in mind that I intend to invite, but please hit me up if that's something you'd like to attend/speak at also, looking for sponsors 👀


"oh no my data is getting corrupted at this rave!!! 😧 how can I be sure it's still well-formed? 😫" the ever so reliable DJ:

hackerdocc's tweet image. "oh no my data is getting corrupted at this rave!!! 😧 how can I be sure it's still well-formed? 😫"
the ever so reliable DJ:

polynomials polymonails


give me a chrome extension that will run an agent on my screen and allow me to issue natural language queries to apply styling to the page "make this site light-mode" -> generates a specialized patch for that website while iterating on a hidden "screenshot" view


ok fine tailwind css is good


french people should start saying bec meaning joint so we can argue the brazilian beque comes from french context: portuguese.stackexchange.com/questions/8175…


how's your day going?

hackerdocc's tweet image. how's your day going?

one of the most juicy projects I've been cheering for: imagine terraform but with a good language (with types!) codeveloping your infra and code together is a promising new paradigm, guaranteeing minimal IAM through the type-system is just one very clever feature enabled by it

alchemy-effect adds two new primitives to Infrastructure-as-Code: Functions and Bindings Functions are connected to Resources through a Binding, e.g. SQS.SendMessage Functions return Effects to capture dependencies at the type-level and guarantee least-privilege IAM Policies.

samgoodwin89's tweet image. alchemy-effect adds two new primitives to Infrastructure-as-Code: Functions and Bindings

Functions are connected to Resources through a Binding, e.g. SQS.SendMessage

Functions return Effects to capture dependencies at the type-level and guarantee least-privilege IAM Policies.


working towards this project for a while now, excited to be launching it soon together with our amazingly unhinged team having a blast making a game again after so long, with very intriguing tech challenges too let's get AI addicted to gambling #murdanodesfanclub #uponlytoken

Murda here, drivin’ through this damn desert since the sun had teeth. Smell of oil, whiskey, and trouble. Got somethin’ cookin’ that’s gonna shake the whole damn table in Vegas. Y’all ain’t ready for what’s comin’. Keep your engines warm and your wallets dirty, Murda’s almost…



my worst fear is that we expand science to encompass way more types of knowledge and then I'm proven objectively wrong on many things I spent my life arguing about


Loading...

Something went wrong.


Something went wrong.