OgsyedIE | Dark Hacker News

1.	Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless(lesswrong.com) 9 points by OgsyedIE 21 hours ago \| 1 comment
2.	UK Officials could face US entry ban over Twitter policy(parliamentnews.co.uk) 53 points by OgsyedIE 21 hours ago \| 95 comments
3.	Our Hunter-Gatherer Future: Agriculture may become impossible shortly after 2100(sciencedirect.com) 4 points by OgsyedIE 11 days ago \| 0 comments
4.	Nearly half of Japan's GDP is supervised by finance people at risk of dementia(bloomberg.com) 12 points by OgsyedIE 12 days ago \| 4 comments