HN Explorer

icc97

↗ HN profile [ 90.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. MCP Sux, Use CLIs (blog.ianchanning.com)
    2 points 0
  2. On the subject of trust between team mates (ianchanning.wordpress.com)
    1 points 0
  3. Memories of Kurt Gödel (2012) (rudyrucker.com)
    2 points 0
  4. Richard Feynman – BBC Archives (bbc.co.uk)
    2 points 0
  5. Why Functional Programming? (ianchanning.wordpress.com)
    1 points 0
  6. Dyspraxia: My Life with the Misunderstood Condition (2021) (bbc.com)
    2 points 0
  7. AI and the Tao (shittyphilosophy.org)
    1 points 0
  8. Advanced brain imaging study hints at how DMT alters perception of reality (imperial.ac.uk)
    4 points 0
  9. Confused about ReScript? ReScript,Reason,ReasonML,BuckleScript Explained (2020) (ersin-akinci.medium.com)
    2 points 0
  10. Undo (“u”) stopped working as intend – Issue #8157 – VSCodeVim/Vim (github.com)
    2 points 0
  11. A plethora of podcasts to delight statisticians (vsni.co.uk)
    1 points 0
  12. Scientific Aspects of Juggling by Claude Shannon [pdf] (jonglage.net)
    3 points 0
  13. Jesus for Atheists (ianchanning.wordpress.com)
    2 points 0
  14. Google is building an AI (2004) (sites.google.com)
    1 points 0
  15. Accelerated sensor fusion algorithm for POSE estimation of drones (2017) (rubenfiszel.github.io)
    2 points 0
  16. Apple.com's Visual Hierarchy (lukew.com)
    1 points 0
  17. John McCarthy's FAQ about Nuclear Energy (2006) (www-formal.stanford.edu)
    1 points 0
  18. Formality, a language combining formal proofs and optimal reductions (reddit.com)
    3 points 0
  19. Formally Verified Software in the Real World (2018) (cacm.acm.org)
    186 points 18
  20. Family Tree of Economics (pc.blogspot.com)
    55 points 34
  21. DeepTraffic: Crowdsourced Hyperparameter Tuning for Dense Traffic Navigation (arxiv.org)
    1 points 0
  22. Release 1.0 (sbw.org)
    2 points 0
  23. StCUDA: Smalltalk CUDA library (github.com)
    2 points 0
  24. Community-based, human-centered design (jnd.org)
    45 points 9
  25. User-defined functions in Excel (2003) (microsoft.com)
    1 points 0