When the light is running low And the shadows start to grow And the places that you know Seem like fantasy There's a light inside your soul That’s still shining in the cold With the truth The promise in our hearts

Hello! Israel is committing a massacre of civilians in central Beirut today, where they, among other things, CONDUCTED ONE HUNDRED AIRSTRIKES IN TEN MINUTES ALL TARGETING RESIDENTIAL BUILDINGS

Probably the most important part of the Claude Mythos announcement, which in its entirety is absolutely bonkers anyway

Music for finishing a first draft of an audit report

Verification Facade: Masquerading Insecure Cryptographic Implementations as Verified Code (Nadim Kobeissi) ia.cr/2026/670

New paper: "Verification Facade" -- I show that hax's Rust-to-F* pipeline can produce verified code where the F* model diverges from the program Rust executes. 5 PoCs against ML-DSA, ML-KEM, Ed25519, ChaCha20. All pass tests. 3 of 5 pass F*'s FULL verification, with invisible security gaps.

Music for finishing a paper you're proud of

Positively thrilled that I can finally uninstall F*, hopefully for the last time

There exists a very strong correlation between how much the music I listen to contains the Freedom Leitmotif (from Deltarune) and whether or not I'm working on a new paper

I built Jehapedia (جِحَابيديا), an encyclopedia of the tales of Jeha, the legendary jester of Arab folklore. Each story is in beautiful Arabic script and comes with an English translation (handwritten by me). Adding more stories in the next few days. jehapedia.org

Every single one of these turned out to be an excellent read

Absolute gem from Nature archive.is/yAdmQ#select... Biologists had all the time in the world to establish IACR, USENIX, ICML, etc. Cutting funding is one thing, paying to publish in legacy "prestige venues" is a travesty. Just do an overlay over bioarXiv and call it a day.

@zachweinersmith.bsky.social Over 10 years old, still relevant today. www.smbc-comics.com/comic/2014-0...

Made the mistake of strolling into a Swarovski shop and saw this. Who on Earth would buy this?!

a decent indicator for being in some kind of cult is when it is demanded to call everyone who doesn’t agree with you a “cultist”

New post: Recommending post-quantum native design under epistemic duress

I am legally required to share the following disclosure pursuant to Order No. 2026-1187 of the Greffe du Tribunal de Commerce de Nanterre, mandated under Articles L. 123-3 and R. 123-54 of the Code de Commerce.

Important career/life rule: always focus on what people do. What they say is completely irrelevant.

Wario better be in this one!!! 😠🧄

Not The Onion: the death penalty law applies only to Palestinians

Life in the year 2026: my steak thermometer has Bluetooth

Photographer Rodrigue Najarian took this picture of a young girl just 7 minutes after she survived a blast in Beirut:

The American University of Beirut says it has shifted to online classes following Iranian threats against U.S.-affiliated institutions in the region, according to a statement. -AFP

It’s amazing just how much I get out of The Third Sanctuary, a track @tobyfox.undertale.com composed for Deltarune. Ever since it came out last summer I’ve listened to it thousands of times, including various covers. It’s become my life’s theme. Latest amazing cover: youtu.be/kEaILaMBX2M

We went to the zoo today and I took my pro camera with me. Here are my photos! White tiger, lionesses, giant panda (1/3)

The Signal protocol is well documented but hard to grasp the first time. Especially what's happening under the hood while using a messaging app. I built an educational tool that lets you chat on a simulated phone and see protocol details in real time, completely offline. Enjoy!

Today's work music

Very happy, very grateful, very proud

Today's work music

new Joy of Cryptography just dropped (feat. Post-Quantum Crypto)

Announcing a new software utility for macOS: MemoryDot is a light utility that lets you track your system's memory pressure in your menu bar, which is far more useful than tracking "used RAM %" on macOS. Lightweight, 100% Swift, easy on resources, available via Homebrew:

NO WAY!

Initiative to line up all world leaders in front of Lebanese schoolchildren and prod them violently with searing hot cattle prods until they scream "WE'RE SORRY WE DID THIS TO YOU"

FINALLY! Cryspen submits RustSec advisories for my hpke-rs vulnerabilities that I disclosed *a month ago*, correctly marking the nonce reuse vulnerabilities as critical, with a CVSS 4.0 score of 9.3/10! I can finally move on from this mess. github.com/rustsec/advi...

Music for starting to plan the Cedarcrypt program with my former students: soundcloud.com/skaven252/di...

Today’s work music on.soundcloud.com/opxMNVXxvsCd...

🚨 The Conservatives (EPP) are attempting to force a new vote on Thursday (26th), seeking to *reverse* Parliament's NO on indiscriminate scanning. This is a direct attack on democracy and blatant disregard for your right to privacy. No means no. Take action now: fightchatcontrol.eu

I think it can safely be said that Deltarune Chapter 5 will come out this summer