63 followers106 following
Developer of OCamlot. OCaml Hacker, Emacs Developer, PL Researcher.

"the paper is slightly different from the actual implementation"

Attached image 0

Frick it, we'll do it live!

About to install an artefact from a security workshop (an automated attack generator).... should I do it in a VM?

First task done already!!!

Bam! Finished writing up my daily todos for the day! Today's going to be a productive day, I hope! :)

Alright, time to get down to work! Feeling slightly back to usual energy levels for the first time in a while!

was going to go running this morning, but saw cloudy skies (trust me, you don't want to get caught out in a proper shower in SG) and decided to call it off... Then, 30 mins later, having reached the lab, it only drizzled for 5 mins at most :(

to be fair, I've been in SG for 4 years, and this is really the first of such an event that I'm attending, so, probably not much better than taking a long flight!

groups? I'm still waiting for semi-rings!