Skip to content

@secure-foundations Secure Foundations Lab

Users following secure-foundations

@vargandhi
Varun Gandhi vargandhi
CS Ph.D. candidate, Harvard University
@0Darkn
jose 0Darkn

Lisbon to Mars

@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@chiasabah
Chia Sabah chiasabah
PhD Student at the University of Leicester

University of Leicester Leicester

@JeffCarpenter
Jeff Carpenter JeffCarpenter

Canada

@ngernest
Ernest Ng ngernest
CS PhD Student @ Cornell

Ithaca, NY

@JofredG
Jofred Gonzalez JofredG
@agilgur5
Anton Gilgur agilgur5
Human. Maintain: rollup-plugin-typescript2, react-signature-canvas, mst-persist, django-serializable-model, etc. Former: Argo, TSDX, etc. Contributor to many

Greater NYC

@alexanderlhicks
Alexander Hicks alexanderlhicks
@goodluck4you
goodluck4you
@thunderkatalyst
Adot thunderkatalyst

Houston TX

@shzaiz
Guangwei Zhang (AUGPath) shzaiz
Junior student, gwzhang @ CUG CS

China University of Geosciences(Wuhan) Wuhan, Hubei

@dnyBLUESKY007
Nongyu Di dnyBLUESKY007

Nanjing University Nanjing, Jiangsu

@tymokvo
Tyler Kvochick tymokvo
architecture -> software

@TEECOM Right Coast

@houstonhaynes
Houston Haynes houstonhaynes
Founder - SpeakEZ.tech - 30+ year engineering lead for operational & analytic systems in media, e-commerce, automotive, finance and healthcare.

SpeakEZ LLC North Carolina USA

@swjang702
Sunwoo Jang swjang702

Seoul, South Korea

@jchanke
Joseph Chan jchanke

Carnegie Mellon University Pittsburgh, PA

@senthil28
senthil28
@vbgl
Vincent Laporte vbgl
@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@Brian-M-J
Brian M Johnson Brian-M-J
Wants to know how things work.

@IBM Bangalore, India

@Svieg
Hugo Genesse Svieg

Montreal

@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@xldenis
Xavier Denis xldenis
databases, verification & rust @ turbopuffer

turbopuffer

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@shipeng331
shipeng331
@MRHMisu
MRHMisu
The Best of The Worst.

University of California Irvine Irvine, California

@Samir-Rashid
Samir Rashid Samir-Rashid

@tock

@lafeychine
Vincent Lafeychine lafeychine
@chptx
HM. Yen chptx

Earth

@aliabdelkader
Ali Abdelkader aliabdelkader
Software Engineer

Cairo, Egypt

@jmanuel1
Jason Manuel jmanuel1
Software developer; ASU CS, Barrett, and GCSP graduate. I like web development and programming languages.

Imagine Learning United States

@pgoodman
Peter Goodman pgoodman
Program transformer, binary translator
@SeriousBusiness101
SeriousBusiness101
i have no mouth and i must beatbox
@SpiralBL0CK
kn0 SpiralBL0CK
A simple beginner programmer.
@LibertasSpZ
LibertasSpZ
@mrragava
mrragava
@klarteno
carneyo paul klarteno
@science-enthusiast
Hariprasad Kannan science-enthusiast
Software engineer with skill in scientific computing and systems programming.
@fanghuaqi
Huaqi Fang fanghuaqi
Embrace AI Era

Huazhong University of Science and Technology Wuhan, Hubei

@oyanghd
Oyanghd oyanghd
S = −logP(new information∣known knowledge)

Beihang University Beijing

@hengxin
Hengfeng Wei (魏恒峰) hengxin
I am currently a Research Assistant at Software Institute at Nanjing University, China.

Nanjing University (南京大学) Nanjing University

@lockbox
Jordan Moore lockbox
emulating things for fun and profit

United States

@tomtomjhj
Jaehwang Jung tomtomjhj
.__________.
@mx00s
Sage Mitchell mx00s
@Pierrot-l3-F0U
Pierrot-l3-F0U

Babylon

@ahuoguo
Alex Bai ahuoguo

New York University

@jetline0
Jessica Li jetline0
@shpark
shpark

Seoul

@Isaac-DeFrain
Quantifier Isaac-DeFrain
ZK, Rust, OCaml, Formal Verification, Blockchain, BFT, Consensus, Protocol Design, Mathematics

@Quantifier-Tech Vancouver, BC