1. 15
    12-minute Mandelbrot: fractals on a 50 year old IBM 1401 mainframe assembly hardware righto.com
    craigstuntz avatar via craigstuntz 3 years ago | cached | 3 comments
  2. 10
    Provable Optimization with Microsoft Z3 compsci blogs.teamb.com
    craigstuntz avatar via craigstuntz 3 years ago | cached | 2 comments
  3. 4
    The Right Stuff of Emptiness - How ∅ versus {ε} can be a life-and-death difference compsci math rjlipton.wordpress.com
    craigstuntz avatar via craigstuntz 3 years ago | cached | no comments
  4. 2
    Machine Learning Classification over Encrypted Data compsci math security blog.acolyer.org
    craigstuntz avatar via craigstuntz 3 years ago | cached | no comments
  5. 1
    Learning a single-variable polynomial, or the power of adaptive queries math jeremykun.com
    craigstuntz avatar via craigstuntz 3 years ago | cached | no comments
  6. 17
    Rhine, "a Clojure-inspired Lisp on LLVM" lisp github.com
    craigstuntz avatar via craigstuntz 3 years ago | cached | no comments
  7. 9
    What Is the Name of This Function? ask ml programming blogs.teamb.com
    craigstuntz avatar via craigstuntz 3 years ago | cached | 17 comments
  8. 3
    Exploring TLA+ with two-phase commit compsci databases brooker.co.za
    craigstuntz avatar via craigstuntz 3 years ago | cached | no comments
  9. 1
    When Greedy Algorithms are Perfect: the Matroid compsci math programming jeremykun.com
    craigstuntz avatar via craigstuntz 4 years ago | cached | no comments
  10. 8
    Why isn't verification standard practice? compsci practices cl.cam.ac.uk
    craigstuntz avatar via craigstuntz 4 years ago | cached | no comments
  11. 12
    "Test-Only Development" with the Z3 Theorem Prover compsci math blogs.teamb.com
    craigstuntz avatar via craigstuntz 4 years ago | cached | 3 comments
  12. 18
    The Implementation of Functional Programming Languages, by Simon Peyton Jones ☶ compsci haskell math research.microsoft.com
    craigstuntz avatar via craigstuntz 4 years ago | cached | 2 comments
  13. 7
    Attached by default? (Adding compile-time null safety to Eiffel) compsci programming bertrandmeyer.com
    craigstuntz avatar via craigstuntz 4 years ago | cached | 1 comment
  14. 12
    Wadler's Blog: Propositions as Types compsci math wadler.blogspot.com
    craigstuntz avatar via craigstuntz 4 years ago | cached | 3 comments
  15. 2
    IEEE, Springer withdraw more than 120 gibberish papers compsci math science nature.com
    craigstuntz avatar via craigstuntz 4 years ago | cached | 1 comment
  16. 1
    Hypertext Transfer Protocol version 2.0 (draft) networking web tools.ietf.org
    craigstuntz avatar via craigstuntz 5 years ago | cached | no comments
<< Page 3