HN Explorer

pgustafs

↗ HN profile [ 317 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Predict the Unpredictable (kdivergent.substack.com)
    1 points 0
  2. Why is dependent type theory more suitable than set theory for proof assistants? (mathoverflow.net)
    221 points 60
  3. Show HN: Toy Haskell blockchain with variable hash functions for ASIC resistance (github.com)
    15 points 7
  4. We need to fix our feedback loops (paulgustafson.substack.com)
    6 points 0
  5. Lembrary: A multiplayer persistent Haskell REPL (lembrary.com)
    2 points 1
  6. Ask HN: Cryptocurrency naturally pegged to cost of hashing

    Price volatility is a major obstacle to cryptocurrency adoption. Here's a solution: set the mining reward equal to the expected hash count for mining a block. The value of the coin will naturally gravitate to the cost…

    2 points 2