shachaf shachaf@gts.y.la

disabled queer computer geek

https://www.atnnn.com/about

Reading about types

post-doc CSD at CMU :: programming languages :: parallel algorithms :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)

grapherd and marley purveyor

entropy fighter | they/she | works at Microsoft Research

computers/compilers/accelerators, mostly · projects! XLS http://bit.ly/xlsynth TLBHit http://tlbh.it · prev: XLA ML compiler, JAX, TPU co-design, dynlang JITs

Applied graphics research at SEED. previously nvidia, blizzard, monolith, others. graphics, audio synth, exotic computation. my blog: http://blog.demofox.org.

Secondary account to my scholar.social account. Trying to branch out over instances in case any get shutdown.

History of Imperial Germany nerd trying to branch out into:
- Human Behavioural Ecology
- Marxism
- Programming
Not much of a poster.

I write code that connects people and tries not to lose their state. Currently likes digging into Rust and stealthily planning a next medium successful thing in the evenings.

Schrodinger Level of Engineer at Riot Games, organizer of Monadic Party, webassembly conneseur, originally a mathematical physicist from @EdinburghUni. Created a political party once, organized hackathons and campaigned for net neutrality.

Owns a great camera and often ponders taking photos more frequently.

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.