Forwarded from 中文維基新聞廣播頻道
当地时间25日下午1点40分，京都地方法院一审判决京都动画纵火案被告青叶真司死刑。其被指控五年前纵火焚烧京都动画工作室，导致 36 名员工死亡。
🙏6
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.