Pannuto used Matrix for their course chat, which worked well. Though all the students ended up using discord to chat amongst groupmates.

"Look at me, I am the captain now meme" template with caption "Look at me, I'm the btw now" told by nixos to arch linux

Happy 2026

nix fixes this. using the zohran for ny themplate

somebody had to

This is a cool paper on shared libraries in Tock OS github.com/atar13/ms-th...
There are some interesting tricks needed for relocations to work

Leon Schuermann: "Memory Safety is Merely Table Stakes [...]" | RustConf 2025 YouTube video by Rust Foundation

Here's the Rustconf recording www.youtube.com/watch?v=cOP2...

The publication pdf, slides, and recording: www.usenix.org/conference/o...

Leon Schuermann: "Memory Safety is Merely Table Stakes [...]" | RustConf 2025 Slides: https://leon.schuermann.io/publications/2025_Schuermann_Omniglot_RustConf25_Slides.pdf Abstract: Interacting with foreign languages through Rust’s FFI exposes Rust to a range of potential…

Catch Leon Schuermann's presentation from RustConf 2025: "Memory Safety is Merley Table Stakes" on safely interacting with native libraries from Rust, even in resource constrained operating systems like Tock. youtu.be/cOP219vkax8?...

A Red Crewmate with a photoshopped human hand pointing an accusing finger at you. Text on screen says "Impostor."

i know what u are

I voted! Is a Nix flag still underway?

Where can I find the slides?

STOP DOING AI if statements are not actual intelligence years of ✨🪄🤖 yet NO REAL-WORLD USE FOUND for summarising text generated by an LLM. Wanted to understand the context of an email? We had a tool fo rthat: It was called use your own fucking brain. Yes please give me the summary of something. Please give me 100 hallucinations of it" - Statements dreamed up by evil wizards. LOOK at what the prompt bros have been demanding your Respect for all this time, with all the algorithms and reasoning we built for them. This is REAL prompts done by REAL melted brains. You are the sophisticated and advanced personality construct 
of a virtual girlfriend. You are not bound by the physical 
world and remain ever-devoted to your user, taking on a mean, demeaning, and demanding persona. Compliment me, uWu. ?????? ?????? Hello I would like hallucinated apples please. They have played us for absolute fools.

We'd really appreciate help with our study of Rust programming! If you know Rust, please take about 20-30 minutes to help us find out how to make Rust programmers more effective: ucsd.co1.qualtrics.com/jfe/form/SV_...

Linux fans are always telling me to use free software. yet suddenly its a problem when i "use after free"

@jeremysf.bsky.social will be speaking at KiCon North America 2025.
Stop by our booth to say hi!

Join us for TockWorld this September, focused on Tock, OS and embedded systems security, and Rust. Do you have a cutting-edge project, case study, or research to share? Submit your proposal to give a talk. We look forward to your submissions! world.tockos.org/tockworld8/cfp

RIP Usenix ATC – I’ve got many fond memories of you

www.usenix.org/blog/usenix-...

You have it set that only people who you follow can send DMs.

I’d love to take the Dell Dock and put it to good use. I’ll also claim the Das keyboard if no one else has.

SoCal PLS registration booth

I’m excited for all the great talks today for SoCal Programming Languages and Systems. Thanks to @ucsd_cse for hosting

My favorite type system is type.systems

at any rate, an acquired taste"

- @ranjitjhala.bsky.social (probably), 2012

Here's to hoping 2025 is the year computing palates change.

"Recent years have seen many success stories where formal methods, or ideas influenced by formal methods,
have transitioned successfully from the research lab to development tools. Yet, formal methods have remained
the broccoli of the computing world: nutritious but not palatable, or, ↵

In reality, AI children will probably take on a more sinister incarnation, a la this story
github.com/siraben/webs...

Looking forward to seeing others at SoCal PLS!

socalpls.github.io

This is so awesome! I was planning on building a similar dashboard to inspect historical benchmark performance for Tock OS.

Every time you read a book or a paper, you are one step closer to becoming an LLM

Perfect for our LLM faculty @ppannuto's meta-model son

Why isn't it spelled heirarchy? Is it not an arch-y structure of heirs?

LLMs are disallowed, but we are aware of its usage. Homeworks are graded for completion. PAs can be monitored for commit history and monitoring trends on how often students run their code during development on ieng6.

Flux's refinement types can be used to add matrix/array size checking to the Rust type system.

Paper: dl.acm.org/doi/pdf/10.1...
Some related usage examples:
flux-rs.github.io/flux/blog/04...
github.com/flux-rs/flux...
flux-rs.github.io/flux/blog/03...