HNHacker News
TopNewBestAskShowJobs

compilers

47 karma · joined July 23, 2019

interested in compilers, distributed and operating systems.
submissionscomments
compilers··on Verifying smart contracts in Libra’s Move language
Cool! I do not have much experience in this area but this certainly seems like interesting work. I wish you good luck!
compilers··on Verifying smart contracts in Libra’s Move language
Very nice! Is the synthesis post ready?
compilers··on Show HN: IAvisa – Explore visa requirements worldwide
I really don't see the why the negativity. While I agree that there's Timatic, there is nothing wrong in making something else that serves the same purpose. By your logic, every duplicate service in this world can be questioned.

> It includes such detail as country of travel origin, country of passport issuance, nationality, duration of stay, country of transit, visa/papers held.

Would have been nice had you commented this as a suggestion without that bashful tone, just my 2 cents.

compilers··on Unikernels: The Next Stage of Linux's Dominance [pdf]
Anil Madhavapeddy's work on unikernels is also quite interesting to look at.