Notices by Jamey Sharp (jamey@toot.cat), page 9

@ianbicking I don't think this is quite what you meant, but http://coccinelle.lip6.fr/ is an amazing "semantic patch" tool for C source code.

@er1n ooh, very cool! we tried building that sort of thing a bunch of times and never got to anything I was really happy with… maybe this will be better!

@jalcine The way the WebPush spec is written, I think they intended it to be used for all notifications from web services, not just in the browser but in desktop and mobile apps as well. So I still think that's the mechanism you want?

@jalcine Hmm, I wonder if any of the browsers allows configuring which WebPush server it should use? If not, I bet at least Firefox would take patches... Beyond that, I guess we just need an easily-deployable WebPush server-side implementation, and I think Mozilla's implementation might already be a good fit for that.

@jalcine I tried OsmAnd for the first time last month and I am super impressed. In several ways it was better than Google Maps.

For web use, https://www.openstreetmap.org/ seems to do most of what I want.

Neither one supports public transit yet as far as I can tell, but since many transit authorities make their GTFS data freely available to the public, I'm hopeful that somebody will fix that eventually.

@typhlosion I think you can generalize your labels: it isn't just Literate Haskell that falls in the latter category, but any literate programming system, going back to Knuth's WEB system for Pascal in 1984. I'd also give Jupyter Notebooks as a particularly effective example of that style.

But I think @KitRedgrave is talking about something different, because the literal HTML isn't there to describe what the PHP source is doing. It's more like metaprogramming, I guess?

reading Latin like, "superbum? more like super bum amirite"

@cstanhope @pho4cexa Now that I have Firefox on my phone and not just on my laptop, I'm finding that Firefox Sync alleviates some of those issues for me, since I can pop tabs back and forth between devices. But I agree, there's still a huge gap between what I can do with a small touchscreen and what I can do with a keyboard... 'course it also helps that I got my smartphone from someone who got it free at a Google event and didn't want it, so at least I didn't spend money on it 😅

@keiyakins @halcy also the difference between something that can match regular expressions and something that can parse XML (okay, HTML is a different beast) is surprisingly small: intersection and complement (which are still regular) plus recursion (which takes it past context-free into Boolean grammars).

entirely unrelated to the original point by now but I've been studying these things lately and I hope it was interesting 😅

@Asuyuia Wow, people have pointed me at various pages of that comic before but I never bothered reading the first one. That is quite a dramatic presentation.

I haven't heard anyone else talk about the wax argument since I was in college either, but I think about it from time to time. I just think it's an interesting thought experiment...

@Asuyuia This all reminds me of Descartes' philosophical "ball of wax example": https://en.wikipedia.org/wiki/Wax_argument

"Perhaps it was what I now think, viz. that this wax was not [any of several things], but simply a body which a little while before appeared to me as perceptible under these forms, and which is now perceptible under others. But what, precisely, is it that I imagine when I form such conceptions?"

@chara it's been fun chatting with you and now I'm going to try going back to sleep. here's hoping I'll have pleasant dreams about new episodes coming Monday…

@chara haha, right? the gems all have their moments of solid insight mixed in with some pretty solidly alien thought. I suspect Garnet's advantage is just that Sapphire's future-vision is all about modeling others' behavior, so she's used to doing that kind of mirroring, but even then there was that one episode where she realizes she's been modeling Steven incorrectly because he's changing as he grows up.

@chara yeah, I think that's an interesting question! there's the boring answer, that the show wouldn't work if Steven was a brat. but in-character, we know the gems aren't great at understanding human emotional needs, let alone meeting them.

new head-canon: Peedee is the most stable character in the show and Steven learned everything he knows about how to human from him.

@chara For people in general or for the characters of this TV show? Steven seems to have picked up way better habits for dealing with other people than I'd expect a 14-year-old to get from school, even considering that he gets things wrong periodically.

Insomnia thought: within the TV show "Steven Universe", I can't think of a single challenge any of the characters have faced that would have been helped by a modern education. Possibly some university-level philosophy or history courses would be of service, but most of the human characters aren't old enough to attend university classes according to the usual timelines. So in particular, it's probably fine that Steven himself has never attended school.