teto
Follow
Quansight
Quansight
We grow talent, build technology, and discover products by helping companies grow OSS communities to organize and analyze their data.
Andrew Helwer
ahelwer
Formal methods, distributed systems, quantum computing. Independent software engineering contractor. TLA⁺ enthusiast & Canadian!
Disjunctive Consulting LLC Atlanta, Georgia
Marc Jakobi
mrcjkb
Insanity is running the same Nix build over and over again and expecting different results.
tiko Energy Solutions AG Zurich, Switzerland
hotwatermorning
hotwatermorning
Working at https://labbase.jp/
Often use Rust, TypeScript, C++, JS, Ruby, Bash.
Have been developing a VST3 Host Application called "Terra".
https://labbase.jp/ Tokyo, Japan
Justin Le
mstksg
jle / mstksg / Lê Anh Khoa: Computational physicist & Haskeller, PhD
@Anduril Orange, CA
Masahiro Sakai
msakai
Computer science researcher.
Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
Preferred Networks, Inc. (@pfnet) Kawasaki, Japan
Marcin Szamotulski
coot
Mathematician and Software engineer. Exploring the world of Category Theory and Functional Programming.
@input-output-hk
Barry Moore
chiroptical
Random functional programming content on https://youtube.com/chiroptical.
https://mercury.com Boston
Victor Adossi ("vados")
t3hmrman
Most of my stuff is on GitLab :)
https://gitlab.com/mrman
@VADOSWARE Tokyo, Japan
Alexander Granin
graninas
Software architect, books author, Haskell expert, international speaker, blogger
My book: Functional Design and Architecture (2st edition, Manning)
UAE, Dubai
Samuel Dionne-Riel
samueldr
@NixOS committer, Mobile NixOS founder. (Also: @Jovian-Experiments)
Also trying to solve a slice of the ARM mess with @Tow-Boot.
Mobile @NixOS (@mobile-nixos) samueldr pretty much everywhere?
PreviousNext