jacques.computer

computer engineer • phd candidate • real life person

github posts contact

$ which jacques

My actual name is Jacques Comeaux.

$ whoami

I'm a computer engineer finishing a PhD in computer science. I enjoy programming, designing hardware, and stubbornly refusing to do things the normal way.

$ head interests

agda
category theory
constructive mathematics
assembly programming
free software

$ ls projects/

pdp11-lisp

Built a LISP interpreter entirely in PDP-11 assembly

pico

Bare-metal RP2040 programming

norman numbers

Formalizing some constructions of the great Norman J. Wildberger

circuits

decorated cospans in Agda

$ cat now.txt

Currently finishing my PhD while working in industry.

Thinking about:

double categories
register machines
writing
writing
writing