Full threadmathfailure·Thank you for posting it: I followed the links and found out about trunk and https://pgt.dev/View on HN