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!

screenshot of lantern's admonition support

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