Diary 2025-01-18
Taking it easy so I can take care of some business.
Taking it easy so I can take care of some business.
Varying levels of intuition arguing about whether "static ref counting" is a thing that can possibly work.
At some point I'll have a concrete idea of what to do next...
Oh boy, it's time to bring in more extensions to the simply-typed lambda calculus.
I'm closing in on having a sense of whether Impliciula is, like, a workable idea.
Progress on various fronts, but too tired to explain.
I hope I at least converge on a consistent architecture with this stuff...
Another one that's safe to skip.
It's possible that I'm conflating two fundamentally different things that happen to occur around the same time.
Weird obstacles, but should be over them soon.