Last month I updated my website to be readable without Javascript. I alluded to some of the reasoning for that in the blog post where I described how I modified my website. After chatting with a colleague, I realized I could be less oblique on why I modified my website. This is that belated blog post.
I've finally crossed it off my to-do list: if you have Javascript enabled, you can now comment on this blog with a Mastodon account! If you don't have Javascript enabled, you won't see comments, but you will now see math and diagram renderings (as opposed to LaTeX and MermaidJS code blocks).
This post documents what I did and my justifications/reasoning.
Well I've finished my diesel ORM implementation and naturally it took longer than expected. I'll highlight the challenges and some of the changes I made to the database, and some changes I'd like to make, within this post.
I recently talked about precision in a lab meeting, where I connected it to Helical semantics. This post summarizes some of the background and observations that informed that chalk talk.
There are three uses of precision that I focused (and will focus on in this post):
It's been almost a year since I started on my Helical rewrite in Rust (with a sizable dose of help and motivation from John!). I wrote the prototype in Python and while Gwen has been a good sport about alerting me to usability issues, the truth is that updating the core code is getting unruly. I've also been re-doing some of the program analysis stuff so that it's cleaner, less ad hoc, and generally more amenable to an interesting paper about the program semantics. However, I've let myself get distracted over the past year on other things, so I'm going to try to be more disciplined about getting the Rust rewrite done. In services of that I've decide to blog my way through the process, since like a lot of people I haaaaaaaate context switching and having to pick up where I left off.