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-colorsaurussabstracts the results in to enum membersThemeMode::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