Ashleyn Lagerberg:
My cat stepped on my keyboard while I was working and created this masterpiece.
https://twitter.com/corybantic_lad/status/1767738163227668935
My cat stepped on my keyboard while I was working and created this masterpiece.
https://twitter.com/corybantic_lad/status/1767738163227668935
❤6
Forwarded from Hacker News
Shantell Sans (2023) (Score: 152+ in 7 hours)
Link: https://readhacker.news/s/6VgTg
Comments: https://readhacker.news/c/6VgTg
Link: https://readhacker.news/s/6VgTg
Comments: https://readhacker.news/c/6VgTg
Shantell Sans → A font for you
A new typeface from Shantell Martin
❤2
&'a ::rynco::UntitledChannel
新格伦 NG-4 在发射台上准备静态点火的时候炸了 https://fixupx.com/NASASpaceflight/status/2060164928472854821
FixupX
Dave Limp (@davill)
Some LC-36 updates. Now that we’ve had access to the pad and integration facility we can share a bit of good news. The propellant farm, oxygen, liquid hydrogen and LNG tanks are all in good shape. This is good luck because these are very long lead items.…
🎉5👏1
Forwarded from 每日消费电子观察 (Dave Lin)
微软发布 Coreutils 项目，Linux 命令原生进入 Win11
https://www.ithome.com/0/959/060.htm
在 2026 Build 开发者大会上，微软推出适用于 Windows 11 系统的 Coreutils，以原生 Windows 应用形式，把常见 Linux 命令带到系统中。
工具包包含 cat、cp、find、grep、hostname、ls、mv、pwd、rm、sleep、tee、uptime 等常见命令。安装后，系统会创建 ls.exe、cp.exe、cat.exe、rm.exe 等 NTFS hardlinks。
https://www.ithome.com/0/959/060.htm
在 2026 Build 开发者大会上，微软推出适用于 Windows 11 系统的 Coreutils，以原生 Windows 应用形式，把常见 Linux 命令带到系统中。
工具包包含 cat、cp、find、grep、hostname、ls、mv、pwd、rm、sleep、tee、uptime 等常见命令。安装后，系统会创建 ls.exe、cp.exe、cat.exe、rm.exe 等 NTFS hardlinks。
Ithome
微软发布 Coreutils 项目，Linux 命令原生进入 Win11 - IT之家
科技媒体 bleepingcomputer 今天（6 月 3 日）发布博文，报道称在 2026 Build 开发者大会上，微软推出适用于 Windows 11 系统的 Coreutils，以原生 Windows 应用形式，把常见 Linux 命令带到系统中。
🍾10👍1
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