HN Explorer

azhenley

↗ HN profile [ 79.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. 1 points 0
  2. Universal Paperclips (decisionproblem.com)
    2 points 0
  3. The piano test for program verification (2011) (blog.regehr.org)
    1 points 0
  4. We probably cannot automate the software engineer away (thelastsoftwareengineer.substack.com)
    2 points 2
  5. Flow Typing, a New Lens on Linearity (jaredforsyth.com)
    2 points 0
  6. Anthropic and the Changing Nature of Work (surfingcomplexity.blog)
    1 points 0
  7. Microsoft and CMU Team Up to Train Early Career Software Engineers (cs.cmu.edu)
    1 points 78
  8. Copy-Paste Language Models (arxiv.org)
    1 points 0
  9. The future of AI software is here – it's just not evenly distributed (thelastsoftwareengineer.substack.com)
    1 points 0
  10. What will the next generation of developers do when AI writes the code? (commandline.microsoft.com)
    1 points 0
  11. Building Git infrastructure for agent-scale development (github.blog)
    1 points 0
  12. Liquid types for the Shplait programming language (github.com)
    2 points 0
  13. Should a software factory be lights-off? (arxiv.org)
    1 points 0
  14. Deep dive into Azure Maia 300 architecture (azure.microsoft.com)
    2 points 4
  15. The things I wanted to make (christophermeiklejohn.com)
    3 points 1
  16. Revisiting Soundness for Occurrence Typing, Semantically (arxiv.org)
    1 points 0
  17. Improving Agents by Bootstrapping Experientially-Learned Environmental Knowledge (arxiv.org)
    1 points 0
  18. ReviewBench: An open benchmark for AI code review (github.blog)
    1 points 0
  19. PL research is dead, the age of PL exploration is just beginning (kirancodes.me)
    2 points 0
  20. Compiling dynamic programming languages (2018) (notes.eatonphil.com)
    1 points 0
  21. Stable Matching Problem (en.wikipedia.org)
    1 points 0
  22. Why I started (and stopped) making games (2003) (austinhenley.com)
    1 points 0
  23. Newgrounds.com – A community of games, music, and art (newgrounds.com)
    2 points 127
  24. There was a light that never went out (surfingcomplexity.blog)
    1 points 0
  25. The things I wanted to make (christophermeiklejohn.com)
    2 points 0