🌿
Andrew Helwer
ahelwer
Formal methods & distributed systems. Independent software engineering contractor. TLA⁺ enthusiast!
Disjunctive Consulting LLC Atlanta, Georgia
Zak Kohler
y2kbugger
Exploring the line between hardware and software. Electronics, CPUs, compilers, FPGA, operating systems, Linux, free software, hiking, embedded, retrocomputing.
Ohio, USA
apartresearch
apartresearch
Artificial intelligence will change the world. Our mission is to ensure this happens safely and to the benefit of everyone.
Ben Clifford
benclifford
Functional programming. Distributed systems. Programming languages. LEDs.
Callum McDougall
callummcdougall
Interpretability Researcher at Anthropic. Director of the ARENA program.
London
Aravind Nair
aravi11
Doctorate Student in Applied Machine Learning at KTH Royal Institute of Technology, Sweden
Stockholm, Sweden
Daniel Han
danielhanchen
Unsloth - 2x faster 70% less VRAM finetuning Llama-3.1, Mistral, Gemma-2, Phi-3
San Francisco
Herb Caudill
HerbCaudill
Software for human beings. Global development. Cities. Tools for thinking. RPCV. CEO & founder, @DevResults.
DevResults Barcelona
Emir Uz
emiruz
Research, science, data and engineering.
Full profile here: https://uk.linkedin.com/in/emiruz
London
Leandro's Abstract Machines
AbstractMachinesLab
@Ostera is building languages and software tools and all sorts of crazy things in here.
Stockholm, Sweden
Nicolas Audinet de Pieuchon
nicaudinet
NLP and Causality PhD student. Also interested in Haskell, complexity and all sorts of topics!
Chalmers University of Technology Goteborg, Sweden
Quentin Barthélemy
qbarthelemy
Fallen into the depths of learning.
Move wisely, respect things.
France, Lyon
Felix Paulusma
Vlix
Japanologist/Linguist thrust into the programming world.
Leiden, The Netherlands
Aadyot Bhatnagar
aadyotb
ML scientist working on sequence generation problems in biology. Previously worked at Salesforce on time series, uncertainty estimation, and speech recognition.
@Profluent-AI Berkeley, CA
PreviousNext