Pinned Repositories
cardkit
A bunch of tools for building card games.
coinkit
Tools for making cryptocurrency stuff
godel
Helper scripts for understanding Gödel's Incompleteness Theorem
graphql-hacks
Hacking around with GraphQL
ikalman
An iPhone-friendly Kalman filter written in C.
kata
If you want to get better at something, repeating practice alone is not enough. You must practice with increased difficulty and challenge.
old-acorn
A language for mathematics.
recipes
seticore
A high-performance implementation of some core SETI algorithms that can be included in other programs.
valentines
It seemed like a waste to not put this up on the internet somewhere.
lacker's Repositories
lacker/kata
If you want to get better at something, repeating practice alone is not enough. You must practice with increased difficulty and challenge.
lacker/acorn
The core implementation of the Acorn language.
lacker/old-acorn
A language for mathematics.
lacker/recipes
lacker/seticore
A high-performance implementation of some core SETI algorithms that can be included in other programs.
lacker/lacker.github.io
a blog
lacker/gracer
GRAph CEllulaR automata
lacker/toyformer
Messing around with transformers.
lacker/acornlib
Acorn's standard library of mathematical facts.
lacker/alex
Alex stuff
lacker/arc1d
lacker/astro
testing out some astronomy data stuff
lacker/blade
lacker/burndemo
lacker/crowbot
Crow + robot = crowbot. Get it?
lacker/fractal
Just drawing some fractals.
lacker/goldfish
yet another attempt at card game AI
lacker/hpguppi_proc
Hashpipe plugin for processing GUPPI RAW files
lacker/llmtest
lacker/nanoGPT
The simplest, fastest repository for training/finetuning medium-sized GPTs.
lacker/prose
program search
lacker/raw
A C++ library for handling the GUPPI Raw Data Format
lacker/seq2seq
Some simple sequence-to-sequence models, using PyTorch
lacker/sol
sol language
lacker/trypyxel
lacker/valentines2023
rotannaboxes
lacker/valentines2024
lacker/valentines2025
unscramble a word, slowly getting hints
lacker/voice
Voice generation demo
lacker/welcome
👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀