An invariant from category theory solves a problem in mathematical ecology [pdf]maths.ed.ac.uk·124 pts·_pyqs·30
Make formal verification and provably correct software practical and mainstreamgithub.com·204 pts·_pyqs·191
Show HN: TalkStuff.Online – If Hacker News used video calls instead of commentstalkstuff.online·2 pts·_pyqs·0