The inner magic behind the Z3 theorem prover - Microsoft Research (October 2019):

https://www.microsoft.com/en-us/research/blog/the-inner-magic-behind-the-z3-theorem-prover/

https://blog.gslin.org/archives/2025/05/03/12381/anubis-%e6%9c%80%e8%bf%91%e8%ae%8a%e5%be%97%e8%a0%bb%e7%b4%85%e7%9a%84/

anubis 最近變得蠻紅的...

https://www.evshift.com/324829/the-lexus-nx-future-proof-lexus/ The Lexus NX: Future Proof | Lexus #2020Lexus #2021Lexus #2022Lexus #2023Lexus #2024 #2025 #car #ElectricCars #ElectricVehicles #EV #Future #lexus #Lexus2020 #Lexus2021 #LexusCar #LexusCars #LexusIS #LexusNx #LexusVehicle #LexusVehicles #luxury #NewLexus #nx #PROOF

Crypto Council Mobilizes 30+ Organizations to Challenge SEC Staking Regulation - The Crypto Council for Innovation is calling on the United States Securities and Exchange... - https://cryptonews.com/news/crypto-council-for-innovation-urges-sec-to-deregulate-staking/ #cryptoregulationnews #proof-of-stake #proof-of-work #staking #news

Saw this statement on another site: "Any prime number higher than three, when squared and subtracted by one, will always turn out to be a multiple of 24."

I never heard of this one before. Is there a proof of this property? Definitely needs a bit more investigation.

Hm...I'm running into a timeout with #Creusot when trying to verify a simple `add` operation on a HashMap newtype

https://github.com/creusot-rs/creusot/discussions/1477

Does anyone have any idea what's going on here?

Disclaimer: I'm totally new to creusot and #FormalVerification, so please be gentle with me.

Boosts very much appreciated.

Thank you!

Making sure you're not a bot! https://anubis.techaro.lol/ #proof-of-work #OpenSource #cloudflare #protection #robots.txt #scraping #request #http #bot #ai

A cute proof that makes e natural

https://www.poshenloh.com/e/

#ITByte: In #Cryptography, a zero-knowledge #Proof or zero-knowledge #Protocol is a method by which one party (the prover) can prove to another party (the verifier) that a given statement is true while the prover avoids conveying any additional information apart from the fact that the statement is indeed true.

https://knowledgezone.co.in/trends/explorer?topic=Zero-Knowledge-Proof

Oh, look! #Kernel folks are fighting *AI bots* with the good old #proof-of-work, because what better way to stay hip than embracing the 2009 #Bitcoin vibe? Clearly, they believe #spamming CPUs is the future of bot management, because, you know, logic!
https://social.kernel.org/notice/AsgziNL6zgmdbta3lY #AI #bots #humor #HackerNews #ngated

Iris Project | A Higher-Order Concurrent Separation Logic Framework,
implemented and verified in the Rocq Prover

https://iris-project.org/

Dudeney's 120-year-old dissection puzzle solution proves optimal

https://phys.org/news/2025-03-dudeney-year-puzzle-solution-optimal.html

SEC’s Proof-of-Work Mining Statement Draws Fire From Democratic Commissioner - The sole Democratic voice on the U.S. Securities and Exchange Commission (SEC), Ca... - https://news.bitcoin.com/secs-proof-of-work-mining-statement-draws-fire-from-democratic-commissioner/ #proof-of-work(pow) #regulation #sec

Proof-of-Work Crypto Mining Doesn’t Trigger Securities Laws, SEC Says - Proof-of-work cryptocurrency mining does not trigger federal securities laws, according t... - https://www.coindesk.com/policy/2025/03/20/proof-of-work-crypto-mining-doesn-t-trigger-securities-laws-sec-says #bitcoinmining #proof-of-work #policy #sec

SEC Clarifies Proof-of-Work Mining Excludes Securities Regulations Under Trump Administration - The U.S. Securities and Exchange Commission (SEC) under the Trump administration s... - https://news.bitcoin.com/sec-clarifies-proof-of-work-mining-excludes-securities-regulations-under-trump-administration/ #proof-of-work(pow) #cryptonews #securities #mining

Proof by starvation: This is a proof form in which you first prove that a counterexample to the theorem must have property X, then, using X, prove that it must also have property Y, then that it must also have property Z, ... until you have piled up so many requirements on a counterexample that everybody sees that it cannot exist.

I have done that a few times. It is a nice way to organize one's thoughts.

Ah, behold the mighty #Anubis, the self-proclaimed savior of #HTTP requests! Apparently, it uses #proof-of-work to filter out #AI bots—because who needs efficient solutions when you can just put them to work like #digital ? Just don't mind the placeholder text, it's only there because the developer is battling unforeseen #fame while armed with #React and a dream.
https://anubis.techaro.lol/ #bots #development #HackerNews #ngated

A Proof of the Collatz Conjecture

https://arxiv.org/abs/2502.20642