susam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 3 months agoProgramming Z3plus-squarez3prover.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkProgramming Z3plus-squarez3prover.github.iosusam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 3 months agomessage-square0fedilink
susam@lemmy.mlM to Susam@lemmy.mlEnglish · 3 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.edususam@lemmy.mlM to Susam@lemmy.mlEnglish · 3 months agomessage-square0fedilink
susam@lemmy.mlM to Susam@lemmy.mlEnglish · 4 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.edususam@lemmy.mlM to Susam@lemmy.mlEnglish · 4 months agomessage-square0fedilink
susam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 4 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.orgsusam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 4 months agomessage-square0fedilink
susam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 4 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.orgsusam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 4 months agomessage-square1fedilink
susam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 5 months agoCalculus for Beginners and Artistsplus-squaremath.mit.eduexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkCalculus for Beginners and Artistsplus-squaremath.mit.edususam@lemmy.mlM to Bitwise@lemmy.mlEnglish · 5 months agomessage-square0fedilink
susam@lemmy.mlM to Susam@lemmy.mlEnglish · 5 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.uksusam@lemmy.mlM to Susam@lemmy.mlEnglish · 5 months agomessage-square0fedilink
