volida's favorites | Hacker News

1.		The Power of Prolog (metalevel.at)
		348 points by noch on April 5, 2017 \| 161 comments
2.		Lisp Quickstart (gmu.edu)
		327 points by macco on March 24, 2017 \| 113 comments
3.		Japanese company develops a solar cell with record-breaking efficiency (arstechnica.co.uk)
		470 points by Jaruzel on March 23, 2017 \| 105 comments
4.		Leslie Lamport: Video course on TLA+ (lamport.azurewebsites.net)
		328 points by kelvich on March 20, 2017 \| 74 comments
5.		Encrypted email is still a pain (incoherency.co.uk)
		544 points by jstanley on Feb 13, 2017 \| 431 comments
6.		FreeBSD 11.0 Now Available (freebsd.org)
		346 points by eatonphil on Oct 10, 2016 \| 159 comments
7.		A Cloud-Scale Acceleration Architecture: FPGAs in Microsoft’s Datacenters (microsoft.com)
		112 points by eDameXxX on Oct 21, 2016 \| 51 comments
8.		We’re pretty happy with SQLite and not urgently interested in a fancier DBMS (beets.io)
		397 points by samps on June 19, 2016 \| 146 comments