| AI capability isn't humanness 50 points by mdahardy | 53 Comments |
| Let a thousand societies bloom 36 points by fbrusch | 25 Comments |
| Apples, Trees, and Quasimodes 19 points by entaloneralie | 1 Comments |
| Pizlix: Memory Safe Linux from Scratch 98 points by nullbyte808 | 28 Comments |
| Dafny: Verification-Aware Programming Language 104 points by handfuloflight | 33 Comments |
| Modern SID chip substitutes [video] 70 points by vismit2000 | 12 Comments |
| RFC1087 Ethics and the Internet (1989) 5 points by 1vuio0pswjnm7 | 1 Comments |