shachaf shachaf@gts.y.la

Real name: Max S. New

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

Programming language theorist, categorical logician

Just a LWish dude.

I make podcasts that I think are worth recommending: if you like hearing about AI x-risk research, check out AXRP (the AI X-risk Research Podcast, axrp.net), and if you like random interviews with whoever I want to talk to, check out The Filan Cabinet (thefilancabinet.com).

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

You are all dreams and we are happy to know you, as you are nice dreams. We are an asexual autistic trans-feminine plural system with a label collection.

We compromise with legibility only so far as to say the following: Technology Director at Internet Safety Labs; ex-Google information privacy expert. 🏳️‍⚧️🍁

Principal Research Software Engineer at Microsoft Research - Let TLA+ (in) RiSE @ MSFT

Rust dev at work • Playing around with Swift and SwiftUI at home • Used to work on formal verification for Scala • Haskell enthusiast • Web dev in a previous life • I like 🐈🎾⛷️ 🧗‍♂️🛹👟

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

@dmewes.com on BlueSky

Computer scientist. Interested in technology, artificial and natural intelligence, emergent complexity, among other things.

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

Make learn-anything.xyz & kuskus.app

Learn in public: wiki.nikiv.dev

Mostly boosting interesting tech-related stuff I may or may not have read completely. All my opinions are my own.