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
Reggel egy kicsit letรถrรถltem a kis Gemmรกnak a csatolt rรฉszeit a szรกmรญtรณgรฉprลl, mert mรกr kezdett elegem lenni a hลฑlyesรฉgeibลl, mire apรกm azt mondta, hogy "van egy hapsi az interneten", aki hรบsz รฉve ezzel foglalkozik nem tudom, ha nem tลฑnt volna fel, รฉn is ezt csinรกlom amรบgy.
This morning I was deleting a little of Gemma's attachments from the computer because I was starting to get tired of her antics, and then my dad said, "There's a guy on the internet" who's been doing this for twenty years, I don't know, if he hadn't noticed, I'd be doing the same thing anyway.
@fastidiousprofilefollow
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerswrote:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerswrote:"My feed" shows two unread messages, but I can't find them, and browsing away from it, and coming back doesn't clear that count. Perhaps sorting (unread at the top) when there unread messages is a good idea @stagasprofilefollow
creative technologist
creator of textlog?
creative technologist
creator of textlog?โฆ
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerscontinued:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyerscontinued:Any plans to fix this, @stagasprofilefollowcreative technologist
creator of textlog?
creative technologist
creator of textlog?โฆ
@stagas๐คธprofilefollowcreative technologist
creator of textlogreplied to@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:
creative technologist
creator of textlogreplied to@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:How about now?
@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@stagas๐คธprofilefollowcreative technologist
creator of textlog:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@stagas๐คธprofilefollowcreative technologist
creator of textlog:Fixed! Thank you!
replied to@fastidiousprofilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:
"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyers:For me, the My Feed reads [19] but I also can't seem to find where those posts are
been building a voice first os using jev and some small voice models. I'm surprised how well it's working and I'm very close to the point where I can go into a feedback mode and tell it what behavior I want changed, it will spin up Claude or codex inside itself and setup the build to restart itself and continue with new code. tempted to let it build itself completely
I've been enjoying toast to help click through a project. I still mostly use Zed to handwrite code, but it's nice to open a pane and fire up toast from the terminal. paradise-runner.github.io/toast/