Skip to content
View lulucca12's full-sized avatar

Block or report lulucca12

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 is supported. This note will only be visible to you.
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
Physicist, math enthusiast, educational animator. Yet another sapient pile of stardust.

Brazil ↦ Germany

@wiredsis
Lux wiredsis
software developer, student

Santiago, Chile

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

Ankara, Turkey

@OPNA2608
Cosima Neidahl OPNA2608
Likes FOSS and NixOS. Does weird things. Loves ducks.
@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. Pushing packets at @AS207960. PGP: 0F28DC71767B4338

@AS207960 Saarbrücken, Deutschland

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

London, UK

@dylanaraps
dylan dylanaraps
natural farmer, natural winemaker, creator of @kisslinux and more
@chrismessina
Chris Messina chrismessina
#️⃣ Hashtag inventor 🏆 #1 Product Hunter ⚡︎ Raycast Enthusiast Speaker · Product Stategist · Technologist • Non-smoker

@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 λ

/nix/store/xpkfvz-planet-earth

@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
Professor of computational mathematics

University of Ljubljana Slovenia

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

LIPN USPN

@chiroptical
Barry Moore II 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 linguistics, computer science, philosophy and cognitive science, to study complex organized behaviour.

Boğaziçi University Bebek İstanbul 34342

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

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

@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

@benjojo
Ben Cox benjojo

bgp.tools / Port 179 LTD 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
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

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

Bath, United Kingdom

@ec-jones
Eddie Jones ec-jones

University of Bristol

@InsiderPhD
Katie Paxton-Fear InsiderPhD
I used to make apps and now I break them. Security advocate and researcher. I work with organizations to help stomp out security bugs for good. "Hackfluencer"

Semgrep Manchester, UK

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@villares
Alexandre B A Villares villares
I'm a teacher & visual artist. I research artistic and design practices that make use of computational means, promote creative coding and programming education.

@lugaralgum São Paulo

@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

Argument Computer Corporation Boston, MA

@MaisaMilena
Maisa MaisaMilena
Mobile App Developer and Software Engineer

QuintoAndar Brasília/DF, Brasil