HN Explorer

iso8859-1

↗ HN profile [ 77.2 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. Mid-Cabin Emergency Exit Doors – Plug Option [video] (youtube.com)
    2 points 0
  5. Why would you still want to use strace in 2023? [video] (media.ccc.de)
    5 points 0
  6. Adventures of Linux Userspace at Meta [video] (media.ccc.de)
    124 points 32
  7. A slightly longer Lean 4 proof tour (terrytao.wordpress.com)
    78 points 27
  8. Fear and loathing on the merger trail (1998) (www-archive.mozilla.org)
    2 points 0
  9. The Problem with Friendly C (blog.regehr.org)
    3 points 0
  10. Why my video calls sucked (snoyman.com)
    2 points 0
  11. Programming with Effect Handlers and FBIP in Koka (youtube.com)
    1 points 0
  12. The Superinvestors of Graham-and-Doddsville (www8.gsb.columbia.edu)
    1 points 1
  13. ATS: Why Linear Types Are the Future of Systems Programming (youtube.com)
    1 points 0
  14. The Sad Saga of Silicon Graphics (archive.fo)
    1 points 0
  15. /u/DeepFuckingValue spreadsheet explainer (youtube.com)
    1 points 0
  16. Proofs of Space-Time and Rational Proofs of Storage [pdf] (eprint.iacr.org)
    2 points 0
  17. China National Nuclear Corporation to construct prototype floating plant (world-nuclear-news.org)
    1 points 0
  18. How I Learned to Stop Worrying and Love Civil Procedure (2011) (btlj.org)
    19 points 3
  19. Superconductor – real-time data visualization using WebCL, WebGL, Web Workers (superconductor.github.io)
    48 points 15
  20. Automated child punishment: Kids yell too much, blank the screen (superuser.com)
    2 points 0
  21. Generate JavaScript from DSL code to enable backend/frontend validation sharing (github.com)
    2 points 0
  22. Rob Landeros, a pioneer of 1990s games plots haunted-mansion genre comeback (gameological.com)
    1 points 0
  23. Ask HN: What was the name of the beta app enabling easy use of LXC?

    On HN a couple of weeks ago. I think it was related to Joyent or some company like that.

    1 points 2
  24. Tomb Raider now runs in jDosBox (3dfx Voodoo 1 emulation ported from MAME) (jdosbox.sourceforge.net)
    2 points 0
  25. The Mysterious SIB Byte (binary-analysis.heroku.com)
    1 points 0