I'm keeping a very detailed log of our travels, complete with silly drawings.
If it's interesting enough, maaaaybe I'll compile it into another book.

this is not as cool as i had hoped because it just hardcodes the first 14 terms of the continued fraction for pi, i.e. 3, 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, 1, 1

https://oeis.org/A001203

(i did implement a generalized continued fraction which isn't hardcoded, but (A) it converges much more slowly and (B) it doesn't actually find the "best" convergents (e.g. 355/113) so it just didn't seem very useful.)

@d6 D: HOW?!

@neauoire You might like Agda's mixfix operators:
https://agda.readthedocs.io/en/v2.5.4.1/language/mixfix-operators.html

@neauoire sounds very dark and difficult

@neauoire Good luck! Do you have RADAR?

@neauoire I’m curious. Does someone always have to be at the wheel or can you leave the ship to its own devices every now and then

@neauoire I love papers from earlier in the 20th century because the writing is so much more engaging.

@neauoire I'm convinced that there's some preference for the amount of notation you can cram in a paper, and it's been rising for the past 40 years.

Most of my initial work on Modal was combing through notation-heavy papers found in obscure journals, where even the slightest glint of insight could be found.

The hard part was piecing together the good parts from the huge aggregate of literature. It's a habit that sticks with me even to this day.

@neauoire I can relate so much! I also feel dreadful when I have to write some of these papers sometimes. I got my own theory on how we got here which I'm happy to talk about in PMs.

But if you're looking for top quality entertaining papers in (functional) programming languages look for "Functional Pearls" in ICFP and JFP. The CfP states that the papers must be engaging, fun, and short-ish. Most of the time that is the case.

The secret is that I'm marking when sand is in a stable state (can't move down, left, or right).

@capital well that's definitely a Sand implementation like the world has never seen before. @TodePond have you ever come acrossSand implemented in rewrite rules alone? :tode: :eyes_fast:

@neauoire how are we drawing!

@neauoire draw.modal works!

But hello.modal segfaults, FYI.

@neauoire What do you do in that situation?

@neauoire time to run some large language model queries on your laptop!

Sorry, I'll see myself out... 🙃

@neauoire safe trips! hope everything goes well! enjoy the great ball of fire in the sky!

@neauoire obligatory "hey what's that song"

@neauoire I had a fever dream about a computer that could only run one piece of software which was self modifying and the source had to be twisted in real time to do what you needed. The program was fixed length, and always had to stay that length, so you could only overwrite bytes.

I feel like you might make this real.

@neauoire

Have you tried the paper filter hack yet?

Oh I realized the website doesn't say, but it starts at 11 AM. Or 11:30? Not quite sure. I'll try and be in chat at 11 this Sunday.