KEVIN BÜHLER




hi i'm kevin

⊣ bachelor of science in computer science at cu boulder

⊣ working on mars rovers with nasa jpl for my senior capstone

⊣ csci 3022 data science course assistant

⊣ llm chain-of-thought research at cuplv

⊣ interned at microsoft, qualcomm, and cdi

⊣ currently researching optimal parallel computers


i've also written some stuff on my blog

feel free to message me on linkedin


below are some of my projects, you can view the rest on my github


bitnet remake

-1,0,1 is all u need

froog (27k downloads)

gpu tensor library

guide

ToT Proof Generator

nn-trainer

automatic training

centroid research

centroids are cool

leangrad

micrograd in Lean-4

kevlox

scanner+compiler+vm in C

mcm paper

asteroid mining research

yummf

recipe ranking algorithm

jotalot

cross platform app

brain

reverse engineering it

babbleGPT

train on any text

siri remake

made in a weekend

lookup

ai google extension

gpt2 perf tracker

track model perf

instagram unfollow

unfollow unfollowers

imagine

control net diffusion

lotus foundation

lotus foundation website

bitcoin remake

sha256 bro

eyecandy

unstable diffusion

findnue

find new clothes

modcopter

i sold modded drones

ai-notebooks

AI implementations in Jupyter

transformer

attention is all you need

slam

simultaneous localization & mapping

nextnote

react native notes

simple_mlp

batch size experiments

husun

sci-fi story

ig11

i make robot

LED-LIGHTS

led strip e-commerce


kevin [dot] buhler [at] colorado [dot] edu