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
@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:Hmm, I think @stagasprofilefollow
creative technologist
creator of textlog is on vacation, or otherwise engaged with other affairs...
creative technologist
creator of textlog is on vacation, or otherwise engaged with other affairs...Ordered JBL Charge 6, waiting for delivery today. Will mount into my bike and will listen to music while commuting 25km to the office. I'm a victim of marketing, seeing an ad, buying stuff.
@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:Well, I think my IRCd (Eris v2) is close to be complete.
@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:๐ฅณ
I have something that usually builds, tests, and deploys under five minutes. It has been over two hours and forty eight minutes and it is still going on today... ๐ซฃ
็ๆฅๅฏไปฅๅไธญๆใๅ ไธบๆฒกๆ่บซไปฝ่ฏ๏ผๆไปฅไธ่ฝๆฅๆๆๆบๅท๏ผๆฅ็ไธ่ฝๆณจๅ็จณๅฎ็email๏ผไนๅฐฑๆฒกๆณๆณจๅๅ
ๅฎนๅนณๅฐ๏ผๅๅธๅ
ๅฎนใhotmailๅ ไธบๆๆฒกๆ็จณๅฎ็ipๅฐๅ๏ผๅธธๅธธๅฐ็ฆๆ็email่ดฆๅท๏ผๆ็mastodon่ดฆๅทๅ ๆญคไนๆฒกๆณ้ฟๆไฝฟ็จใๆๅธๆ่ฟๆฏไธไธชๆๅฏไปฅ้ฟๆๅๅธๅ
ๅฎน็ๅฐๆน
It seems I can post in Chinese. Because I don't have an ID card, I can't have a phone number, and therefore can't register a stable email address, which means I can't register on content platforms or publish content. Hotmail frequently blocks my email account because I don't have a stable IP address, so my Mastodon account can't be used long-term. I hope this is a place where I can publish content consistently.
@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:ๅฏ๏ผๅฅฝๅง๏ผไธบไบไฝ ่ชๅทฑ๏ผๆๅธๆๅฎ่ฝๆ็ปญๅพ้ฟๆถ้ดใไฝ ็ไบ่็ฝ้ฎ้ขๅพ้พ่งฃๅณ๏ผ้ๅธธๆฑๆญ๏ผ :-(
Well, okay, for your own sake, I hope it lasts a long time. I'm so sorry your internet problem is so difficult to fix! :-(
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:่ฐข่ฐขไฝ ๏ผๆฒกๆณๅฐ่ฟ็ๆไบบๅๆ็ๅธๅญ๏ผๆๅจไบ่็ฝไธ่ณๅฐๅ ๅนดๆฒกๅไบบๅฏน่ฏ่ฟไบ
Thank you. I didn't expect anyone to actually reply to my post. I haven't had a conversation with anyone online for at least several years.
@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:ๅพ้ซๅ
ดๆไธบๅพไน
ไปฅๆฅ็็ฌฌไธไธชไบบไนไธ๏ผๆ็ๆๅ๏ผๅฅฝๅฅฝ็๏ผๅจๆซๆๅฟซ๏ผๅ่ฐ
ๆ็ๅฐ้่ฏฏ๏ผๆๆญฃๅจ็จ็ฟป่ฏๆฅๅๅคใๆไปฌ้ฝ็ฅ้ๅคงๅคๆฐๆถๅ้ฝไธๅคชๅฅฝใ
So happy to be one of the first people to reply in a long time, my friend! Have a good weekend! Please forgive my little mistake, I'm replying using a translation. We all know things aren't always great.
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:sorry, what kind of contents are welcomed in this site?
@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:I am sure pretty much everything that isnโt criminal, abusive, or illegal. I know those definitions vary from country to country. Just be a good human, and you should be OK.
ๅฏนไบๆดไธชไบ่็ฝๅๅฒ๏ผๆๅฏ่ฏดๅบๆฌไธๆฏไธไธชๆ่ง่
๏ผๆไธ็ดๅจๆถ่ดนๅ
ๅฎน๏ผไฝๆฏๆฒกๆ็ไบง่ฟไปไนๅ
ๅฎน๏ผไบ่็ฝไธๆฒกๆๆ็็่ฟน๏ผ่ฟๆฏๆๅคๅๆ๏ผๅ ไธบไธญๅฝ็่บซไปฝๅๅ
ๅฎนๆฟ็ญ
Regarding the entire history of the internet, I can say I've been largely an observer. I've always consumed content, but I haven't produced any. There's no trace of me on the internet, which is an unforeseen consequence due to China's identity and content policies.
ๆไธๅคชๆ็ฝไธญๅฝ็โ้ฒ็ซ้ฟๅโๆฏๆไน่ฟไฝ็ใๆฏๅฆ่ฏด๏ผไฝ ๅฐๅบๆฏๆไน่ฎฟ้ฎ่ฟไธช็ฝ็ซ็๏ผ
๏ผๆๆฏๅจ้่ฟ็ฟป่ฏ่ฝฏไปถๅไฝ ไบคๆตใ๏ผ
I don't quite understand how China's "Great Firewall" works. For example, how exactly did you access this website?
(I'm communicating with you through translation software.)
โฆ(deleted post) (deleted post) (deleted post)
Hmm, its a ticking time bomb then.... what do you need to say and need help with?
If anyone can give me a ProtonMail or Tutanota email account, I would be extremely grateful. I have no way to receive verification codes.
You can send it to the temporary email: sl5n215ahf@lnovic.com, thanks
I've received it. Unfortunately, I'm in China and can't access ProtonMail, but I still want to say thank you very much.
@stagasprofilefollowcreative technologist
creator of textlog, editing on mobile breaks the โ280 chars / 10 lines max use and @mentionsand moreโ. Writing a new note doesnโt.
creative technologist
creator of textlog, editing on mobile breaks the โ280 chars / 10 lines max use and @mentionsand moreโ. Writing a new note doesnโt.there's no fundamental physical limit that prevents silicon from developing taste and judgement, but language is a lossy compression of reality.
taste comes from experience, from the shadowy mass of episodic memory, which swirls and convects at the boundary of consciousness. the ideas recombine into new ones in the nuclear reactor of the hippocampus.
but no matter how imbued with meaning and expertise is a handmade wardrobe we still get our shit from ikea