Coding 2024-03-27
This stuff isn't totally nailed down, but I want to make like one more decision before I move on from it for now.
Articles in the marimo tag
Weekly Roundup 2024-03-26
Just about ready to move on for now.
Coding 2024-03-25
Okay, let's see about getting back on track. Soonish.
Coding 2024-03-24
Slow and steady progress. Also, "I really should learn marimo properly sometime, huh?"
Coding 2024-03-23
So much done, so much much much more to do.
Coding 2024-03-22
Having the wind vigorously rattling things all last night probably didn't contribute to this entry's length.
Coding 2024-03-21
Once again got too engrossed hand-coding HTML. It's not even vaguely styled well this time.
Coding 2024-03-20
That's enough of that.
Coding 2024-03-15
It's called Tsetatsatal currently, and unfortunately that spelling is slightly non-indicative.
Weekly Roundup 2024-01-16
Good job with Dafny, bad luck with time management.