Remy Seassau
banner
remyjck.bsky.social
Remy Seassau
@remyjck.bsky.social
PhD Candidate @ Cambium, INRIA Paris
OCaml x Program Verification
https://remyjck.github.io
I remember quite well my lambda calculus professor saying "We are lucky, in a sense, that this minus function exists"
January 9, 2025 at 3:25 PM
I was getting nauseous from the first game and found that increasing the FOV to ~100 helped
December 19, 2024 at 3:05 PM
Any specific reasons?
December 17, 2024 at 10:16 PM