Yan
TheFanatr
I have a very good description you can find here: https://goo.gl/sTBRL6 . It pretty much sums everything up.
\Device\HardDisk1
Mx07z
I mostly work with html, rendercom,termux,codespaces,replit,netlify,railwaysmsql: java j2me ,Python,.sql/.db,three.js. cloud-images.ubuntu.com/rls/22.04-scarm64
Samuel Chassot
samuelchassot
Applied scientist intern @ Amazon (Dafny), Austin, TX
//
PhD student in Computer Science @ EPFL Switzerland
Amazon Austin, TX
Ibrahim Ghonem
Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog
Sky limit Egypt
Andrew McNutt
mcnuttandrew
(Visualization | HCI) (person | engineer | researcher | prof).
Utah Salt Town
Kartik Singhal
k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Chicago, IL
David M.
damerms
▲ (UI) User Interface/(UX) User Experience/(Ix) Interaction/Product/App/Web/Mobile/Frontend Design | (IA) Information Architect ● Gourmet | Eco | Good Cook ■
Fengyun Liu
liufengyun
Programmer interested in programming languages and formal methods
Lausanne, Switzerland
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Justin Lubin
justinlubin
Co-designing programming systems with domain experts
University of California, Berkeley
Romain Ruetschi
romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
Lausanne, Switzerland
Régis Blanc
regb
Entrepreneur, game developer. builder, Scala enthusiast, Snowfaller, ex-CTO, Xoogler. PhD from EPFL. Occasional MTG player. Just enjoy building cool stuff.
Zurich
Viktor Kunčak
vkuncak
Viktor Kunčak (PhD MIT, 2007) is an associate professor at EPFL leading @epfl-lara group.
EPFL Switzerland