Skip to content

Users following smlnj

@Sherin-SEF-AI
Sherin Joseph Roy Sherin-SEF-AI
Entrepreneur & Technologist | Founder @ DeepMost AI | Building Lexeek & SEF | Creating AI systems that blend safety, intelligence & real-world impact.

DeepMost-ai Bangalore, India

@lemenkov
Peter Lemenkov lemenkov

@RedHatOfficial Brno, Czech Republic

@stivenviedman
Stiven Viedman stivenviedman

Fullstory Cali, Colombia

@willie-lin
Willie Lin willie-lin
Cloud Native Platform Engineer. Interested in Kubernetes and Security Engineer, DevSecOps.
@binghe
Chun Tian binghe
Common Lisp programmer, HOL proof engineer
@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@bitmaybewise
Hercules Merscher bitmaybewise
Coding for a living and for fun :) Doing observability stuff at @gitlabhq

@gitlabhq Berlin, Germany

@4ad
Aram Hăvărneanu 4ad
Mathematical engineer bringing type safety to the cloud.

Vienna, Austria

@OneHalfTimesFlow
He Shuhao OneHalfTimesFlow
Perfect practice makes perfect

Guangzhou

@lassik
lassik
Lisp antihero
@deadmarshal
Ali deadmarshal
I love Perl, Lua, Pascal, Oberon, Modula-2/3, C, Forth, Erlang, Standard ML, Scheme and Assembly

deadmarshal Iran, Karaj

@shonfeder
Shon Feder shonfeder
Allophilia x Synechism x Rhythmicism

@tarides

@skylee03
Yang Ming-Tian skylee03
PhD Student @hkuplg

University of Hong Kong Hong Kong

@lzy0505
Zongyuan Liu lzy0505
PhD student in formal verification

@logsem Aarhus

@dhil
Daniel Hillerström dhil
Effectful programmer

Category Labs, New York City, NY, USA

@melsman
Martin Elsman melsman
Professor at the Department of Computer Science, University of Copenhagen. Conducts research in the design and implementation of programming languages.

University of Copenhagen, Denmark Copenhagen, Denmark

@mjsottile
Matthew Sottile mjsottile
Computer scientist @ Lawrence Livermore National Laboratory, Center for Applied Scientific Computing. Researcher in compilers/PL, HPC, applied math.

LLNL

@richard-zhang
SSHz richard-zhang
Functional Programming * Mathematical Construction of Programs * C++ * Session Types * Category Theory * Finance

Bloomberg L.P. London

@0xDkXy
Haoyu Li 0xDkXy
CS PhD @RutgersCS

Free New Jersey