compilers
Visualizing TCP
Black Blacker Than Vantablack
Re:Verifying smart contracts in Libra’s Move language
on Thursday September 12, 2019 @12:58PM (#20953738)
Cool! I do not have much experience in this area but this certainly seems like interesting work. I wish you good luck!
Re:Verifying smart contracts in Libra’s Move language
on Thursday September 12, 2019 @12:17PM (#20953247)
Very nice! Is the synthesis post ready?
Re:Show HN: IAvisa – Explore visa requirements worldwide
on Wednesday August 21, 2019 @11:21AM (#20758047)
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.
Re:Unikernels: The Next Stage of Linux's Dominance [pdf]
on Tuesday July 23, 2019 @05:12PM (#20510250)
Anil Madhavapeddy's work on unikernels is also quite interesting to look at.