1Ask HN: Python Weekly Newsletters?Hi there HN, do you recommend any Weekly python Newsletter?show more1rs866y ago2Save
3A very simple example of verification in Idris (opens in new tab)(gist.github.com)GitHub1rs867y ago0Save
4Lessons learned building a toy compiler (2017) (opens in new tab)(jaseemabid.github.io)1rs867y ago0Save
