Newest stories submitted by craigstuntz.

  1. 5
    Narratives and Lessons from The Early History of F# video compilers ml youtube.com
    craigstuntz avatar via craigstuntz 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 4
    Poems in an accidental language video compilers culture youtube.com
    craigstuntz avatar via craigstuntz 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 4
    The Journey of a .NET Object - from allocation to collection video dotnet youtube.com
    craigstuntz avatar via craigstuntz 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 4
    Functional Algorithm Design, Part 0 compsci haskell blog.sigplan.org
    craigstuntz avatar via craigstuntz 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 7
    Towards making formal methods normal: meeting developers where they are ☶ compsci formalmethods arxiv.org
    craigstuntz avatar via craigstuntz 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 12
    Efficient text editing on a PDP-10 compsci historical leahneukirchen.org
    craigstuntz avatar via craigstuntz 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 4
    Programming with a Read-Eval-Synth Loop ☶ pdf compilers cseweb.ucsd.edu
    craigstuntz avatar via craigstuntz 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 2
    Taking Back Our Privacy cryptography person privacy newyorker.com
    craigstuntz avatar via craigstuntz 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  9. 5
    Refinement Types: A Tutorial ☶ compilers compsci formalmethods arxiv.org
    craigstuntz avatar via craigstuntz 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 30
    Computer Scientists Attempt to Corner the Collatz Conjecture compsci math quantamagazine.org
    craigstuntz avatar via craigstuntz 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  11. 4
    Telling the Truth About Security security craigstuntz.com
    craigstuntz avatar authored by craigstuntz 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 44
    Equality Is Hard compilers compsci math craigstuntz.com
    craigstuntz avatar authored by craigstuntz 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 41 comments
  13. 3
    Optimizations in C++ Compilers - A practical journey compilers performance queue.acm.org
    craigstuntz avatar via craigstuntz 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 12
    What Type Soundness Theorem Do You Really Want to Prove? plt blog.sigplan.org
    craigstuntz avatar via craigstuntz 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  15. 12
    Gray Failure: The Achilles’ Heel of Cloud-Scale Systems pdf distributed scaling microsoft.com
    craigstuntz avatar via craigstuntz 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 3
    Panel: What's Next for Our Programming Languages? video compsci infoq.com
    craigstuntz avatar via craigstuntz 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 45
    10 things Idris improved over Haskell haskell deque.blog
    craigstuntz avatar via craigstuntz 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  18. 14
    Adventures in JIT compilation: Part 1 - an interpreter compilers eli.thegreenplace.net
    craigstuntz avatar via craigstuntz 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  19. 14
    Ode to the use-after-free: one vulnerable function, a thousand possibilities c++ security scarybeastsecurity.blogspot.com
    craigstuntz avatar via craigstuntz 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  20. 7
    PL for SE, Part 1: “Programming Languages” compilers compsci taliasplse.wordpress.com
    craigstuntz avatar via craigstuntz 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  21. 8
    Type Tailoring compilers lisp blog.racket-lang.org
    craigstuntz avatar via craigstuntz 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  22. 1
    Microsoft to acquire Intentional Software to expand future productivity capabilities programming blogs.microsoft.com
    craigstuntz avatar via craigstuntz 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  23. 5
    Ring-Road Bug: Leaking Sensitive Data in Security Protocols security ringroadbug.com
    craigstuntz avatar via craigstuntz 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 11
    On Recursion, Continuations and Trampolines compilers lisp python eli.thegreenplace.net
    craigstuntz avatar via craigstuntz 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 1
    Drawing a map of distributed data systems databases visualization oreilly.com
    craigstuntz avatar via craigstuntz 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>