Skip to content
View BoltonBailey's full-sized avatar
57 followers · 1 following

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: StarstruckAchievement: Pull Sharkx2

Block or report BoltonBailey

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
@edu-ap
Eduardo Aguilar Pelaez, MEng, PhD, MBA edu-ap
FP → Hardware → AI Agents. Applying type theory to make LLM orchestration deterministic. Imperial College London alumnus.

Legal Engine, GondolaAI, 5QD

@CoolRmal
Yongxi (Aaron) Lin CoolRmal
PhD student in math at Carnegie Mellon Univeristy. Interested in PDE, harmonic analysis, probability, and formal verification of math.
@nsrknth
nsrknth
@M-Cotter
Matthew Cotter M-Cotter
Mac Math '27
@jeinryu
jeinryu
@PhysShell
PhysShell
@yanliu18
Yan yanliu18
Programming Language, Formal Methods Researcher / Smart Contract Auditor / Haskell/Rust programming

Australian National University Melbourne

@24601
Basit Mustafa 24601
Tell your agents I said hi.

carcinize corp Telluride, CO

@dhsorens
Derek Sorensen dhsorens
protocol snarkification @ethereum

Ethereum Foundation London, UK

@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@elon00
martin luther elon00
ai crypto blockchain post quantum enthusiast

Crypto Analyst Global

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

Japan

@rodolfor-s
Rodolfo R. Soldati rodolfor-s
Postdoctoral fellow at the Institute for Quantum Computing.

University of Waterloo

@vishalbelsare
Vishal Belsare vishalbelsare
@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

@fraware
Matéo H. Petel fraware
Curiosity. ________________________________________________________________________________________ Stanford | NASA JPL | Oxford | ENS

Stanford

@ShreckYe
Yongshun Ye ShreckYe
Kotlin full stack developer; programming language theory (functional programming, type theory, formal math, etc.) enthusiast

@huanshankeji Chengdu

@zunchenhuang
Happy Zen Coder zunchenhuang
Coding is my job and it means much more.

theNextDimension youKnowWhere

@SuccinctPaul
Paul SuccinctPaul
@MohammedSharukh
Mohammed Sharukh A MohammedSharukh
Maths Teacher @98thPercentile | Ex-Maths Teacher @planetspark | Pentab User 🖋💻 | EdTech | AIED | AI/ML/DL/GNNs | IIT Palakkad '22 | MSc Mathematics

PlanetSpark Kerala, India

@AlexiaChen
MathxH Chen AlexiaChen
Financial Trader & Agentic Full Stack Engineer, AI-First. Ex Blockchain Engineer, Ex Cryptography Hobbyist, Ex Backend Engineer.

外门弟子@紫电阴雷宗 Kunming, China

@AnonymousX19
AnonymousX19
@The-Wayvy
找道了 The-Wayvy

Singapore

@lengyijun
lyj lengyijun

SJTU China Shanghai

@Wardends
Ward Wardends
cyberpunk lawyer
@hervoyager
Voyage hervoyager
Talented artist specializes in creating Non-Fungible Tokens

Cypr

@datrexora
Greg datrexora
Wallet Developer

Denmark

@Codeworld4
Adam Codeworld4
Co-founded multiple successful blockchain startups

Seattle, WA

@PixelNon
Natan PixelNon
Never stop building

Provincia Seguros S.A

@joewatt95
joewatt95
@chenjulang
chenjulang
@madvorak
Martin Dvořák madvorak

Institute of Science and Technology, Austria Czech Republic

@Formal-Mathematics-Lab
Formal-Mathematics-Lab

@FormalMathematicsLab

@valyakuttan
valyakuttan
@BwRy
BwRy
This user prefers an air of anonymity
@blackdiamand
Kev ✨ blackdiamand
giving computers a bad time

102 square miles surrounded by reality

@0xYYY
0xYYY 0xYYY
ethereum, l2, mev, dev tooling
@refcell
refcell refcell
Andreas Bigger

@base United States

@orpheuslummis
Orpheus Lummis orpheuslummis
public-interest technologist
@piotr-roslaniec
piotr-roslaniec
rust but verify
@adev0x
Abhishek D adev0x
@jtcoolen
Julian Coolen jtcoolen
Research Engineer in Cryptography. Post-quantum cryptography and agentic engineering.

EY London, England

@mattes
Matt mattes

California

@FUSED-ID
Leon-Gerard Vandenberg FUSED-ID
Founder & CTO · Sunified (energy intelligence) · GMDx Genomics (precision oncology) · Fuzo (zero-footprint vSIM ID) · Amsterdam, Toronto, Sydney

Sunified · GMDx · Fuzo Amsterdam

@matt4739
Matt matt4739

NYC

@MinusGix
MinusGix
@dconnolly
Deirdre Connolly dconnolly
✨ I do cryptography ✨

Selkie Cryptography

@cumsoft
cumsoft cumsoft
CLT, XR & Hybrid Kernel Dev

cumsoft New York, NY

@3for
3for 3for
@0xAdriaTorralba
Adrià Torralba-Agell 0xAdriaTorralba

Barcelona