Remy Seassau
@remyjck.bsky.social
📤 34
📥 96
📝 7
PhD Candidate @ Cambium, INRIA Paris OCaml x Program Verification
https://remyjck.github.io
you know I keep that thang on me (bootable linux usb drive)
about 1 year ago
0
2
0
Not exactly what I was looking for
about 1 year ago
0
4
0
Finishing a proof feels so good for the PhD student
over 1 year ago
2
5
1
Was able to immediately find about half the accounts I was following on the other website, not bad!
over 1 year ago
0
3
0
you reached the end!!
feeds!
log in