Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View lukstafi's full-sized avatar
69 followers · 161 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: Starstruck

Block or report lukstafi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@jbachurski
Jakub Bachurski jbachurski
Cambridge CompSci, problem solver, competitive programmer

University of Cambridge United Kingdom, Cambridge

@yminsky
Yaron Minsky yminsky

Jane Street New York, USA

@morph-labs
Morph morph-labs
Building the infrastructure for the singularity

United States of America

@abderrahmanskiredj
abderrahmanskiredj
@kiranandcode
Kiran Gopinathan kiranandcode
Researcher working on proof repair and maintenance

Research Scientist NYC

@derekchiang
Derek Chiang derekchiang
Solving Web3 UX @ ZeroDev

@zerodevapp NYC

@saurabhaloneai
saurabh saurabhaloneai
I build simple things with neural network.
@zshipko
zach zshipko

Los Angeles, CA

@hjbar
hjbar
@damek
Damek Davis damek
Professor at Wharton's Department of Statistics and Data Science \\ Working on optimization and ML

Wharton, University of Pennsylvania Philadelphia

@raven-ml
raven-ml
@tlh24
Tim Hanson tlh24
@modula-systems
modula-systems
@sdiehl
Stephen Diehl sdiehl
I build software.

London

@cloneofsimo
Simo Ryu cloneofsimo

KAIST

@NX-AI
NXAI NX-AI

Austria

@ericauld
Eric Auld ericauld
GPU programming at Together AI

Together AI LA & SF

@cursor
Cursor cursor
The AI Code Editor
@specstoryai
SpecStory specstoryai

United States of America

@edwinans
Edwin Ansari edwinans
Software Engineer. Interested in programming languages, FP, formal verification, and blockchain technologies.

@Lexifi Paris

@seb-v
Seb Vince seb-v
@v-gb
v-gb
@Meinersbur
Michael Kruse Meinersbur
Optimizing compiler engineer with an focus on loops.

Advanced Micro Devices

@tachukao
tachukao
computational neuroscience, machine learning
@gdeest
Gaël Deest gdeest
Computer scientist and Haskell programmer @Autogriff

Autogriff Rennes, France

@deepseek-ai
DeepSeek deepseek-ai
@LumenPallidium
LumenPallidium
loops loops loops
@dboris
Boris D. dboris

Vancouver, Canada

@diremy
Didier Remy diremy

INRIA

@CharlesAverill
Charles Averill CharlesAverill
UTD CS PhD, losing my mind grading

@SoftwareLanguagesSecurityLab Dallas

@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@XFFS
XFFS
@shonfeder
Shon Feder shonfeder
Allophilia x Synechism x Rhythmicism

@tarides

@m-laniakea
eir m-laniakea

.

@fpottier
François Pottier fpottier

Inria Paris, France

@ncik-roberts
Nick Roberts ncik-roberts
@biocaml
Biocaml biocaml
@igarnier
igarnier
I guess I'm a nerd

Paris, France

@EurekaLabsAI
EurekaLabsAI
@chambart
Pierre Chambart chambart
I do OCaml stuff

OCamlPro Paris, France

@harmonic-ai
harmonic-ai
@Fizzixnerd
Matt Walker Fizzixnerd
Software developer in Toronto. Lover of functional programming and DevOps.

@o1-labs Toronto

@robhoes
Rob Hoes robhoes
@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@samsa1
Samuel Vivien samsa1
PL PhD student currently working on adding modular implicits to the OCaml compiler

INRIA Paris - France

@EleutherAI
EleutherAI EleutherAI

The Internet

@pqwy
dkm pqwy
@anmonteiro
Antonio Nuno Monteiro anmonteiro

@recallai SF Bay Area, CA

@davesnx
David Sancho davesnx
Building the tools behind user interfaces @ahrefs

@ahrefs Barcelona

@tensor-compiler
tensor-compiler