🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

crates.io/crates/nightly…

#Mattarella: non si invochi la libertà per sottrarsi alla #vaccinazione, perché quell’invocazione equivale alla richiesta di licenza di mettere a rischio la salute altrui e in qualche caso di mettere in pericolo la vita altrui

"I wasn't depressed. I still had hope. Wasn't burned out, had energy. Wasn't lonely, I was with my family. I just felt a little bit aimless and a little bit joyless...there's a name for that feeling: languishing." Great new TED Talk from Adam Grant ted.com/talks/adam_gra…

The challenge I’m doing this month is called October and it’s where I just try to get through every day of October

I have a lot more confidence in the reliability of services whose engineers say “I constantly worry that what happened at FB today could happen to us” than those who say “This could never happen to us."

I'm using Google Translate on French menus and this is destroying me

Flinch xkcd.com/2539

a popular myth is that people who are Very Computer have computers that work. nothing could be further from the truth. the Very Computer are capable of generating much more novel and fascinating ways to make computers not fucking work and exercise this capability wantonly

I just accidentally typed "unsafe" as "unsage" and now I'm wondering if my subconscious is trying to warn me

+++ MATTARELLA SI GIOCA L'ULTIMA CARTA: "OGGI HO CALCETTO" +++ [george clone]

Quando vi capita di rileggere la Costituzione, e volete avere un esempio, lampante, di cosa significhi “I cittadini cui sono affidate funzioni pubbliche hanno il dovere di adempierle con disciplina ed onore”, potete riguardare questo video. Grazie, signor Presidente.

🦀 Do you have an Option<String>, but need an Option<&str>? Or do you have an Option<Vec<T>>, but want an Option<&[T]>? Or do you have an Option<Box<T>>, but require an Option<&T>? There's a method for that: Option::as_deref()! ✨ Works on everything that implements Deref. ✨

it is a common misconception that the name “C++” is a joke implying that C++ is “one better than C”. in fact it implies that C++’s existence makes C seem better in comparison, due to its use of the post-increment operator.

Optimist: The glass is ½ full. Pessimist: The glass is ½ empty. Excel: The glass is January 2nd.

d65536 xkcd.com/2626

you’ve heard of permaban, shadowban, etc, what if there’s a type of ban that makes all your messages show up at least 30 min later. i call it deutsche ban.

Shout out to my AWESOME colleagues Wenjie Ma, Tyler(Jiawei) Gu , Zicheng Ma, Tej Chajed , Jon Howell, Andrea Lattuada , Oded Padon, Lalith Suresh , Adriana Szekeres, and Tianyin Xu !

Two best paper awards at OSDI for projects using the Rust verification tool Verus! Co-leader of the Verus project Andrea Lattuada (Andrea Lattuada) will be joining Max Planck Institute for Software Systems as a research group leader in September, and is actively looking for strong students & postdocs to work on Verus!

Xudong (Xudong Sun) will soon be on the job market. He is very determined to and well prepared for fundamental systems research on software correctness and reliability. If your department is hiring, give him a chance to show you his work and future plans.

Today, Johanna Polzin from ETH CS Department gave a talk on her ongoing work with Matthias Brun, Reto Achermann , and Andrea Lattuada , "Specifying and Verifying Page Tables in a concurrent OS"!