Dev Log 2: 2025-10-27
Yesterday
I did a lot of work on beacon's constraint and solver system. This was after setting up completions and planning out a linting engine.
Today
So far I worked extensively on extending the linting engine. You can read an overview about it here.
The docstring parsing is mostly complete and code needs to be back ported into the parserst crate I've made.
Stub parsing and discovery has also been added with typeshed integration in the works. With time today I plan to setup caches for a lot of the data the LSP uses.
SkyPanel
My goal today is to build a two pronged project to improve my experience on bluesky. It'll require me to learn about how the AT Protocol works in earnest. I was really enthusiastic about it when I got on the platform last year but didn't have a problem to solve but now I've got some deficiencies I want to address.
Basically there will be a chrome extension that lets you build on the fly feeds and perform some saving and backup on posts, like links, videos, etc. It'll also let you view your feeds with a collapsed view per user, so you're not scrolling through an entire page of a single user's posts and reposts.
The other half is a CLI that lets you read bluesky posts in the terminal. Gotta prototype with a CLI.
You can see what I've started here
Dev Log 1: 2025-10-26
This is my second post here on leaflet! I think today's log is a little more refined than yesterday. It's probably because the Dodgers won.
Yesterday
I worked on error boundaries in VoltX and scaffolded some observability enhancements.
Most of my time was spent on workspace level LSP features. The foundation is a dependency graph and the Tarjan SCC (strongly connected components) algorithm. The LSP indexes the workspace, resolves imports, and handles a cache.
Today
As I continue to learn about type inference to solidify my understanding, I plan to keep pushing towards completing the LSP implementation.
Static Analysis
Control & data flow analysis using graphs (per function). This includes narrowing of flow and construction of union types for conditionals (each branch is a member).
Handle PEP 484/585 type hints & annotations
Work on diagnostics - I'm a little worried about this one, because I want to create useful messages and I know I'll be second guessing wording.
Dev Log 0: 2025-10-25
Today I'm working on two projects: VoltX.js, a web framework inspired by htmx and alpine, and beacon, a LSP implementation and type system for Python.
Beacon
Yesterday I extracted and then expanded the rst parser and renderer that I wrote into a standalone published crate. Today I plan on reintegrating it.
I've got a lot of reading to do. So far my work on the hindley milner system portion of the codebase feels like a blur. Lots of stuff I don't completely understand. There's a popular paper called Typing Haskell in Haskell that I'm going to try to get through today.
VoltX
Today's all about developer experience and "delight." I want to make the tool as drop in as possible with powerful insights into the reactive lifecycle. So far I've finished error boundaries and even deployed a demo!
Top comments (0)