Skip to content
View lenianiva's full-sized avatar
🔧
Stuck in engineering hell
🔧
Stuck in engineering hell
100 followers · 29 following

Achievements

Achievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: StarstruckAchievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: StarstruckAchievement: YOLOAchievement: Quickdraw

Organizations

@stanford-centaur @cvc5

Block or report lenianiva

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
@tianyang-x
Tianyang Xu tianyang-x
砂に薔薇　星に愛　花束ほらまちカドに

Purdue University West Lafayette, Indiana

@clairew
Claire Wang clairew

UPenn

@KijitoraFinch
標準偏差 KijitoraFinch
遂に高校生になったらしい

By the Window

@blender
Blender blender
The Freedom to Create
@kAIto47802
kAIto47802 kAIto47802
First-year master's student at the University of Tokyo / Interested in deep learning, machine learning, reinforcement learning, and algorithm
@PhotonQuantum
LightQuantum PhotonQuantum
CS PhD Student @ UToronto

University of Toronto Toronto, Canada

@b1f6c1c4
b1f6c1c4
52BE D143 A92D BE96 2B83 092B 9BAC 0164 9600 1E70

Northeastern University USA

@JuliaManifolds
Julia Manifolds JuliaManifolds
@MakieOrg
MakieOrg MakieOrg
Organization for the Makie plotting ecosystem

Germany

@stanford-centaur
stanford-centaur
@CadQuery
CadQuery
@JuliaLang
JuliaLang JuliaLang
The Julia Programming Language
@SciML
SciML Open Source Scientific Machine Learning SciML
Open source software for scientific machine learning
@FluxML
FluxML FluxML
The Elegant Machine Learning Stack
@TuringLang
The Turing Language TuringLang
Bayesian inference with probabilistic programming
@IoriOikawa
笈川伊織（表） IoriOikawa
/*只想得到某人认真夸赞而傻傻努力的*/我，一定是世界上最可笑且没救的计算机辣鸡。

Meowtain Research University

@AAHub
AAHub AAHub
Our mission is to display AsciiArt everywhere. Especially Japanese fonts AsciiArt.
@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

Proxima Technology Japan

@SnO2WMaN
SnO₂WMaN SnO2WMaN
お前の好きなものが分かってよかった

チルノのパーフェクトさんすう教室

@leanprover
Lean leanprover
Lean Prover
@aya-prover
The Aya Theorem Prover aya-prover
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

@Inria Grenoble, France

@Codegass
Codegass Codegass
Phd Student in SWE. (But from ML World)
@bowen-upenn
Bowen Jiang (Lauren) bowen-upenn
Ph.D. Candidate @ UPenn. Research Intern @ Microsoft OAR. I am working on llm post-training and personalization.

University of Pennsylvania. Microsoft Corporation. Redmond, WA

@numtide
Numtide numtide
@NixOS and DevOps consulting

Switzerland

@kellyiscute
Kelly kellyiscute
A REAL full stack dev.

Popcorn AI Canada

@Ying1123
Ying Sheng Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
@vickiegpt
Yiwei Yang vickiegpt
Ph.D. student @SlugLab, try to make the system fast and reliable.

Baskin Engineering Santa Cruz, California