Skip to content
View utensil's full-sized avatar
255 followers · 405 following
  • 22:22 (UTC +08:00)

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@numenta @htm-community @pygae

Block or report utensil

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 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
@openclaw
openclaw openclaw
Your personal, open source AI assistant.
@mholt
Matt Holt mholt
M.S. Computer Science. Author of the Caddy Web Server, CertMagic, Papa Parse, JSON/curl-to-Go, Timelinize, and other random stuff...
@tw4452852
Tw tw4452852
OS enthusiast
@hmusgrave
Hans Musgrave hmusgrave
@0xGlitchbyte
Glitchbyte 0xGlitchbyte
Programmer unlocking secrets of the universe.
@allyourcodebase
All Your Codebase allyourcodebase
...are belong to Ziguanas, but we'd also be delighted to give them back!
@VirtualFilmStudio
VirtualFilmStudio
@pitmonticone
Pietro Monticone pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at @harmonic-ai || Formalising in @leanprover || Developing in @JuliaLang and @python.

University of Trento Trento, Italy

@h3r2tic
Tomasz Stachowiak h3r2tic
Rust and GPU hacker

Stockholm, Sweden

@marimo-team
marimo marimo-team
@protectai
Protect AI protectai
Securing ML

United States of America

@xqyww123
Xu Qiyuan xqyww123

Nanyang Technological University

@wokwi
Wokwi wokwi
@lenianiva
Leni Aniva lenianiva
Researcher in Machine-Assisted Theorem Proving; Director of NorCal Hakkero Factory No. 1

Stanford University Centaur Lab San Francisco Bay Area, Gensokyo

@alreadydone
Junyan Xu alreadydone
Postdoc in math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Universität Heidelberg Heidelberg / Shenzhen

@topaxi
Damian Senn topaxi
Lead Engineer at ti&m

@ti8m Zürich, Switzerland

@mworchel
Markus Worchel mworchel
PhD student in Computer Graphics at TU Berlin. Interested in (differentiable) rendering, inverse graphics, and GPGPU.

TU Berlin Berlin, Germany

@haller-group
Haller Group, Nonlinear Dynamics haller-group

Zürich

@lengyijun
lyj lengyijun

SJTU China Shanghai

@edin-dal
Edinburgh DAL lab. edin-dal

United Kingdom

@amirsh
Amir Shaikhha amirsh
Associate Professor (Reader) at Edinburgh, Former PhD Student at EPFL and Lecturer at Oxford, Interested in Databases, Programming Languages, and Compilers

Edinburgh, United Kingdom

@eddyb
Eduard-Mihai Burtescu eddyb
@Rust-GPU compiler R&D at @vectorware-inc (previously: @rust-lang compiler team)

Bucharest, Romania

@Lichtso
Alexander Meißner Lichtso
Freelancer

Anza Technology, Inc.

@b-mehta
Bhavik Mehta b-mehta
Chapman Fellow in Mathematics at Imperial College London

London

@axolotl-ai-cloud
Axolotl AI axolotl-ai-cloud

United States of America

@amandaghassaei
Amanda Ghassaei amandaghassaei

San Francisco

@thosgood
Tim Hosgood thosgood
@PaulKGrimes
Paul Grimes PaulKGrimes
I am a physicist at the Smithsonian Astrophysical Observatory (part of @Smithsonian) working in the Receiver Laboratory and on the Submillimeter Array.

Smithsonian Astrophysical Observatory, @Smithsonian Cambridge, MA

@YeWenjia
nicolewj YeWenjia
@Trebor-Huang
Trebor Huang Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Internal cat of a doughnut

@AndiH
Andreas Herten AndiH
HPC, GPU Computing, Python, LaTeX, and, well…, take a look around…

Jülich Supercomputing Centre Langerwehe, Germany

@CAIMEOX
CAIMEO CAIMEOX
More is different.

PLCT | Rustica Complex Manifold

@PrAbsInt
Patrick Cousot PrAbsInt
@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@astrainfinita
Zhao Yuyang 赵雨扬 astrainfinita
The family name is Zhao.

CUHK-Shenzhen | 香港中文大学（深圳） {Futian, Longgang}, Shenzhen | 深圳{福田, 龙岗}

@russellgoyder
Russell Goyder russellgoyder
@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@mitchellfaulk
Mitchell Faulk mitchellfaulk
@mckoen
Jack McKoen mckoen

University of Alberta

@HackerPoet
HackerPoet
Also known as CodeParade, I run a YouTube channel.

CodeParade United States

@ppwwyyxx
Yuxin Wu ppwwyyxx
@facebookresearch -> @google -> @MoonshotAI . Researcher and engineer.
@internetarchive
Internet Archive internetarchive
The Internet Archive is "the library of the Internet", and a big supporter of Free Software.

San Francisco

@lilianweng
Lilian lilianweng
Aloha!
@wbsu2003
老苏 wbsu2003

shanghai

@sudgy
sudgy
@congqiao
Cong Qiao congqiao
Ph.D. at Two Sigma

@twosigma Manhattan

@cscheid
Carlos Scheidegger cscheid
Building quarto.org at @quarto-dev and @posit-dev. carlos.scheidegger@posit.co

Posit (fka RStudio) Minneapolis, MN

@MattFerraro
Matt Ferraro MattFerraro
@tidyverse
tidyverse tidyverse
The tidyverse is a collection of R packages that share common principles and are designed to work together seamlessly
@lecopivo
Tomáš Skřivan lecopivo
Mathematician interested in physics simulation, computer graphics and numerical methods.