Skip to content
View sarsko's full-sized avatar
62 followers · 15 following
  • Amazon Web Services
  • Seattle

Achievements

Achievement: Starstruckx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2

Achievements

Achievement: Starstruckx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2
Block or Report

Block or report sarsko

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
@QnJ1c2kNCg
Bruno Roy QnJ1c2kNCg

AWS Seattle

@creusot-rs
Creusot Rust Verifier creusot-rs
A flexible, performant verifier for Rust programs
@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@jamesbornholt
James Bornholt jamesbornholt
computerer

@aws Austin

@shiatsumat
Yusuke Matsushita shiatsumat
A Rust researcher.

Tokyo, Japan

@xldenis
Xavier Denis xldenis
phd on Rust verification.

ETHZ Zurich/Paris

@Permki
Per Magne Permki
Mainly interested in backend, optimization, Linux OS development, network, Java (and coffee) and Latex

Oslo Oslo

@idamotz
Ida Sandberg Motzfeldt idamotz
@Gauteab
Gaute Berge Gauteab
@sondresl
Sondre Lunde sondresl
Developer

DNB Oslo, Norway

@HenrikAndreas
Henrik Andreas Bratli HenrikAndreas

Knowit Objectnet Norway | India | Germany

@sergiosja
Sergey Jakobsen sergiosja
🌳🐝🤠🌻🐒🌞🦦

Blank Oslo, Norway

@sivertschou
Sivert Schou Olsen sivertschou
@danbanan
Dan Rachou danbanan

Dolphin Interconnect Solutions AS Oslo, Norway

@eirikhalvard
Eirik Halvard Sæther eirikhalvard
Software Engineer @nrkno

@nrkno Oslo, Norway