I finally proved the weekly problem with Lean. Now, I'll make it shorter, & publish my solution until next week. Lean is very verbose unless we know certain tactics (such as ring) & think about how to best use its theorems (functions). #lean #proof #tatics #nomxd #Chatting🐾
#Proof
'Proof' Review: Finding Truth in Numbers
https://www.wsj.com/arts-culture/books/proof-review-finding-truth-in-numbers-b9779228
#HackerNews #Proof #Review #Truth #Numbers #Data #Analysis #Book #Review
A #Wonderful New #Proof of the #Basel #Problem : Medium
New #Molecular label could lead to #Simpler, #Faster #Tuberculosis tests : MIT
#Grip #Strength: The test for your chances of #Living to 100 : BBC
Check our latest #KnowledgeLinks
『ダーリン・イン・ザ・フランキス』 ゼロツーのフィギュアをプレゼント！美しくなびく髪や微笑むキュートな表情を細部まで丁寧に表現!!
https://hobby.dengeki.com/news/2618661/
#hobby_dengeki #フィギュア #告知 #読者プレゼント #プレゼント #懸賞 #電ホビ #Twitter #ツイッター #X #RTキャンペーン #PROOF #プルーフ #スケールフィギュア #ダーリン_イン_ザ_フランキス #ダリフラ #ゼロツー
5 lessons on finding #truth in an uncertain world
To get closer to the truth, it is important to understand what constitutes #proof and how to proceed when #facts falter.
https://www.fastcompany.com/91340887/finding-truth-uncertain-world-lessons
TVアニメ『ローゼンメイデン』より、気高く赤い薔薇乙女「真紅」、冷たく微笑む黒い薔薇乙女「水銀燈」がPROOFからフィギュア化！
https://hobby.dengeki.com/news/2617552/
#hobby_dengeki #フィギュア #PROOF #プルーフ #スケールフィギュア #ローゼンメイデン #真紅 #水銀燈
『ときめきトゥナイト』より、池野恋氏の描き下ろしイラストを元に初代主人公・江藤蘭世がPROOFから初スケールフィギュア化！
https://hobby.dengeki.com/news/2617215/
#hobby_dengeki #フィギュア #美少女フィギュア #PROOF #プルーフ #スケールフィギュア #ときめきトゥナイト #江藤蘭世
WHOSE DEFINITION OF SUCCESS, FUCKER?
"Success is your proof"—Liber Legis, III, 46 https://hermetic.com/legis/ccxx/index#iii.46
"All questions of the Law are to be decided only by appeal to my writings, each for himself."—The (Tunis) Comment https://hermetic.com/legis/tunis/index
#meme #GooseChasingGuy #LiberLegis #success #proof
"Success is your proof"—Liber Legis, III, 46 https://hermetic.com/legis/ccxx/index#iii.46
"All questions of the Law are to be decided only by appeal to my writings, each for himself."—The (Tunis) Comment https://hermetic.com/legis/tunis/index
#meme #GooseChasingGuy #LiberLegis #success #proof
WHOSE DEFINITION OF SUCCESS, FUCKER?
"Success is your proof"—Liber Legis, III, 46 https://hermetic.com/legis/ccxx/index#iii.46
"All questions of the Law are to be decided only by appeal to my writings, each for himself."—The (Tunis) Comment https://hermetic.com/legis/tunis/index
Totally agree! Unit tests and usage of #LLMs in that area are a bad combo (both for implementation and tests).
However, I'd like to give you some "food for thought":
What if the LLM was generating code against a (human written) #proof?
See this blog post, where they've written a proof with #Kani, a model checker in #Rust and let the #LLM generate the implementation until the proof passes:
Cap: Lightweight, modern open-source CAPTCHA alternative using proof-of-work
#HackerNews #Cap #CAPTCHA #open-source #lightweight #proof-of-work #modern #tech
『天元突破グレンラガン』TRIGGER 今石洋之監督が描き下ろしたカミナ＆グレンがスケールフィギュア化！無理を通して道理を蹴っ飛ばす婆娑羅な勇姿をPROOFが立体化！
https://hobby.dengeki.com/news/2611174/
😂 Oh no, the evil bots are all coming for #WanderingThoughts, and they dared to have a boring UserAgent! Let's make them jump through hoops like circus animals for the privilege of reading a blog. 🤡 Meanwhile, real users are tangled in a convoluted #proof-of-work scheme, just trying to catch a glimpse of those precious, precious thoughts. 🙄
https://utcc.utoronto.ca/~cks/space/blog/web/JavaScriptScraperObstacles #evilbots #circususeragents #techhumor #HackerNews #ngated
A thought on JavaScript "proof of work" anti-scraper systems
https://utcc.utoronto.ca/~cks/space/blog/web/JavaScriptScraperObstacles
#HackerNews #JavaScript #proof #of #work #anti-scraper #systems #web #scraping #technology #security
Global high-performance proof-of-stake blockchain with erasure coding
https://github.com/qkniep/alpenglow
#HackerNews #Global #high-performance #proof-of-stake #blockchain #erasure #coding #technology #innovation #blockchain #technology
College basketball’s NIL is killing the NBA Draft, and Yaxel Lendeborg’s decision is more proof https://www.rawchili.com/nba/59710/ #and #Basketball #College #CollegeBasketball #com #decision #draft #FrontPage #is #killing #lendeborg #more #NBA #NBADraft #ncaa #NCAABasketball #ncaab #NIL #proof #s #sbnation #the #yaxel
And over on Facebook, the usual idiots are fighting over this obvious AI slop image of a 747 on a giant treadmill.
"This settles it. A Boeing 747 CAN take off from a treadmill!!! #proof."
"Clown get a life. Even if you could get the treadmill up to rotation speed of the four-seven, it would crash through the fence at the end of the runway into the neighborhood next to the airport!!!!!!"
"Everyone knows this is true!!! I saw it on Newsmax+, only $99.95 a month."
『SAMURAI SPIRITS（2019）』よりカムイの戦士「ナコルル」がPROOFからフィギュア化！ダイナミックに翼を広げる「ママハハ」も付属！
https://hobby.dengeki.com/news/2601239/
#hobby_dengeki #フィギュア #美少女フィギュア #PROOF #プルーフ #スケールフィギュア #SNK #サムライスピリッツ #SAMURAI_SPIRITS #ナコルル
「ぼっち・ざ・ろっく！」より、段ボールに隠れる後藤ひとりがPROOFからフィギュア化！“ぼっちちゃん”らしい不安げな表情に注目！
https://hobby.dengeki.com/news/2601186/
#hobby_dengeki #フィギュア #美少女フィギュア #PROOF #プルーフ #スケールフィギュア #ぼっち_ざ_ろっく #ぼざろ #後藤ひとり
『犬夜叉』殺生丸が躍動感溢れる描き下ろしイラストをもとに立体化！天生牙を構えたポージングとダイナミックに靡く髪の造形に注目！
https://hobby.dengeki.com/news/2601061/
Client Info
Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst