Skip to content
View bugarela's full-sized avatar
:octocat:
Excited about too many things
:octocat:
Excited about too many things
425 followers · 323 following

Achievements

Achievement: Galaxy BrainAchievement: YOLOAchievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Galaxy BrainAchievement: YOLOAchievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Block or report bugarela

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
@leticia
Leticia F. leticia
💻 🧬

UFCSPA Brasil

@el-yawd
Diego Reis el-yawd
Stay hungry, stay foolish

tursodatabase Brazil

@erickpintor
Erick Pintor erickpintor

Porto Alegre - RS - Brasil

@Verified-zkEVM
Verified zk(E)VM Verified-zkEVM
Github organization for the verified zk(E)VM formal verification project
@mitschabaude
Gregor Mitscha-Baude mitschabaude
Co-founder @zksecurity. Lean and TypeScript hacker with 🍓 for crypto, math, ZKPs, P2P, Wasm, open source

@zksecurity Vienna, Austria

@IgorFroehner
IF IgorFroehner
Software Engineer

@trusted Joinville - SC

@reecepbcups
Reece Williams reecepbcups
Interchain Software & Tooling

Nashville, TN

@gterzian
Gregory Terzian gterzian
I write in Javascript, Python, Rust, and English. Always for people to read.
@rezigned
rezigned rezigned
∀𝑥 ∈ 𝑝𝑒𝑜𝑝𝑙𝑒, ∃𝑥 ♡ λ

@rize @gizt @dpx Bangkok

@zlonast
Ilya Baryshnikov zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
@Julek
Julian Sutherland Julek
Head of Formal Verification @NethermindEth.

@NethermindEth London, UK

@zoedsoupe
zoey zoedsoupe
elixir engineer | open source maintainer | elixir em foco podcast co-host bridging functional programming with social good

@dashbitco-labs Campos dos Goytacazes, RJ, Brazil

@mhanberg
Mitchell Hanberg mhanberg
Founder of @elixir-tools & @elixir-lang LSP team member

DraftKings Indianapolis, IN

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Vancouver, BC

@hellwolf
Miao ZhiCheng hellwolf
Promoting the idea of Semantic Money at Superfluid Finance | Building a decentralized future

@decentral-ee, @superfluid-finance Tallinn, Estonia

@marcosoft47
Marco Rigon marcosoft47
Currently studying Computer Science, in UDESC-CCT.
@ehamberg
Erlend Hamberg ehamberg

‮olsO

@pbsds
Peder Bergebakken Sundt pbsds
(not actually a bird)

NTNU Norway, Trondheim

@rinderknecht
Christian Rinderknecht rinderknecht
I am a senior compiler engineer with a PhD from UPMC and INRIA (France) in formal methods and compiler construction. I program mostly in OCaml. I play the cello

Turnstiles Kft. Hungary

@moniquemdes
Hemily Mendes moniquemdes
Computer Science Student
@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@zmitchell
Zach Mitchell zmitchell
I used to build lasers, now I'm building the next generation of developer environments at Flox with Rust and Nix.

@flox Boulder, CO

@daira
Daira-Emma Hopwood daira
R&D Engineering Manager at Electric Coin Company
@vcvpaiva
Valeria de Paiva vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.

@ToposInstitute Cupertino, CA

@beu5a
Yassine Boukhari beu5a
@alexoltean61
Alex Oltean alexoltean61
MSc. Student at @unibuc-cs

Bucharest, Romania

@kirdatatjana
kirdatatjana
@nano-o
Giuliano Losa nano-o

Stellar Development Foundation Washington

@babireski
Elian Babireski babireski
Computer science undergrad and guitar player.

Universidade do Estado de Santa Catarina Joinville — Santa Catarina

@crodriguezvega
Carlos Rodriguez crodriguezvega
@gio54321
Giorgio Dell'Immagine gio54321
Cryptography @zksecurity / Clarinet player
@geertj
Geert Jansen geertj
Principal Software Development Engineer for Amazon EFS @ AWS

Amazon Boston Area

@ioquatix
Samuel Williams ioquatix
"A candle loses nothing by lighting another".

Orion Transfer Ltd Ōtautahi, New Zealand

@eupp
Evgeniy Moiseenko eupp
Researcher in Programming Language Theory and Formal Verification.

JetBrains Research

@saltiniroberto
Roberto Saltini saltiniroberto
@amiller
Andrew Miller amiller
Distributed systems, applied cryptography, programming languages

University of Illinois Champaign, IL

@kivikakk
Asherah Connor kivikakk
Systems engineer.

Melbourne, Australia

@jtriley2p
Riley jtriley2p
independent research engineer
@Lancern
Sirui Mu Lancern
Programming language and compiler enthusiast @llvm

Shanghai, China

@younes-io
Younes younes-io
...
@aviggiano
Antonio Viggiano aviggiano
views are my own building @SizeCredit cofounder @Recon-Fuzz auditor @spearbit @oak-security

São Paulo, Brazil

@GalloDaSballo
Alex The Entreprenerd GalloDaSballo
Audits and Invariant Testing at Recon DM for world class security reviews
@zdaxie
Zhenda Xie zdaxie
Researcher @deepseek-ai

DeepSeek AI Beijing, China

@jethrokuan
Jethro Kuan jethrokuan
Author of Org-roam. previously: bytedance, twitter, carousell

@abnormal-security San Francisco

@NickBarnes
Nick Barnes NickBarnes
OCaml core developer. Compilers, runtimes, garbage collection, general low-level hackery since forever.

Cambridge, UK

@Y-Nak
Yoshitomo Nakanishi Y-Nak
Rust, compiler, and low-level programming
@dangush
Daniel Gushchyan dangush
engineer @informalsystems cycles.money
@bidinpithecus
Vinicios Bidin bidinpithecus
Computer Science at UDESC.

Brazil

@michaelneuper
Michael Neuper michaelneuper
M-x coffee-refill

@StellenboschUniversity ~/.config/emacs/

@jesseduffield
Jesse Duffield jesseduffield
Creator of lazygit, lazydocker, horcrux, and the OK? language

Melbourne