Newest stories submitted by smaddox.

  1. 29
    Great Works in Computer Science compsci cs.virginia.edu
    smaddox avatar via smaddox 27 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  2. 7
    JIT compilation is coming to Unison: an early progress report compilers unison-lang.org
    smaddox avatar via smaddox 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 23
    Foundations of Dawn: The Untyped Multistack Concatenative Calculus plt dawn-lang.org
    smaddox avatar authored by smaddox 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  4. 13
    Using Rustlang's Async Tokio Runtime for CPU-Bound Tasks rust thenewstack.io
    smaddox avatar via smaddox 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  5. 29
    Magma: A dependently-typed language plt github.com
    smaddox avatar via smaddox 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  6. 28
    Foundations of Dawn: The Untyped Concatenative Calculus plt dawn-lang.org
    smaddox avatar authored by smaddox 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 28 comments
  7. 11
    Using lightweight formal methods to validate a key-value storage node in Amazon S3 formalmethods amazon.science
    smaddox avatar via smaddox 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  8. 80
    Introducing Dawn (Part 1) haskell release dawn-lang.org
    smaddox avatar authored by smaddox 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 44 comments
  9. 41
    Sort By Controversial ai satire slatestarcodex.com
    smaddox avatar via smaddox 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  10. -2
    Civic honesty around the globe science science.sciencemag.org
    smaddox avatar via smaddox 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 1
    The Shakespeare Programming Language (2001) programming satire shakespearelang.sourceforge.net
    smaddox avatar via smaddox 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 2
    Casey Muratori on whiteboard interviews (2015) ☶ video practices youtube.com
    smaddox avatar via smaddox 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments