Notices by Ben Lings (ben_lings@hachyderm.io)

@mekkaokereke Paris has this everywhere (plus super high kerbs… I’m not sure how much is for pedestrian safety and how much to stop people just parking anywhere they like…) https://www.strongtowns.org/journal/2019/8/19/the-streets-of-paris

@inthehands @jrose I don’t believe any type system can extend this horizon to infinity. There will exist correct programs that can’t be proved correct within the type system. (Waves hands in the general direction of Gödel and https://perl.plover.com/yak/CHI/)