Profile cover photo
Profile photo
Iustin Pop
About
Posts

Post has attachment
Add a comment...

Post has attachment

Post has attachment
Add a comment...

Booting up an old VM:

/dev/hda1 has gone 2147 days without being checked, check forced…
Add a comment...

Post has attachment

Was searching for clarification on some YAML syntax, and found this helpful page: https://learnxinyminutes.com/docs/yaml/. The layout of the site is "Learn $foo in Y minutes", where foo is that follows after /docs/.

Upon reflection, I was curious if I can replace yaml with haskell in that URL. The answer is yes. What is not clear is what the "Y" value is in "Y minutes"…
Add a comment...

Post has attachment
Add a comment...

Found this only today: https://simonmar.github.io/posts/2017-01-24-asynchronous-exceptions.html. Short and very readable.
Add a comment...

Post has shared content
Interesting approach!
Formally verified kernel crypto code that is converted to C and runs faster than the previously hand-written code. This is great stuff, I'm looking forward toward this project getting merged upstream, so I don't have to keep patching my local kernel, as well as the forthcoming rewrite of the kernel crypto code in this same manner!
Add a comment...

Post has attachment
Wait while more posts are being loaded