| 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 |
|
