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

Proposed superhero team: the Restorative Justice League

Just saw bus number 69 driving on Naas Road

alright, I now have empirical evidence either that Ireland exists or that Aer Lingus makes pretty incredible sound stages

@judofyr yeah, I think that is a super interesting question! carrying a lot of data in the weights while parsing a very ambiguous grammar would be terrible for performance (I think you could easily push it out of O(n^3) territory, probably?) but it should still give a _correct_ result as long as you've actually satisfied the semiring laws.

@judofyr yup, that's absolutely a fair concern!

also I want to back up and say again that I still think what you've written is awesome, even if you go in a different direction than I wanted to explore. you've captured an algorithm that made no sense to me and made it much more clear.

@judofyr I tend to think that if the underlying theory has fewer special cases, that there will be more surprising things you'll discover you can do with it? for example, I feel like unparsing should be almost as easy as parsing in my library, although I haven't worked out how.

I'm particularly interested in the semiring stuff because that can encode a lot of context-sensitivity in ways I think feel reasonable--like carrying a symbol table around to disambiguate C's type-vs-variable thing.

@sargoth yes, or something else entirely!

@lifning That's a fascinating question and I don't know the answer, but: I feel fairly confident in saying at least that you can't have function declarations that refer to external definitions without making those definitions available to the linker. So I think bindgen would have to generate entirely different code, involving explicit calls to dlsym, in order to do what you're asking for. But maybe it does offer that option, or maybe I'm wrong!

in the US we make all sorts of pasta-based dishes that are only loosely inspired by traditional Italian recipes. you might say they're all pastiche

@audrey This exercise is also interesting because I think I can spot some patterns in my depression from seeing when I was writing...

@audrey There are a few posts I've chosen to drop because in hindsight they were too personal or I regret having written them. But I was generally deliberately writing for a public audience on each of these platforms, and for the most part I feel I did pretty well at that. When I didn't, I personally still want to acknowledge that I'm a different person today than I was then.

But I'm certainly not going to say anyone else should do the same since everyone's circumstances differ!

currently manually importing some of my old Google+ posts into my blog. I previously imported my LiveJournal, Blogger, and ancient files from my personal website, but I forgot I'd ever used Google+ for anything interesting, and there's one post there I _really_ want to save.

Bah, this was supposed to be a reply to @CobaltVelvet https://octodon.social/@CobaltVelvet/100940736387980798

I remember being excited that Java enums could have both fields and methods, although you only get one copy of the fields per enum value so really they need to be constants set when the enum is declared. But then getting to go to Rust's proper sum-typed enums is sooo much better still!

@ky0ko if you try it out I'd love to hear how it goes!

@Azure @kellerfuchs Have you looked at https://github.com/dhall-lang/dhall-lang ?