| 1. | | Claude Plays Pokémon (twitch.tv) |
| 75 points by LightMachine 9 months ago | past | 24 comments |
|
| 2. | | Show HN: SupGen, an model-free program synthesizer by examples / dependent types (youtube.com) |
| 21 points by LightMachine 10 months ago | past | 9 comments |
|
| 3. | | Optimal context passing with HVM's "pure mutable references" (gist.github.com) |
| 1 point by LightMachine on Nov 28, 2024 | past |
|
| 4. | | HVM3's Optimal Atomic Linker (With Polarization) (gist.github.com) |
| 2 points by LightMachine on Nov 1, 2024 | past |
|
| 5. | | Since Agda->JS is unmaintained, I'm now using Sonnet-3.5 as the compiler (twitter.com/victortaelin) |
| 2 points by LightMachine on Sept 20, 2024 | past |
|
| 6. | | Optimal Evaluation in 1 Minute (or 10 Minutes) (or 10 Years) (gist.github.com) |
| 2 points by LightMachine on Aug 30, 2024 | past |
|
| 7. | | Bend: a high-level language that runs on GPUs (via HVM2) (github.com/higherorderco) |
| 1041 points by LightMachine on May 17, 2024 | past | 253 comments |
|
| 8. | | [dupe] ~ (hvm-page.pages.dev) |
| 1 point by LightMachine on May 17, 2024 | past |
|
| 9. | | Claude-3 emulates Pokémon Red (twitter.com/victortaelin) |
| 3 points by LightMachine on March 31, 2024 | past |
|
| 10. | | PSA: GPT-4 Is Obsolete (twitter.com/victortaelin) |
| 2 points by LightMachine on March 14, 2024 | past |
|
| 11. | | Can a simple functional sieve be fast? Optimizing Tromp's algorithm on HVM (gist.github.com) |
| 3 points by LightMachine on Jan 29, 2024 | past |
|
| 12. | | SAT can be solved surprisingly quickly via superposed bools on Interaction Nets (gist.github.com) |
| 6 points by LightMachine on Jan 9, 2024 | past | 1 comment |
|
| 13. | | We can solve 3-SAT "quickly" via superposed booleans on interaction nets (twitter.com/victortaelin) |
| 1 point by LightMachine on Jan 9, 2024 | past |
|
| 14. | | HVM updates: simplifications, finally runs on GPUs, 80x speedup on RTX 4090 (twitter.com/victortaelin) |
| 91 points by LightMachine on Oct 7, 2023 | past | 29 comments |
|
| 15. | | A Lock-Free Interaction Combinator Evaluator to Fix LoL' Client Performance (twitter.com/victortaelin) |
| 2 points by LightMachine on Sept 8, 2023 | past |
|
| 16. | | wrong url :( (twitter.com/victortaelin) |
| 1 point by LightMachine on July 28, 2023 | past |
|
| 17. | | Show HN: ChatSH – a terminal where GPT writes the commands for you (github.com/victortaelin) |
| 7 points by LightMachine on May 7, 2023 | past |
|
| 18. | | Implementing complex numbers and FFT with just algebraic datatypes (no floats) (gist.github.com) |
| 8 points by LightMachine on May 3, 2023 | past |
|
| 19. | | Higher Order Company (twitter.com/victortaelin) |
| 1 point by LightMachine on Jan 4, 2023 | past |
|
| 20. | | HVM, the parallel runtime: a summary of its history and next steps (twitter.com/victortaelin) |
| 6 points by LightMachine on Nov 4, 2022 | past |
|
| 21. | | /r/cryptocurrency mods shadow-banned me for posting Kindelia's whitepaper (reddit.com) |
| 10 points by LightMachine on Sept 16, 2022 | past | 8 comments |
|
| 22. | | Show HN: High-order Virtual Machine (HVM) – A Parallel Functional Runtime (github.com/kindelia) |
| 150 points by LightMachine on Jan 31, 2022 | past | 13 comments |
|
| 23. | | Show HN: Kind, a minimal, efficient, practical proof language (github.com/uwu-tech) |
| 2 points by LightMachine on May 16, 2021 | past |
|
| 24. | | List of top tokens, with host platform (coinmarketcap.com) |
| 2 points by LightMachine on Feb 2, 2021 | past |
|
| 25. | | FormCoreJS: A 700-LOC proof language that compiles to ultra-fast JavaScript (github.com/moonad) |
| 2 points by LightMachine on Jan 10, 2021 | past |
|
| 26. | | Goodbye, JavaScript: Formality is now implemented in itself (github.com/moonad) |
| 2 points by LightMachine on Dec 15, 2020 | past |
|
| 27. | | Multiplication with Optimal β-Reduction (github.com/maiavictor) |
| 2 points by LightMachine on Aug 14, 2020 | past |
|
| 28. | | Multiplication with Optimal β-Reduction (github.com/maiavictor) |
| 1 point by LightMachine on Aug 14, 2020 | past |
|
| 29. | | Thoughts about Formality (medium.com/maiavictor) |
| 1 point by LightMachine on Aug 11, 2020 | past |
|
| 30. | | Show HN: Navim browses files on the terminal with minimal amount of keystrokes (github.com/maiavictor) |
| 1 point by LightMachine on June 16, 2020 | past |
|
|
| More |
