Solvingn the Santa Claus concurrency puzzle with a model checker
(news.ycombinator.com)
31.
32.
33.
Trump energy department loosens rules on nuclear safety
(techcrunch.com)
35.
How Chevron played the long game for Venezuela’s oil reserves
(feeds.feedburner.com)
36.
Why the Future of Real Estate Tech Belongs to Suburbs, Not Skyscrapers
(feeds.feedburner.com)
37.
38.
Property-Based Testing Caught a Security Bug I Never Would Have Found
(news.ycombinator.com)
39.
Treasury fines N.Y. property management firm $7.1 million over ties to Putin’s ally
(feeds.feedburner.com)
40.
41.
Jack Ma's family shifted wealth to UK after years-long 'disappearance'
(news.ycombinator.com)
42.
Unexpected things that are people
(news.ycombinator.com)
43.
44.
Three ways formally verified code can go wrong in practice
(news.ycombinator.com)
45.
Microformats – building blocks for data-rich web pages
(news.ycombinator.com)
46.
Heap-based buffer overflow in Kernel Streaming
(news.ycombinator.com)
47.
Rupert's Property
(news.ycombinator.com)
48.
Is It Ever Legal—or Ethical—to Remove DRM?
(wired.com)