susamM to BitwiseEnglish · 2 months agoProgramming Z3plus-squarez3prover.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkProgramming Z3plus-squarez3prover.github.iosusamM to BitwiseEnglish · 2 months agomessage-square0fedilink
susamM to SusamEnglish · 2 months agoProgramming in Standard ML (Harper, 2011) [PDF]www.cs.cmu.eduexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkProgramming in Standard ML (Harper, 2011) [PDF]www.cs.cmu.edususamM to SusamEnglish · 2 months agomessage-square0fedilink
susamM to SusamEnglish · 3 months agoStructure and Interpretation of Computer Programs, 2nd ed. [PDF]web.mit.eduexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkStructure and Interpretation of Computer Programs, 2nd ed. [PDF]web.mit.edususamM to SusamEnglish · 3 months agomessage-square0fedilink
susamM to BitwiseEnglish · 3 months agoKeeping CALM: When Distributed Consistency is Easy (Hellerstein and Alvaro, 2019)arxiv.orgexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkKeeping CALM: When Distributed Consistency is Easy (Hellerstein and Alvaro, 2019)arxiv.orgsusamM to BitwiseEnglish · 3 months agomessage-square0fedilink
susamM to BitwiseEnglish · 3 months agoPEG-based transformer provides front-, middle- and back-end stages in a simple compiler (Piumarta, 2010)web.archive.orgexternal-linkmessage-square1fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkPEG-based transformer provides front-, middle- and back-end stages in a simple compiler (Piumarta, 2010)web.archive.orgsusamM to BitwiseEnglish · 3 months agomessage-square1fedilink
susamM to BitwiseEnglish · 4 months agoCalculus for Beginners and Artistsplus-squaremath.mit.eduexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkCalculus for Beginners and Artistsplus-squaremath.mit.edususamM to BitwiseEnglish · 4 months agomessage-square0fedilink
susamM to SusamEnglish · 4 months agoGalois Theory (Tom Leinster, University of Edinburgh)www.maths.ed.ac.ukexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkGalois Theory (Tom Leinster, University of Edinburgh)www.maths.ed.ac.uksusamM to SusamEnglish · 4 months agomessage-square0fedilink
