Skip to content
View pedroos's full-sized avatar
4 followers · 63 following
  • São Paulo, Brazil

Achievements

Achievement: Pull SharkAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Public SponsorAchievement: Arctic Code Vault Contributor

Block or report pedroos

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
@HotCakeX
Violet Hansen HotCakeX
Physically Thicc, Mentally Sicc | υηƒαzє∂ — 𝙿𝚜𝚊𝚕𝚖 𝟸𝟹:𝟺

@SpyNetGirl Silent Hill

@HigherOrderCO
HigherOrderCO HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
@karpathy
Andrej karpathy
I like to train Deep Neural Nets on large datasets.

Stanford

@marnovo
Marcelo Novaes marnovo
COO & Co-founder @athenianco

@linuxfoundation @LF-Engineering @athenianco @FragileTech @src-d Vault 0 ⇌ BR ⇌ ES ⇌ US

@NobleMajo
Majo Richter NobleMajo
🩵Go & 🤍Bun+💙TypeScript | software & devops engineer | web, cli, automations

Hannover, GER

@Vanille-N
Neven Villani Vanille-N

Verimag Grenoble, France

@aloneguid
Ivan G aloneguid
@business4s
Business4s business4s
Scala community focused on business value.
@louiselalanne
Lois Lane louiselalanne
Análise de Malware | Hacker Ético | Engenharia Reversa | Security Researcher
@jhcloos
James Cloos jhcloos Suspended
@jorgeguberte
Jorge Guberte jorgeguberte
Agentic Systems Architect

None Sao Paulo, Brazil

@sigstore
sigstore sigstore
Software Supply Chain Security

United States of America

@RustCrypto
Rust Crypto RustCrypto
Cryptographic algorithms written in pure Rust
@earthboundkid
Carlana earthboundkid
Carlana is a philosopher and programmer, currently employed as the Technology Director for @spotlightpa.

Spotlight PA Baltimore, MD

@octokit
Octokit octokit
Official clients for the GitHub API
@pulumi
Pulumi pulumi

United States of America

@capnmidnight
Sean T. McBeth capnmidnight
He who is named Destroyer of Bug Lists, Holder of The Accursed Scepter of JavaScript, Lord of The Desk, First of His Name.

Diplomatic Language Services Alexandria, VA

@dbry
David Bryant dbry
@alexandru
Alexandru Nedelcu alexandru
Scala and Haskell enthusiast, @typelevel contributor, author of @monix

@ing-bank România

@jcouyang
Jichao Ouyang jcouyang
不会 Haskell 的 Scala 程序员写不出好的 JavaScript。

@MYOB-Technology <=< @ThoughtWorks Melbourne, AU

@gu-ramosp
Gustavo gu-ramosp
@felipefalcon
Felipe Carneiro felipefalcon
@Araq
Andreas Rumpf Araq

Germany

@thiagodnf
Thiago Ferreira thiagodnf
Assistant Professor, Researcher and Passionate for Coding

University of Michigan-Flint Flint, MI

@Abel13
Abel Abel13
🌎 Brazil 📍 Manhuaçu - MG 👣 Londrina - PR 💼 Act Digital 🎓 Software Engineer - UTFPR 👶 1991 💜 You Tube - Abel Dutra UI

Abel Dutra UI Londrina - PR

@AndyShiue
AndyShiue
@labarba
Lorena A. Barba labarba
Engineering professor, computational scientist, jazz buff, techie, academic writer & font geek.

The George Washington University Washington, DC

@Chakazul
Bert Chan Chakazul

Tokyo

@styluslabs
styluslabs

Stylus Labs

@maxitg
Max Piskunov maxitg

PlusAI Sunnyvale, CA

@zorkow
Volker Sorge zorkow
@preshing
Jeff Preshing preshing
@pelotom
Tom Crockett pelotom
I like turtles

Los Angeles, CA

@3b1b
Grant Sanderson 3b1b
I make videos about math.

3Blue1Brown

@ssloy
Dmitry V. Sokolov ssloy
@bellissimogiorno
bellissimogiorno
@robkorn
Robert Kornacki robkorn
Explorations into the realms of Haskell, Idris, Lean, Coq, Agda, Plutus, mCRL2 and wherever else fate leads me next.

dcSpark

@trishume
Tristan Hume trishume
Open source enthusiast. Projects in Rust, Ruby, C++, JS, Objective-C and more.

San Francisco

@MichalStrehovsky
Michal Strehovský MichalStrehovsky

Microsoft

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

Higher Order Company Rio de Janeiro, Brazil

@gciruelos
Gonzalo Ciruelos gciruelos
(\x. x x) (\x. x x)

Buenos Aires, Argentina

@Alexhuszagh
Alexander Huszagh Alexhuszagh
Thinking is overrated: we should do less of it.

United States

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@martinmoene
Martin Moene martinmoene
C++ programmer at Universiteit Leiden, member and former webeditor of @accu-org.

Leiden University Netherlands

@erikerlandson
Erik Erlandson erikerlandson
Blog: http://erikerlandson.github.io/ Twitter: @manyangled

Red Hat Tempe, AZ

@elvis-epx
Elvis Pfützenreuter elvis-epx
Software engineer and train geek

EPX Campo Alegre, Brazil

@nvie
Vincent Driessen nvie
Simplifying things for fun and profit.

@liveblocks The Netherlands

@sadasant
Daniel Rodríguez sadasant
🕑 ET & PT

Florida

@skywind3000
Linwei skywind3000
Coding since 1991

PRC

@Alexander-Shukaev
Alexander Shukaev Alexander-Shukaev

Bloomberg L.P. Frankfurt/Main, Germany