Mike Samuel ๐ŸŸฃ's Avatar

Mike Samuel ๐ŸŸฃ

@mvsamuel.bsky.social

I solve large software systems problems with programming language techniques. Previously, I was the first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.

638 Followers  |  633 Following  |  1,207 Posts  |  Joined: 21.08.2023  |  2.4946

Latest posts by mvsamuel.bsky.social on Bluesky

Isekaied Johnny Cash

09.10.2025 19:20 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Same Romance language origin as English "spade?"

09.10.2025 18:16 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

no

09.10.2025 06:22 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I thought TP was a counter to utilitarianism.

As you say, everyone ought not fear being near others who might use them as a convenient trolley stopper, or take them apart for spares.

No one quantity balances both preventible death and that fear of being a means to another's ยฟrighteous? end.

08.10.2025 18:56 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Its been 2 yrs. I still grieve those murdered on 10/7 by Hamas & the people held hostage. But even today we must focus on urgently ending this genocide. We cant grieve those murdered on 10/7 w/o also grieving those who have been killed since by Israel. They are connected crimes

07.10.2025 13:40 โ€” ๐Ÿ‘ 95    ๐Ÿ” 22    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 2

Dan was a delight. I miss getting super energetic emails out of the blue where he starts on one topic and then ends up interrogating me about everything I know related to three completely different topics before running off to build something no-one else can.

RIP

08.10.2025 05:33 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

If Rachit was still on bsky.

07.10.2025 23:11 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Steampunk black death prepper chique?

07.10.2025 22:39 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Screenshot of racket interactive shell session showing a backtick quoted emoticon entered at the command line and a different one printed as output.

๐Ÿš$ racket
Welcome to Racket v8.17 [cs].
> '(:- {})
'(:- ())
>

Screenshot of racket interactive shell session showing a backtick quoted emoticon entered at the command line and a different one printed as output. ๐Ÿš$ racket Welcome to Racket v8.17 [cs]. > '(:- {}) '(:- ()) >

Yeah. Racket's syntax desugaring breaks emoticons.

07.10.2025 22:33 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Cheat Codes for Junior Engineers | Kat Kime

(the blog)

07.10.2025 16:46 โ€” ๐Ÿ‘ 4    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

advent of code?

I mean congresswoman Ocasio-Cortez seems nice, but ...

07.10.2025 20:29 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I have no personal experience of religious feelings so I hesitate to apply such labels, but I appreciate the poetry, and am glad it helps you in your own quest for understanding.

07.10.2025 20:12 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Ok, iiuc "arises from" can be non-causal. Our understanding of our physical bodies arises from self examination and understanding physical processes. An ordering principle is "was used to clarify" not "existed before" or "caused to be."

07.10.2025 20:02 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Maybe I suspect that the search for foundations is worthwhile but you might never know if you get there due to hard perceptual limitations.

Even if it isn't infinite turtles all the way down, there might be some invisible turtles under the visible ones.

07.10.2025 19:51 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Fair. At the risk of unwittingly echoing your initial point, "is fundamental" seems to require a partial order over concepts. As someone who's stepped on the "but we need co-referential definitions" rake in every PL I've designed, I think of that order as an outcome of investigation, not a guide.

07.10.2025 19:49 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

tbf, Descartes was quite progressive for his time. He explained that he wrote Discourse on the method in French to be accessible to those, including educated women, who were not taught Latin.

07.10.2025 18:15 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Is materialism based on "result of", or that material interactions are sufficient to understand/predict what happens to the degree it can be?

A lot of the epiphenomena stuff confuses me, but the parts that made sense to me are mostly about limits of understanding&prediction like grey-room Mary.

07.10.2025 18:09 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

I don't object to pan-, maybe because I see consciousness as separable from identity&interests.

Simple, multicellular organisms have interest in identity, any physical mechanism that helps them eat more not-self than self.

"Identity" in math is binary, but not in the support/consume decision sense

07.10.2025 17:54 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Oh, ffs, res.send doesn't default to an inert content-type.

06.10.2025 18:39 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Finally an answer to my question.

bsky.app/profile/mvsa...

06.10.2025 18:34 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Brits: What could we put on top of this bus to really crown it as the pinnacle of bushood?

Another bus.

06.10.2025 18:25 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Also, sending a message that is not obviously non-confidential to something named /public seems like a potential privacy failure.

06.10.2025 18:11 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

The stop delimiters seem dodgy too. Why can't those appear in message?

06.10.2025 18:10 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Sorry I'm horribly ignorant about this kind of stuff. What is the system role?

And the context is cut off so I'm not really sure what the concatenation after content: is doing.

06.10.2025 18:09 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Filesystem. Our model of the filesystem is quite simplistic: we track a hierarchy of files and directories, but not file contents. Such a simple model suffices to simulate pathname expansion and file
descriptor redirections (dup) and heredoc redirections (here), but not file redirections (file). It is
a matter of engineering effort to produce a better symbolic filesystem. It would be interesting to
link our symbolic system up with SibylFS (also written in Lem) [Ridge et al. 2015] or Forest [Fisher
et al. 2011], or to use Ntzik et al.โ€™s reasoning [2017; 2018]. We can also imagine implementing a
read-only filesystem that allows access to the real, underlying filesystem, but treats writes (and
other dangerous operations, like execve) as noops. We consider platform-specific filesystems, like
/proc, as out of scope; we could in theory apply platform-dependent reasoning [Nita et al. 2008].

Filesystem. Our model of the filesystem is quite simplistic: we track a hierarchy of files and directories, but not file contents. Such a simple model suffices to simulate pathname expansion and file descriptor redirections (dup) and heredoc redirections (here), but not file redirections (file). It is a matter of engineering effort to produce a better symbolic filesystem. It would be interesting to link our symbolic system up with SibylFS (also written in Lem) [Ridge et al. 2015] or Forest [Fisher et al. 2011], or to use Ntzik et al.โ€™s reasoning [2017; 2018]. We can also imagine implementing a read-only filesystem that allows access to the real, underlying filesystem, but treats writes (and other dangerous operations, like execve) as noops. We consider platform-specific filesystems, like /proc, as out of scope; we could in theory apply platform-dependent reasoning [Nita et al. 2008].

sh and bash are similarly eager & streaming; a shell script can rewrite its tail. Also, there're multiple stages of lexical processing and substitution.
dl.acm.org/doi/abs/10.1... is an attempt at semantics there. iirc, it gets the line orientation but makes simplifying assumptions about the FS.

06.10.2025 16:53 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Completely normal. Injury recovery is a long, bumpy road.

03.10.2025 18:35 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Glad you're well. Sucks that you had to deal with that.

03.10.2025 14:47 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

The White Australia Policy was a bit too on the nose.

03.10.2025 12:30 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Screenshot from github.

URL bar reads https://github.com/unicode-org/cldr-json/blob/main/cldr-json/cldr-dates-full/main/en-001/ca-generic.json

The code browser shows dateSkeletons and timeFormats.  Text below.

            "dateSkeletons": {
              "full": "GyMMMMEEEEd",
              "long": "GyMMMMd",
              "medium": "GyMMMd",
              "short": "GGGGGyMMdd"
            },
            "timeFormats": {
              "full": "h:mm:ssโ€ฏa zzzz",
              "full-alt-ascii": "h:mm:ss a zzzz",
              "long": "h:mm:ssโ€ฏa z",
              "long-alt-ascii": "h:mm:ss a z",
              "medium": "h:mm:ssโ€ฏa",
              "medium-alt-ascii": "h:mm:ss a",
              "short": "h:mmโ€ฏa",
              "short-alt-ascii": "h:mm a"
            },

Screenshot from github. URL bar reads https://github.com/unicode-org/cldr-json/blob/main/cldr-json/cldr-dates-full/main/en-001/ca-generic.json The code browser shows dateSkeletons and timeFormats. Text below. "dateSkeletons": { "full": "GyMMMMEEEEd", "long": "GyMMMMd", "medium": "GyMMMd", "short": "GGGGGyMMdd" }, "timeFormats": { "full": "h:mm:ssโ€ฏa zzzz", "full-alt-ascii": "h:mm:ss a zzzz", "long": "h:mm:ssโ€ฏa z", "long-alt-ascii": "h:mm:ss a z", "medium": "h:mm:ssโ€ฏa", "medium-alt-ascii": "h:mm:ss a", "short": "h:mmโ€ฏa", "short-alt-ascii": "h:mm a" },

Btw, for the exhaustive answer to this, the CLDR data tables are surprisingly accessible.

cldr.unicode.org/translation/...

Those show a timezone after the am/pm marker.

01.10.2025 14:22 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Non-zero-padded hours. 1:00:00

01.10.2025 14:17 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@mvsamuel is following 20 prominent accounts