喵喵小喵喵

324 viewsMeow-meow 🍓, 02:37

喵喵小喵喵

Forwarded from Hacker News (yahnc_bot)

Verified Rust for low-level systems code https://github.com/verus-lang/verus

GitHub

GitHub - verus-lang/verus: Verified Rust for low-level systems code

Verified Rust for low-level systems code. Contribute to verus-lang/verus development by creating an account on GitHub.

245 viewsMeow-meow 🍓, 10:08

Score: 201+ 🔥Comments: 69+

喵喵小喵喵

https://x.com/sawaratsuki1004/status/1787002633737347108

🍩

Please open Telegram to view this post

VIEW IN TELEGRAM

X (formerly Twitter)

さわらつき (@sawaratsuki1004) on X

😇😇😇😇😇😇😇😇

👏3

307 viewsMeow-meow 🍓, 10:20

喵喵小喵喵

https://x.com/sawaratsuki1004/status/1787002633737347108 🍩

https://x.com/HaskellOrg/status/1787044985767915997
全完了.jpg

😁8

503 viewsMeow-meow 🍓, 10:54

喵喵小喵喵

Forwarded from 小島みなこの競プロ日常

https://leanprover-community.github.io/blog/posts/FLT-announcement/

Lean community blog

The Fermat's Last Theorem Project | Lean community blog

Kevin Buzzard discusses the project to prove Fermat's Last Theorem in Lean.

Introduction
Fermat's Last Theorem (FLT) is the claim that some abstract equation has no solutions in positive integers.
Th

🆒1

228 viewsMeow-meow 🍓, 20:08

喵喵小喵喵

Forwarded from A Place Of Happiness

0:12

This media is not supported in your browser

VIEW IN TELEGRAM

Kittens' hearts beat at 220-260 beats per minute.
https://redd.it/11lhln9
by @get_happiness via @r2tBot

🥰4

244 viewsMeow-meow 🍓, 21:35

喵喵小喵喵

https://vxtwitter.com/yorukura_anime/status/1787120068339331550
？

vxTwitter / fixvx

『夜のクラゲは泳げない』Official (@yorukura_anime)

＞　＜
　ワ https://t.co/p4gJAtALxP

💖 26.44K 🔁 5.44K

😁1

295 viewsMeow-meow 🍓, 06:43

喵喵小喵喵

Forwarded from Meow-meow 🍓

同一人物（？

🥰1

289 viewsMeow-meow 🍓, 10:13

喵喵小喵喵

https://www.youtube.com/watch?v=fl3tWO1v8RY
全新的炒冷饭方式

YouTube

"モンダイナイトリッパー！(code:MK ver)" feat.初音ミク / sasakure.‌UK

原曲→https://www.youtube.com/watch?v=g5HQFrSk4OA
+sasakure.‌UK Ch. https://www.youtube.com/c/sasakureUK0211

"モンダイナイトリッパー！(code:MK ver)" feat.初音ミク / sasakure.‌UK

Music & Lyrics : sasakure. UK https://twitter.com/sasakure__UK
web　http://sasakure.uk.com/…

269 viewsMeow-meow 🍓, 16:52

喵喵小喵喵

https://twitter.com/pieleaf_x2/status/1787427165656711602
✌️

X (formerly Twitter)

りーふぱいザウルス (@pieleaf_x2) on X

skeb

👍1

342 viewsMeow-meow 🍓, 17:50

喵喵小喵喵

https://ccjktype.fonts.adobe.com/wp-content/uploads/2018/12/cjkv2e-pp387-393.pdf
头大

288 viewsMeow-meow 🍓, 18:15

喵喵小喵喵

https://twitter.com/shinken_gomi/status/1787269614671687769

X (formerly Twitter)

ヤンヤン (@shinken_gomi) on X

猫レンジャー

327 viewsMeow-meow 🍓, 02:37

喵喵小喵喵

https://twitter.com/NintendoCoLtd/status/1787736518762881197

X (formerly Twitter)

任天堂株式会社（企業広報・IR） (@NintendoCoLtd) on X

This is Furukawa, President of Nintendo. We will make an announcement about the successor to Nintendo Switch within this fiscal year. It will have been over nine years since we announced the existence of Nintendo Switch back in March 2015. We will be holding…

296 viewsMeow-meow 🍓, 07:42

喵喵小喵喵

Forwarded from Hacker News (yahnc_bot)

Google Fit APIs get shut down in 2025, might break fitness devices https://arstechnica.com/gadgets/2024/05/google-fit-apis-get-shut-down-in-2025-might-break-fitness-devices/

Ars Technica

Google Fit APIs get shut down in 2025, might break fitness devices

Scales, trackers, and other fitness devices that don't get updated will stop syncing...

244 viewsMeow-meow 🍓, 12:08

Score: 84+Comments: 46+

喵喵小喵喵

https://twitter.com/cirkelnio/status/1787612530057101493

tldr bad srgb gamma

X (formerly Twitter)

es (@cirkelnio) on X

made a pic that looks different in light vs dark mode

332 viewsMeow-meow 🍓, 17:26

喵喵小喵喵

TIL
老虚和蘑菇都 51 了，口三才 50

307 viewsMeow-meow 🍓, edited 18:51

喵喵小喵喵

https://vxtwitter.com/MatttGFX/status/1787849237587210634
乐

vxTwitter / fixvx

Mat! (@MatttGFX)

every ace attorney cross examination

💖 66.57K 🔁 14.4K

😁4

301 viewsMeow-meow 🍓, 07:24

喵喵小喵喵

https://twitter.com/Pusheen/status/1788237543638483185

X (formerly Twitter)

Pusheen the cat (@Pusheen) on X

Definitely not suspicious...👀

325 viewsMeow-meow 🍓, 16:03

喵喵小喵喵

https://twitter.com/daily_dolce/status/1787901130069991694

X (formerly Twitter)

Dolce (@daily_dolce) on X

Cat shaped desserts

❤1

301 viewsMeow-meow 🍓, 16:18

喵喵小喵喵

https://youtu.be/9sGuszGm-To
麻了，这人沉迷ba了

YouTube

[Blue Archive Fanmade] Mitsukiyo - Pixel Time (Kanzaki Hiro Remix)

ブルアカならもっとTranceに合わせやすいかっこいい曲沢山あるだろと皆様お思いでしょうが、ゲーム開発部が好きなだけです
リミックスというかアレンジです

Original Composer : ミツキヨ (https://x.com/mitsukiyo_5)
Artwork & Remix : かんざきひろ ( https://x.com/kanzakihiro )

#ブルーアーカイブ
#BlueArchive

※こちらは株式会社Yoster運営のゲームアプリ「ブルーアーカイブ -Blue Archive…

🥰3

316 viewsMeow-meow 🍓, 16:56

About

Blog

Apps

Platform