mikemull.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

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

submitted 14 hours ago • 0 comments

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.

submitted 14 hours ago • 7 comments

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

submitted 1 day ago • 1 comment

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

submitted 5 days ago • 0 comments

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...

submitted 6 days ago • 62 comments

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?

submitted 6 days ago • 0 comments

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

submitted 13 days ago • 15 comments

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)

submitted 13 days ago • 0 comments

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...

submitted 14 days ago • 0 comments

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.

submitted 21 days ago • 2 comments

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...

submitted 26 days ago • 6 comments

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

submitted 27 days ago • 0 comments

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

submitted 28 days ago • 0 comments

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

submitted 28 days ago • 0 comments

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-...

submitted 28 days ago • 0 comments

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...

submitted 35 days ago • 0 comments

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...

submitted 40 days ago • 0 comments

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...

submitted 40 days ago • 3 comments

This week we talk about Local-First software, an exciting new way to think about building software that puts more focus on local data without sacrificing collaboration. www.picturemecoding.com/2222783/epis...

submitted 42 days ago • 0 comments

It's annoying how much better the Internet connection is at my dad's house in rural Indiana through a local ISP than at my house in suburban California through Spectrum

submitted 45 days ago • 0 comments

Here's the latest episode of Better Offline. I'm joined by Steve Burke of @gamersnexus.bsky.social to talk about how tariffs are throwing the PC gaming industry into disarray, and how the era of affordable computing is coming to an end. podcasts.apple.com/us/podcast/b... Linktr.ee/betteroffline

submitted 49 days ago • 29 comments

This week we survey the tech news again. It turns out that the world is still weird. The AIs are hallucinatin' but so are the people. Neo-Luddites oppose the robots, but it's just a matter of time until we can't outrun them. www.picturemecoding.com/2222783/epis...

submitted 48 days ago • 0 comments

"The first thing we do is, let’s unplug all the lawyers". This week we talk to John Benson, a lawyer and hacker, about his use of LLMs and other technology in the legal profession. www.picturemecoding.com/2222783/epis...

submitted 55 days ago • 0 comments

Announcing the Local-First Landscape A comprehensive guide to help developers choose the right tools for building local-first applications. localfirst.fm/landscape

submitted 57 days ago • 5 comments

New band name: Stardust Monkeys

submitted 58 days ago • 0 comments

Using Django in a contract project recently. Kind of like running into an old friend in a bar and being reminded why you liked them.

submitted 60 days ago • 1 comment

This week Erik and i talk about traitorous generals, gangsters, malicious agents, and faulty message sending. Surprisingly, it has almost nothing to do with politics. www.picturemecoding.com/2222783/epis...

submitted 63 days ago • 0 comments

Anyone going out to look for nudibranchs April 24-30? Share your observations for the #InverteFest project!

submitted 63 days ago • 0 comments

Saw a dead dolphin at Torrey Pines Beach this morning. Not sure if it's the toxic algae but that's a first in almost 40 years of running that section of beach.

submitted 65 days ago • 0 comments

Ever wonder what happens between your code and the CPU? @matt.godbolt.org explores how modern processors & compilers boost performance—and what to do when they don’t.

submitted 70 days ago • 0 comments

I've programmed professionally for 40 years and I'm dedicated to staying up with the latest dev, but about once a week I see an inscrutable headline like "Everybody is replacing Wombat with Cashew in their distributed ZKP servers" and I think maybe we should just let the robots take over

submitted 72 days ago • 0 comments

Sure sign that you're old: you text your kids to remind them to file their taxes

submitted 73 days ago • 0 comments

submitted 74 days ago • 0 comments

arxiv.org/abs/2504.01841

submitted 76 days ago • 0 comments

This week we talk to the one and only @dabeaz.com about why programming is fun. We talk about music, theater, async Python, Raft, open source, and conference talks as performance art. www.picturemecoding.com/2222783/epis...

submitted 77 days ago • 1 comment

Wow, the AI in TurboTax is less than worthless.

submitted 79 days ago • 0 comments

Real vibe coding can only be done on quantum computers

submitted 82 days ago • 1 comment

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

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.

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

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

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...

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?

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

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)

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...

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.

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...

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

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

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

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-...

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...

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...

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...

This week we talk about Local-First software, an exciting new way to think about building software that puts more focus on local data without sacrificing collaboration. www.picturemecoding.com/2222783/epis...

It's annoying how much better the Internet connection is at my dad's house in rural Indiana through a local ISP than at my house in suburban California through Spectrum

Here's the latest episode of Better Offline. I'm joined by Steve Burke of @gamersnexus.bsky.social to talk about how tariffs are throwing the PC gaming industry into disarray, and how the era of affordable computing is coming to an end. podcasts.apple.com/us/podcast/b... Linktr.ee/betteroffline

This week we survey the tech news again. It turns out that the world is still weird. The AIs are hallucinatin' but so are the people. Neo-Luddites oppose the robots, but it's just a matter of time until we can't outrun them. www.picturemecoding.com/2222783/epis...

"The first thing we do is, let’s unplug all the lawyers". This week we talk to John Benson, a lawyer and hacker, about his use of LLMs and other technology in the legal profession. www.picturemecoding.com/2222783/epis...

Announcing the Local-First Landscape A comprehensive guide to help developers choose the right tools for building local-first applications. localfirst.fm/landscape

New band name: Stardust Monkeys

Using Django in a contract project recently. Kind of like running into an old friend in a bar and being reminded why you liked them.

This week Erik and i talk about traitorous generals, gangsters, malicious agents, and faulty message sending. Surprisingly, it has almost nothing to do with politics. www.picturemecoding.com/2222783/epis...

Anyone going out to look for nudibranchs April 24-30? Share your observations for the #InverteFest project!

Saw a dead dolphin at Torrey Pines Beach this morning. Not sure if it's the toxic algae but that's a first in almost 40 years of running that section of beach.

Ever wonder what happens between your code and the CPU? @matt.godbolt.org explores how modern processors & compilers boost performance—and what to do when they don’t.

I've programmed professionally for 40 years and I'm dedicated to staying up with the latest dev, but about once a week I see an inscrutable headline like "Everybody is replacing Wombat with Cashew in their distributed ZKP servers" and I think maybe we should just let the robots take over

Sure sign that you're old: you text your kids to remind them to file their taxes

arxiv.org/abs/2504.01841

This week we talk to the one and only @dabeaz.com about why programming is fun. We talk about music, theater, async Python, Raft, open source, and conference talks as performance art. www.picturemecoding.com/2222783/epis...

Wow, the AI in TurboTax is less than worthless.

Real vibe coding can only be done on quantum computers

On spring break this week, but next week we have a special guest (hint: one of the few Python programmers with a Wikipedia page)

Can't believe that Chris Knight is gone 😔 #realgenius

Fun hack: write GitHub feature issues in the form of LLM prompts

New blog post: surfingcomplexity.blog/2025/03/31/m...