Mastodawn

和歌山・すさみ町でミニチュア『北海道チーズ蒸しケーキ』みたいなカニを発見⇒「カニパン」「可愛すぎる！」と話題
https://www.huffingtonpost.jp/entry/story_jp_6a2a01fde4b01046d716a7fc

#huffingtonpost #LIFE #ネットで話題 #カニ #nettodewadai #kani

和歌山・すさみ町でミニチュア『北海道チーズ蒸しケーキ』みたいなカニを発見⇒「カニパン」「可愛すぎる！」と話題

和歌山・すさみ町立エビとカニの水族館のホシマンジュウガニに注目です

ハフポスト

HuffPost Japan - Athena2 Jun 12

「ラップ破ってしまいます」活きが良すぎる毛ガニに反響「鮮度抜群！」「だめだ、面白すぎるw」
https://www.huffingtonpost.jp/entry/story_jp_6a267134e4b0a2296d1b5a63

#huffingtonpost #LIFE #ネットで話題 #カニ #nettodewadai #kani

「ラップ破ってしまいます」活きが良すぎる毛ガニに反響「鮮度抜群！」「だめだ、面白すぎるw」

元気いっぱいの毛ガニ！毎年の恒例なのだそう。

ハフポスト

Mark Esler Jun 11

rolling, and proving, my own crypto: https://coprime.page/ 🤪

this first stage/release is focused on number theory

https://github.com/hexproofdev/coprime/blob/main/PLAN.md
https://github.com/hexproofdev/coprime/blob/main/ATTACKS.md
https://github.com/hexproofdev/coprime/blob/main/VERIFICATION.md

#rust #cryptography #kani #lean

coprime

A zero-dependency, no_std number-theory library for u64. Formally verified primitives: 24 proven in Lean/Mathlib, 17 Kani harnesses. Deterministic is_prime over all u64. BSD-3-Clause.

coprime

Oreulius Kernel Jun 1

I finished the first full pass of mechanically verified Rust proofs, all 11 checks done and verifier-backed. The post walks through what that actually means: the Coq work, Kani, fuzzing, the test suite, where the proof boundaries sit, and what's still on the table. Merkle soundness, non-empty revocation witnesses, encode/decode round-trips, and the seal/open semantics are all coming next.

#RustLang #FormalVerification #Kani #Cryptography

https://oreulius.com/blog/project-update-formal-verification-fuzzing-and-tests-of-the-arc-encryption-schem

The Verification Architecture of the ARC Encryption Scheme — Oreulius Kernel

ARC combines formal proofs in Coq, fuzz-hardened Rust code, and a reflective test suite into a unified verification architecture for authenticated multi-hop encrypted routing.

Oreulius Kernel

HuffPost Japan - Athena2 Jan 23

トラック事故で生きたカニ1万5000匹が畑に流出。作業員が18時間かけ95％を救出
https://www.huffingtonpost.jp/entry/story_jp_6969f3a6e4b018dc941d4794

#huffingtonpost #WORLD #動物 #事故 #アイルランド #カニ #dobutsu #jiko #airurando #kani