Abhinav Gyawali 🇳🇵
250 following
LightNews LightNews
Type Theory Forall
Type Theory Forall
@ttforall.bsky.social
DBOS
DBOS
@dbos.dev
Andreas Geiger
Andreas Geiger
@andreasgeiger.bsky.social
Mark J. Nelson
Mark J. Nelson
@mm-jj-nn.bsky.social
Curly Braces
Curly Braces
@loopinglife.bsky.social
Bridges 5.0 EU Project
Bridges 5.0 EU Project
@bridges5-0.bsky.social
lutzoettershagen.bsky.social
lutzoettershagen.bsky.social
@lutzoettershagen.bsky.social
Leni Aniva
Leni Aniva
@aniva.bsky.social
Serge Egelman
Serge Egelman
@v0max.bsky.social
Frank McSherry
Frank McSherry
@frankmcsherry.bsky.social
Lucy Li
Lucy Li
@lucy3.bsky.social
Anji Liu
Anji Liu
@anjiliu.bsky.social
Mathias Niepert
Mathias Niepert
@mniepert.bsky.social
Jaemin Cho
Jaemin Cho
@jmincho.bsky.social
JHU Computer Science
JHU Computer Science
@jhucompsci.bsky.social
José A. Alonso
José A. Alonso
@jalonso.bsky.social
Wenzel Jakob
Wenzel Jakob
@wjakob.bsky.social
afd-icl.bsky.social
afd-icl.bsky.social
@afd-icl.bsky.social
Michael Vollmer
Michael Vollmer
@vollmerm.bsky.social
unil.bsky.social
unil.bsky.social
@unil.bsky.social
University of Oxford
University of Oxford
@ox.ac.uk
derek guy
derek guy
@dieworkwear.bsky.social
Dominik Winterer
Dominik Winterer
@dominikwinterer.bsky.social
Association for Computing Machinery
Association for Computing Machinery
@acm.org
Harvard University
Harvard University
@harvard.edu
School of Computer Science, University of Sydney
School of Computer Science, University of Sydney
@sydneycompsci.bsky.social
Brown University
Brown University
@brown.edu
Madelon Hulsebos
Madelon Hulsebos
@madelonhulsebos.bsky.social
Ian Coldwater 📦💥
Ian Coldwater 📦💥
@lookitup.baby
Julian Hyde
Julian Hyde
@julianhyde.bsky.social
Gergely Orosz
Gergely Orosz
@gergely.pragmaticengineer.com
Qian Li
Qian Li
@qianli.dev
DuckDB
DuckDB
@duckdb.org
Alcides Fonseca
Alcides Fonseca
@alcidesfonseca.com
CMU Computer Science Department
CMU Computer Science Department
@csdatcmu.bsky.social
Simons Institute for the Theory of Computing
Simons Institute for the Theory of Computing
@simonsinstitute.bsky.social
Gernot Heiser
Gernot Heiser
@microkerneldude.bsky.social
ICFP Conference
ICFP Conference
@icfp-conference.bsky.social
Flo
Flo
@skade.bsky.social
Lean Focused Research Organization
Lean Focused Research Organization
@lean-lang.org
Thomas Steinke
Thomas Steinke
@stein.ke
Maurice Herlihy
Maurice Herlihy
@mauriceh.bsky.social
Тsфdiиg
Тsфdiиg
@tsoding.bsky.social
Luca Palmieri
Luca Palmieri
@lpalmieri.com
Sabine Oechsner 🟥
Sabine Oechsner 🟥
@proofnerd.bsky.social
CMU School of Computer Science
CMU School of Computer Science
@scsatcmu.bsky.social
Steve Klabnik
Steve Klabnik
@steveklabnik.com
Gautam Kamath
Gautam Kamath
@gautamkamath.com
arxiv cs.PL
arxiv cs.PL
@arxiv-cs-pl.bsky.social
Load more