Mike Samuel 🟣 @mvsamuel.bsky.social · 23hAnd sometimes it's like "if we make an animal entirely out of snakes, could it still be cuddly?" 010
Reposted by Mike Samuel 🟣Devamardeep Hayatpur @devamarh.bsky.social · 08/10/2026I am very pleased to share the program for LIVE'26: liveprog.org We have seven exciting presentations as well as a featured keynote by Brian Hempel! LIVE this year will take place remotely, so come join us over video-chat next Saturday (Oct 17) :) 0129
Mike Samuel 🟣 @mvsamuel.bsky.social · 08/10/2026He looks like a frilled lizard who is working really hard not to inflate his throat sack when threatened. 030
Mike Samuel 🟣 @mvsamuel.bsky.social · 08/10/2026All cleverness is Shriram's. I just rode the coattails of his humour. 010
Mike Samuel 🟣 @mvsamuel.bsky.social · 07/10/2026Huh. Sometimes running an auto-formatter over one's old code leaves one with questions. 020
Mike Samuel 🟣 @mvsamuel.bsky.social · 07/10/2026But those have more of a "for example" flavour than "what to do" so not sure I'm disagreeing with your point about need for clear separation 110
Mike Samuel 🟣 @mvsamuel.bsky.social · 07/10/2026Some company was touting their spec for an orchestrator as evidence of how AI forward and all the places where you'd have acceptance criteria, ideally runnable acceptance tests, were TODOs and I think filling those out is actually a fine use for genAI if the alternative is they never exist. 100
Mike Samuel 🟣 @mvsamuel.bsky.social · 06/10/2026Reading specs tells you surprisingly little about how to write good specs. The target audience is implementors who hate reading and just want to know what to do. The non-normative stuff about why not to do it some other way that you'd need to write a good spec is rarely in the specs themselves. 000
Mike Samuel 🟣 @mvsamuel.bsky.social · 06/10/2026Yeah. The whole "I'll have my agent help me write a specification instead of code" is wild to me. Assuming that because the training corpus has specifications in it that it can write specifications is just assuming a bunch of knowledge transfer that doesn't happen in practice. 220
Mike Samuel 🟣 @mvsamuel.bsky.social · 06/10/2026Yeah. It's important to disentangle. One of the early, large deployments of AI techniques was object character recognition for routing mail in a post office. That differs from AI surveillance in that no one assumes an address on the outside of an envelope is confidential, not the underlying tech. 020
Mike Samuel 🟣 @mvsamuel.bsky.social · 06/10/2026If I understand your larger point, we need to build on what's there and not expect people using agents who don't understand DS problems to magically self-assemble durable solutions. 100
Mike Samuel 🟣 @mvsamuel.bsky.social · 06/10/2026"Durable IDs" is not trivial and affects other aspects. A lot of eventual consistency hinges on non-authoritative nodes being able to assign IDs for something they create and using it for internal book-keeping before the created record ever reaches an authoritative node. 100
Mike Samuel 🟣 @mvsamuel.bsky.social · 06/10/2026Like a large part of the appeal of MongoDB was if you don't know/care about transactional integrity, you can get better results. But then you learn enough about DS problems to know you need transactional integrity, you've only got ad-hoc methods to roll your own transactions. 210
Mike Samuel 🟣 @mvsamuel.bsky.social · 06/10/2026No argument from me. The lifecycle of distributed systems toolboxes: 1. make it harder to shoot your foot 2. make it harder to shoot your foot 3. make it harder to shoot your foot 4. throw it out and invent another that makes is easier for junior devs to (checks notes) shoot their feet 131
Mike Samuel 🟣 @mvsamuel.bsky.social · 06/10/2026Just write kilobyte because that's what people understand and abbreviate it using NIST's KiB binary convention. physics.nist.gov/cuu/Units/bi...physics.nist.govDefinitions of the SI units: The binary prefixes 000
Mike Samuel 🟣 @mvsamuel.bsky.social · 05/10/2026It's baked into a lot of VC culture where the conventional wisdom is to invest in great entrepreneurs, not in plans. 010
Mike Samuel 🟣 @mvsamuel.bsky.social · 05/10/2026Rob Pike: We're putting the band back together. Cue Aretha Franklin. 020
Mike Samuel 🟣 @mvsamuel.bsky.social · 05/10/2026Weren't there a bunch of plan-9ers who worked on the first Go runtime? 100
Mike Samuel 🟣 @mvsamuel.bsky.social · 02/10/2026Sad to see that a lot of the E language stuff has been internet memory holed. For my future self and anyone else it may concern, some of it's still available via github pages directly. erights.github.io/erights-org-...erights.github.ioWhat's Updoc?E: Cryptographic Capabilities for Distributed Smart Contracting 020
Mike Samuel 🟣 @mvsamuel.bsky.social · 02/10/2026The refrain, "I'm proud of where I'm from but not everything we've done," drives me up the wall. Pride in things you're not responsible for is a step on the road to being a reactionary. 000
Mike Samuel 🟣 @mvsamuel.bsky.social · 02/10/2026This was also well said. "People ostensibly concerned with centering a victim can very quickly end up ventriloquizing her, constructing an imaginary person whose desires conveniently ratify whatever punishment (or forgiveness) they already wanted." 010
Mike Samuel 🟣 @mvsamuel.bsky.social · 02/10/2026And they can dual class. The fancy-pants'omancer is a hybrid crafting & magic class that can craft outfits granting them additional powers, for example, the famed hammer pants of Dur'Azin. Sworn enemies: ants. 000
Reposted by Mike Samuel 🟣Chimney Sweepers Local 420 @bobbby.online · 01/10/2026sometimes you just have to write a compiler that isn't a joke after you wrote a compiler as a joke 041
Mike Samuel 🟣 @mvsamuel.bsky.social · 30/09/2026Are you riffing on David Robert's talk "To understand where to GO TO you have to know where you COME FROM?" 000
Mike Samuel 🟣 @mvsamuel.bsky.social · 30/09/2026"Mayhaps" is what you get when you start down the track to saying "maybe" and end on the "perhaps" track. But has anyone ever tried "perbe?" 131
Mike Samuel 🟣 @mvsamuel.bsky.social · 30/09/2026Seceng is all synchronized screaming so mayhaps there's an audience participation angle here. 010
Mike Samuel 🟣 @mvsamuel.bsky.social · 30/09/2026I did my campus visit on the one sunny day in 1994 and I thought: "nice campus, friendly hosts, aging but nice student center. Cool cool." When I arrived on campus there was a giant hole in the ground where the student center had been, and sleet in September. 010
Mike Samuel 🟣 @mvsamuel.bsky.social · 30/09/2026The Andrews: Why did we do this in Pittsburgh when we could've done it someplace that occasionally gets some sun. 110
Mike Samuel 🟣 @mvsamuel.bsky.social · 28/09/2026Getting dragged for writing `#ifndef ...` instead of `#if !defined(...)` like it's C89. 030
Mike Samuel 🟣 @mvsamuel.bsky.social · 28/09/2026"impeachment is part of the work assigned to congress" 021
Mike Samuel 🟣 @mvsamuel.bsky.social · 28/09/2026Type erasure is pretty cool, but it's tempting to do bad things. 030
Mike Samuel 🟣 @mvsamuel.bsky.social · 26/09/2026bryantanner.blogspot.com/2009/04/you-...bryantanner.blogspot.comDr. McNinja: "You Can't Catch a Ninja If…"How would you like to be a Scottish-born ninja assassin bound by the hippocratic oath? 020
Mike Samuel 🟣 @mvsamuel.bsky.social · 25/09/2026Perl: There's more than one way to do it. Python (myth): There should be one -- and preferably only one -- obvious way to do it. Python (reality): There are multiple competing efforts to standardize 'the one' obvious way to do it, none of which will ever reach critical mass. 060
Mike Samuel 🟣 @mvsamuel.bsky.social · 24/09/2026Also, as someone who has spent a good chunk of their compsec career on quoting-confusion attacks, people paying attention to ambiguities like this warms my cold dead heart. 010
Mike Samuel 🟣 @mvsamuel.bsky.social · 24/09/2026Guillemets nest nicely because the opening quotation mark is visually distinct from the closing mark. 120
Reposted by Mike Samuel 🟣evacide @evacide.bsky.social · 24/09/2026A world of always-on cameras and microphones on peoples' bodies is a very serious privacy and security problem for the people wearing them and for everyone around them. 12275101
Mike Samuel 🟣 @mvsamuel.bsky.social · 24/09/2026It's less obvious in part because the earlier LoTR portrayal of elves is given through a filter of Hobbit mythologizing. I kind of like that Tolkein didn't do the same hackneyed "the pretty ones are the unalloyed good ones" trope that C.S. Lewis's and Roald Dahl rely heavily on. 030
Mike Samuel 🟣 @mvsamuel.bsky.social · 23/09/2026Fyi, one of my favourite confined DSL-in-GPPL-clothing PLs that does odd things in safety's name is Wuffs ( nigeltao.github.io/blog/2019/wu... ) which constrains arithmetic so that audio/video codec maintainers can do arithmetic for byte decoding without risk of OoB indexing.nigeltao.github.ioWuffs v0.2.0 is Released 110
Mike Samuel 🟣 @mvsamuel.bsky.social · 22/09/2026Yeah. We tool-smiths need to understand what AI-assisted development is & could be, and work to guide it towards producing software that does good for end-users. Ignoring it just means devs who don't share my personal preferences are going to do work that affects real people with substandard tools. 160
Mike Samuel 🟣 @mvsamuel.bsky.social · 21/09/2026A compiler that knows about default expressions can ensure internal equivalence, e.g. by rejecting default expressions that refer to lexically-later-defined inputs. But with userspace macros, that's probably harder. 000
Mike Samuel 🟣 @mvsamuel.bsky.social · 21/09/2026The OP raises "internal vs external" input names. If one input's default expression refers to another input, is it referring to the internal or external name? 100
Mike Samuel 🟣 @mvsamuel.bsky.social · 21/09/2026Ok, but are argument lists cursed ad-hoc tuples as in SML or are they cursed ad-hoc chains of arrow types as in OCAML? 030