Skip to content
View nsrknth's full-sized avatar
22 followers · 614 following

Achievements

Achievement: Quickdraw

Achievements

Achievement: Quickdraw

Block or report nsrknth

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
@awakesecurity
Awake Security awakesecurity

Santa Clara, USA

@haskell-miso
miso haskell-miso
Official organization for the Haskell miso project

United States of America

@jxin31415
Jimmy Xin jxin31415
Turing Scholar at The University of Texas at Austin
@BoltonBailey
Bolton Bailey BoltonBailey
Proof dude

Project Numina California

@PatrickMassot
Patrick Massot PatrickMassot

Paris

@VeriGu
VeriGu Lab VeriGu
@dedis
Decentralized and Distributed Systems Research Lab at EPFL dedis

Lausanne, Switzerland

@kenmcmil
Ken McMillan kenmcmil

UT Austin

@dschrempf
Dominik Schrempf dschrempf
I like Haskell.

Well-Typed LLP Austria

@MiroMindAI
MiroMind MiroMindAI

Singapore

@shawnlimn
Shawn shawnlimn
@BinWang28
Bin Wang BinWang28
AI Tech Builder, MiroMind, Singapore

MiroMind Singapore

@dcoutts
Duncan Coutts dcoutts

Well-Typed

@bgamari
Ben Gamari bgamari
I enjoy compilers, hiking, and bicycling

Well Typed LLP Portsmouth, NH, United States

@kosmikus
Andres Löh kosmikus

Well-Typed LLP Regensburg

@Mikolaj
Mikolaj Konarski Mikolaj
@N1ark
opale N1ark
/ᐠ - ˕ -マ Ⳋ

Imperial College London London

@giltho
Sacha Ayoun giltho
CTO of Soteria Tools Ltd. and postdoctoral research at Imperial College London

Soteria Tools Ltd.

@apaszke
Adam Paszke apaszke
Author of PyTorch. Research Scientist @ Google.

@google Berlin, Germany

@cdisselkoen
Craig Disselkoen cdisselkoen
Sr. Applied Scientist at AWS. PhD '22 from UC San Diego

AWS

@lucasdicioccio
dicioccio lucas lucasdicioccio
AI, Functional Programming, and Optimization
@SeanHeelan
Sean Heelan SeanHeelan

London, UK

@leonardoalt
Leo leonardoalt

@powdr-labs

@AxiomMath
AxiomMath

United States of America

@agentjido
agentjido
@maude-lang
Maude maude-lang
Language based on Rewriting Logic
@graydon
Graydon Hoare graydon

Vancouver, BC

@midnightntwrk
Midnight midnightntwrk
The architecture of freedom is rational privacy.
@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@aphyr
Kyle Kingsbury aphyr

@jepsen-io USA

@sakshamsharma
Saksham Sharma sakshamsharma
Director, Quant Research Technology. @tower-research. @cseAtIITK.

@tower-research New York, New York

@aminjalilov
Amin Jalilov aminjalilov

KAIST Daejeon, South Korea

@muoitranduc
Muoi Tran muoitranduc
Assistant Professor at Chalmers University of Technology

Chalmers University of Technology Sweden

@hcnam
Hocheol Nam hcnam
Ph.D. Student @NetSP-KAIST

KAIST. NetS&P Lab 1420, N4 bldg., KAIST

@ZhangHanDong
Alex ZhangHanDong
Engineer / Architect / Independent Consultant / Technical writer

Beijing, China

@actionbook
Actionbook actionbook
Browser action engine for AI agents.

United States of America

@hedgehogqa
Hedgehog hedgehogqa
Release with confidence.

Australia

@kurtosis-tech
Kurtosis Tech kurtosis-tech
Building tools to get developers the environments they need where they want them, the way they want them.

United States of America

@acolytec3
acolytec3
@predictable-machines
Predictable Machines predictable-machines
Building Trust through Verification

United States of America

@vacancy
Jiayuan Mao vacancy

MIT Cambridge, MA

@aspiwack
Arnaud Spiwack aspiwack

Tweag Tokyo

@ConsensusFuzz
ConsensusFuzz
@1033309821
Abel 1033309821
Floating life seem a dream
@chapering
Haipeng Cai chapering
Coding worm

University at Buffalo NY

@Kenun99
Kenun99

Hong Kong China

@AdaCore
AdaCore AdaCore
AdaCore is the leading provider of commercial software solutions for Ada.

Paris, France - New York City, NY

@NeuralNetworkVerification
NeuralNetworkVerification
@AgnopraxLab
Agnoprax Lab AgnopraxLab
@keltono
Kelton OBrien keltono
Dork | PhD Student at IU

Minneapolis, Minnesota