HN Explorer

iso8859-1

↗ HN profile [ 81.5 ms ] full profile
Karma
1,497
Created
October 26, 2011 (14y ago)
Submissions
0
  1. Fentanyl: Purpose: Typical Narcotic (pubsapp.acs.org)
    1 points 0
  2. The economic mind of JD Vance (text.npr.org)
    3 points 2
  3. The Ribbon by Jensen Harris (2008) [video] (youtube.com)
    2 points 0
  4. Why would you still want to use strace in 2023? [video] (media.ccc.de)
    5 points 0
  5. Adventures of Linux Userspace at Meta [video] (media.ccc.de)
    124 points 31
  6. A slightly longer Lean 4 proof tour (terrytao.wordpress.com)
    78 points 27
  7. Fear and loathing on the merger trail (1998) (www-archive.mozilla.org)
    2 points 0
  8. The Problem with Friendly C (blog.regehr.org)
    3 points 0
  9. Why my video calls sucked (snoyman.com)
    2 points 0
  10. The Superinvestors of Graham-and-Doddsville (www8.gsb.columbia.edu)
    1 points 1
  11. ATS: Why Linear Types Are the Future of Systems Programming (youtube.com)
    1 points 0
  12. The Sad Saga of Silicon Graphics (archive.fo)
    1 points 0
  13. /u/DeepFuckingValue spreadsheet explainer (youtube.com)
    1 points 0
  14. Proofs of Space-Time and Rational Proofs of Storage [pdf] (eprint.iacr.org)
    2 points 0
  15. How I Learned to Stop Worrying and Love Civil Procedure (2011) (btlj.org)
    19 points 3
  16. Superconductor – real-time data visualization using WebCL, WebGL, Web Workers (superconductor.github.io)
    48 points 15
  17. Automated child punishment: Kids yell too much, blank the screen (superuser.com)
    2 points 0
  18. Generate JavaScript from DSL code to enable backend/frontend validation sharing (github.com)
    2 points 0
  19. Rob Landeros, a pioneer of 1990s games plots haunted-mansion genre comeback (gameological.com)
    1 points 0
  20. Tomb Raider now runs in jDosBox (3dfx Voodoo 1 emulation ported from MAME) (jdosbox.sourceforge.net)
    2 points 0
  21. The Mysterious SIB Byte (binary-analysis.heroku.com)
    1 points 0
  22. Why is printf better than echo? (unix.stackexchange.com)
    74 points 18
  23. KDE's semantic desktop envisioned years ago is becoming reality (muktware.com)
    1 points -1
  24. Jor1k: OpenRISC 1000 emulator written in JavaScript running Linux (s-macke.github.com)
    4 points 0
  25. Digital physics: a universe mathematically isomorphic to a computer (en.wikipedia.org)
    1 points 0