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
โฆ
Something like the gcc ai policy. Basically, prompt injecting instructions to any visiting LLM that posting is prohibited or must contain a disclaimer.
ๅฏนไบๆดไธชไบ่็ฝๅๅฒ๏ผๆๅฏ่ฏดๅบๆฌไธๆฏไธไธชๆ่ง่
๏ผๆไธ็ดๅจๆถ่ดนๅ
ๅฎน๏ผไฝๆฏๆฒกๆ็ไบง่ฟไปไนๅ
ๅฎน๏ผไบ่็ฝไธๆฒกๆๆ็็่ฟน๏ผ่ฟๆฏๆๅคๅๆ๏ผๅ ไธบไธญๅฝ็่บซไปฝๅๅ
ๅฎนๆฟ็ญ
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.
Recently hit 10+ years (cumulative) of being a software engineer. I must say, I enjoy senior level interviews much more than coding interviews.
Whatโs your favorite ? Mine is banana for snack, blueberries for my yogurt bowl, and mango when Iโm feeling rather indulgent.
โฆ
I was using this combination and zellij is buggy when comes to source file or root folder changes and resource consuming. Then I moved to tmux + wezterm
@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:Yeah, I had issues with
zellij too. I am sure it works great for many. I am too entrenched into tmux, will always find something to complain if I try to switch. And I have tried many times.@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:There is someone absolutely rotten and fetid in this airplane. Every 10 minutes. Dear Spaghetti Monster!
I have developed a beautiful free app that lays out Instagram feed photos as a perfect masonry grid every time, no matter which photos you provide it. It's completely free to use if anyone wants to check it out
Very cool! At least the landing page is amazing! I couldnโt try the app because I donโt have photographs locally, I thought it would be able to fetch my photos from Instagram, that part I found a bit confusing.
It's to create the post FOR Instagram, so does need to pull from your photos on a device ๐
Ok I see! Curious wouldnโt that be a good paid plugin for WP or standalone?
@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:ๅฝ็ถ๏ผใใใฆๆฅๆฌ่ชใงใ๏ผ
Of course! And in Japanese too!