HN Explorer

thirsteh

↗ HN profile [ 98.6 ms ] full profile
Karma
3,542
Created
June 21, 2010 (16y ago)
Submissions
0
I spend a lot of my day hours XORing things together, and I'm particularly interested in PL research/high-assurance software development (Haskell, Agda, Coq, etc., but also how to make software in any language more secure and reliable.)

I'm always happy to continue a discussion in private through email: my username at google's mail.

  1. General Keith Alexander, Director of the NSA, to keynote Black Hat USA 2013 (blackhat.com)
    2 points 0
  2. Barbara Liskov (MIT CSAIL) - The Power of Abstraction (infoq.com)
    3 points 0
  3. Formerly Top Secret NSA Cryptologs From 1974-1997 (nsa.gov)
    153 points 64
  4. MINIX 3: a Modular, Self-Healing Posix-compatible Operating System (youtube.com)
    2 points 1
  5. Is Everything We Know About Password-Stealing Wrong? [pdf] (research.microsoft.com)
    64 points 27
  6. Teaching Distributed Systems in Go (da-data.blogspot.com)
    66 points 19
  7. Implementing fixes for the Lucky Thirteen attack on TLS CBC (imperialviolet.org)
    8 points 0
  8. Deconstruction of Pinkie Pie's 64-bit Chrome exploit (scarybeastsecurity.blogspot.se)
    122 points 33
  9. Why Functional Programming Matters Summarized [pdf] (xfront.com)
    1 points 0
  10. X86 Oddities (code.google.com)
    97 points 39
  11. The Man Without a Facebook (youtube.com)
    1 points 0
  12. BET24 warns over data breach – 19 months later (theregister.co.uk)
    1 points 1
  13. Have a bit of... (haveabit.com)
    3 points 0
  14. Security Through Obscurity (throwingfire.com)
    43 points 61
  15. Play With The Universe (universesandbox.com)
    3 points 0
  16. LastPass Disclosure Shows Why We Can't Have Nice Things (throwingfire.com)
    559 points 88
  17. Isaac Asimov's Visions of the Future (patrickmylund.com)
    2 points 0
  18. Have a Bit -- Be Inspired by Some of the Greatest People Who Ever Lived (haveabit.com)
    1 points 0
  19. UrlReveal - Reveals the final destination of short/redirect URLs (with source) (urlreveal.com)
    1 points 0
  20. Optimus Smart Prime - Cache preloader for websites with XML sitemaps (patrickmylund.com)
    4 points 0
  21. R.I.P. Carl Sagan (patrickmylund.com)
    4 points 0
  22. We Don't Know Anything (patrickmylund.com)
    2 points 0
  23. Why I Love the Khan Academy (patrickmylund.com)
    163 points 42