Newest stories submitted by azhenley.

  1. 5
    RISC-V Is Getting MSIs osdev blog.stephenmarz.com
    azhenley avatar via azhenley 5 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 49
    Learning HTML was too hard so I made a compiler instead person austinhenley.com
    azhenley avatar authored by azhenley 6 days ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  3. 14
    Formally Proven Binary Format Parsers pdf formalmethods fstar-lang.org
    azhenley avatar via azhenley 20 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 11
    Formal Methods Only Solve Half My Problems formalmethods brooker.co.za
    azhenley avatar via azhenley 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  5. 1
    From making spam tools to making compilers and IDEs [audio] compilers person programming john-lam-podcast.simplecast.com
    azhenley avatar via azhenley 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 5
    Pointers, strings, and (im)mutability programming python dleybz.medium.com
    azhenley avatar via azhenley 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 1
    Just-in-time refactoring with IntelliCode auto suggested code ai programming devblogs.microsoft.com
    azhenley avatar via azhenley 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 0
    Stories from Microsoft’s DevDiv programming john-lam-podcast.simplecast.com
    azhenley avatar via azhenley 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 12
    A Functional Introduction To Computer Science compsci cs.uwaterloo.ca
    azhenley avatar via azhenley 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 7
    Software engineering in-the-large: the coordination challenge programming surfingcomplexity.blog
    azhenley avatar via azhenley 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 22
    Proving the Coding Interview formalmethods cs.utexas.edu
    azhenley avatar via azhenley 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  12. 17
    Making a RISC-V Operating System in Rust assembly rust osblog.stephenmarz.com
    azhenley avatar via azhenley 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  13. 19
    Hazel: A live functional programming environment featuring typed holes plt hazel.org
    azhenley avatar via azhenley 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 37
    The project with a single 11,000-line code file programming austinhenley.com
    azhenley avatar authored by azhenley 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 41 comments
  15. 10
    Wordle is NP-hard compsci arxiv.org
    azhenley avatar via azhenley 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 18
    The 2021 ACM Turing Award science amturing.acm.org
    azhenley avatar via azhenley 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  17. 13
    Hedy - A gradual programming language education plt hedycode.com
    azhenley avatar via azhenley 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  18. 1
    The story of Flash Fill video ai youtube.com
    azhenley avatar via azhenley 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 2
    A Conversational Paradigm for Program Synthesis ai arxiv.org
    azhenley avatar via azhenley 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 5
    How To Build an Evil Compiler compilers awelm.com
    azhenley avatar via azhenley 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  21. 19
    Paradox of the perfect code editor programming web.eecs.utk.edu
    azhenley avatar authored by azhenley 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments