Andrew NesbittWhat Happened to tea.xyz
@Trundle
- 55 Followers
- 747 Following
- 152 Posts
Rust LanguageRust 1.96.0 has been released! 🌈 🦀✨
This release includes assert_matches!(), new range types in core::range::*, and fixes for a medium and a low severity vulnerability in Cargo (that didn't affect crates​.io users).
Check out the blog post for details: https://blog.rust-lang.org/2026/05/28/Rust-1.96.0/
Simon Oddershede GregersenWanna do a PhD on formal verification for cryptography? Sabine Oechsner and Kristina Sojakova are looking for a motivated PhD student to join them at VU Amsterdam. See more information below, or reach out to Sabine ([email protected]) or Kristina ([email protected]) if you have any questions.
Vacancy — PhD Position in Formal Methods for Concurrent Cryptographic Protocols
The goal of this project is to use formal methods to develop a systematic way to describe concurrent cryptographic protocols and to reason about their security. If this sounds interesting to you, please apply at Vrije Universiteit Amsterdam (VU).
Sebastian WickTrying to answer a question no sane person ever had to ask: How Hard Is It, To Open a File?
This one is about the great POSIX idea of a filesystem, and why you could not play your games and open chrome for a few days.
https://blog.sebastianwick.net/posts/how-hard-is-it-to-open-a-file/
How Hard Is It To Open a File?
It’s a question I had to ask myself multiple times over the last few months. Depending on the context the answer can be: very simple, just call the standard library function extremely hard, don’t trust anything If you are an app developer, you’re lucky and it’s almost always the first answer. If you develop something with a security boundary which involves files in any way, the correct answer is very likely the second one.
Rust 1.95.0 has been released! 🌈 🦀✨
This release includes cfg_select!{}, if-let guards in match,
Vec::push_mut, VecDeque::push_{front,back}_mut, std::hint::cold_path, and more!
Check out the blog post for details: https://blog.rust-lang.org/2026/04/16/Rust-1.95.0/
Paul MeyerRecordings of OC3 2026 (Open Confidential Computing Conference) are now available:
https://www.youtube.com/playlist?list=PLEhAl3D5WVvSqGrHPmtH9aHly3n2bwkYk
OC3 2026
Gabriele SveltoA few years ago I designed a way to detect bit-flips in Firefox crash reports and last year we deployed an actual memory tester that runs on user machines after the browser crashes. Today I was looking at the data that comes out of these tests and now I'm 100% positive that the heuristic is sound and a lot of the crashes we see are from users with bad memory or similarly flaky hardware. Here's a few numbers to give you an idea of how large the problem is. 🧵 1/5
nolen
Arson CopperflameJust uploaded my bachelor's thesis to GitHub!
In it, I detail how I created a bootstrap chain for @nixos_org which builds the whole system from a small hand-auditable binary seed.
Read the thesis: https://nzbr.github.io/nixos-full-source-bootstrap/thesis.pdf
Check out the code: https://github.com/nzbr/nixos-full-source-bootstrap
My post on the NixOS discourse: https://discourse.nixos.org/t/a-full-source-bootstrap-for-nixos/74801