data engineer
Joined December 2022
- Tweets3.5K
- Following2.5K
- Followers1.1K
- Likes17.7K
now do Doom
Here's an N-queens solver in Python type annotations powered by ty, courtesy of @0x00B1.
It supports arbitrary Peano board sizes. Each tuple in the revealed type is one solution.
I worked in a bar once, and a lady asked for 'rum and ting'
I said 'sure... what do you want with it?'
'ting'
'yeah, what thing?'
'ting is a drink'
At a bar ordering a drink from a British bartender
Me: “Can i get a tequila soda, splash of lemonade?”
Bartender: “uhh what do you mean, like sprite?”
Me: “no tequila soda with lemonade”
Bartender: “I’m confused what you want”
Does lemonade not exist in England?
Readers added context they thought people might want to know
The British brand R Whites is one of the oldest lemonade brands in the world having been founded in 1845 and first producing lemonade between 1845-1855
rwhites.co.uk
this TS stuff is extremely cool
Instant TypeScript SDK from your @FastAPI app without codegen or OpenAPI.
And you get to keep the generics.
Alexander Codes retweeted
Lex Fridman interviews a PHP security researcher
Lex: My guest today discovered a critical vulnerability in PHP. What is a vulnerability.
Researcher: A weakness that allows an attacker to compromise a system.
Lex: But aren't we all vulnerable.
Researcher: Yes, but
Lex: Is love a vulnerability.
Researcher: We're talking about remote code execution.
Lex: Could an attacker remotely execute love.
Researcher: No.
Lex: Stalin executed millions.
Researcher: What does that have to do with
Lex: Do you think Stalin was happy.
Researcher: I have absolutely no idea.
Lex: Fascinating. We're 3 hours in. Let's talk about consciousness.
opus 5.5 is the first model that does data/analytics engineering better than humans.
feels like another turning point for my job.
bill maher has exactly one joke:
<someone> said <ridiculous thing>!
that's like saying <even more ridiculous thing>!
now that we have jev, can someone please, please squash all forms of engagement bait?
vagueposting 🚮
rage bait 🚮
correction bait 🚮
these are purely a waste of time.
thank you for your attention to this matter.
unpopular opinion, but I believe vitalik is right here.
With @openai and @AnthropicAI models solving insane math now, ain't no way I'm holding crypto on anything but the formally verified Cardano.
haskell mentioned
Introducing gdp-ts: Ghosts of Departed Proofs for TypeScript.
gdp-ts is a library, linter and AI skill for safer API design. Under this contract, sensitive functions require 'proofs' that the caller performed an authorization check.
The typechecker verifies these proofs at compile time, preventing your team and agents from shipping catastrophic security (and other kinds of) bugs.
While these patterns have existed for quite some time, especially in ecosystems like Haskell, ① human code review and ② cognitive and syntactic overhead made these solutions niche.
The situation is now inverted. Agents are writing more code than we can review, and they *thrive* in tight loops with hard constraints that would frustrate us. We see this with the rise of Rust, borrow checker, code aesthetics debate and all.
The README and examples model a real-world Vercel API product constraint: changing the password on a Project requires a proof of a certain role + a certain entitlement. Thanks to Matt Noonan and Ollie Charles for their research in this space.
github.com/rauchg/gdp-ts
Alexander Codes retweeted
Oh my, programming languages, whether you consider them ugly or beautiful, AI has already thrown them all out with the bathwater and flushed them down the sewer.
I called someone’s baby ugly and now I’m old and unskilled 😂
Over the past few weeks I’ve critiqued Go and Rust and had many personal attacks lodged at me. I know this is twitter and there isn’t centralized response coordination. But seeing a lot of vitriol from these communities doesn’t inspire me to want to use those languages.
frontier models are still pretty bad at data/analytics engineering.
who's working on this? (other than databricks)
the intellectual chasm between mogg and tucker is similar to that of boris and trump.
but it was fashionable to pretend otherwise:
