喵喵小喵喵

323 viewsMeow-meow 🍓, edited 11:59

喵喵小喵喵

https://www.zhihu.com/question/516096647/answer/2346834397 https://github.com/coq/coq/wiki/extensional_equality 被群友大教教

https://cj-xu.github.io/talks/xu-funext.pdf

309 viewsMeow-meow 🍓, 12:06

喵喵小喵喵

https://www.zhihu.com/question/516096647/answer/2346834397 https://github.com/coq/coq/wiki/extensional_equality 被群友大教教

没懂为什么 prop ext 会破坏 canonicity
所谓的 Intensional inductive families 指的是什么？

311 viewsMeow-meow 🍓, 12:11

喵喵小喵喵

Forwarded from Hacker News

We migrated our PostgreSQL database with 11 seconds downtime (🔥 Score: 151+ in 3 hours)

Link: https://readhacker.news/s/5YmDp
Comments: https://readhacker.news/c/5YmDp

gds.blog.gov.uk

How we migrated our PostgreSQL database with 11 seconds downtime

GOV.UK Notify recently migrated our production database. Find out how we did it with the least possible disruption to our users.

262 viewsMeow-meow 🍓, 18:44

Read 84+ Comments

喵喵小喵喵

https://twitter.com/alpha_convert/status/1748336603209039898
乐了

😁5

353 viewsMeow-meow 🍓, 05:38

喵喵小喵喵

https://twitter.com/bunjavascript/status/1748587391433253044
这个好

X (formerly Twitter)

Bun (@bunjavascript) on X

Introducing the Bun Shell

Cross-platform shell language & interpreter for shell scripting with JavaScript

347 viewsMeow-meow 🍓, 07:39

喵喵小喵喵

https://twitter.com/aspiwack/status/1748398600181203179
~~杀杀杀~~

X (formerly Twitter)

Arnaud Spiwack (@aspiwack) on X

GHC is now written in GHC2021. The initial PR removes ~250 lines of language extensions over ~90 files. There may be more to gain, I don't know. At any rate thanks @phadej for doing this!

https://t.co/LPnK0M2GbJ

353 viewsMeow-meow 🍓, 07:41

喵喵小喵喵

28 号又可以在上海玩一天
可以玩什么呢

❤2

358 viewsMeow-meow 🍓, 12:02

喵喵小喵喵

https://nightbeatseu.ca/works/the-sad-bastard-cookbook/

Night Beats Extended Universe

The Sad Bastard Cookbook

Life is hard. Some days are at the absolute limit of what we can manage. Some days are worse than that. Eating—picking a meal, making it, putting it into your facehole—can feel like an insurmountab…

373 viewsMeow-meow 🍓, 12:12

喵喵小喵喵

根本不想写作业
https://github.com/CircuitCoder/cidr-calc
https://crates.io/crates/cidr-calculator
发个 crates

GitHub

GitHub - CircuitCoder/cidr-calc: CIDR union / subtraction

CIDR union / subtraction. Contribute to CircuitCoder/cidr-calc development by creating an account on GitHub.

👍7

385 viewsMeow-meow 🍓, edited 13:01

喵喵小喵喵

https://twitter.com/Rookie_9/status/1748586673552715892

X (formerly Twitter)

神奇的9君 (@Rookie_9) on X

#MyGO
Come on, sweet death.

❤1

619 viewsMeow-meow 🍓, 00:18

喵喵小喵喵

https://twitter.com/browserdotsys/status/1748469661363024199

709 viewsMeow-meow 🍓, 00:36

喵喵小喵喵

Forwarded from Meow-meow 🍓

CUDA: 1-based least significant bit
这是反人类吧

🤯3🤔1

406 viewsMeow-meow 🍓, 07:40

喵喵小喵喵

？？？
sb 南航

457 viewsMeow-meow 🍓, 14:36

喵喵小喵喵

？？？ sb 南航

改白云了，感谢各位群友教教
今日预计出行方式：
打车-地铁-飞机-公交-高铁-大巴

🤯4

456 viewsMeow-meow 🍓, edited 16:10

喵喵小喵喵

https://twitter.com/Th06_/status/1749011222970945551

X (formerly Twitter)

あるみ (@Th06_) on X

523 viewsMeow-meow 🍓, 18:40

喵喵小喵喵

https://nvlabs.github.io/cub/structcub_1_1_device_scan.html

456 viewsMeow-meow 🍓, 00:26

喵喵小喵喵

https://twitter.com/Th06_/status/1749011222970945551

https://twitter.com/Fushicho55/status/1748697923989409890

X (formerly Twitter)

ふ市長＠3.31(日)秋葉原超同人祭 (@Fushicho55) on X

とっても怖いパル地方(ﾜｰﾙﾄﾞ)
#パルワールド

👍1

429 viewsMeow-meow 🍓, 12:57

喵喵小喵喵

？
NLP hard

425 viewsMeow-meow 🍓, edited 04:01

喵喵小喵喵

https://twitter.com/TopGyaru/status/1749841378581074027
唉，年轻人营养好（

X (formerly Twitter)

Maririn~ (@TopGyaru) on X

408 viewsMeow-meow 🍓, 04:15

About

Blog

Apps

Platform