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:

OSC (Operating System Commands) 10 and 11 are terminal escape sequences used to get or set the terminal’s default foreground and background colors.

In xterm’s control sequence documentation, OSC 10 and 11 are "dynamic color" commands:

OSC 10: default text (foreground) color

OSC 11: default background color

They support both setting and querying.

One of Ghostty's reporting formats for OSC 10/11 queries is rgb:RRRR/GGGG/BBBB

16-bit per channel hex numbers (scaled up)

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