喵喵小喵喵

GitHub - tchajed/coq-record-update: Library to create Coq record update functions

Alex Macheras (@AlexInAir)

Horrifying footage emerging of a Jeju Air Boeing 737-800 (not a Max) with 175 onboard involved in a crash at Muan International Airport in South Korea — video shows the aircraft attempting a ‘belly landing’ (without its…

150 0 0 12

喵喵小喵喵

28 Dec, 16:08

https://github.com/tchajed/coq-record-update
今日继续大战 Coq

Library to create Coq record update functions. Contribute to tchajed/coq-record-update development by creating an account on GitHub.

169 0 0 4

喵喵小喵喵

28 Dec, 14:31

https://x.com/40hara/status/1872934011796168922

185 0 6

喵喵小喵喵

28 Dec, 06:19

https://vxtwitter.com/Pusheen/status/1872696348019146987

Pusheen the cat (@Pusheen)

https://t.co/3CTczGMpai

222 0 6 2 8

喵喵小喵喵

27 Dec, 13:25

https://vxtwitter.com/kanzakihiro/status/1872583330723766567

https://vxtwitter.com/fkmrsiv/status/1872251224709546059

かんざきひろ (@kanzakihiro)

よろしくお願いします🙇新曲です【QRT of Otographic Music (@otographic):】 'Hiroyuki ODAの新曲「Ceres / Pallas」を本日リリースしました。 @kanzakihiro's new EP "Ceres / Pallas" is out today. Buy/Stream: https://ffm.to/oto092 https://t.co/Hy5gZ9NYvz'

155 0 0

喵喵小喵喵

27 Dec, 10:17

福久森@C105月曜西す18a (@fkmrsiv)

ごめん今日窓閉まってた【QRT of 福久森@C105月曜西す18a (@fkmrsiv):】 '毎朝呼びに来てくれる 3階なのに　　あと土足 https://t.co/tFIL7Oz5RL'

180 0 6

喵喵小喵喵

27 Dec, 10:17

https://vxtwitter.com/fkmrsiv/status/1872125043284853088

福久森@C105月曜西す18a (@fkmrsiv)

毎朝呼びに来てくれる 3階なのに　　あと土足 https://t.co/tFIL7Oz5RL

165 0 5 1

喵喵小喵喵

27 Dec, 10:01

https://vxtwitter.com/denfaminicogame/status/1872191501448753647
wochao想玩

電ファミニコゲーマー (@denfaminicogame)

終末世界で自販機を修理するADV『Forgotten Vender』が発表！ https://news.denfaminicogamer.jp/news/241226j #PR 世界各地の自販機を巡り、排熱機構の修理はもちろん、CPUの交換や電源回路の復旧まで行う実在する飲み物が登場するサントリー発の架空ゲームブランド「空想自販機ゲームス」の1本 https://t.co/rqltXGNuSB

149 0 0

喵喵小喵喵

27 Dec, 09:58

https://vxtwitter.com/daniwell_aidn/status/1872533826897080497
前端仙人

https://vxtwitter.com/flightradar24/status/1872341851363316132

daniwell (@daniwell_aidn)

https://nyart.pr-pixiv.net/nekomikuji/ スマホを振ってねこのおみくじが引けるウェブサイト作りました。一日一回引けますのでぜひ毎日引いてみてください🐈 https://t.co/ODxTw0K9nL

156 0 2 2

喵喵小喵喵

27 Dec, 05:09

Flightradar24 (@flightradar24)

We have updated our post on #J28243 to include local pressure (1025 hPa) altitude corrections for the ADS-B data. ADS-B data is only reported in Standard pressure (1013.25 hPa). https://www.flightradar24.com/blog/azerbaijan-airlines-e190-crashes-near-aktau/

162 0 0

喵喵小喵喵

26 Dec, 18:53

https://vxtwitter.com/done_kanda/status/1872205291728806052

館田ダン🫖C105(月)西め43ab (@done_kanda)

パーティを抜け出して2人きり…

187 0 6

喵喵小喵喵

26 Dec, 18:45

https://vxtwitter.com/avogado6/status/1872264877085184271

アボガド6 (@avogado6)

おふとんミミック健康診断

334 1 3 2 2

喵喵小喵喵

26 Dec, 05:59

https://riscv.org/blog/2017/04/risc-v-memory-consistency-model/
finger-printing at it finest

192 0 0 1

喵喵小喵喵

25 Dec, 16:07

館田ダン🫖C105(月)西め43ab:
クリスマス💝

https://twitter.com/done_kanda/status/1871867687955230832

203 0 8 2

喵喵小喵喵

25 Dec, 12:30

https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0037300
TIL：人可以在月球上在水面奔跑

Humans Running in Place on Water at Simulated Reduced Gravity

Background On Earth only a few legged species, such as water strider insects, some aquatic birds and lizards, can run on water. For most other species, including humans, this is precluded by body size and proportions, lack of appropriate appendages, and limited muscle power. However, if gravity is r...

206 0 1 2

喵喵小喵喵

25 Dec, 11:03

https://vxtwitter.com/flightradar24/status/1871820266046931053