| Emulating AVX-512 intrinsics in Miri 8 points by ashvardanian | 0 Comments |
| Go is portable, until it isn't 147 points by khazit | 118 Comments |
| Beautiful Abelian Sandpiles 140 points by eavan0 | 24 Comments |
| 30 Years of <Br> Tags 46 points by FragrantRiver | 1 Comments |
| 50 years of proof assistants 134 points by baruchel | 27 Comments |
| 1 html search engine 12 points by k8o5 | 6 Comments |
| TigerBeetle as a File Storage 32 points by aivarsk | 2 Comments |