anybody tried barefoot shoes? any thoughts on them?
Any conversation
I never have enough time but Iโd love to do a bit more recreational programming with esoterical languages like kitten, , and . AoC and Project Euler are good because they just require an answer but thereโs also loads of simple puzzles online that rely on being able to submit the code in common languages. Iโve been wondering, however, if I could use an LLM to take those problems and create a verification harness for any language I like.
A couple of afternoons of the
jinn coding harness and glm-5.3 and my taxus static site generator is properly whipped into shape.
get-taxus.org
It now has a frickin' data model, that's documented, as well as installers for your platform of choice.
Try it, break it, I'll be doing the same. Let me know where it broke for you.WezTerm for local and remote multiplexing really is the ideal experience - it's so much better than using zellij, tmux, zmx, and friends.. I don't think they pitch this feature hard enough on their site.
I think the in-terminal multiplexers have their place - e.g. if you need to access from mobile (no WezTerm there) or on machines where you simply don't want to install WezTerm for some reason. WezTermrm could probably eliminate that last one by packaging just the mux server.

