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

Skip to content
View lukstafi's full-sized avatar

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

@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

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

Wharton, University of Pennsylvania Philadelphia

@sdiehl
Stephen Diehl sdiehl
I build software.

London

@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

@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

@LumenPallidium
LumenPallidium
loops loops loops
@dboris
Boris D. dboris

Vancouver, Canada

@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

@shonfeder
Shon Feder shonfeder
Allophilia x Synechism x Rhythmicism

@tarides

@igarnier
igarnier
I guess I'm a nerd

Paris, France

@chambart
Pierre Chambart chambart
I do OCaml stuff

OCamlPro Paris, France

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

@o1-labs Toronto

@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

@anmonteiro
Antonio Nuno Monteiro anmonteiro

@recallai SF Bay Area, CA

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

@ahrefs Barcelona