Maurice Heumann
momo5502
I used to be an adventurer like you. Then I took a "Violation of Intellectual Property Rights" in the knee...
@thalesgroup
Lars Kroll
Bathtor
I am currently a Software Engineer at Databricks in Amsterdam.
I also maintain a couple of projects to support playing different RPG systems.
Databricks Amsterdam, Netherlands
verus-lang
The Verus verification project. Logo usage info at https://verus-lang.github.io/verus/verus/logo.html
WASIX
wasix-org
WASIX is the long term stabilization and support of the existing WASI ABI plus additional non-invasive syscall extensions
Tenstorrent AI ULC
tenstorrent
Tenstorrent builds computers for AI. We bring together experts in the field of computer architecture, ASIC design, advanced systems, and neural network compile
United States of America
Rishiyur S. Nikhil
rsnikhil
Hardware design: mostly RISC-V, mostly using Bluespec BSV.
Also Haskell, RISC-V Formal Specifications, tutorials.
Bluespec, Inc. Framingham, MA, USA
Jonas Kruckenberg
JonasKruckenberg
Building the next-generation OS | TC39 Invited Expert | Ex @tauri-apps & @crabnebula-dev
Germany
Solana Foundation
solana-foundation
Solana Foundation is a non-profit organization dedicated to the decentralization, resilience, and security of the Solana network.
Zug, Switzerland
Yi Pan
Conless
Undergrad @ SJTU ACM Class; RA @efeslab . Distributed & ML Systems.
Shanghai Jiao Tong University Seattle, WA ⇌ Shanghai, China
NJU-ProjectN
Nanjing University Computer System Project Series - Build a computer system from scratch!
Vijay Chidambaram
vijay03
Associate Professor, University of Texas at Austin. Director of UT Systems and Storage Lab (@utsaslab).
University of Texas at Austin Austin, TX
Haggai Eran
haggaie
Networked systems research and software architect at NVIDIA Networking. Graduated from @acsl-technion. He/him.
NVIDIA Yokneam, Israel
PreviousNext