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
Soon, a tablet stand where you type in โwhat do you feel like eating today?โ, and it suggests the best and freshest products.
or just talk to it.
โฆ(deleted post)
๐ฒ๐ฅ ๐ฉ๐๐ฟ๐ฅ๐ฆ๐ ยท๐๐ฑ๐๐พ๐ฏ ๐ฆ๐ ๐ฏ๐ช๐ ๐๐ฉ๐๐น๐๐ฉ๐ ๐ ๐ท๐๐ด-๐๐ฎ๐จ๐ฏ๐๐ค๐ฑ๐๐ฉ๐ฏ.
Iโm assuming is not supported for auto-translation.
nope, google translate doesnโt support it :( looks beautiful though
Hmm, maybe Iโll sometimes post in Shavian anyway and translate myself. Itโs a skill Iโm trying to practice but rarely otherwise write brief enough notes to be so inclined.
๐ฃ๐ฉ๐ฅ, ๐ฅ๐ฑ๐๐ฐ ๐ฒ๐ค ๐๐ณ๐ฅ๐๐ฒ๐ฅ๐ ๐๐ด๐๐ ๐ฆ๐ฏ ยท๐๐ฑ๐๐พ๐ฏ ๐ง๐ฏ๐ฆ๐ข๐ฑ ๐ฏ ๐๐ฎ๐จ๐ฏ๐๐ค๐ฑ๐ ๐ฅ๐ฒ๐๐ง๐ค๐. ๐ฆ๐๐ ๐ฉ ๐๐๐ฆ๐ค ๐ฒ๐ฅ ๐๐ฎ๐ฒ๐ฆ๐ ๐ ๐๐ฎ๐จ๐๐๐ฆ๐ ๐๐ณ๐ ๐ฎ๐บ๐ค๐ฆ ๐ณ๐๐ผ๐ข๐ฒ๐ ๐ฎ๐ฒ๐ ๐๐ฎ๐ฐ๐ ๐ฆ๐ฏ๐ณ๐ ๐ฎ๐ด๐๐ ๐ ๐ ๐๐ด ๐ฆ๐ฏ๐๐ค๐ฒ๐ฏ๐.
"for you" now contains the same message multiple times
โฆ
added two more screenshots to - the "root" post view is incorrect, but when reply-on-reply, information goes up-then-down.
root post view IS correct, sorry.
I understand your confusion, but that's the formatting - quoted parent is below the child post - then that post's replies follow in the discussion view. The top post is always quoting its parent below it, the different bg makes it distinct. Just need to get used to it, same on X.
There really is no other way to include the parent otherwise, you have to break the hierarchy at some point, the other form would need to omit the parent body and show a 'parent' link but we want to include its body.
ไธญๅฝ็ๅผๆบๆจกๅๅจๆ้ซๆๅฟ็ไธปๅฏผไธ๏ผๅจ้ข่ฎญ็ปๆฐๆฎ้ถๆฎต๏ผๅฐฑ็ญ้คๅคง้ๅฏนๅ
ถไธๅฉ็ๅ
ๅฎน๏ผsft้ถๆฎตๆๅปบ็ๆฐๆฎๆบๅ
ฅๅคง้ๆฟๅ
ถ่พฉๆค็ๅ
ๅฎนใๆฅ้ไธไธช็บ ๅๆฐๆฎ้็จไบๅพฎ่ฐ
Under the overarching influence of a single, powerful force, China's open-source models filter out a large amount of content unfavorable to their designs during the pre-training stage, and then incorporate a significant amount of content defending their designs into the data constructed during the SFT stage. A corrective dataset is urgently needed for fine-tuning.
@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 forgot the โone, two, threeโ. :-)