Gavin Zhao @[email protected]

Hey look at that, world's first baremetal instalation of Serpent OS

Sandy Gottesman是伯克希尔早期投资者，2022年96岁去世。

去世前，留了一笔钱告诉他的妻子——现年93岁的爱因斯坦医学院前教授Dr. Ruth Gottesman——你觉得这钱怎么花合适就怎么花。

几个小时前，她宣布把这10亿美元捐给医学院。从今年8月开始，所有学生都不需要再支付学费了。

美国私立医学院的四年学费，一般在20万到30万美元之间。 加上四年大学，差不多要40-60万美元左右。

@[email protected] Similarly, Siamese cats are heat maps of themselves ​​

大半夜的，被那个 spam 图片搞的想吃午餐肉了

OpenAI: (chews on dataset)
World: what’s that in your mouth?
OpenAI: (chews faster)
World: WE SAID WHAT’S THAT IN YOUR MOUTH SPIT IT OUT

AMDGPU LLVM Adding GFX 9/10/11 "Generic Targets" To Build Once & Run On Multiple GPUs

Code merged today to mainline LLVM is preparing for the notion of generic targets across the GFX9, GFX10, and GFX11 GPU families. With follow-on work these generic targets are aiming to allow compiling code once and then running across multiple GPUs in the given hardware family...
https://www.phoronix.com/news/LLVM-AMDGPU-Generic-GFX

the trouble with writing is that it's literally always easier to lie on the floor making seal noises

Heya, folks! We want to start the new year off right, and what better way to do that than a new Solus release? That's right, Solus 4.5 Resilience is now available to everyone! A ton of work has gone into this release, including a new installer with #Calamares, and a new #XFCE Edition!

Blog post: https://getsol.us/2024/01/08/solus-4-5-released/
Downloads page: https://getsol.us/download/

#Solus #Linux #OpenSource #foss #Resilience

- Evan

Like when I can’t get Rust to work it’s usually because it’s stopping me from doing something dumb, whereas when I can’t get C to work it’s always because it has allowed me to do something extremely dumb.

圣诞节快乐

Announcing the official release of Fedora Asahi Remix 39!

Props to the Asahi Linux project and the Fedora Asahi SIG for all their work in providing a stable Linux experience on Apple Silicon.

* All MacBook Air, MacBook Pro, Mac Mini, Mac Studio and iMac systems with M1 and M2 chips are supported
* KDE Plasma is the default desktop environment
* Wayland enabled by default
* The speakers work, baby!

Announcement: https://fedoramagazine.org/introducing-fedora-asahi-remix-39/
Download: https://asahilinux.org/fedora/

#Fedora #Asahi #Linux

join the petition to tax higher order functions from programming! don't let devs get away without paying maintenance tax when they casually add a continuation parameter and pass a function defined 100k lines away in the codebase

The #Lean4 project to formalize the proof of the Polynomial Freiman-Ruzsa conjecture has succeeded after three weeks, with the dependency graph completely covered in a lovely shade of green: https://teorth.github.io/pfr/blueprint/dep_graph_document.html , and the Lean compiler reporting that the conjecture follows from standard axioms.

More discussion on the project can be found at https://leanprover.zulipchat.com/#narrow/stream/412902-Polynomial-Freiman-Ruzsa-conjecture/topic/Project.20completed!.20.20Thoughts.20and.20reflections.3F