pedro

lowercase anonymous
pizza & app maker

[pedro @ped]

welcome to the City Department of Analogies. we're like the department of public health, but for learning

[pedro @ped]

pretty sure the correct answer is still GAYMAN

[ApoStructura @ApoStructura]

forget FAANG
forget MANGOS
forget LARP

the world is ran by OSAMA

[pedro @ped]

@jkakar @claudeai on /model, if you press s instead of return it sets just for the session 👌 same for claude —model

[pedro @ped]

“growth for the sake of growth is the ideology of a cancer cell”

[Stephen Wu @wustep]

we didn’t think it was possible

after multiple years of R&D, the technology is finally here

[pedro @ped]

iceberg is so enterprise, `pip install pyiceberg` triggers a discovery call email

[Ryan Fleury @rfleury]

It’s true. In fact, I was under the impression that Spotify’s best developers hadn’t written a line of code since 2014.

[Stainless @StainlessAPI]

Today we're releasing something experimental: a SQL SDK generator.

It takes your OpenAPI spec and generates a PostgreSQL extension. Every endpoint becomes a native SQL function.

[Stainless @StainlessAPI]

MCP, agentic systems, and auth 🤖

This Wednesday evening in SF with @KeycardLabs, @Cloudflare, @humanlayer_dev, and @temporalio.

RSVP: https://t.co/S7DgeRyszf

[pedro @ped]

delivered

[pedro @ped]

(this is paradise lost)

[pedro @ped]

15 minutes in ny

[pedro @ped]

was gonna say mechanical keyboards - but you don't ask nerds about that, they just tell you

[Craig Kerstiens @craigkerstiens]

Which is worse asking a bunch of nerds about their coffee process or their home wifi setup?

[pedro @ped]

@tnm LOVE IT, thank you!!

[pedro @ped]

@tnm that looks grand, sir 🫡 any recipe or protips to share?!

[pedro @ped]

@dserodio I'll throw the ruby thingy in github or somewhere soon... it worked pretty well, but produced dense results! I'm currently having it translate each subtitle entry by itself, next up going to try merging subtitles when they're in sequence, so there's more to work with 🤔

[pedro @ped]

paid $14 for globo only to realize they don't have english subtitles. the whole point was to show friends the crap we have on tv in brazil...

[pedro @ped]

@dserodio haha yeah, just a quick fix parsing subtitles, need to follow up on it https://t.co/DewwntKcJC

[pedro @ped]

@brandur lol man. can't always get what you want, you get what you need vibes!

[pedro @ped]

@substack folks you have a bug. description and workaround here https://t.co/HYyWsCsYUP