Posts tagged with “computer-science”
2021-08-12 — Transcript of Beer’s Research Into a Cybernetic Analogue of Fabric
2019-02-15 — Phatic Interactions
2019-02-11 — Amateur and Professional Software
2018-06-12 — Just a Reminder That arandr Exists
2017-07-28 — Recommended Reading from the DeepSpec Summer School
2017-07-26 — Lifting Lambdas into Supercombinators
2017-07-18 — Transcript of Nall’s Continuations
2017-03-07 — Byzantine Testing
2017-02-17 — Verified, Validated, or Certified?
2017-02-04 — Verifying Distributed Systems with Verdi
2017-01-07 — Why Formal Semantics?
2016-07-15 — Zeller’s Congruence
2016-06-15 — Casual Static Analysis
2016-06-02 — Skills to Retire On
2016-05-21 — Folk Models of Home Computer Security
2016-05-20 — Compilation as Search
2016-05-19 — When is Literate Programming Appropriate?
2016-03-13 — Going to OPLSS 2016!
2015-12-22 — A Tool for Finding Primers
2015-12-10 — Just a Reminder That rlwrap Exists
2015-11-04 — Burritos for the Hungry Mathematician
2015-08-18 — Building an Object System from Closures
2015-07-26 — Thinking about Concurrency
2015-02-13 — The Littlest Macro
2015-02-13 — The Classical Code Reading Group of New York
2015-02-08 — Composable and Compilable Macros
2014-07-03 — Reading the CS Canon
2013-09-27 — Growing a Language
2013-02-02 — Computing with Crabs
2011-01-06 — Memoization using Closures
2010-02-16 — Artificial Flight and Other Myths
2009-12-24 — An Obfuscated Christmas