User settings, Lamport clocks and lightweight formal methodsjakub-m.github.io·73 pts·iforgetlogins01·21
Show HN: Attention-frugal custom tech feed aggregator that comes on Fridaysgithub.com·2 pts·iforgetlogins01·0