HN Explorer

quantumtremor

↗ HN profile [ 74.7 ms ] full profile

No user record in our sample, but quantumtremor has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.

  1. Show HN: Busybeaver, an Implementation of the Busy Beaver Turing Machine Game (rajk.me)
    3 points 2
  2. CalHacks3.0 Submissions (calhacks3.devpost.com)
    1 points 0
  3. Major security vulnerability in Democratic campaign donation platform (RespDisc) (rajk.me)
    1 points 1
  4. ActBlue CSRF Security Vulnerability Responsible Disclosure (rajk.me)
    8 points 1
  5. FSF-Certified Respects Your Freedom Hardware (fsf.org)
    3 points 0
  6. “The Dell XPS 13 Developer Edition laptop is nearly perfect” (networkworld.com)
    17 points 41
  7. 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
  8. Analyzing Tweets about Presidential Candidates with Pandas, TextBlob, Cartopy (rajk.me)
    1 points 0
  9. Cheryl's Birthday puzzle solved using Clojure's core.logic (github.com)
    4 points 2