Skip to content
View alcides's full-sized avatar
334 followers · 930 following

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@AEminium

Block or report alcides

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
@rodrigohpalmeirim
Rodrigo Palmeirim rodrigohpalmeirim
@Ruizsolveall
Ruiz Chen Ruizsolveall

London

@atlas-brown
ATLAS group | BrownCS atlas-brown
Analysis and Transformation in Languages, Applications, and Systems
@Sepulven
Arthur Aguiar Sepulven
IT Engineer Student in the University of Lisbon. Native Portuguese speaker & fluent in English.

Portugal, Lisbon

@ethanjperez
Ethan Perez ethanjperez
Research scientist at Anthropic working to reduce the risk of catastrophic outcomes from advanced machine learning systems
@Negabinary
Matt Keenan Negabinary
UMich CompSci PhD
@freest-lang
The FreeST programming language freest-lang
A functional programming language for safe concurrency powered by context-free session types
@sinhp
Sina Hazratpour sinhp
Category Theory, Type Theory, Formalization, ML

Netherlands

@program-synthesis-workshop
program-synthesis-workshop
@FilipeGouveia
Filipe Gouveia FilipeGouveia

Portugal

@furiosa-ai
FuriosaAI furiosa-ai

Seoul, South Korea

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

@ahrefs Barcelona

@Fari98
Davide Farinati Fari98
PhD | Data Scientist @DareData | Data Science Researcher @ San Raffaele

Milan

@mauro-farina
Mauro Farina mauro-farina
PhD Student

University of Trieste Trieste, Italy

@LighghtEeloo
LighghtEeloo
Looking into PL, System, and Arch

University of Michigan Ann Arbor

@harmonic-ai
Harmonic harmonic-ai
Mathematical Superintelligence

United States of America

@thefundamentaltheor3m
Sidharth Hariharan thefundamentaltheor3m
PhD student at Carnegie Mellon University | MSci Mathematics graduate from Imperial College London

Carnegie Mellon University Pittsburgh, Pennsylvania, United States

@ALFA-group
Anyscale Learning For All (ALFA) ALFA-group
Scalable machine learning technology, Adversarial AI, Evolutionary algorithms, and data science frameworks.

Cambridge, MA, USA

@filipevarjao
Filipe Varjão filipevarjao
code writer

@2600hz

@cfallin
Chris Fallin cfallin
Software engineer with a focus on compilers. Currently hacking on WebAssembly-related technologies at F5.

F5 Sunnyvale, CA, USA

@Hans-Halverson
Hans Halverson Hans-Halverson
Software engineer @figma. Compiler, runtime, and programming language enthusiast.

Figma

@jsilll
João Silveira jsilll
Compiler, runtime, and programming language nerd.
@aaronjeline
Aaron Eline aaronjeline
Automated Reasoning @ AWS. Working on the Cedar language. Lover of computer history.

AWS DC

@hypnoticOxbow
Ian Kariniemi hypnoticOxbow
PhD Student at Portland State University. Interested in Types, Program Synthesis, and Static Analysis.

Portland, Oregon

@pedroclobo
Pedro Lobo pedroclobo
MSc Computer Science at Técnico Lisboa

Lisbon, Portugal

@Vaguery
Bill Tozier Vaguery
Independent researcher and consultant on Complex Systems & Machine Learning—especially genetic programming for discovery projects. Clojure, Ruby, Swift &c

Ann Arbor, MI

@leimao
Lei Mao leimao
Artificial Intelligence, Machine Learning, Computer Science. C++, CUDA, Python, CMake.

@facebook Silicon Valley, California

@ymherklotz
Yann Herklotz ymherklotz
Postdoc at EPFL in the Verification and Computer Architecture lab.

EPFL Lausanne

@rcosta358
Ricardo Costa rcosta358
MSc Student in Software Engineering

LASIGE, FCUL Portugal

@Pat-Lafon
Patrick LaFontaine Pat-Lafon
@mbovel
Matt Bovel mbovel
PhD student at @lampepfl, working on refinement types for Scala 3. Former intern at @oracle Labs, worked on GraalWasm and Truffle. CS MSc/BSc from EPFL.

EPFL Lausanne, Switzerland

@nobrakal
Alexandre Moine nobrakal

New York - USA

@gabrieletiboni
Gabriele Tiboni gabrieletiboni
BEng -> MSc -> PhD -> PostDoc -> Research Scientist -> currently building things in Physical AI

Munich, Germany

@gabmeirinho
Gabriel da Silva Meirinho gabmeirinho
Master Student in Data Science

Lisbon, Portugal

@thaliaarchi
Thalia Archibald thaliaarchi
PhD student researching compilers

University of Utah

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

Japan

@samth
Sam Tobin-Hochstadt samth
I'm an associate professor at Indiana University, and a core developer of @racket.

PLT @ Indiana University Bloomington, IN

@Wowfunhappy
Jonathan Wowfunhappy
@gwern
Gwern Branwen gwern
@elsoroka
Emi Soroka elsoroka
EE PhD | LLM research

Stanford University Palo Alto, CA. USA

@mafsbaptista
Mafalda Ferreira mafsbaptista
@alpaylan
Alperen Keleş alpaylan
I'm Alperen. I have many interests. I am a METU CENG graduate, currently a fifth year Ph.D. student at UMD CS advised by Leonidas Lampropoulos.

University of Maryland, College Park Maryland, United States

@7h3kk1d
Alexander Bandukwala 7h3kk1d

Ann Arbor, MI

@fredericosantos
Frederico Santos fredericosantos
@wkrozowski
Wojciech Różowski wkrozowski
Research Software Engineer @ Lean FRO

@leanprover London

@AbhisekLimbu
Abhisek Phago limbu AbhisekLimbu

The University of Texas at Arlington Dallas, Texas

@JBall1
Joshua Ball JBall1
ML in CV and many other works. Deeply interested in GPGPU applications and embedded systems.

Johns Hopkins University

@wellington-oj
Wellington Oliveira wellington-oj
@benlebrun
Benjamin LeBrun benlebrun
LLMs + Probabilistic Programming

Montreal

@jmg-duarte
José Duarte jmg-duarte
🦀 by 🌞 & 🌚 (occasionally 🐍) | Interested in Programming Languages, Distributed Systems, Low-level Programming and High-performance Computing.

@cowprotocol Portugal