HN Explorer

btat1

↗ HN profile [ 83.4 ms ] full profile
Karma
96
Created
October 31, 2016 (10y ago)
Submissions
0
  1. 68 Resources to Help You to Create Programming Languages Java Code Geeks – 2017 (javacodegeeks.com)
    1 points 0
  2. The Mathematician in the Asylum – Providentia (drvitelli.typepad.com)
    2 points 0
  3. Mathematician Eugenia Cheng: ‘Yes, I am an anarchist’ (theguardian.com)
    9 points 16
  4. Oh the things Vim could teach Silicon Valley's code slingers (theregister.co.uk)
    7 points 2
  5. A Modularity Bug in Java 8 (arXiv Article) (arxiv.org)
    1 points 0
  6. Dafny – A programming language with a program verifier (github.com)
    165 points 58
  7. The Forgotten Prisoner of a Spyware Deal Gone Wrong (motherboard.vice.com)
    2 points 0
  8. It’s Time to Rethink the Algorithm (SocialTimes) (adweek.com)
    3 points 0
  9. The Newest Linux Operating Systems and Who Should Try Them (makeuseof.com)
    2 points 0
  10. L'affaire Kennedy, une vérité inaudible Slate.fr (m.slate.fr)
    1 points 0
  11. Viruses like HIV have been attacking immune systems for half a BILLION years (dailymail.co.uk)
    1 points 0
  12. Docker Kernel Requirements Examples Java Code Geeks – 2016 (examples.javacodegeeks.com)
    1 points 0
  13. Memoizing recursive functions via the fixed point Y combinator (matt.might.net)
    3 points 0
  14. My Top 100 Programming, Computer and Science Books Part One (catonmat.net)
    3 points 1
  15. Simple Scheme, for Android (bryanchadwick.com)
    2 points 0
  16. Chomsky exposes crimes and colossal lies of the ‘masters of mankind’ (greenleft.org.au)
    1 points 0
  17. I’m a Conservative Evangelical Christian and I Will Not Vote for Trump – MTV (mtv.com)
    1 points 0
  18. Ancient Burials Show Traces of Blood Feuds (news360.com)
    1 points 0