shachaf shachaf@gts.y.la

I write Haskell for a living, Agda for fun, Nix for self-improvement, OpenSCAD to make pretty shapes. I sometimes post about maths. I sometimes think about genealogy. I might even post about other things, too.

I'm a Linux kernel contributor and open source enthusiast. My interests span from SAT solvers and cryptography to GPU shaders and compilers.

For me, open source is about sharing knowledge and giving everybody access to technology. That's why I write about getting started with Linux kernel development, fuzzing, debugging, etc.

I've worked on Ksplice and Linux kernel security professionally for 10+ years.

The views expressed on this website are my own and do not reflect the views of Oracle.

Working on distributed systems at Facebook. “uvdn7” is “lupan” rotated by 180.

Check out my blog at https://blog.the-pans.com/

Compilers, embedded, open-source hardware and infosec. :vim: :python: :rust:

Working in the automotive sector. Dreaming of computing without computers.

Jack of all cyber security, occasional dabbler in vulnerability research. Windows Internals teacher
Nowdays trying to make a processor tick

www.acepace.net
https://github.com/acepace
Co creator of the Infection Monkey

Dev tools, open source, HPC, systems, parallel computing at LLNL. https://spack.io guy. Opinions mine. he/him.

"nʉf". He/They. A nerd's nerd. Anti-fascist, anti-theist. 🏳️‍🌈🏳️‍⚧️ Work @ MS Research; opinions mine.

Recovering gamedev. Programmer, language nerd, and D&D ForeverDM™. 🇿🇼🇪🇸🇬🇧🇯🇵

Real name: Max S. New

Assistant Professor in Computer Science & Engineering at University of Michigan.

Programming language theorist, categorical logician