Skip to content
View seckcoder's full-sized avatar
  • Blablabla
  • San Francisco

Block or report seckcoder

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
@Jokeren
Keren Zhou Jokeren

George Mason University Fairfax

@AdvancedCompiler
AdvancedCompiler AdvancedCompiler
上承软件,下启硬件,前奉推理,后擎训练。
@0xAX
Alex Kuleshov 0xAX
Writing some code at @travelping.

@travelping Kazakhstan, Astana

@stepchowfun
Stephan Boyer stepchowfun
poka-yoke

Notion Labs, Inc. San Francisco, CA

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@begriffs
Joe Nelson begriffs
New projects live at https://dev.begriffs.com

Minneapolis

@rrnewton
Ryan Newton rrnewton
Computer Scientist. Containers, Compilers, Deterministic Parallelism.

Meta, Purdue University, Indiana University IN

@Gabriella439
gabby Gabriella439

@MercuryTechnologies San Jose, CA

@jozefg
daniel gratzer jozefg
I am a researcher interested in type theory and category theory.

Aarhus

@csabahruska
Csaba Hruska csabahruska
I'm a software engineer and I'm keen on doing research and development. I work on compilers and static analyses. I like Haskell, Idris2 and machine code.

London

@pchickey
Pat Hickey pchickey
maintainer for Wasmtime, at-large director of Bytecode Alliance. Sr Principal Engineer, F5. Lower Columbia Canoe Club's "Most Improved Paddler" of 2024

@F5Networks Portland, OR

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@yminsky
Yaron Minsky yminsky

Jane Street New York, USA

@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@soegaard
Jens Axel Søgaard soegaard
Check out Racket news/articles/blogs at Racket Stories.

Denmark

@tzakian
Tim Zakian tzakian
PL wonk

@MystenLabs Seattle

@professor
Todd Sedano professor

Carnegie Mellon University

@be5invis
Belleve be5invis
Maker of Text Boxes & Low-level Text Stack
@yinyanghu
Jian Li yinyanghu

Google Waterloo, Ontario, Canada

@eholk
Eric Holk eholk

@microsoft Fremont, CA

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

PLT @ Indiana University Bloomington, IN

@jeapostrophe
Jay McCarthy jeapostrophe

@reach-sh @racket Provo, UT

@taustin
Thomas H. Austin taustin

San Jose, California

@ilya-klyuchnikov
ilya-klyuchnikov

@facebook London