Isekaied Johnny Cash
09.10.2025 19:20 โ ๐ 4 ๐ 0 ๐ฌ 0 ๐ 0@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.
Isekaied Johnny Cash
09.10.2025 19:20 โ ๐ 4 ๐ 0 ๐ฌ 0 ๐ 0Same Romance language origin as English "spade?"
09.10.2025 18:16 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0no
09.10.2025 06:22 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0I 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.
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 ๐ 2Dan 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
If Rachit was still on bsky.
07.10.2025 23:11 โ ๐ 4 ๐ 0 ๐ฌ 0 ๐ 0Steampunk black death prepper chique?
07.10.2025 22:39 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Screenshot 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 ๐ 0advent of code?
I mean congresswoman Ocasio-Cortez seems nice, but ...
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 ๐ 0Ok, 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 ๐ 0Maybe 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.
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 ๐ 0tbf, 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 ๐ 0Is 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.
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
Oh, ffs, res.send doesn't default to an inert content-type.
06.10.2025 18:39 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0Finally an answer to my question.
bsky.app/profile/mvsa...
Brits: What could we put on top of this bus to really crown it as the pinnacle of bushood?
Another bus.
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 ๐ 0The stop delimiters seem dodgy too. Why can't those appear in message?
06.10.2025 18:10 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0Sorry 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.
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.
Completely normal. Injury recovery is a long, bumpy road.
03.10.2025 18:35 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0Glad you're well. Sucks that you had to deal with that.
03.10.2025 14:47 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0The White Australia Policy was a bit too on the nose.
03.10.2025 12:30 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Screenshot 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.
Non-zero-padded hours. 1:00:00
01.10.2025 14:17 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0