Decoding Leibniz Notation (2024)
(news.ycombinator.com)
61.
62.
63.
65.
66.
68.
Go Assembly Mutation Testing
(news.ycombinator.com)
69.
Show HN: 0xDEAD//TYPE – A fast-paced typing shooter with retro vibes
(news.ycombinator.com)
70.
Show HN: 0xDEAD//Type – A Fast-Paced Typing Shooter with Retro Vibes
(news.ycombinator.com)
71.
Verified dynamic programming with Σ-types in Lean
(news.ycombinator.com)
72.
Verified Dynamic Programming with Σ-types in Lean
(news.ycombinator.com)