Reposted by MikeShriram Krishnamurthi @shriram.bsky.social · 2hThis 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 Mikedrmorr @drmorr.appliedcomputing.io · 05/10/2026If 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/subscribeblog.appliedcomputing.ioSubscribe to Applied Computing Research LabsOpen-source research and development in distributed systems. Click to read Applied Computing Research Labs, by drmorr, a Substack publication. 121
Reposted by Mikeerewok @erewok.bsky.social · 02/10/2026Here'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 MikeLaurieWired @lauriewired.bsky.social · 29/09/2026My 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 MikeCloudflare @cloudflare.social · 01/10/2026During 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 #BirthdayWeekblog.cloudflare.comIntroducing Cloudflare Basin: an open, serverless data platform, now generally availableCloudflare 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/2026Sometimes I feel like I'm using the impending extinction of humanity as an excuse to procrastinate 010
Reposted by MikeAssociation for Computing Machinery @acm.org · 28/09/2026Happy 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 Mikedrmorr @drmorr.appliedcomputing.io · 25/09/2026Hi 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/@drmorrhachyderm.iodrmorr (@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 MikePicture Me Coding @picturemecoding.bsky.social · 25/09/2026This 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.comThanks for the Memory Part I: Allocators - Picture Me CodingThis week we present the first of two episodes on dynamic memory allocation. We were going to talk about garbage collection, but realized we should probably discuss allocators first. Turns... 032
Reposted by MikeAndrew Lamb @andrewlamb1111.bsky.social · 18/09/2026The DAVE stack: the age of domain-optimized analytical databases on Datafusion, Arrow, and Vortex, Embedded sequenceandsilicon.substack.com/p/the-dave-s...sequenceandsilicon.substack.comThe DAVE stack: the age of domain-optimized analytical databases on Datafusion, Arrow, and Vortex, EmbeddedWeird data needs weird databases. 082
Reposted by MikePicture Me Coding @picturemecoding.bsky.social · 11/09/2026We 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 MikeJay 🦋 @jay.bsky.team · 09/09/2026my current favorite non-human entities to converse with: - 500 year old trees - claude 442668
Reposted by MikeSouthern California Linux Expo @socallinuxexpo.bsky.social · 26/08/2026SCaLE 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
Reposted by MikeAssociation for Computing Machinery @acm.org · 19/08/2026On 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
Reposted by Mikeerewok @erewok.bsky.social · 21/07/2026My 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.beI Stole a Car By Hacking This Hidden DeviceYouTube video by WIRED Investigations 011
Reposted by MikePicture Me Coding @picturemecoding.bsky.social · 10/07/2026Who 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.comThe Prehistory of the Internet - Picture Me CodingThis episode started with the question: who first had the idea to connect computers together to make a network? We explore JCR Licklider's ideas about an "Intergalactic Network", some of t... 042
Reposted by MikeLance Fortnow @lance.fortnow.com · 03/07/2026Cynthia Dwork guest posts on Scott's blog about a recent presidential action that would remove privacy protection tools from the 2030 census.scottaaronson.blogAn 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 MikeAlex Miller @alexmillerdb.bsky.social · 29/06/2026The TPC-H series taking a look at what each query is about is pretty good: www.database-doctor.com/tags/tpchdatabase-doctor.comToday, 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 MikePicture Me Coding @picturemecoding.bsky.social · 26/06/2026After 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.comSoftware Development in 2046 - Picture Me CodingIn 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. ... 022
Reposted by MikeJon Corsiglia (he/him/el) | Eco-Economy Insider @ecoeconomyinsider.com · 18/06/2026 14313
Reposted by MikePicture Me Coding @picturemecoding.bsky.social · 13/06/2026Our latest episode is our 100th! To commemorate the significant number, we decided to talk about numbers: www.picturemecoding.com/2222783/epis...picturemecoding.comNumerology - Picture Me CodingFor 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 MikeLance Fortnow @lance.fortnow.com · 11/06/2026Kevin Hartnett's The Proof is in The Code is out today. How is Lean changing the way we think of math?quantabooks.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true? 022
Reposted by MikePicture Me Coding @picturemecoding.bsky.social · 29/05/2026In 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.comDo You Even Schedule, Bro? Making a Digital Workout Partner with Doug Burke - Picture Me CodingThis 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 MikePicture Me Coding @picturemecoding.bsky.social · 15/05/2026In 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.comTokenMaxxing!: Agentic Software Development with Bob Farzin - Picture Me CodingIn 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/2026Rachel Entrekin is the most interesting and amazing athlete this week but she won't be on the news. 000
Reposted by MikePicture Me Coding @picturemecoding.bsky.social · 01/05/2026Our 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.comPatricia Selinger and the Birth of Query Optimization - Picture Me CodingIn this episode we attempt to explain query optimization and where it came from. In particular we discuss Patricia Selinger's 1979 SIGMOD paper Access Path Selection in a Relational Database Man... 021
Reposted by MikeA. Jesse Jiryu Davis @emptysqua.re · 30/04/2026Our 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/2026Comey is probably just an amateur mathematician -- Prime Curios! 8647 share.google/fOihbKz60c5t...share.googlePrime Curios! 8647One of many pages of prime number curiosities and trivia. This page discusses 8647 Come explore a new prime today! 000
Reposted by MikeAquarium Drunkard @aquariumdrunkard.com · 22/04/2026R.E.M. :: Lifes Rich Pageant at 40 aquariumdrunkard.com/2026/04/21/r... Take a picture here, take a souvenir. 0368
Reposted by MikeRust Language @rust-lang.org · 16/04/2026Rust 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.orgAnnouncing Rust 1.95.0 | Rust BlogEmpowering everyone to build reliable and efficient software. 114322
Reposted by Mikeerewok @erewok.bsky.social · 10/04/2026Wow. "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.04721arxiv.org 011
Mike @mikemull.bsky.social · 07/04/2026This is the software equivalent of a William Vollmann novel steve-yegge.medium.com/welcome-to-t...steve-yegge.medium.comWelcome to the Wasteland: A Thousand Gas TownsHowdy partner, and welcome to the Wasteland! 000
Mike @mikemull.bsky.social · 06/04/2026AI 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 MikePicture Me Coding @picturemecoding.bsky.social · 03/04/2026In 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.comHash Tables - Picture Me CodingSome 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. We talk about the history ... 022
Mike @mikemull.bsky.social · 31/03/2026This is cool cacm.acm.org/research/whe...cacm.acm.orgWhere Are the City Trees? Monitoring Urban Trees across the U.S. Using Generative AI – Communications of the ACM 010
Reposted by Mikeerewok @erewok.bsky.social · 26/03/2026I blogged about an aspect of reviewing llm-generated code that seems so offputting: erikaker.com/posts/2026-0...erikaker.comIn 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
Reposted by Mikeerewok @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.ioSummary - Rust Project Perspectives on AI 111
Reposted by MikePicture Me Coding @picturemecoding.bsky.social · 20/03/2026We 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.comScale 23x - Picture Me CodingWe give a report of our experiences at the 23rd version of the Southern California Linux Expo (Scale 23x) in Pasadena. Erik was a volunteer in the network group this year, so we have some behind... 023
Reposted by MikeZack Labe @zacklabe.com · 19/03/2026Even 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... 321067521
Reposted by MikeLaurieWired @lauriewired.bsky.social · 17/03/2026There 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.netCray Customer Service – Memories (1979 to 2014) by Charles ClarkCray 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 MikeBryce @brycemecum.com · 12/03/2026Arctos 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.orgArctos Alliance - Open CollectiveSupport the committers powering the world’s open data infrastructure. 042
Reposted by MikeHugo, Girl! the podcast @hugogirlpodcast.bsky.social · 11/03/2026hugogirl.libsyn.com/episode-90-g... This one took a little extra time. Here's Green Mars!hugogirl.libsyn.comHugo, Girl!: Episode 90 - Green Mars: Your Mom's a MoholeThis 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 MikePicture Me Coding @picturemecoding.bsky.social · 06/03/2026In 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.comTalking Murderbot with Amy Salley - Picture Me CodingIn 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. We discuss our favorite characters and plot... 021
Reposted by MikeFrank McSherry @frankmcsherry.bsky.social · 05/03/2026A 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.comMaking Iceberg Work for Operational Data | MaterializeApache 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 MikeFrank McSherry @frankmcsherry.bsky.social · 01/03/2026I 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