https://youtu.be/qtCyWiOd1n8
T E C H
T E C H
YouTube
The Quest to Skip the Great Sky Island
This is what it took to Skip GSI for the first time!
Void Cat Crew Patch!
https://dd5253-3.myshopify.com/products/void-cat-crew-patch
I made a Second Channel for videos that.... idk other things maybe
https://youtube.com/@TimberTwo4242?si=IBpvNRe6ZrCqv8lM…
Void Cat Crew Patch!
https://dd5253-3.myshopify.com/products/void-cat-crew-patch
I made a Second Channel for videos that.... idk other things maybe
https://youtube.com/@TimberTwo4242?si=IBpvNRe6ZrCqv8lM…
Forwarded from Hacker News
An RNG that runs in your brain (Score: 150+ in 22 hours)
Link: https://readhacker.news/s/5YBx5
Comments: https://readhacker.news/c/5YBx5
Link: https://readhacker.news/s/5YBx5
Comments: https://readhacker.news/c/5YBx5
Hillel Wayne
An RNG that runs in your brain
Humans are notoriously bad at coming up with random numbers. I wanted to be able to quickly generate “random enough” numbers. I’m not looking for anything that great, I just want to be able to come up with the random digits in half a minute. Some looking…
https://proofassistants.stackexchange.com/questions/2694/does-equality-in-sigma-x-x-x-x-implies-uip
First SE question
不务正业
First SE question
不务正业
Proof Assistants Stack Exchange
Does equality in $\Sigma_{(x : X)} x = x$ implies UIP?
The short version:
Is this statement correct? If it is, is it provable in Coq?
Definition id_at { X : Set } ( x : X ) := x = x.
Definition id_at_eq_refl { X : Set } { x : X } ( p : x = x ) := existT
Is this statement correct? If it is, is it provable in Coq?
Definition id_at { X : Set } ( x : X ) := x = x.
Definition id_at_eq_refl { X : Set } { x : X } ( p : x = x ) := existT
🤔1
Forwarded from DGN (Jieming Zhou)
微软将裁撤动视暴雪，ZeniMax，和Xbox共计1900名员工。同时暴雪总裁Mike Ybarra宣布离职
https://www.theverge.com/2024/1/25/24049050/microsoft-activision-blizzard-layoffs
#Activision #Blizzard #ZeniMax #Xbox
https://www.theverge.com/2024/1/25/24049050/microsoft-activision-blizzard-layoffs
#Activision #Blizzard #ZeniMax #Xbox
The Verge
Microsoft lays off 1,900 Activision Blizzard and Xbox employees
The cuts primarily affect Activision Blizzard employees.
👍4🥰1
Forwarded from Meow-meow 🍓
arXiv.org
Constructing a fully homomorphic encryption scheme with the Yoneda Lemma
This paper redefines the foundations of asymmetric cryptography's homomorphic cryptosystems through the application of the Yoneda Lemma. It demonstrates that widely adopted systems, including...
Forwarded from Hacker News (yahnc_bot)
The Man Who Carried Computer Science on His Shoulders https://inference-review.com/article/the-man-who-carried-computer-science-on-his-shoulders
Inference
The Man Who Carried Computer Science on His Shoulders
Little known outside his field, Edsger Wybe Dijkstra was a highly influential and often controversial figure in the history of computer science. Krzysztof Apt writes a tribute to his colleague, a pioneer and a genius whose work shaped the field like few others.
Forwarded from &'a ::rynco::UnnoscriptdChannel (Rynco Maekawa)
X (formerly Twitter)
シャポコ🌵 (@shapoco) on X
月着陸機 SLIMさん ピンポイント着陸成功おめでとうございます。電源復活するといいですね
Forwarded from 层叠 - The Cascading
npmjs.org 被用来托管《武林外传》视频及弹幕。
- Sonatype 发现 npm 上的 748 个包名以 wlwz 开头的包里的 .ts 文件并不是 TypeScript 源代码，而是视频文件 (MPEG-TS)。
- 虽然文章中没有写明，但中文订户大概能看出视频的内容是《武林外传》剧集。
blog.sonatype.com/~
linksrc: https://www.v2ex.com/t/1012222
#npm
- Sonatype 发现 npm 上的 748 个包名以 wlwz 开头的包里的 .ts 文件并不是 TypeScript 源代码，而是视频文件 (MPEG-TS)。
- 虽然文章中没有写明，但中文订户大概能看出视频的内容是《武林外传》剧集。
blog.sonatype.com/~
linksrc: https://www.v2ex.com/t/1012222
#npm
Sonatype
npm Registry Flooded with 748 Movie-Storing Packages
The Sonatype Security Research team came across 748 packages flooding the npm software registry.
😁3