| 1. | | ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag) |
| 326 points by barthelomew 5 months ago | 175 comments |
|
| 2. | | The quiet art of attention (billwear.github.io) |
| 875 points by billwear on Oct 13, 2024 | 279 comments |
|
| 3. | | Show HN: Pulsar, micro creative coding playground (muffinman.io) |
| 182 points by stanko on Sept 3, 2024 | 34 comments |
|
| 4. | | We built the city of Colombo in Cities:Skylines (github.com/team-watchdog) |
| 511 points by icaruswept on Sept 1, 2024 | 183 comments |
|
| 5. | | Compiling ML models to C for fun (bernsteinbear.com) |
| 133 points by signa11 on Sept 21, 2023 | 30 comments |
|
| 6. | | Typing on Any Surface: A Deep Learning Method for Keystroke Detection in AR (arxiv.org) |
| 45 points by PaulHoule on Sept 11, 2023 | 23 comments |
|
| 7. | | A Cookbook of Self-Supervised Learning (arxiv.org) |
| 178 points by ZunarJ5 on April 25, 2023 | 22 comments |
|
| 8. | | Grid World (miller.garden) |
| 623 points by tobr on April 5, 2023 | 94 comments |
|
| 9. | | Taichi lang: High-performance parallel programming in Python (taichi-lang.org) |
| 179 points by whereistimbo on March 9, 2023 | 100 comments |
|
| 10. | | VToonify: Controllable high-resolution portrait video style transfer (github.com/williamyang1991) |
| 149 points by godmode2019 on Jan 15, 2023 | 22 comments |
|
| 11. | | Use.GPU Goes Trad (acko.net) |
| 183 points by puzzlingcaptcha on Jan 14, 2023 | 39 comments |
|
| 12. | | Which one of these will be the biggest “unicorn” failure ever? (columbia.edu) |
| 136 points by jeffreyrogers on Nov 14, 2022 | 187 comments |
|
| 13. | | Young adults in L.A. to get $1k a month under new guaranteed income program (latimes.com) |
| 115 points by lxm on Oct 13, 2022 | 173 comments |
|
| 14. | | Ask HN: GPT-3 reveals my full name – can I do anything? |
| 710 points by BoppreH on June 26, 2022 | 346 comments |
|
| 15. | | Asking robots to design stained glass windows (astralcodexten.substack.com) |
| 477 points by Ariarule on May 30, 2022 | 137 comments |
|
| 16. | | “Amateur” programmer fought cancer with 50 Nvidia Geforce 1080Ti (howardchen.substack.com) |
| 1143 points by coolwulf on May 20, 2022 | 329 comments |
|
| 17. | | US Senate votes unanimously to make daylight savings time permanent (twitter.com/senatecloakroom) |
| 2191 points by enraged_camel on March 15, 2022 | 2218 comments |
|
| 18. | | Building an iPod for 2022 (ellie.wtf) |
| 518 points by hownottowrite on Feb 15, 2022 | 149 comments |
|
| 19. | | Show HN: I'm 48 and finally learning how to be a game developer (apps.apple.com) |
| 985 points by bananabat on Nov 9, 2021 | 252 comments |
|
| 20. | | Band-Limiting Procedural Textures (iquilezles.org) |
| 205 points by todsacerdoti on Aug 27, 2020 | 31 comments |
|
| 21. | | Show HN: Seamless head tracking for games using the TrueDepth camera (iOS) (inflightassistant.com) |
| 29 points by epaga on Aug 25, 2020 | 18 comments |
|
| 22. | | AKAI MPC 3000 sampler/sequencer drum machine (audiojive.com) |
| 112 points by omnibrain on Aug 16, 2020 | 99 comments |
|
| 23. | | NeRF in the Wild: reconstructing 3D scenes from internet photography (nerf-w.github.io) |
| 218 points by tambourine_man on Aug 6, 2020 | 124 comments |
|
| 24. | | How a Kalman filter works, in pictures (bzarg.com) |
| 194 points by gballan on July 24, 2020 | 27 comments |
|
| 25. | | Rust 1.45 (rust-lang.org) |
| 491 points by pietroalbini on July 16, 2020 | 218 comments |
|
| 26. | | Faster 3D rendering with WebGL 2.0 (chromium.org) |
| 177 points by DanielRibeiro on March 17, 2017 | 72 comments |
|
