8000 tamirhemo (Tamir Hemo) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View tamirhemo's full-sized avatar
48 followers · 31 following
  • Succinct
  • San Francisco, CA

Achievements

Achievement: Pair Extraordinairex3Achievement: Starstruckx3Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair Extraordinairex3Achievement: Starstruckx3Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Block or report tamirhemo

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
@mlir-rs
mlir-rs mlir-rs
Rust crates related to the MLIR ecosystem
@andygrove
Andy Grove andygrove
Apache Arrow & Apache DataFusion PMC. Original creator of Apache DataFusion query engine. Author of https://www.howqueryengineswork.com/

@Apple Broomfield, CO

@karpathy
Andrej karpathy
I like to train Deep Neural Nets on large datasets.

Stanford

@morganthomas
Morgan Thomas morganthomas

Manchester, NH

@veorq
Jean-Philippe Aumasson veorq
Cryptography - Books https://nostarch.com/seriouscrypto & https://www.crypto-dictionary.com

@taurusgroup Switzerland

@sneves
Samuel Neves sneves
@zookozcash
zookozcash
@oconnor663
Jack O'Connor oconnor663

@astral-sh Seattle

@maxgillett
Max Gillett maxgillett

San Francisco

@dlubarov
Daniel Lubarov dlubarov
Working on Polygon Zero (formerly Mir). Previously Square, Google.

Polygon

@valida-xyz
Valida valida-xyz
Let's build a better, community-owned zkVM
@argumentcomputer
Argument argumentcomputer
@Plonky3
Plonky3
@tendermint
Tendermint tendermint
Building the most powerful tools for Cosmos. Investing in teams building the economy of the future. What will you build?

100% remote

@ava-labs
Ava Labs ava-labs

New York

@ingonyama-zk
Ingonyama ingonyama-zk
High-speed cryptography, from silicon to software

Israel

@succinctlabs
Succinct succinctlabs
@pornin
Thomas Pornin pornin
@zcash
Zcash zcash
Internet Money
@0xPolygonZero
Polygon Zero 0xPolygonZero
Polygon Zero develops tools for cryptographic verification of blockchain systems including STARKs for proving EVM Execution
@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@ZK-Hack
ZK Hack ZK-Hack
@rust-lang
The Rust Programming Language rust-lang
@anoma
Anoma anoma
Anoma is a distributed operating system for the world computer.
@rapidsai
RAPIDS rapidsai
Open GPU Data Science
@pyg-team
PyG pyg-team
Graph Neural Network Library for PyTorch

Germany

@ProvableHQ
Provable ProvableHQ
Your Money, Your Rules ™

United States of America

@arkworks-rs
arkworks arkworks-rs
An ecosystem for developing and programming with zkSNARKs
@Rust-for-Linux
Rust for Linux Rust-for-Linux
Adding support for the Rust language to the Linux kernel.
@pytorch
pytorch

where the eigens are valued

@DataHaskell
dataHaskell DataHaskell
The home of Haskell data science
0