Skip to content
View smolkaj's full-sized avatar
💭
Vibing
💭
Vibing
94 followers · 52 following

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: Public SponsorAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: Public SponsorAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Organizations

@frenetic-lang @merlin-lang @p4lang @netkat-lang @pins

Block or report smolkaj

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
@steipete
Peter Steinberger steipete
Came back from retirement to mess with AI. Clawdfather @openclaw Previously: Founder of @PSPDFKit.

Full-Time Open-Sourcerer Vienna & London

@jaehyun1ee
Jaehyun Lee jaehyun1ee
@rcgoodfellow
Ryan Goodfellow rcgoodfellow
Building networks

@oxidecomputer Corral de Tierra, CA

@sadiqj
Sadiq Jaffer sadiqj

@sadiqj Cambridge, UK

@NikolajBjorner
Nikolaj Bjorner NikolajBjorner

Microsoft Research Redmond, USA

@tmattio
Thibaut Mattio tmattio
Building @raven-ml. Former Director of Engineering @tarides, building developer experiences for the OCaml Platform.

New York

@matthewtlam
Matthew Lam matthewtlam
Computer Science, University of Waterloo 2023

Google

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@ChrisDodd
Chris Dodd ChrisDodd
@asl
Anton Korobeynikov asl

Access Softek Toolchains

@vlstill
Vladimír Štill vlstill
Compiler developer at @nextsilicon. C++, Haskell, Python, and more. Interested in programming languages design and compilation. Member of the P4.org community.

Czech Republic

@modularml
Modular modularml
Now at github.com/modular 🚀 - please follow us there.
@keith
Keith Smiley keith
@buildbuddy-io, maintainer of bazel's iOS support, creator of the Mobile Native Foundation, LLVM & Swift contributor, previously Lyft, Modular

@buildbuddy-io Seattle, WA

@googlers
googlers
Googlers on GitHub
@davidbolvansky
Dávid Bolvanský davidbolvansky

Brno, CZ / Pribylina, SK

@tiferrei
Tiago Ferreira tiferrei
He/Him • Computer Scientist @UCL-PPLV

@UCL-PPLV London, UK

@adferguson
Andrew Ferguson adferguson

Google - Network Infrastructure; formerly, Brown University - Computer Science

@r12f
Riff r12f
blah...blah...blah...
@Ant2888
Anthony Roy Ant2888

New York

@lattner
Chris Lattner lattner

Bay Area, California, USA

@angelazhang8
Angela Zhang angelazhang8
University of Waterloo

Waterloo, ON

@qobilidop
Bili Dong qobilidop

@google Sunnyvale

@leostera
Leo Ostera leostera

Prague, Czechia

@kyechou
Kuan-Yen Chou kyechou
Applied Scientist @ AWS

Minneapolis

@pins
PINS: P4 Integrated Network Stack pins
Workspace for PINS working group
@fruffy
Fabian Ruffy fruffy
@fruffy-bfn
fruffy-bfn

Intel

@rst0git
Radostin Stoyanov rst0git

London, UK

@verios-google
verios-google
@linoscope
Lin Oshitani linoscope
Protocol Research and OCaml programming

Nethermind Tokyo

@kheradmand
Ali Kheradmand kheradmand

University of Illinois at Urbana-Champaign USA

@hackedy
Ryan Doenges hackedy
programming languages, networking, verification

Cambridge, MA

@nunoplopes
Nuno Lopes nunoplopes

University of Lisbon Lisbon, Portugal

@konne88
Konstantin Weitz konne88
@tnelson
Tim Nelson tnelson

Brown University Providence, RI

@etw33
Eamon Woods etw33
@cakoch10
Caleb Koch cakoch10

USA

@gasche
Gabriel Scherer gasche
@chardetm
Maverick Chardet chardetm
@basus
Shrutarshi Basu basus

Earth

@Jaxan
Joshua Moerman Jaxan

Open Universiteit Utrecht

@clarksmr
Michael Clarkson clarksmr

Cornell University Ithaca, NY

@hhojjat
Hossein Hojjat hhojjat

Cornell University Ithaca

@fabianmuehlboeck
fabianmuehlboeck
@andrewcmyers
Andrew Myers andrewcmyers
Professor of computer science at Cornell University. Works on programming languages and security.

Cornell University Ithaca, NY, USA

@bennn
Ben Greenman bennn
asst prof

University of Utah Salt Lake City

@dexter-kozen
Dexter Kozen dexter-kozen

Cornell University Ithaca, NY

@yminsky
Yaron Minsky yminsky

Jane Street New York, USA

@jonathan-dilorenzo
Jonathan DiLorenzo jonathan-dilorenzo

Google

@diekmann
Cornelius Diekmann diekmann
Proving stuff in Isabelle. Computer networks and security.

Munich, Germany