Dev Log 19: 2025-11-18

Primary

Beacon (code/docs)

I updated the documentation to feature the core capabilities of the LSP implementation here thanks to some feedback (warning: it's on the everything app) I got!

The work I did today solidified constraints and bounds around type variables in the type checker. Basically to fulfill:

Type variables give us the space of possible types. Constraints carve out the subset of that space which is actually allowed

Secondary

Lantern (code)

Speaking of feedback, a nice user opened an issue about an inaccuracy in the README and it's been fixed. I hope I get more of that! Feels good man!

Do you ever try to solve a problem and then discover it's been solved already? I've been making a rust version of one of my favorite tools and needed to figure out how to make a light/dark detector like charm's lipgloss (v2). I discovered a crate that does that for me! terminal-colorsaurus abstracts the results in to enum members ThemeMode::Light | Dark

Here's what I learned:

Also, check this out! We got admonitions!

Digital Garden (code/site)

I fixed the links in my digital garden by using a validator plugin. I also changed the theme to something more my style. Soon I'll be able to remove that remodeling warning/admonition.

There's some new unfinished notes on hm type systems. The OSC stuff above is also in my garden