| 30 years of <br> tags 214 points by FragrantRiver | 96 Comments |
| Rust GCC backend: Why and how 192 points by ahlCVA | 126 Comments |
| Modern SID chip substitutes [video] 70 points by vismit2000 | 12 Comments |
| Dafny: Verification-Aware Programming Language 104 points by handfuloflight | 33 Comments |
| The biggest heat pumps 125 points by rayhaanj | 188 Comments |
| Pizlix: Memory Safe Linux from Scratch 98 points by nullbyte808 | 27 Comments |