Skip to content
View cipher1024's full-sized avatar
41 followers · 19 following

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Block or report cipher1024

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
@identities
identities
@moneshvenkul
Monesh Venkul Vommi moneshvenkul
🚀 Senior Full Stack Developer | Vue.js 🎨 React ⚛️ Angular 🅰️ Node.js 🌐 Python 🐍 Django | Java Spring Boot ☕ TypeScript 📜 SQL & NoSQL 💾 | Microservices

Capital One New Haven, Connecticut

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@hotdogontology
Taylor Belcher hotdogontology
Math & CS Teacher, Part-Time CS PhD Student, Amateur Tiny Game Dev

South Carolina Governor's School for Science and Mathematics Hartsville, SC

@raulraja
Raúl Raja Martínez raulraja
Interested in AI, LLMs, Functional Programming & Formal verification. CTO @xebia-functional @47deg. Maintainer xef.ai, @arrow-kt

@xebia-functional Multiverse

@nateyazdani
Nathaniel Yazdani nateyazdani
I research the theory and practice of programming languages and formal methods @nuprl, also as a full-time programming languages researcher at STR.

@nuprl Boston, Massachusetts

@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam

@beike-zh
beike-zh
@francoissunatori
francoissunatori
@arademaker
Alexandre Rademaker arademaker
Researcher in Logic, Computational Semantics, NLU and KRR.

IBM Research and EMAp/FGV Rio de Janeiro

@rahulbhadani
Rahul Bhadani rahulbhadani
Assistant Professor, The University of Alabama in Huntsville | PostDoc @ Vanderbilt University | Ph.D., The University of Arizona.

The University of Alabama in Huntsville United States of America

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@nikitavoloboev
Nikita nikitavoloboev
@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@j-hui
John Hui j-hui
programming languages, compilers, systems, computer music

@apple Cupertino, CA

@bvisch
Ben bvisch
@Chobbes
Calvin Beck Chobbes

Philadelphia

@DreamLinuxer
Chao-Hong Chen DreamLinuxer

Meta Platforms, Inc.

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@aceg00
Joe aceg00
@bryangingechen
Bryan Gin-ge Chen bryangingechen
here to learn
@ameliabradley
amelia ameliabradley
@jcommelin
Johan Commelin jcommelin

— —

@awkure
awkure
@alreadydone
Junyan Xu alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Heidelberg / Shenzhen

@johoelzl
Johannes Hölzl johoelzl

München

@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@Josh-Tilles
Josh Tilles Josh-Tilles
@jaalonso
Jose A. Alonso jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Universidad de Sevilla Sevilla (España)

@ghqc
Utilisateurs du Québec ghqc
Bot pour l'agrégation des utilisateurs du Québec Un projet @RolloDeQc

Canada

@agentultra
J Kenneth King agentultra
@liyang
Liyang HU liyang

London

@KevinHock
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.

@grammarly (Formerly @pinterest, @Yelp) I love San Francisco

@bandali
Amin Bandali bandali
activist for user freedom

@internetarchive

@angusshire
Angus H. angusshire

UC Berkeley Berkeley, CA

@tioui
Louis M tioui

Québec, Canada

@sjo222
sjo222
@tshoang
Thái Sơn Hoàng tshoang

University of Southampton Southampton, U.K.

@happycodelucky
Paul Bates happycodelucky

Sonos Santa Barbara, CA

@jocelyn
Jocelyn Fiat jocelyn

Europe