Forwarded from Twitter Picture Bot
Chance Wen:
BELIEVE IN THE HAIL MARY
Happy to share the first batch of the Petrova ’26 Timeline Hail Mary posters! Check them out in 4K glory
Full-res (~8K) digital ver. are available for free(pay what you want) on my Kofi!
Link in thread below⬇️
#projecthailmary
#hardsf #toughsf #scifi
https://twitter.com/wenchance/status/2060671470926500305
BELIEVE IN THE HAIL MARY
Happy to share the first batch of the Petrova ’26 Timeline Hail Mary posters! Check them out in 4K glory
Full-res (~8K) digital ver. are available for free(pay what you want) on my Kofi!
Link in thread below⬇️
#projecthailmary
#hardsf #toughsf #scifi
https://twitter.com/wenchance/status/2060671470926500305
Chance Wen:
I’ve moved on to adding decals and other small things to the Hail Mary
Things are finally coming together
Also did an 8K test render and really liking how things look 👀
Enjoy some sneak peeks!
#projecthailmary
#hardsf #toughsf #spaceship
https://twitter.com/wenchance/status/2057841808621912269
🥰1
織部みやこ:
「今来むと 言ひしばかりに 長月の 有明の月を 待ち出でつるかな」
#超かぐや姫
https://twitter.com/miyakononaka/status/2062015956042514903
「今来むと 言ひしばかりに 長月の 有明の月を 待ち出でつるかな」
#超かぐや姫
https://twitter.com/miyakononaka/status/2062015956042514903
🥰1
宣称 AI 证明了 P=NP，但是上来就定义 P=NP 是 true 然后证明 true = true
https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
GitHub
Main theorem currently proves `True`, not `P = NP` · Issue #1 · TiruArt/Pedigree-Polytopes-Lean4
N_PEqualsNP.lean defines: def P_equals_NP : Prop := True def SAT_in_P : Prop := True So the theorem theorem p_equals_np (n : ℕ) (hn : 5 ≤ n) : P_equals_NP does not prove a formalized P = NP stateme...
🤣21🥱9
Forwarded from Twitter Picture Bot
Corn20/K²🌽:
#超かぐや姫
31歳酒寄彩葉さんシリーズ🚬🦊
プライベート(&一夜漬け時など)はボサ葉だけど外出る時はちゃんといつも通りの髪してる
https://twitter.com/Corn_20/status/2062575797186244617
#超かぐや姫
31歳酒寄彩葉さんシリーズ🚬🦊
プライベート(&一夜漬け時など)はボサ葉だけど外出る時はちゃんといつも通りの髪してる
https://twitter.com/Corn_20/status/2062575797186244617
❤7🥰1