Sign in

Mike

@mikemull.bsky.social
125 followers 188 following 123 posts

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.

PostsRepliesMedia
Reposted by Mike
Shriram Krishnamurthi @shriram.bsky.social · 2h
This is a beautiful writeup of the unique games conjecture, accessible even to a first-year college student. (Well, those in my accelerated course, at least. <-;) There's also something touching to contemplate: that this may be one of the last hurrahs of humans alone solving hard math problems?
051
Reposted by Mike
drmorr @drmorr.appliedcomputing.io · 05/10/2026
If we get two more paid subscribers to the ACRL blog, we break $1000 in yearly revenue from our writing! This would be a super exciting milestone. Anybody want to sign up for a paid subscription today? blog.appliedcomputing.io/subscribe
blog.appliedcomputing.io
Subscribe to Applied Computing Research Labs
Open-source research and development in distributed systems. Click to read Applied Computing Research Labs, by drmorr, a Substack publication.
121
Reposted by Mike
erewok @erewok.bsky.social · 02/10/2026
Here's something I read this morning: "Americans are more likely to have placed a bet at least once a week than having read a book in the past year, studies have shown."
021
Reposted by Mike
LaurieWired @lauriewired.bsky.social · 29/09/2026
My CppCon Keynote, “The Address is Not The Place” is now up on YouTube! It’s not often that we get new tiers added to the memory hierarchy of computing, but it sure is fun! You can certainly get ahead of the curve by thinking about the programmatic challenges (and possibilities) this will cause.
1746
Reposted by Mike
Cloudflare @cloudflare.social · 01/10/2026
During Birthday Week 2025, we announced the Cloudflare Data Platform, a suite of products that ingest, store, and query your analytical data. Today, we’re announcing that the platform is generally available, and we’re giving it a new name: Cloudflare Basin. cfl.re/4xRS5HR #BirthdayWeek
blog.cloudflare.com
Introducing Cloudflare Basin: an open, serverless data platform, now generally available
Cloudflare Basin is built on Apache Iceberg and R2 Object Storage. With general availability, developers can ingest, manage, and query large datasets at scale without paying data egress fees.
0122
Mike @mikemull.bsky.social · 30/09/2026
Sometimes I feel like I'm using the impending extinction of humanity as an excuse to procrastinate
010
Reposted by Mike
Association for Computing Machinery @acm.org · 28/09/2026
Happy Birthday to Seymour Cray, who was born #OTD in 1925. In 1964, Cray designed the CDC 6600, widely regarded as the first successful supercomputer. Cray's approach to high-performance computing helped establish the architectural ideas and design principles that shape supercomputers today.
064
Reposted by Mike
drmorr @drmorr.appliedcomputing.io · 25/09/2026
Hi bsky-ians! I rarely interact or do anything over here; mostly I just post links to my blog. All of my professional shit-posting happens over on Mastodon. But anyways follow along if you like! Here's my mastodon profile too if you care: hachyderm.io/@drmorr
hachyderm.io
drmorr (@drmorr@hachyderm.io)
6.29K Posts, 184 Following, 302 Followers · Optimizer. Photographer. In disbelief that computers actually work. Accidentally writing a role-playing game. (he/him)
022
Reposted by Mike
Picture Me Coding @picturemecoding.bsky.social · 25/09/2026
This week's episode is the first of two on dynamic memory allocation. This one focuses on the allocators, next time will be garbage collection. www.picturemecoding.com/2222783/epis...
picturemecoding.com
Thanks for the Memory Part I: Allocators - Picture Me Coding
This week we present the first of two episodes on dynamic memory allocation.&nbsp; We were going to talk about garbage collection, but realized we should probably discuss allocators first.&nbsp; Turns...
032
Reposted by Mike
Andrew Lamb @andrewlamb1111.bsky.social · 18/09/2026
The DAVE stack: the age of domain-optimized analytical databases on Datafusion, Arrow, and Vortex, Embedded sequenceandsilicon.substack.com/p/the-dave-s...
sequenceandsilicon.substack.com
The DAVE stack: the age of domain-optimized analytical databases on Datafusion, Arrow, and Vortex, Embedded
Weird data needs weird databases.
082
Reposted by Mike
Picture Me Coding @picturemecoding.bsky.social · 11/09/2026
We talk to Alan Dyke about his journey from doing doctoral research on software engineering to writing embedded software with bash creator Brian Fox to building DNA sequencers. Key takeaway: always remember to add a hurricane mock to your test suite. www.picturemecoding.com/2222783/epis...
022
Reposted by Mike
Jay 🦋 @jay.bsky.team · 09/09/2026
my current favorite non-human entities to converse with: - 500 year old trees - claude
442668
Reposted by Mike
Southern California Linux Expo @socallinuxexpo.bsky.social · 26/08/2026
SCaLE team had a great time at Data Con LA 2026 (www.dataconla.com/). We are looking forward to seeing everyone at SCALE 24x April 1-4, 2027 (www.socallinuxexpo.o...
062
Mike @mikemull.bsky.social · 22/08/2026
I'm @dataconla.com
110
Reposted by Mike
Association for Computing Machinery @acm.org · 19/08/2026
On this day in 1923, Turing Award recipient Edgar F. Codd was born. He received the 1981 #ACMTuringAward for his fundamental and continuing contributions to the theory and practice of database management systems. Codd's work revolutionized the field of databases. amturing.acm.org/award_winner...
0104
Mike @mikemull.bsky.social · 14/08/2026
Gemini taught me the term "epistemic vigilance".
110
Reposted by Mike
erewok @erewok.bsky.social · 21/07/2026
My friend Aaron was interviewed by Andy Greenberg about the car-hacking research his lab has been doing: youtu.be/FwA3CuJxbk4?... Greenberg had him drive around UCSD looking for exploitable cars and then he stole a car using these tools. Check if you car is vulnerable and patch it!
youtu.be
I Stole a Car By Hacking This Hidden Device
YouTube video by WIRED Investigations
011
Reposted by Mike
Picture Me Coding @picturemecoding.bsky.social · 10/07/2026
Who first had the crazy idea of connecting computers together? That's the question we explore in our latest episode: www.picturemecoding.com/2222783/epis...
picturemecoding.com
The Prehistory of the Internet - Picture Me Coding
This episode started with the question: who first had the idea to connect computers together to make a network?&nbsp; We explore JCR Licklider's ideas about an&nbsp; "Intergalactic Network", some of t...
042
Reposted by Mike
Lance Fortnow @lance.fortnow.com · 03/07/2026
Cynthia Dwork guest posts on Scott's blog about a recent presidential action that would remove privacy protection tools from the 2030 census.
scottaaronson.blog
An American privacy emergency: Guest post from Cynthia Dwork et al.
Scott’s foreword: Cynthia Dwork is Gordon McKay Professor of Computer Science at Harvard, and a pioneer in the fields of differential privacy and algorithmic fairness. On my recent travels to…
062
Reposted by Mike
Alex Miller @alexmillerdb.bsky.social · 29/06/2026
The TPC-H series taking a look at what each query is about is pretty good: www.database-doctor.com/tags/tpch
database-doctor.com
Today, we are going to talk about estimating filter selectivity and how to fail at it. Two queries are similar enough that we will analyse them together: Q12 and Q14.
021
Reposted by Mike
Picture Me Coding @picturemecoding.bsky.social · 26/06/2026
After exploring a couple of surprising agentic orchestration papers we discuss where we think software development will be in 2046. We boldly predict that people will still not be comfortable with robotic dentists: www.picturemecoding.com/2222783/epis...
picturemecoding.com
Software Development in 2046 - Picture Me Coding
In this episode we discuss a couple of recent papers on just-in-time development and agentic systems and how we think they suggest trends that will affect software development for years to come.&nbsp;...
022
Reposted by Mike
Jon Corsiglia (he/him/el) | Eco-Economy Insider @ecoeconomyinsider.com · 18/06/2026
Screenshot of a New York Times article headline reading ‘Trump Administration Backs Off Plan to End Ocean Monitoring,’ with a subheadline noting the reversal follows a bipartisan Senate bill to block removal of deep-sea monitoring instruments. Below the text, a partial photo shows ocean monitoring equipment mounted on a buoy or vessel mast against an overcast sky
14313
Reposted by Mike
Picture Me Coding @picturemecoding.bsky.social · 13/06/2026
Our latest episode is our 100th! To commemorate the significant number, we decided to talk about numbers: www.picturemecoding.com/2222783/epis...
picturemecoding.com
Numerology - Picture Me Coding
For the 100th episode of Picture Me Coding we talk about numbers.  Mike talks about his favorite numbers, Erik talks about his favorite ports, and we discuss the surprising phenomenon of Benford's Law...
011
Reposted by Mike
Lance Fortnow @lance.fortnow.com · 11/06/2026
Kevin Hartnett's The Proof is in The Code is out today. How is Lean changing the way we think of math?
quantabooks.org
The Proof in the Code - Quanta Books
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
022
Reposted by Mike
Picture Me Coding @picturemecoding.bsky.social · 29/05/2026
In our latest episode we talk to technology entrepreneur Doug Burke about his experience building a personal AI assistant named Sam, using Claude Code and other agent tools. www.picturemecoding.com/2222783/epis...
picturemecoding.com
Do You Even Schedule, Bro? Making a Digital Workout Partner with Doug Burke - Picture Me Coding
This week we were joined by our friend Doug Burke, who runs a company and has been working on his "digital life workout partner", a voice-activated LLM tool. Doug's story is interesting because he doe...
122
Reposted by Mike
Picture Me Coding @picturemecoding.bsky.social · 15/05/2026
In the latest episode we bring back Bob Farzin to help us discuss building software with a team of agents: www.picturemecoding.com/2222783/epis...
picturemecoding.com
TokenMaxxing!: Agentic Software Development with Bob Farzin - Picture Me Coding
In this episode we invite back our friend Bob Farzin to discuss our personal experiences with using teams of agents to write software, and we try to parse out the experiences we're seeing on the inter...
022
Mike @mikemull.bsky.social · 08/05/2026
Rachel Entrekin is the most interesting and amazing athlete this week but she won't be on the news.
000
Reposted by Mike
Picture Me Coding @picturemecoding.bsky.social · 01/05/2026
Our latest episode is about query optimization, focused on Patricia Selinger's seminal paper about cost-based optimization in System R: www.picturemecoding.com/2222783/epis...
picturemecoding.com
Patricia Selinger and the Birth of Query Optimization - Picture Me Coding
In this episode we attempt to explain query optimization and where it came from.&nbsp; In particular we discuss Patricia Selinger's 1979 SIGMOD paper Access Path Selection in a Relational Database Man...
021
Reposted by Mike
A. Jesse Jiryu Davis @emptysqua.re · 30/04/2026
Our worst fears have come to pass: AI does all the creative thinking, humans spend our days on two-factor auth.
093
Mike @mikemull.bsky.social · 29/04/2026
Comey is probably just an amateur mathematician -- Prime Curios! 8647 share.google/fOihbKz60c5t...
share.google
Prime Curios! 8647
One of many pages of prime number curiosities and trivia. This page discusses 8647 Come explore a new prime today!
000
Mike @mikemull.bsky.social · 28/04/2026
My phone autocorrects Kleene to Kleenex
010
Reposted by Mike
Aquarium Drunkard @aquariumdrunkard.com · 22/04/2026
R.E.M. :: Lifes Rich Pageant at 40 aquariumdrunkard.com/2026/04/21/r... Take a picture here, take a souvenir.
0368
Mike @mikemull.bsky.social · 20/04/2026
Happy Patriot's Day/Boston Marathon day.
010
Reposted by Mike
Rust Language @rust-lang.org · 16/04/2026
Rust 1.95.0 has been released! 🌈 🦀✨ This release includes cfg_select!{}, if-let guards in match, Vec::push_mut, VecDeque::push_{front,back}_mut, std::hint::cold_path, and more! Check out the blog post for details: blog.rust-lang.org/2026/04/16/R...
blog.rust-lang.org
Announcing Rust 1.95.0 | Rust Blog
Empowering everyone to build reliable and efficient software.
114322
Reposted by Mike
erewok @erewok.bsky.social · 10/04/2026
Wow. "When AI routinely completes tasks in seconds, the reference point for how long a task should take can shift – and as a consequence, unaided work starts to feel counterfactually more effortful, a process structurally analogous to hedonic adaptation..." arxiv.org/abs/2604.04721
arxiv.org
011
Mike @mikemull.bsky.social · 07/04/2026
This is the software equivalent of a William Vollmann novel steve-yegge.medium.com/welcome-to-t...
steve-yegge.medium.com
Welcome to the Wasteland: A Thousand Gas Towns
Howdy partner, and welcome to the Wasteland!
000
Mike @mikemull.bsky.social · 06/04/2026
AI has taught me that I am not a "builder". I write software to learn things and useful tools are just a fortuitous side effect. I have yet to find a way to make "pay me to learn" sound sufficiently agentic.
020
Reposted by Mike
Picture Me Coding @picturemecoding.bsky.social · 03/04/2026
In our latest episode we go back to basics and discuss hash tables. Turned out we didn't understand them as well as we thought, so we look at their history and some recent interesting developments: www.picturemecoding.com/2222783/epis...
picturemecoding.com
Hash Tables - Picture Me Coding
Some recent articles about research on hash tables made us realize we probably didn't know enough about hash tables, one of the fundamental data structures in the biz.&nbsp; We talk about the history ...
022
Mike @mikemull.bsky.social · 31/03/2026
This is cool cacm.acm.org/research/whe...
cacm.acm.org
Where Are the City Trees? Monitoring Urban Trees across the U.S. Using Generative AI – Communications of the ACM
010
Reposted by Mike
erewok @erewok.bsky.social · 26/03/2026
I blogged about an aspect of reviewing llm-generated code that seems so offputting: erikaker.com/posts/2026-0...
erikaker.com
In spite of how it sounds this was usually a pretty cool outcome (and it typically only happened when people liked something I'd written). It felt like the work was taking flight: it had become independent of me and whatever I'd been thinking about when I wrote it.
022
Mike @mikemull.bsky.social · 26/03/2026
I'm older than fiber optics but younger than lasers
010
Reposted by Mike
erewok @erewok.bsky.social · 22/03/2026
"A few contributors even act as a proxy between the reviewer and the LLM, copy their reviewer’s question, reply with LLM-generated response. For the love of god, please. I want to emphasize this is incredibly frustrating. This is the top contributing factor to potential burn outs for me."
nikomatsakis.github.io
Summary - Rust Project Perspectives on AI
111
Reposted by Mike
Picture Me Coding @picturemecoding.bsky.social · 20/03/2026
We give our report on @socallinuxexpo.bsky.social 23x, where Erik worked as a volunteer this year. (Note: you might hear my dog whimpering toward the end-- she was fine she just wanted snacks) www.picturemecoding.com/2222783/epis...
picturemecoding.com
Scale 23x - Picture Me Coding
We give a report of our experiences at the 23rd version of the Southern California Linux Expo (Scale 23x) in Pasadena.&nbsp; Erik was a volunteer in the network group this year, so we have some behind...
023
Reposted by Mike
Zack Labe @zacklabe.com · 19/03/2026
Even in a world of extremes, some events still stand out to me. This is one. All-time monthly records are being shattered. The size of this ridge across the western U.S. is truly striking for March, and we see a very clear climate change connection. Explore: csi.climatecentral.org/climate-shif...
Screenshot showing the Climate Shift Index from Climate Central for March 19, 2026. There is a change in likelihood of CSI 5 across nearly the entire Western USA.
321067521
Reposted by Mike
LaurieWired @lauriewired.bsky.social · 17/03/2026
There is an excellent writeup by Charles Clark about Cray’s Customer Service division, go check it out here:
 cray-history.net/2021/11/04/c...
cray-history.net
Cray Customer Service – Memories (1979 to 2014) by Charles Clark
Cray Customer Service – Memories (1979 to 2014) a personal memoir by Charles “Charlie” Clark I have seen lots of articles on Cray Supercomputers, their design. development, uses and ins…
3301
Reposted by Mike
Bryce @brycemecum.com · 12/03/2026
Arctos Alliance (arctosalliance.org) is now officially launched! "If your organization depends on Arrow or Parquet or you’re interested in helping sustain these critical data technologies, we would welcome a conversation about how to get involved."
arctosalliance.org
Arctos Alliance - Open Collective
Support the committers powering the world’s open data infrastructure.
042
Reposted by Mike
Hugo, Girl! the podcast @hugogirlpodcast.bsky.social · 11/03/2026
hugogirl.libsyn.com/episode-90-g... This one took a little extra time. Here's Green Mars!
hugogirl.libsyn.com
Hugo, Girl!: Episode 90 - Green Mars: Your Mom's a Mohole
This month we read Green Mars by Kim Stanley Robinson, which won the Hugo for best novel in 1994 and definitely meets the technical definition of "a novel." DM: Lori Don't forget we're still running a...
2102
Reposted by Mike
Picture Me Coding @picturemecoding.bsky.social · 06/03/2026
In our latest episode Amy Salley of @hugogirlpodcast.bsky.social returns to help us discuss Murderbot. We discuss the books (up to Network Effect) and how Martha Wells explores topics like AI, consciousness, and neurodivergence. www.picturemecoding.com/2222783/epis...
picturemecoding.com
Talking Murderbot with Amy Salley - Picture Me Coding
In this episode we're joined again by Amy Salley, cohost of the Hugo, Girl! podcast, to help us discuss the Murderbot series of books by Martha Wells.&nbsp; We discuss our favorite characters and plot...
021
Reposted by Mike
Frank McSherry @frankmcsherry.bsky.social · 05/03/2026
A recent post by @dov.dev about Materialize's new Iceberg sink, and generally about connecting live operational data to analytics stores. Some interesting detail about (overcome) streaming-batch friction, and turning pristine CDC streams into .. Iceberg! materialize.com/blog/making-...
materialize.com
Making Iceberg Work for Operational Data | Materialize
Apache Iceberg was built for batch analytics — but operational data changes continuously. Learn how Materialize streams live, transactionally consistent data into Iceberg without the memory and latenc...
082
Reposted by Mike
Frank McSherry @frankmcsherry.bsky.social · 01/03/2026
I wrote a tiny vectorized interpreter last night, and .. thought I'd write up a post describing it. Nothing earth shattering here, but if you haven't seen one of these before it could be interesting! Probably easier to read than the J Incunabulum, but also less .. wow. github.com/frankmcsherr...
github.com
092