Ananth Venkatesh
quantum9Innovation
Haskellian hacker, Nix flake manager, software freedom fighter, applied mathematician (in theory), and purveyor of abstract nonsense, among other things
MIT ’28 Cambridge, MA
Attila Lendvai
attila-lendvai
moving away to: https://codeberg.org/attila.lendvai
there's also: https://github.com/attila-lendvai-patches
Budapest, Central Europe
Tomáš Gavenčiak
gavento
Researcher at @acsresearch working on AI theory of alignment, game theory, and complex LLM agent interactions.
Alignment of Complex Systems Prague
therewillbecode
therewillbecode
Lean/Haskell/Rust/Typescript -
"To ask the right question is harder than to answer it."
Georg Cantor
Edinburgh, UK
Evan Hubinger
evhub
Alignment Stress-Testing lead @anthropics. Previously: @machine-intelligence, @openai, @google, @Yelp, @ripple.
Anthropic San Francisco, California
Andreas Stuhlmüller
stuhlmueller
Cofounder & CEO @elicit - scale up good reasoning
Elicit San Francisco, CA