| 1. | | Hypervisor 101 in Rust (tandasat.github.io) |
| 174 points by pykello 75 days ago | 20 comments |
|
| 2. | | Typechecker Zoo (sdiehl.github.io) |
| 193 points by todsacerdoti 3 months ago | 31 comments |
|
| 3. | | Show HN: Hanon Pro – piano technique and exercises for the digital age (furnacecreek.org) |
| 248 points by albertru90 on Aug 3, 2024 | 100 comments |
|
| 4. | | Quint (quint-lang.org) |
| 115 points by todsacerdoti on July 30, 2024 | 26 comments |
|
| 5. | | Disruptor-rs: better latency and throughput than crossbeam (github.com/nicholassm) |
| 204 points by nicholassm83 on July 13, 2024 | 35 comments |
|
| 6. | | Bytecode Breakdown: Unraveling Factorio's Lua Security Flaws (memorycorruption.net) |
| 466 points by memcorruption on June 29, 2024 | 122 comments |
|
| 7. | | Show HN: A keyboard-centric clipboard history app for macOS (clipbook.app) |
| 141 points by Ikryanov on June 11, 2024 | 116 comments |
|
| 8. | | Floor796 (floor796.com) |
| 533 points by gtirloni on May 18, 2024 | 79 comments |
|
| 9. | | How OpenAI's Sora Model Works (factorialfunds.com) |
| 79 points by mplappert on March 20, 2024 | 23 comments |
|
| 10. | | Antagonistic AI (arxiv.org) |
| 78 points by drcwpl on Feb 15, 2024 | 54 comments |
|
| 11. | | Project Bluefin: an immutable, developer-focused, Cloud-native Linux (ypsidanger.com) |
| 201 points by Santosh83 on Jan 14, 2024 | 84 comments |
|
| 12. | | DeskHop – Fast Desktop Switching (github.com/hrvach) |
| 1248 points by rcarmo on Dec 27, 2023 | 273 comments |
|
| 13. | | LLM Visualization (bbycroft.net) |
| 1592 points by plibither8 on Dec 3, 2023 | 131 comments |
|
| 14. | | Retries – An interactive study of request retry methods (encore.dev) |
| 251 points by whenlambo on Nov 23, 2023 | 53 comments |
|
| 15. | | Win-Vind: Vim key binder for Windows (pit-ray.github.io) |
| 218 points by philonoist on Nov 12, 2023 | 73 comments |
|
| 16. | | Great Male Renunciation (wikipedia.org) |
| 210 points by beefman on Oct 22, 2023 | 148 comments |
|
| 17. | | LazyVim (lazyvim.org) |
| 633 points by tambourine_man on July 17, 2023 | 525 comments |
|
| 18. | | Finish your projects (github.com/readme) |
| 513 points by aarondf on June 13, 2023 | 230 comments |
|
| 19. | | CoLT5: Faster Long-Range Transformers With Conditional Computation (arxiv.org) |
| 123 points by optimalsolver on March 20, 2023 | 17 comments |
|
| 20. | | ControlNET and Stable Diffusion: A Game Changer for AI Image Generation (uxdesign.cc) |
| 135 points by belltaco on Feb 20, 2023 | 36 comments |
|
| 21. | | Understanding and coding the self-attention mechanism of large language models (sebastianraschka.com) |
| 158 points by mariuz on Feb 10, 2023 | 37 comments |
|
| 22. | | Show HN: Turning books into chatbots with GPT-3 (konjer.xyz) |
| 261 points by mnkm on Jan 24, 2023 | 173 comments |
|
| 23. | | Making sense of TypeScript using set theory (thoughtspile.tech) |
| 140 points by hrafnstrom on Jan 24, 2023 | 91 comments |
|
| 24. | | Pixelmator Pro gets a magical, AI‑powered Deband feature (pixelmator.com) |
| 278 points by ingve on Dec 21, 2022 | 118 comments |
|
| 25. | | Ignite – Use Firecracker VMs with Docker images (github.com/weaveworks) |
| 234 points by cercatrova on Sept 26, 2022 | 80 comments |
|
| 26. | | Show HN: Ezno, a type checker for JavaScript and optimiser for React (kaleidawave.github.io) |
| 175 points by kaleidawave on Sept 22, 2022 | 98 comments |
|
| 27. | | Abstracting over ownership in Rust with higher-rank type bounds? (pocoo.org) |
| 77 points by the_mitsuhiko on Sept 11, 2022 | 67 comments |
|
| 28. | | A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue (github.com/lemmy) |
| 213 points by pron on March 5, 2020 | 6 comments |
|
