Mike Chlipala

@mscccc ouch, my feelings

The interview: leetcode and big-O The job: turning a 145 reply slack thread into a decision

@inazarova @sanjayynithin We don’t use Rails, but we do use ActiveRecord. Sinatra powers the web APIs.

@sanjayynithin figma.com/blog/how-figma… for example

I saw a bunch of "Ruby/Hotwire is slow" and "Who is even using Ruby for new startups today" comments on this platform the other day, and I want to share my opinion–a personal one!

@nickborromeo @mscccc wow this must be why i didn't make distinguished

@mscccc I would volunteer to give them a peer review and then “forget” about it. Im passive aggressive like that. lol

Tip for destroying your work enemy (guy who is competing with you for that Staff Eng promo)

@mscccc Love it!

We do a lot of "long and slow" rollouts which upgrade people's databases. We recently built an internal "auto rollout" which slowly increases the % of a feature flag over a period of hours.

@Zach_Kamran Well, we didn't need replace AR with some other ORM or a new data access layer while sharding was being rolled out. Like I said, very little had to change in the product code because the team made it work alongside ActiveRecord. That was sort of my point 😉

@mikec Great post! Big ruby fan here. Curious how active record has helped with this migration? The article doesn’t mention ruby or active record as far as I can tell

I think Figma is a little too quiet about its use of Ruby. It's shocking how little this effort has interrupted the product engineering team. One of the secret weapons: ActiveRecord 💪 figma.com/blog/how-figma…

@aymannadeem Yooo congrats!

No one wants to lose users because of fake AI content. Whether you're an ad platform, a dating app, or a news site—consumers lose trust in a platform flooded with AI-generated content, risking churn and reputational damage. Excited to launch Nuanced, a YC-backed solution for detecting AI-generated images and deepfakes. 🚀 Nuanced solves these challenges via: 1. Custom models trained in zero PII environments. 2. Easy integration supported by your existing infrastructure. You'll never have to compromise user privacy, build costly internal systems, or take on complex integrations.

@ryanflorence Some of the vocal inflections on this album remind me a lot of Brandon’s voice from SCIENCE and Make Yourself. Around the 1:50 mark of this song in particular always makes me think of early Incubus open.spotify.com/track/5KoxT3w6…

Does anybody make music like this anymore? I popped it in today and forgot that every dang song is astronomically good.

@jasoncwarner Want.

@github the site-wide "go to notifications" shortcut (g + n) broke recently ❤️🙏

@lukehefson @github I miss it too! You need a sufficiently large enough company before you can share the latest Humanity's Last Breath song without getting confused/scared emoji reactions from coworkers

I really miss the #harsh-music channel in @github’s slack. In fact, that’s something I miss about working for a bigger company in general - those mini communities that spring up amongst like-minded colleagues that don’t might not even work in the same department

@mscccc I think I saw prisma can't do joins?

I’d hate ORMs and only write SQL too if my language had me swapping to new-hot-ORM every 6 months. It’s not the ORM you hate sweeties

@comaddox 😘

@mikec This is so sweet ❤️

I wrote a tribute: instagram.com/p/CtkGGzaye5W/

You have T-6 days to visit America's most beautiful bowling alley one last time. abc7news.com/sea-bowl-bowli…

@mikekavouras @jeffrafter i missed y'all ☺️

🍐 with @jeffrafter on standing up and iOS app + API if anyone wants to hang out us06web.zoom.us/j/84359589411?…

Check out this home that will sell for $2 million. It's currently assessed at $80k. The owner paid $972 in property taxes last year. California rocks! 🫠 zillow.com/homedetails/30…

@nickborromeo yes!! let's do it

@mikec we are due for another hang soon!

@ryannystrom github.com/socketry/async could probably get you close

Is there a ruby equivalent to asyncio,gather in Python? Not finding anything obvious

@andrewkane So cool! Congrats

pgvector is now available on Amazon RDS 🔥