HN Explorer

LightMachine

↗ HN profile [ 77.8 ms ] full profile
Karma
1,621
Created
September 28, 2015 (10y ago)
Submissions
0
  1. Claude Plays Pokémon (twitch.tv)
    75 points 27
  2. Show HN: SupGen, an model-free program synthesizer by examples / dependent types (youtube.com)
    21 points 11
  3. Optimal context passing with HVM's "pure mutable references" (gist.github.com)
    1 points 0
  4. HVM3's Optimal Atomic Linker (With Polarization) (gist.github.com)
    2 points 0
  5. Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler (twitter.com)
    2 points 1
  6. Optimal Evaluation in 1 Minute (or 10 Minutes) (or 10 Years) (gist.github.com)
    2 points 0
  7. Bend: a high-level language that runs on GPUs (via HVM2) (github.com)
    1041 points 268
  8. ~ (hvm-page.pages.dev)
    1 points 0
  9. Claude-3 emulates Pokémon Red (twitter.com)
    3 points 0
  10. PSA: GPT-4 Is Obsolete (twitter.com)
    2 points 0
  11. Can a simple functional sieve be fast? Optimizing Tromp's algorithm on HVM (gist.github.com)
    3 points 0
  12. SAT can be solved surprisingly quickly via superposed bools on Interaction Nets (gist.github.com)
    6 points 1
  13. We can solve 3-SAT "quickly" via superposed booleans on interaction nets (twitter.com)
    1 points 0
  14. HVM updates: simplifications, finally runs on GPUs, 80x speedup on RTX 4090 (twitter.com)
    91 points 31
  15. A Lock-Free Interaction Combinator Evaluator to Fix LoL' Client Performance (twitter.com)
    2 points 0
  16. wrong url :( (twitter.com)
    1 points 0
  17. Show HN: ChatSH – a terminal where GPT writes the commands for you (github.com)
    7 points 0
  18. Implementing complex numbers and FFT with just algebraic datatypes (no floats) (gist.github.com)
    8 points 0
  19. Higher Order Company (twitter.com)
    1 points 0
  20. HVM, the parallel runtime: a summary of its history and next steps (twitter.com)
    6 points 0
  21. /r/cryptocurrency mods shadow-banned me for posting Kindelia's whitepaper (old.reddit.com)
    10 points 8
  22. 1 points 0
  23. Show HN: High-order Virtual Machine (HVM) – A Parallel Functional Runtime (github.com)
    150 points 16
  24. Show HN: Kind, a minimal, efficient, practical proof language (github.com)
    2 points 0
  25. Proving the commutativity of addition in Formality (ASMR?) (youtube.com)
    1 points 0