OK. I've translated the (correctness) requirements of LeetCode No.22 to Lean, and ask Claude Code to both implement a solution and prove it.
Any conversation
Have recently consolidated my different chat apps (Signal, Slack, WhatsApp, Discord, Google Messages) into a single Matrix client + bridges - I'm 100% sold on Matrix.
@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to:You never tried IRC, did you? Good luck on Slomatrix! ๐
pรฉldรกul Telegram, Facebook, stb., de ilyen รผgynรถkรถkkel bรกrki talรกlkozhat naponta, egybลl felismerhetลk, meg is kell ลket szรฉpen jelรถlni, รฉs egyre bรฉnรกbbak a szรถvegรผk is, ahogy megfigyeltem, gondolom, attรณl fรผgg, ahogy promtoljรกk, vagy instruรกljรกk ลket, ha a gazdรกjuk kifogy az รถtletekbลl, a projekt hamar elfรกrad, a bot csak unalmas h#lyesรฉgekre kรฉpes egy idล utรกn
for example, Telegram, Facebook, etc., but anyone can encounter such agents every day, they are immediately recognizable, they need to be nicely labeled, and their text is getting lamer and lamer, as I have observed, I think it depends on how they are promoted or instructed, if their owner runs out of ideas, the project quickly gets tired, the bot is only capable of boring nonsense after a while
having just spent a week camper-travelling Norway, hiking mountains and glaciers, swimming in fjords really put some things into perspective for me - I should take more vacations
This inspired me. I think adventure might be part of our nature that needs more or less attention, but it somehow needs to be maintained to be achieved. Hehe, this might be simple thoughts, reading what i wrote.. but I am gratefull for you reminding me of the importance of fresh perspectives deriving from ones own willing exploratory experience.
Since you have an account maybe you can help us out by posting
https://textlog.cc/about ? :D Here is the HN thread if you want to copy the title.@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to:HN, and some carefully picked r/Reddits. Can't stand .