Ideas & society2013 · shared on Hacker News
academic-pdf · liquid_types.pdf
Research PDF · needs verificationExplore academic-pdf · liquid_types.pdf, its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Yvbernat ·
Intel Skylake/Kaby Lake processors: broken hyper-threading
1,108 points269 comments
Ytodsacerdoti ·
Types as Interfaces
159 points194 comments
Yllambda ·
Typo: A programming language that runs in Haskell's type system
119 points21 comments