HN Explorer

quantumtremor

↗ HN profile [ 92.0 ms ] full profile
Karma
367
Created
April 21, 2015 (11y ago)
Submissions
0
  1. Software Engineering Internship Amazon Interview Experience (rajk.me)
    669 points 422
  2. Show HN: Busybeaver, an Implementation of the Busy Beaver Turing Machine Game (rajk.me)
    3 points 1
  3. CalHacks3.0 Submissions (calhacks3.devpost.com)
    1 points 0
  4. Notes on the Foundations of Cryptography (Yehuda Lindell) [pdf] (u.cs.biu.ac.il)
    1 points 0
  5. Major security vulnerability in Democratic campaign donation platform (RespDisc) (rajk.me)
    1 points 1
  6. ActBlue CSRF Security Vulnerability Responsible Disclosure (rajk.me)
    8 points 1
  7. FSF-Certified Respects Your Freedom Hardware (fsf.org)
    3 points 0
  8. “The Dell XPS 13 Developer Edition laptop is nearly perfect” (networkworld.com)
    17 points 41
  9. Ask HN: For an automated theorem prover in prop. logic: Haskell or OCaml?

    Title says it all. I'd like to write a program that, some givens and a theorem, can generate a Fitch-style proof of the theorem (not just a truth table). I'd like to also output to LaTeX, but not so important. I don't…

    3 points 0
  10. Analyzing Tweets about Presidential Candidates with Pandas, TextBlob, Cartopy (rajk.me)
    1 points 0
  11. Cheryl's Birthday puzzle solved using Clojure's core.logic (github.com)
    4 points 2