Skip to content
View lulucca12's full-sized avatar
34 followers · 360 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
Block or Report

Block or report lulucca12

Report abuse

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

Report abuse
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@turicas
Álvaro Justen turicas
Free/libre software hacker, hypnotist, remote worker, teacher, coffee lover/roaster

Pythonic Café São Paulo, Brazil

@1ucasvb
LucasVB 1ucasvb
Math enthusiast, physics student, educational animator. Yet another sapient pile of stardust.

Brazil ↦ Austria

@otoayana
Lux otoayana

Santiago, Chile

@jnguyen1098
Jason Nguyen jnguyen1098
University of Guelph CS '22

Guelph

@linuxgemini
İlteriş Eroğlu linuxgemini
I do things that are small and useless enough that someone finds it useful years later.

Ankara, Turkey

@Cynosphere
Cynthia Foxwell Cynosphere
@espimarisa
Espi Marisa espimarisa
Software developer, tinkerer, activist, university student, and nerdy catgirl.

Birmingham, Alabama, United States

@OPNA2608
Cosima Neidahl OPNA2608
Likes FOSS and NixOS. Does weird things. Loves ducks. Computer Science student at HTWK Leipzig.
@Pegmode
Daniel Chu Pegmode
Chiptune artist, Computer Science student, vintage computer enthusiast and an all around weirdo

Edmonton Alberta Canada

@lewisakura
lewisakura lewisakura
Unprofessionally developing software since a while ago.

England, United Kingdom

@zorchenhimer
Nick zorchenhimer
I do computer things. ¯\_(ツ)_/¯

East Coast, USA

@BigEvilCorporation
Matt Phillips BigEvilCorporation
Director of Big Evil Corporation, ex-Crytek, ex-Traveller's Tales programmer. Mostly writes SEGA Mega Drive games and development tools.

Big Evil Corporation Manchester, England

@TheEnbyperor
✨ Q (it/its) ✨ TheEnbyperor
🏴󠁧󠁢󠁷󠁬󠁳󠁿 ISO/IEC Standard Magical Code Witch. Autistic. Vegan(ish). Pushing packets at @AS207960. PGP: 0F28DC71767B4338

@AS207960 Cardiff, Wales

@OSToastBach
Enfys OSToastBach
"Please wait while the funky demo loads its funky stuff..."

Liverpool, England

@dylanaraps
dylan dylanaraps
self taught, creator of @kisslinux
@chrismessina
Chris Messina chrismessina
#️⃣ Hashtag inventor 🏆 #1 Product Hunter 🎩 Alfred Enthusiast Speaker · Product Therapist · Technologist

@CitizenAgency Oakland, CA

@serras
Alejandro Serrano serras
Engineer, functional programming passionate, author of 'FP for the Curious Kotliner', 'Haskell (Almost) Std. Libs.', 'Book of Monads', and 'Practical Haskell'

@JetBrains Utrecht, Netherlands

@gvolpe
Gabriel Volpe gvolpe
λ Functional Programming λ

@profunktor Buenos Aires, Argentina

@mietek
Miëtek Bak mietek
@vladimirias
Vladimir Voevodsky vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.
@andrejbauer
Andrej Bauer andrejbauer

University of Ljubljana Slovenia

@carlosolarte
Carlos Olarte carlosolarte
I'm professor at LIPN USPN, Villetaneuse (France)

LIPN USPN

@chiroptical
Barry Moore chiroptical
Random functional programming content on https://youtube.com/chiroptical.

https://mercury.com Boston

@bozsahin
Cem Bozsahin bozsahin
I work at the apparently nonmonotonic intersection of computer science, linguistics, philosophy and cognitive science, to study complex organized behaviour.

ODTU

@arademaker
Alexandre Rademaker arademaker
Researcher in Logic, Computational Semantics, NLU and KRR.

IBM Research and EMAp/FGV Rio de Janeiro

@vcvpaiva
Valeria de Paiva vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.

@ToposInstitute Cupertino, CA

@thosgood
Tim Hosgood thosgood
@DominicBreuker
Dominic Breuker DominicBreuker

Berlin

@Neo23x0
Florian Roth Neo23x0
#DFIR #Sigma #YARA #Rust #Python #Go

@NextronSystems Frankfurt, Germany

@bisqwit
Joel Yliluoma bisqwit
The Bisqwit. Free software author. YouTuber. Founder of #TASVideos. ROM hacker. Coach drⅳer. Teacher of #IsraeliFolkDance. Speaker of Hebraic Roots apologetics.

Finland

@herrhotzenplotz
Nico Sonack herrhotzenplotz

/dev/null

@benjojo
Ben Cox benjojo

London

@nanochess
Oscar Toledo nanochess
x5 IOCCC winner 2nd JS1K 2010/MSXdev'10 Dev MSX/Atari/CV/Intellivision games (2->Colecovision Flashback) World's smallest chess progs in C/6502/x86/JS/Java

Mexico

@galaxyhaxz
Andi galaxyhaxz
Autodidact. Minimalist. Reverse engineer.
@luc-tielen
Luc Tielen luc-tielen
Interested in functional programming, compilers and logic. Mainly working on Eclair, a high performance Datalog that compiles to LLVM.

Lambda Tech Belgium

@alpacaaa
Marco Sampellegrini alpacaaa
@cstml
Vlad L cstml
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"

Sheffield, United Kingdom

@ec-jones
Eddie Jones ec-jones

University of Bristol

@InsiderPhD
Katie Paxton-Fear InsiderPhD
Lecturer and hacker
@AshF0x
Peer Heinen AshF0x

Luxembourg

@carlospolop
SirBroccoli carlospolop
@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@villares
Alexandre B A Villares villares
Tech + art educator, researching computer programming education in a visual context.

@lugaralgum São Paulo

@RyanGlScott
Ryan Scott RyanGlScott

Galois, Inc. Arlington, VA

@epeery
Elijah Peery epeery

Palo Alto, CA

@mkulesh
Mikhail Kulesh mkulesh
Software Developer: air traffic management, seismic and geophysical applications, signal processing, Android development, MCU programming

Bremen, Germany

@Pomax
Pomax Pomax

Fastly Vancouver Island, Canada

@johnchandlerburnham
John Chandler Burnham johnchandlerburnham

Yatima Inc Boston, MA

@MaisaMilena
Maisa MaisaMilena
Mobile App Developer, mostly working with iOS apps

QuintoAndar Brasília/DF, Brasil