iiinova — where your digital self keeps evolving

Reposted by David R. MacIver

Antithesis @antithesis.com · 12/08/2026

What happens when your open source library changes millions of lives? To kick off season 3 of the Bug Bash podcast, we sit down with @drmaciver.bsky.social, Zac Hatfield-Dodds, and Liam DeVoe — three generations of Hypothesis maintainers, the PBT library used by ~5% of all Python devs.

141

David R. MacIver @drmaciver.bsky.social · 24/03/2026

So I joined Antithesis a little while back. When I did, I pitched them on a crazy idea. Antithesis... Hypothesis... Hegel! And here we are. Hegel is our attempt to do Hypothesis-grade PBT everywhere. Today: Rust. Tomorrow: The world! (Well. In a week or two: Go) antithesis.com/blog/2026/he...

antithesis.com

Hypothesis, Antithesis, synthesis

Introducing Hegel, our new family of property-based testing libraries.

150

David R. MacIver @drmaciver.bsky.social · 07/02/2026

I've largely got out of the habit of posting on social media to make number go up, but it feels somewhere between appropriate and darkly ironic to do that for my review of @add-hawk.bsky.social's new book, "The Score". drmaciver.substack.com/p/how-to-be-...

020

Reposted by David R. MacIver

Ben Lipkin @benlipkin.bsky.social · 13/05/2025

Many LM applications may be formulated as text generation conditional on some (Boolean) constraint. Generate a… - Python program that passes a test suite. - PDDL plan that satisfies a goal. - CoT trajectory that yields a positive reward. The list goes on… How can we efficiently satisfy these? 🧵👇

2136

David R. MacIver @drmaciver.bsky.social · 10/03/2025

Post a photo you took with no context to bring some zen to the timeline

140

Reposted by David R. MacIver

Laurence Tratt @ltratt.bsky.social · 06/03/2025

Shrinkray has very sensible rules that apply well to languages it has no specific knowledge of -- we make a *lot* of use of this and it's brilliant! -- and it scales near-linearly to the number of cores. If you need a reducer, I highly recommend it! Thanks @drmaciver.bsky.social!

191

David R. MacIver @drmaciver.bsky.social · 08/02/2025

I wrote some notes on how LLMs work, aimed at non-programmers, that you might find interesting. notebook.drmaciver.com/posts/2025-0... Feedback, corrections, and follow-on questions very welcome.

notebook.drmaciver.com

How do LLMs work?

291

David R. MacIver @drmaciver.bsky.social · 18/12/2024

Every time you wonder how something in Hypothesis works, you can usually reverse engineer it from the following design logic: 1. What's the obvious, natural, way to do it. 2. What are the problems with that? 3. Can those be fixed? Not without doing something ridiculous and unreasonable. 4. Do that.

040

David R. MacIver @drmaciver.bsky.social · 17/12/2024

@defenderofbasic.bsky.social I think that (possibly in a few minutes) this message is going to show up in your search.

020

David R. MacIver @drmaciver.bsky.social · 16/12/2024

Something I very much enjoy on discord is when one of us memes the others into trying ridiculous exercises. e.g. a while back we had a conversation about whether it was easy to stand on one leg with your eyes closed (it's not) and we had like a dozen people going "Surely it is..." and trying it.

260

David R. MacIver @drmaciver.bsky.social · 15/12/2024

I enjoyed the last threadapalooza I did, so I think I'll do another one or two in December. They're a good way of drawing out thoughts about topics, and I've got a couple of concepts that I'm trying to figure out how to articulate better. Current candidate threadapalooza topics:

160

David R. MacIver @drmaciver.bsky.social · 11/12/2024

Are there any academics you're completionist about reading their papers? e.g. you've got a google scholar alert that tells you when they've got a new paper out and always read it when they do.

120

David R. MacIver @drmaciver.bsky.social · 09/12/2024

I thought I was pretty good at self massage, but I'm sortof blown away at how effective this really simple technique that I didn't know is at relaxing me. www.youtube.com/shorts/3fxEU...

youtube.com

Quick Relief: Banish Muscle Knots with Sub-Occipital Massage in 45 Seconds

YouTube video by Next Level Physical Therapy

191

David R. MacIver @drmaciver.bsky.social · 06/12/2024

Absolutely go fuck yourself, duo.

160

David R. MacIver @drmaciver.bsky.social · 05/12/2024

x.com/DRMacIver/st... This one isn't my top tweet of all time, it's only my tenth most quoted tweet of all time, but it probably is my best tweet of all time.

090

David R. MacIver @drmaciver.bsky.social · 04/12/2024

I posted this on discord and now we're all talking about how great animals are and all the animal species we like.

240

Reposted by David R. MacIver

Starfire’s Deranged Neocon Foreign Policy Podcast @irhottakes.bsky.social · 03/12/2024

Korea Expert here. I’ll explain what’s going on over there because the Orient can be confusing to Westerners. In Korea, there is a concept known as “the law.” (법) This is a set of rules which are enforced to encourage prosocial behavior and ensure stability which leaders aren’t allowed to break.

17391422226

David R. MacIver @drmaciver.bsky.social · 04/12/2024

One peril of too much philosophy is that if someone asks "Do you know X?" it's very easy to get into a spiral of "What even is knowledge??"

261

David R. MacIver @drmaciver.bsky.social · 03/12/2024

When an astute observation becomes a named law, it ceases to be a good observation.

120

David R. MacIver @drmaciver.bsky.social · 03/12/2024

If I had a nickel for every time I've invented a genuine improvement to binary search (for a specific application) I'd... Have two nickels. But it's weird that it's happened twice. notebook.drmaciver.com/posts/2024-1... notebook.drmaciver.com/posts/2019-0...

notebook.drmaciver.com

Filtered sampling from sorted values with incremental binary search

051

David R. MacIver @drmaciver.bsky.social · 03/12/2024

Bluesky really needs a per-account "turn off reposts from this account" feature like Twitter has. Or does it have one and I'm missing it?

171

David R. MacIver @drmaciver.bsky.social · 01/12/2024

Right, it's December 1st, and I said I'd do a 100 post thread on here instead of Twitter for Threadapalooza this year... but also it's late and I don't have much energy left, so here's the start of one: 1. This will be a thread about running an Internet community.

1446

David R. MacIver @drmaciver.bsky.social · 28/11/2024

Tentatively I think I will be doing my threadapalooza thread on running communities on the internet.

000

David R. MacIver @drmaciver.bsky.social · 28/11/2024

You've probably seen it in the screenshot internet because everyone has at this point. My brother was complaining that his friends keep posting it on Facebook. x.com/DRMacIver/st...

184

Reposted by David R. MacIver

Peter Russell @qwertyface.uk · 21/11/2024

The point is that I'm suspicious of the people who present this as an obvious issue. I tend to think of them as extremists. I particularly don't like the ones who ascribe sinister motivations to people on the other extreme, yet ignore the rest of us entirely.

131

Reposted by David R. MacIver

Peter Russell @qwertyface.uk · 21/11/2024

I feel conflicted about it. Don't you? When I'm working from home there's a lot that's gained, and there's a lot that's lost. There are bits of my job that work as well or better remotely, there are bits that suck when done remotely...

111

David R. MacIver @drmaciver.bsky.social · 22/11/2024

drmaciver.substack.com/p/meditation... I guess if I'm here I might as well post newsletters here as I write them. This one's weird. It's of that rambling type where probably either people will really like it or it doesn't make sense to anyone but me.

drmaciver.substack.com

Meditations on taste

Allow me, if I may, to introduce you to a novel meditative practice.

060

Reposted by David R. MacIver

Fun Pilgrim @tasshin.com · 22/11/2024

threadapalooza 2024: not just for twitter dot com! do 100-tweet length thread on a website near U in December!

9297

David R. MacIver @drmaciver.bsky.social · 22/11/2024

OK one thing that might keep me here for a bit is that @tasshin.com wants me to do threadapalooza and I don't want to do it on Twitter this year, so I'll commit to doing it here.

1180

David R. MacIver @drmaciver.bsky.social · 22/11/2024

It's interesting how little an idea you can have of what someone looks like from photos (he says from behind his fuzzy blanket). People who I haven't met look totally different every time their profile pic changes. In contrast, if we've met in person every picture looks like a picture of you.

060

David R. MacIver @drmaciver.bsky.social · 02/08/2023

Humanities people should really learn at least one STEM subject so that they can actually properly grasp that abstraction depth is a thing that really exists and not everything is about near-universal human experiences.

180

Reposted by David R. MacIver

tef @tef.bsky.social · 01/08/2023

the problem i have with "humanities teaches you empathy, unlike stem" is that i live in the uk i'm ruled by a bunch of landlords who can't use a computer, sure, but they sure can quote the classics in the original latin

2366

Reposted by David R. MacIver

Tobias Wilson-Bates @phdhurtbrain.bsky.social · 28/07/2023

Babe, is everything ok? You’ve hardly posted on your 9 different social media accounts where you are mutuals with the exact same 200 people

151408436

David R. MacIver @drmaciver.bsky.social · 30/07/2023

I think I'd like to try using bluesky as well as mastodon, but I need to figure out some way to segment by topic so I don't end up having massive "oh no where do I poast??". The natural split seems to be that tech twitter have moved to mastodon and unhinged therapy twitter to here.

150

David R. MacIver @drmaciver.bsky.social · 24/07/2023

TBH even though I dislike it significantly more on a technical level, I'm probably going to end up mostly on Mastodon rather than here if I don't abandon the entire format.

010

David R. MacIver @drmaciver.bsky.social · 23/07/2023

It felt appropriate to screenshot this and post it somewhere, so here you go.

141

David R. MacIver @drmaciver.bsky.social · 23/07/2023

Substack Notes has a really amazingly good feature that I've not seen anywhere else and want everyone else in this space to copy, which is that it gives you a feed of the posts of people who follow you as well as one of those you follow.

180

David R. MacIver @drmaciver.bsky.social · 23/07/2023

Twitter is really bad at the moment and everyone seems to be getting their account suspended, so I guess I'm going to give this place another try. I'm not really wildly optimistic though, I do think maybe Twitter-likes have run their course.

050

Reposted by David R. MacIver

bubbe yaga @ellearmageddon.bsky.social · 17/05/2023

Your job as a staff+ engineer is to help the earlier-in-career engineers make funnier mistakes than you did.

04915

David R. MacIver @drmaciver.bsky.social · 16/05/2023

Anyway, I haven't really figured out what to post here, but past experience is that the easiest way to figure that out is to start conversations with other people. (Last time I did this I think I accidentally started/accelerated a scene)

230

David R. MacIver @drmaciver.bsky.social · 16/05/2023

Apparently bluesky doesn't have one of the most important Twitter features: The ability to turn off reposts from an account. This means I'll be way more aggressive about unfollowing here. Sorry.

230

David R. MacIver @drmaciver.bsky.social · 10/04/2023

Hello? Testing, testing, is this thing on?

270