hillelwayne.com
↩

Breaking the limits of TLA+ model checking
2023-04-17 07:11:03 (Hacker News)
Source: Hacker News
NP-Complete isn't (always) Hard
2023-02-20 11:39:19 (Hacker News)
Source: Hacker News
Mostly-dead influential programming languages (2020)
2022-12-18 09:04:52 (Hacker News)
Source: Hacker News
Software Mimicry
2022-11-18 17:35:35 (Hacker News)
Source: Hacker News
Let's Prove Leftpad
2022-11-16 07:08:30 (Hacker News)
Source: Hacker News

↩