🔥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

Need an awesome, blazing-fast C++ linker? Look no further than Rui Ueyama's fantastic "mold" linker. It's SO fast, making edit/compile/test cycles so much more pleasant: github.com/rui314/mold Rui is trying to do this OSS venture alone: PLEASE support if you can. 1/2

What is type safety, you ask? Copilot has some thoughts

The truth about Linux, macOS and Windows.

Turns out, Rust is not bad at memory safety. “There are approximately 1.5 million total lines of Rust code in AOSP […] To date, there have been zero memory safety vulnerabilities discovered in Android’s Rust code.” security.googleblog.com/2022/12/memory…

Students need helmets to move C code into safe Rust. Jinghao Jia Rowen Chin Ruowen is graduating this semester and is looking for a kernel developer job. Any such jobs available these days?

I will be presenting the work about our eBPF-based KCFI mechanism at eBPF’ 23 today :)

In the last two years, Xinyu has been working with Darko Marinov and other PL/FM/SE at Illinois faculty to integrate the research on Configuration Testing (Ctest) into splash grad-level courses, including CS 527 (Software Engineering) and CS 591SE. Ctest is now a course project in 523.

Excited to announce I'll be speaking at #KubeCon in Paris! Join me as I present our progress on transitioning Acto from academic research to open-source. Acto, a push-button E2E testing tool for Kubernetes operators, has uncovered hundreds of bugs in popular operators on Github:

just compile it

Rust offers great coding flexibility and advantages on Ubuntu, but that's not all. 🧑‍💻 With eBPF, sched-ext, and Rust, you can hot-swap the Linux kernel scheduler at run-time with a user-space program. Learn more in our blog. canonical.com/blog/crafting-… #RustLang #OpenSource

Aside from a 2 to 4 hour window of clouds and scattered showers with a cold front overnight, skies will be mostly clear once diurnal cumulus dissipates this evening for potential viewing of the aurora. #ILwx

.The Boeing Company's Steve VanderLeest & ♨️ Wentao Zhang will present an #ELISASeminar focused on their experience in measuring the #Linux kernel’s code coverage, with an emphasis on MC/DC. Register here to join us on May 22 at 7 am PT: hubs.la/Q02xh8gQ0 ELISA Project #ELISAProject #opensource

Very excited to present our work with Steve (Steve VanderLeest) on enabling fine-grained kernel coverage measurement. Check the link and join us on Wednesday!

This strange tweet got >25k retweets. The author sounds confident, and he uses lots of hex and jargon. There are red flags though... like what's up with the DEI stuff, and who says "stack trace dump"? Let's take a closer look... 🧵1/n

I think I like this feature of my mold linker.

This is actually one of the things that still bugs me about kernel Rust BTW... I don't know of any way to get diagnostics/detailed info about stack frame sizes, so I can find out what is bloating stack usage. Linux defaults to 16K kernel stacks...

Always want to tweet about Jinghao Jia 's work on universally fast #Kprobes for all kernel instructions. Apart from the clean-slate design dubbed Uno-kprobe, much of the research has been upstreamed to Linux and is making Kprobes faster on more instructions. Here's Jinghao from

A recent change in the Linux kernel's handling of writes to running executables have caused a mysterious issue with the mold linker. Sigh. github.com/rui314/mold/is…

Xudong Sun is on the faculty job market. He is truly brilliant, and has been doing exciting research on System Verification and Software Testing towards the vision of provably correct cloud infra and systems. His materials can be found at, marshtompsxd.github.io Interview him;

I'm excited to present our work "Rex: Safe and Usable Kernel Extensions in Rust" at Open Source Summit North America 2025 tomorrow! sched.co/1zfpE