HN Explorer

poppingtonic

↗ HN profile [ 81.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Milawa on Jitawa, a Verified Theorem Prover (lambda-the-ultimate.org)
    1 points 0
  2. Visualising Multi-Sensor Predictions from a Rice Disease Classifier (qeios.com)
    2 points 0
  3. Why computer modeling should become a popular hobby (1996) (qrg.northwestern.edu)
    92 points 33
  4. Neurogrid – The Board (2016) (web.stanford.edu)
    2 points 0
  5. C Implementation of Gregory Chaitin's the Limits of Mathematics (github.com)
    5 points 0
  6. Neuro Evolving Robot Operatives (nn.cs.utexas.edu)
    25 points 4
  7. Building Problem Solvers (qrg.northwestern.edu)
    4 points 0
  8. Engineering Scientific Serendipity (brianmu.com)
    1 points 0
  9. JuliaCon 2018: Index Notation and the Future of Tensor Compilers [video] (youtube.com)
    3 points 0
  10. How to Think (technologyreview.com)
    1 points 0
  11. International Fellowship applications for Part 1 now open (fast.ai)
    1 points 0
  12. Watch live UK parliamentary evidence on AI impacts (globalprioritiesproject.org)
    1 points 0
  13. FastText.zip: Compressing text classification models (arxiv.org)
    4 points 0
  14. Modeling Agents with Probabilistic Programs [book] (agentmodels.org)
    2 points 0
  15. Ask HN: What problems can a consumer EEG solve?

    An example of such an EEG is the OpenBCI device, plus whatever set of useful machine learning algorithms are used for source localization and signal processing. Other than e.g. helping people with locked-in syndrome to…

    1 points 2
  16. Open Philanthropy Project's “Anti-Principles” for Hits-Based Giving (openphilanthropy.org)
    2 points 0
  17. Over 3,000 Scientists Support UN Nuclear Ban Negotiations (futureoflife.org)
    1 points 0
  18. RFS: Augmented Reality social proof to make charitable giving more effective (boingboing.net)
    2 points 0
  19. Double Crux: A Strategy for Resolving Disagreement (lesswrong.com)
    1 points 0
  20. Tutorial: Metacompilers Part 1 (bayfronttechnologies.com)
    16 points 2
  21. The Ethics of Artificial Intelligence [video] (livestream.com)
    1 points 0
  22. Evaluation of some technology forecasts from “The Year 2000” (openphilanthropy.org)
    1 points 0
  23. The Definitive ANTLR4 Reference (pragprog.com)
    2 points 0
  24. A Guide to Caching with NGINX (nginx.com)
    1 points 0
  25. The fascinating 600-year history of the world’s oldest shareholding company (qz.com)
    2 points 0