HN Explorer

setori88

↗ HN profile [ 95.6 ms ] full profile
Karma
602
Created
March 31, 2009 (17y ago)
Submissions
0
[ my public key: https://keybase.io/sj_mackenzie; my proof: https://keybase.io/sj_mackenzie/sigs/A_jibuqndvVYnWIPtQO_q7lO7CCF-1G_k60T0QCFq40 ]
  1. The Stewart Mackenzie Indaba #7 Shawn Chang – Hardened Linux Founder [video] (youtube.com)
    1 points 0
  2. HW Debugging for Reverse Engineers P1: SWD, OpenOCD and Xbox One Controllers (wrongbaud.github.io)
    1 points 0
  3. Fairylog: A Racket language aiming to be like Verilog (pinksquirrellabs.com)
    60 points 21
  4. Typing the nix language (gofundme.com)
    1 points 0
  5. CakeML – A Verified Implementation of ML (cakeml.org)
    163 points 38
  6. The Coming War on China – John Pilger (johnpilger.com)
    2 points 0
  7. Show HN: Simple Rust Microservices (github.com)
    3 points 1
  8. Singularity cult (thebaffler.com)
    1 points 0
  9. Artiq: Next-generation control system for quantum information experiments (github.com)
    5 points 0
  10. Es - An extensible shell with first-class functions, lexical scope, exceptions (wryun.github.io)
    2 points 0
  11. The Good Country Index (goodcountry.org)
    1 points 0
  12. Paradigms of Computer Programming by Peter Van Roy - EdX videos (youtube.com)
    2 points 0
  13. Content centric network (ccnx.org)
    1 points 0
  14. Numenta has released its Cortical Learning Algorithm (CLA) - dual license/GPL3 (github.com)
    4 points 0
  15. First teleportation between macroscopic objects leads to quantum internet (extremetech.com)
    2 points 0
  16. Peter van Roy: Ozma: Extending Scala with Oz Concurrency (infoq.com)
    8 points 0
  17. Theory and Practice of Logic Programming [pdf] (arxiv.org)
    4 points 1
  18. Breaking the Time Barrier: The Temporal Engineering of Software (amazon.com)
    1 points 1
  19. Announcing Ozma: extending Scala with Oz concurrency (lambda-the-ultimate.org)
    4 points 0
  20. Ozma a mozart oz backend to scala [chpt 4 pdf] (ks365195.kimsufi.com)
    1 points 0
  21. Namecoin - A DNS alternative based on Bitcoin [guide] (bluishcoder.co.nz)
    19 points 1
  22. Light's magnetic field could make solar power without solar cells (wired.co.uk)
    1 points 0
  23. Rebol language (rebol.com)
    5 points 1
  24. Beamjs - js in your erlang, or erlang in your js? (beamjs.org)
    8 points 0
  25. Erlang/OTP on android (burbas.se)
    45 points 8