nathan ryver

about

~/nathan

$ whoami

product engineer by day. tinkerer by night.

$ cat work.txt

backend & systems programming

$ cat interests.txt

• low level programming

• functional programming

• how computers actually work

$ ls languages/

go haskell zig c rust

$ _

current

gode

[main.hs]

minimal debugger with causal tracing

■ public → purely functional

brainfuck interpreter

[main.hs]

turing complete brainfuck interpreter in haskell

■ public → purely functional

simple c compiler

[compiler.c]

compiler for a toy language. learning how llvm works

■ private → wip

obsidia

[auth.go]

full multi tenant auth written purely in go

■ private → cloudflared tunnel

ai lying detector

[detect.py]

video based lie detection using micro expressions

■ private → cv research

future

personal flight reimagined

making individual flight a norm, not a luxury

human machine interface

turning humans into cyborgs (the right way)

resources

papers, books, and tools for understanding how computers actually work

explore resources →

contact

don't use email. dm me on instagram

cat /dev/aesthetic _