susamM to BitwiseEnglish · 3 个月前The Evolution of Lua by Ierusalimschy, Figueiredo, and Celes (2007)www.lua.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe Evolution of Lua by Ierusalimschy, Figueiredo, and Celes (2007)www.lua.orgsusamM to BitwiseEnglish · 3 个月前message-square0linkfedilink
susamM to SusamEnglish · 4 个月前A Tutorial Introduction to the Lambda Calculus (Rojas, 2015) [PDF]arxiv.orgexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkA Tutorial Introduction to the Lambda Calculus (Rojas, 2015) [PDF]arxiv.orgsusamM to SusamEnglish · 4 个月前message-square0linkfedilink
susamM to BitwiseEnglish · 9 个月前Programming Z3plus-squarez3prover.github.ioexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkProgramming Z3plus-squarez3prover.github.iosusamM to BitwiseEnglish · 9 个月前message-square0linkfedilink
susamM to SusamEnglish · 9 个月前Programming in Standard ML (Harper, 2011) [PDF]www.cs.cmu.eduexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkProgramming in Standard ML (Harper, 2011) [PDF]www.cs.cmu.edususamM to SusamEnglish · 9 个月前message-square0linkfedilink
susamM to SusamEnglish · 10 个月前Structure and Interpretation of Computer Programs, 2nd ed. [PDF]web.mit.eduexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkStructure and Interpretation of Computer Programs, 2nd ed. [PDF]web.mit.edususamM to SusamEnglish · 10 个月前message-square0linkfedilink
susamM to BitwiseEnglish · 10 个月前Keeping CALM: When Distributed Consistency is Easy (Hellerstein and Alvaro, 2019)arxiv.orgexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkKeeping CALM: When Distributed Consistency is Easy (Hellerstein and Alvaro, 2019)arxiv.orgsusamM to BitwiseEnglish · 10 个月前message-square0linkfedilink
susamM to BitwiseEnglish · 10 个月前PEG-based transformer provides front-, middle- and back-end stages in a simple compiler (Piumarta, 2010)web.archive.orgexternal-linkmessage-square1linkfedilinkarrow-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 · 10 个月前message-square1linkfedilink
susamM to BitwiseEnglish · 11 个月前Calculus for Beginners and Artistsplus-squaremath.mit.eduexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkCalculus for Beginners and Artistsplus-squaremath.mit.edususamM to BitwiseEnglish · 11 个月前message-square0linkfedilink
susamM to SusamEnglish · 11 个月前Galois Theory (Tom Leinster, University of Edinburgh)www.maths.ed.ac.ukexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkGalois Theory (Tom Leinster, University of Edinburgh)www.maths.ed.ac.uksusamM to SusamEnglish · 11 个月前message-square0linkfedilink
