| 1. | | The Stewart Mackenzie Indaba #7 Shawn Chang – Hardened Linux Founder [video] (youtube.com) |
|
1 point by setori88 on July 22, 2020 | past
|
|
| 2. | | HW Debugging for Reverse Engineers P1: SWD, OpenOCD and Xbox One Controllers (wrongbaud.github.io) |
|
1 point by setori88 on Feb 1, 2020 | past
|
|
| 3. | | Fairylog: A Racket language aiming to be like Verilog (pinksquirrellabs.com) |
|
60 points by setori88 on April 19, 2019 | past | 20 comments
|
|
| 4. | | Typing the nix language (gofundme.com) |
|
1 point by setori88 on Jan 15, 2017 | past
|
|
| 5. | | CakeML – A Verified Implementation of ML (cakeml.org) |
|
163 points by setori88 on Jan 1, 2017 | past | 37 comments
|
|
| 6. | | The Coming War on China – John Pilger (johnpilger.com) |
|
2 points by setori88 on Dec 12, 2016 | past
|
|
| 7. | | Show HN: Simple Rust Microservices (github.com/fractalide) |
|
3 points by setori88 on Nov 1, 2016 | past | 1 comment
|
|
| 8. | | Singularity cult (thebaffler.com) |
|
1 point by setori88 on Aug 6, 2015 | past
|
|
| 9. | | Artiq: Next-generation control system for quantum information experiments (github.com/m-labs) |
|
5 points by setori88 on May 31, 2015 | past
|
|
| 10. | | Es - An extensible shell with first-class functions, lexical scope, exceptions (wryun.github.io) |
|
2 points by setori88 on April 13, 2015 | past
|
|
| 11. | | The Good Country Index (goodcountry.org) |
|
1 point by setori88 on July 3, 2014 | past
|
|
| 12. | | Paradigms of Computer Programming by Peter Van Roy - EdX videos (youtube.com) |
|
2 points by setori88 on Dec 31, 2013 | past
|
|
| 13. | | Content centric network (ccnx.org) |
|
1 point by setori88 on June 16, 2013 | past
|
|
| 14. | | Numenta has released its Cortical Learning Algorithm (CLA) - dual license/GPL3 (github.com/numenta) |
|
4 points by setori88 on June 3, 2013 | past
|
|
| 15. | | First teleportation between macroscopic objects leads to quantum internet (extremetech.com) |
|
2 points by setori88 on Nov 22, 2012 | past
|
|
| 16. | | Peter van Roy: Ozma: Extending Scala with Oz Concurrency (infoq.com) |
|
8 points by setori88 on May 31, 2012 | past
|
|
| 17. | | Theory and Practice of Logic Programming [pdf] (arxiv.org) |
|
4 points by setori88 on Oct 29, 2011 | past | 1 comment
|
|
| 18. | | Breaking the Time Barrier: The Temporal Engineering of Software (amazon.com) |
|
1 point by setori88 on Oct 22, 2011 | past | 1 comment
|
|
| 19. | | Announcing Ozma: extending Scala with Oz concurrency (lambda-the-ultimate.org) |
|
4 points by setori88 on June 26, 2011 | past
|
|
| 20. | | Ozma a mozart oz backend to scala [chpt 4 pdf] (kimsufi.com) |
|
1 point by setori88 on May 18, 2011 | past
|
|
| 21. | | Namecoin - A DNS alternative based on Bitcoin [guide] (bluishcoder.co.nz) |
|
19 points by setori88 on May 14, 2011 | past | 1 comment
|
|
| 22. | | Light's magnetic field could make solar power without solar cells (wired.co.uk) |
|
1 point by setori88 on April 20, 2011 | past
|
|
| 23. | | Rebol language (rebol.com) |
|
5 points by setori88 on April 10, 2011 | past | 1 comment
|
|
| 24. | | Beamjs - js in your erlang, or erlang in your js? (beamjs.org) |
|
8 points by setori88 on Dec 23, 2010 | past
|
|
| 25. | | Erlang/OTP on android (burbas.se) |
|
45 points by setori88 on Dec 20, 2010 | past | 7 comments
|
|
| 26. | | Rap News 6 (youtube.com) |
|
2 points by setori88 on Dec 18, 2010 | past
|
|
| 27. | | A convenient setup using Erlang for your web app. (buffered.io) |
|
41 points by setori88 on Dec 15, 2010 | past | 5 comments
|
|
| 28. | | Chicago boss's big secret (evanmiller.org) |
|
2 points by setori88 on Dec 10, 2010 | past
|
|
| 29. | | Despite attacks, Wikileaks Swedish host won't budge (blogs.forbes.com) |
|
6 points by setori88 on Dec 4, 2010 | past
|
|
| 30. | | German MPs call for US ambassador to resign (livemint.com) |
|
2 points by setori88 on Dec 3, 2010 | past
|
|
|
|
More |
