🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

This is deep smbc-comics.com/comic/consciou…

Next time you are considering taking a shortcut during a data migration please remember that the fastest path down a mountain is always walking off the cliff.

[new blog post] On the two types of 10x engineers: I entirely blame Murat Demirbas (Distributolog) for encouraging me to write this up. maheshb.net/blog/2025/04/2…

AI tools can't replace mastery. This is advice which everyone needs right now. Thanks to Phil Eaton for recommending this and Murat Demirbas (Distributolog) I'm looking forward to read more of your blogs. muratbuffalo.blogspot.com/2025/04/what-i…

Brutal conversation with a top-tier academic in charge of examining a Classics BA. She believes that all but one, ie 98.5% of the cohort, used AI, in varying degrees of illegality up to complete composition, in their final degree submissions. Welcome to university degrees 2025.

I would highly recommend reading this article. It talks about two types of 10x engineers. For managers it’s important to identify these engineers and appreciate them for who they are and also as engineers its important to know what you want to be and enjoy doing. Ferrari or a

James Cowling Isn't it what MongoDB did 15 years ago? API and data model that maps to the application. When SQL vendors push for the opposite: write the rest of your app in the same language as the DB in stored procedures

Spotted in SF

[new blog post] TLA+ Community Event at ETAPS 2025 muratbuffalo.blogspot.com/2025/05/tla-co… TLA+ in action: Talks on modeling MongoDB transactions, fuzzing, C-to-PlusCal, TLA+ in Python notebooks, and more.

"In a nutshell: without transactions, distributed systems cannot be made to work for typical real-life applications." From 1992: muratbuffalo.blogspot.com/2024/02/transa…

I just realized something most people are going to lose when (as they inevitably will) they start using AIs to write everything for them. They'll lose the knowledge of how writing is constructed.

A weird thing about LLMs is that they just happen to do many things but almost all uses are undocumented. For example, GPT-4o is very good at helping farmers identify swine diseases. There is a lot of value in experts exploring & benchmarking how good LLMs are at various tasks.

[new blog post] Notes from the TLA+ Community Event muratbuffalo.blogspot.com/2025/05/notes-…

Inter vs Barca was a great game. Inter wanted to win more, and snatched the win. If the game was played 10 times, Inter would still be the victor. They were locked in, unlike Barca.

[new blog post] Concurrency Control and Recovery in Database Systems: Preface and Chapter 1 muratbuffalo.blogspot.com/2025/05/concur…