Today is Squash day! (so no morning exercise for me, as I want to conserve my energy)
Developer of OCamlot.
OCaml Hacker, Emacs Developer, PL Researcher.
All tasks for today completed!!!! Now, should I stay at the lab or go home??....
writing C programs with vulnerabilities be like:
Normally, I'd try to avoid AI to keep my skills sharp, but otherwise this would have been a web search, so not much lost.
Just used ChatGPT to help with remembering how to use Docker volumes to share files between a host and container... Hello future!
hello darkness my old friend...
Awesome! Two tasks done... Only one remains! Productive day, here I am!
It's Over, Anakin! I Have The i Ground!
I've got to say, security researchers seem to have a much better sense of humor than PL ones, at least when it comes to writing error messages for their research prototypes.
