Ask HN: Why hasn't x86 caught up with Apple M series?
441 points by stephenheron 4d ago 616 comments
Ask HN: Best codebases to study to learn software design?
107 points by pixelworm 6d ago 92 comments
What is the current and accepted definition of formally proved software?
1 cauterize 0 8/30/2025, 3:43:27 AM
No comments yet