Skip to content
View Lorenzobattistela's full-sized avatar

Highlights

  • Pro

Block or report Lorenzobattistela

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@lane-core
lane lane-core
formal verification, (homotopy) type theory, and categorical nonsense

san francisco

@LeeeeT
LeeeeT
😎

😎 😎

@Carolis
Carolis
shoot the arrow, then paint the target

(x,y,z)

@DKormann
kormann DKormann
🪲 Call me windshield cause I'll be smashing them bugs

Berlin

@LeonidasPedro
Leônidas Pedro LeonidasPedro
Estudante de Sistemas de Informação na Unochapecó - programador rails no Observatório Pollen
@coepedrao
Pedro César coepedrao
Estudante de Análise e Desenvolvimento de Sistemas, focado em novas tecnologias e no aprimoramento dos meus conhecimentos.

Alegrete, Brazil

@salomartin
Martin Salo salomartin
Tech founder with a 15-year track record in AI, merging deep industry knowledge with fresh innovations in my upcoming venture.

London

@Ei30metry
Artin Ghasivand Ei30metry
Programming Language Theory enthusiast.
@4ad
Aram Hăvărneanu 4ad
Mathematical engineer bringing type safety to the cloud.

Vienna, Austria

@r3rer3
r3rer3 r3rer3
exploring things
@Psiyllo
Paulo César Alves Cabral Psiyllo
Entusiasta da tecnologia. Compartilho projetos e aprendizados.

Sefaz/To

@HanielPro
Haniel Costa da Silva HanielPro
I'm Haniel Costa! A Developer focused to be a fullstack 👨‍💻. Currently, I'm undergraduate student in Systems to Internet.

@ifpb Av. Primeiro de maio; Jaguaribe PB

@ortolanrj
Raph ortolanrj
Software Engineer Intern - CS @ UERJ

Rio de Janeiro

@tonio-m
Marco Vieira tonio-m
data engineer, software engineer.

Brazil

@edusporto
Eduardo Sandalo Porto edusporto
Computer Science @ IME-USP

University of São Paulo São Paulo, Brazil

@espentrydal
Espen Trydal espentrydal
Neuroimaging PhD-student at Stavanger Imaging Laboratory/Stavanger University Hospital

Norway

@kevindotklein
kevindotklein kevindotklein
λf. (λx. f (x x)) (λx. f (x x))

IFSP São Paulo

@guarilha
Raphael Guarilha guarilha
Building stuff for the blockchain

Brazil

@enriquebeta6
Enrique Jesus Mora Nieves enriquebeta6
Software Engineer

Stone Co Brasil

@SergioBonatto
Sergio Bonatto SergioBonatto
I am the father of Matteo, a Reformed theologian, self-taught, open-source philosophy enthusiast, nerd, handsome, and a non-practicing vegan

Brasília - DF

@noghartt
Guilherme noghartt
23yo.

@firefliesai 127.0.0.1

@dgikonyo
Gikonyo Kimani dgikonyo
我们是否想走出去了解现实的本质,我们是否应该考虑一些比日常生活琐碎更重要的事情

Choroa Design Studios Kenya

@dellamora
Francielle Dellamora dellamora
i like computers and cats.

Higher Order Company Florianópolis

@lffg
Luiz Felipe Gonçalves lffg

Belo Horizonte, Brazil

@jjhonny
Jhonny jjhonny
software developer

Brasil

@algebraic-dev
Sofia Rodrigues algebraic-dev
i like functional programming languages
@rmchaves04
Rodrigo Chaves rmchaves04
20y | comp sci student @ PUCRS - Brazil

Porto Alegre, Brazil

@zZeck
Zeck zZeck
Analyzing systems to preserve or extend them. Always looking for better concepts to achieve this more quickly and maintainably for more people.
@dntfindmel
Melyssa Moya dntfindmel
Olá! Eu sou uma estudante de programação Fullstack e estou cursando ADS na Fatec Ipiranga.

São Paulo