If #XKCD 2347 was made today … (via social.linux.pizza/@latenightow...)

We’re introducing a new layer of verification on Bluesky — a user-friendly, easily recognizable blue check. In addition to account verification issued by Bluesky, we're also introducing Trusted Verifiers. Select independent organizations can verify accounts directly.

it's weird to see such hubris live

Got a demo of this today, super cool stuff Reminded me of this www.datacouncil.ai/talks/proces...

I always remind people that valuable research isn't easy to identify up front. Research into lizard spit is what gave us GLP-1 inhibitors like Ozempic. We need to fund broad research interests because it's cheap upfront and the dividends are huge later.

We’re building a new static type checker for Python, from scratch, in Rust. From a technical perspective, it’s probably our most ambitious project yet. We’re about 800 PRs deep!

Reminder: most of the articles out there about S3 Tables are paid AWS promotions. Let's wait until someone credible and independent publishes a detailed usage AND cost analysis. So far we can only see the tip of this Iceberg.

A friend's dad once told me the easiest way to get an an engineer to do something was simply to declare that it couldn't be done. This stuck with me.

My feed is so #databs centric that I thought I’d missed a trend

Them: can you explain this gap in your CV Me: look I made it in TeX and there's only so many hours in the day

Being on bluesky without fighting through a sea of bots and ads made me realize I don’t dislike social media, I disliked not being able to be social on social media

already started with pytorch bsky.app/profile/mits...