You can now change the theme/color scheme appearance by . Thanks to who implemented this first in their app and which I shamelessly ripped from.
Any conversation
โขโกโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ
โขปโฃฟโกโขถโฃคโฃโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โฃโฃ โฃ
โ โขปโฃโ โ โ โ ณโฃฆโฃโ โ โ โ โ โ โ โ โ โ โ โ โ โฃโฃคโ ถโ โ โฃนโฃฟโกฟ
โ โ โ นโฃโ โ โ โ โ โขทโฃโฃโฃโฃโฃคโฃคโฃคโฃโฃโฃดโ โ โ โ โ โ โขโฃฟโกโ
โ โ โ โ โขทโกโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โฃ โกพโ โ โ
โ โ โ โ โ โ ปโกถโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โข โฃ โกพโ โ โ โ โ
โ โ โ โ โ โฃผโ โ โข โ โฃโ โ โ โ โ โ โข โขฒโฃโ โ โ โขปโฃโ โ โ โ โ
โ โ โ โ โขฐโกโ โ โ โ โ โ โขโฃโกโ โ โ โ โ โ โ โ โ โฃฟโกโ โ โ โ
โ โ โ โ โฃพโกโ โขณโ โ โ โ โ โฃโฃโ โ โ โ โฃฐโขโ โฃถโ โขนโฃโ โ โ โ
โ โ โ โ โขฟโกโ โ โ โ โ โ โฃพโ โ โขฑโ โ โ โ โ ฒโ โ โ โ โฃฟโ โ โ โ
โ โ โ โ โ โขทโกโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โขปโกโ โ โ
โ โ โ โ โ โ โกโ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โขธโฃง โ โ โ
โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ โ
I read
Still trying to figure out the boundaries of these tools' strengths without outsourcing important thinking, problem-solving, and the collective building-up of a mental model of the systems we're developing.
The shape of LLM tools as toolsโfit for a purpose, ergonomicโis becoming clearer, and human patterns of behavior with them that do more harm than good are also becoming easier to recognize.
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.

