Mike's Avatar

Mike

@mikemull.bsky.social

Software developer. Currently interested in figuring out how CPUs work, time series forecasting, and Lean. Co-host of Picture Me Coding, a podcast about software and music. Trail runner and hiker. Oh, and I like trees.

96 Followers  |  161 Following  |  95 Posts  |  Joined: 31.12.2023  |  1.6753

Latest posts by mikemull.bsky.social on Bluesky

Preview
Astronomer: Saving Megabux with SQL and SimKube Ok, folks, get ready, this is a fun one!

Ok my blog post about my work with Astronomer is public now, go read it!

blog.appliedcomputing.io/p/astronomer...

04.08.2025 18:58 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

AWS keeps sending me messages for "next generation firewalls", but they abbreviate it as NGFW, and i can't help but see "not gonna fucking work"

04.08.2025 16:08 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

London Calling probably. Still good 45 years later

27.07.2025 02:12 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Vibe Coding: The Good, The Bad, and The Ugly - Picture Me Coding This week we host our friends Bobak Farzin and Kevin Fahey to talk about their experiences building applications with AI tools.  Both Bob and Kevin are very tech savvy in different ways, but neit...

This week we talk to our friends Bobak Farzin and Kevin Fahey about their experiences building software with AI tools. While tech-savvy, neither are full-time developers, so they have an interesting perspective on the good and bad parts of vibe coding: www.picturemecoding.com/2222783/epis...

24.07.2025 12:56 โ€” ๐Ÿ‘ 3    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Well, I certainly have a face for radio

24.07.2025 00:52 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Air travel is the worst thing that I intentionally inflict on myself, and I say that as someone who has trained for and run ultra-marathons

13.07.2025 19:44 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
MJ Lenderman, Sun June, and More Cover Jason Molina Songs for New Tribute Album I Will Swim to You: A Tribute to Jason Molina also features Hand Habits, Advance Base, Friendship, and others

pitchfork.com/news/mj-lend...

10.07.2025 22:10 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Friends and Relations - Picture Me Coding We're talking about databases again.  Or database management systems, we're not totally sure.  In any case, they are relational databases (or database management systems).The relational data...

This episode we're talking about databases again, specifically relational databases (or relational database management systems, we're not sure) www.picturemecoding.com/2222783/epis...

09.07.2025 11:53 โ€” ๐Ÿ‘ 4    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I love it when the names of the teams in basketball games make a fun adjective/noun pairing. My current favorites are Thunder Nuggets and Fever Dream, but Jazz Grizzlies has potential.

08.07.2025 13:13 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Assuming that it doesn't wreck your business an AI-caused outage teaches some good lessons

26.06.2025 20:07 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Shoulders of Giants: Jim Gray - Picture Me Coding Jim Gray was a key innovator in the area of database technology and he won the Turing Prize in 1998.  He was particularly influential with respect to the definition and formalization of transacti...

We kick off a series of episodes on database technology with a discussion of the late, great Jim Gray, winner of the 1998 Turing Prize and the person most responsible for the concept of database transactions. www.picturemecoding.com/2222783/epis...

25.06.2025 18:06 โ€” ๐Ÿ‘ 2    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Spanish mathematician Javier Gรณmez Serrano and Google DeepMind team up to solve the Navier-Stokes million-dollar problem A team of researchers and engineers has been secretly working for three years on one of humanityโ€™s most devilish enigmas, the solution of which is considered imminent thanks to artificial intelligence

english.elpais.com/science-tech...

25.06.2025 00:52 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

My challenge to you is to talk about it (more). Talk about climate change. Talk about the importance of the scientific infrastructure in the US. Talk about the implications of these cuts on the economy, our health, public safety, the environment, and what this means for the next generation as well.

25.06.2025 00:16 โ€” ๐Ÿ‘ 302    ๐Ÿ” 75    ๐Ÿ’ฌ 8    ๐Ÿ“Œ 3

Been reading a book about the 14th c. I think the takeaway is that just because everything is terrible it doesn't mean things won't get much worse

23.06.2025 23:59 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I wonder if I could get a space contract? I can't build rockets but I can blow stuff up.

20.06.2025 02:55 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
The Missing 11th of the Month - David R Hagen Personal website of David R Hagen, scientific software engineer

David R. Hagen just solved a small mystery that I mentioned 13 years ago in the mouseover text of a comic drhagen.com/blog/the-mis...

19.06.2025 11:40 โ€” ๐Ÿ‘ 3211    ๐Ÿ” 608    ๐Ÿ’ฌ 61    ๐Ÿ“Œ 89

I wonder how much electricity is used in converting data from web pages and PDFs back into database records that resemble the database records from which they were created?

18.06.2025 21:21 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Teach a robot to fish and soon you won't remember how to.

12.06.2025 12:41 โ€” ๐Ÿ‘ 586    ๐Ÿ” 125    ๐Ÿ’ฌ 15    ๐Ÿ“Œ 8

LLMs seem good at translating between equivalent SQL (eg turning correlated subquery into join) but not good at translating between SQL dialects (eg Postgres to Spark)

11.06.2025 19:33 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Language, Meaning, and Functional Programming with Matt Teichman - Picture Me Coding This week Matt Teichman, host of the Elucidations podcast, dropped by the show to chat about functional programming and its surprising relationship to linguistics and philosophy. Matt teaches Linguist...

In our latest episode we have a great discussion with Matt Teichman, a lecturer in computer science at U. Chicago, an OCaml programmer, and host of the Elucidations podcast. We cover linguistics, philosophy, functional programming, libraries, and music: www.picturemecoding.com/2222783/epis...

11.06.2025 12:51 โ€” ๐Ÿ‘ 4    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
How Compiler Explorer Works in 2025 โ€” Matt Godboltโ€™s blog How we handle 92 million compilations a year without everything catching fire

It's been a while since I've written about the innards of @compiler-explorer.com. xania.org/202506/how-c... has the details, some statistics and some fun war stories.

03.06.2025 21:41 โ€” ๐Ÿ‘ 55    ๐Ÿ” 17    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

I learned the hard way that it's also a good idea to verify that you know how to restore from a backup

29.05.2025 18:22 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
The Coming AI Revolution in Distributed Systems Formal verification has long been the gold standard for uncovering subtle bugs in distributed system design [1]. While AI has already proven its ability to accelerate verification processes [2], recen...

o3 can now synthesize TLA+ specifications from code. Caught between the feelings of "yay more people will use formal methods" and "wait fewer people will hire me to help them use formal methods"

zfhuang99.github.io/github%20cop...

29.05.2025 17:34 โ€” ๐Ÿ‘ 22    ๐Ÿ” 3    ๐Ÿ’ฌ 6    ๐Ÿ“Œ 0

Just wanna put it out there: I am definitely NOT worth kidnapping for my Bitcoin

28.05.2025 22:41 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Somebody needs to write "What to Expect When Your Parents Turn 75".

27.05.2025 20:08 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Sync Conf 2025

For any North American folks having FOMO about @localfirstconf.com, thereโ€™s a new conference on sync engines as app architecture! SF in November syncconf.dev

27.05.2025 15:19 โ€” ๐Ÿ‘ 45    ๐Ÿ” 13    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1
Preview
The Ennui Exhibition Editorโ€™s note: I wrote this post a couple days ago, and then gave a talk at the Cloud Native PDX meetup last night, and came away feeling really energized and had some great conversations.

I posted a thing. Maybe next week I'll post a thing about tech, like I've been promising for a while:

blog.appliedcomputing.io/p/the-ennui-...

27.05.2025 15:40 โ€” ๐Ÿ‘ 0    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
UX Wing Fighters - Picture Me Coding In this episode we talk to Jonathan Whitmire who designed the Picture Me Coding swag, logos, artwork (and t-shirts and stickers and coffee mugs!).He gives us a rundown on what it's like working alongs...

This week we talk to UX expert Jonathan Whitmire about the scope and meaning of user experience and the relationship between designers and software engineers. www.picturemecoding.com/2222783/epis...

21.05.2025 09:37 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Diagnosing a Double-Free Concurrency Bug in Rust's Unbounded Channels Explore how Materialize engineers diagnosed and resolved a rare concurrency bug in Rust's unbounded channels that led to undefined behavior through double-free memory errors.

Very neat post up from @materialize.com engineers on finding and fixing unsoundness in Rust's mpsc channels. We had quite a few grim stack traces implicating timely, but that turned out (phew) to be Rust memory corruption rather than timely glitches.

materialize.com/blog/rust-co...

15.05.2025 17:54 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Many happy Rustaceans at the release party.

Many happy Rustaceans at the release party.

Live from the 10 Years of Rust celebration in Utrecht, Netherlands, we are very happy to announce a new version of Rust, 1.87.0!

See the blog post and release notes for all the details!

blog.rust-lang.org/2025/05/15/R...

15.05.2025 17:30 โ€” ๐Ÿ‘ 190    ๐Ÿ” 41    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 4

@mikemull is following 20 prominent accounts