shachaf shachaf@gts.y.la

Working in tech as a software engineer. Baker, gardener, and more in my free time. He/him.

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 🐈🎾⛷️ 🧗‍♂️🛹👟

:emacs: :orgmode: :vim: :linux: :terminal: :bash: :xfce: :syncthing: :AntennaPod: :fdroid: :anAmigaBall: :msdos: :windows95: :windowsxp: :pplmsn: :firefox: :rss: :teapot: :teapot2: :latex: :idle: :casio: :f91w: :ohgno: :rms: :smart: :c_language: :cpp_language: :java: :tetris:

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.

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

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

🎇 Somehow Is A C Expert ✨ Smooches Unicode-kun 💕 The C Standard Cannot Be Replaced And Will Never Be Destroyed. 🧟‍♀️ Pixel Art is Cool ✨

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

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

Reading about types