susam@lemmy.mlMEnglish · 3 months agoProgramming Z3plus-squarez3prover.github.ioexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkProgramming Z3plus-squarez3prover.github.iosusam@lemmy.mlMEnglish · 3 months agomessage-square0fedilink
susam@lemmy.mlMEnglish · 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.mlMEnglish · 4 months agomessage-square0fedilink
susam@lemmy.mlMEnglish · 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.mlMEnglish · 4 months agomessage-square1fedilink
susam@lemmy.mlMEnglish · 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.mlMEnglish · 5 months agomessage-square0fedilink