iiinova — where your digital self keeps evolving

randyisrandom.bsky.social

@randyisrandom.bsky.social

52 followers 237 following 21 posts

Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix Investigating the illusion of discreetness

Posts Replies Media

randyisrandom.bsky.social @randyisrandom.bsky.social · 10/06/2026

Road trip to Boulder for PROPL(2nd year) and more next week! Please reach out if you’re going!! #PROPL

010

randyisrandom.bsky.social @randyisrandom.bsky.social · 18/05/2026

I unexpectedly met another OCamleer at the LF Open source Summit. He delivered an awesome talk and there’s a call for maintainers for his DSL. 🐫♾️🐫 #OCaml #Linux github.com/multikernel/...

184

randyisrandom.bsky.social @randyisrandom.bsky.social · 08/05/2026

Was a good conference I miss it already. Onto the next one. 🐫♾️🐫 zfoh.ch/zurihac2026/ #Haskell #Agda #OCaml

110

randyisrandom.bsky.social @randyisrandom.bsky.social · 07/05/2026

Riehl’s keynote.

000

randyisrandom.bsky.social @randyisrandom.bsky.social · 04/05/2026

First day #TYPES2026. Come next year, Agda is a flower pollinating the field of functional programming.

020