HN Explorer

pron

↗ HN profile [ 148 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. SIMD Vectors in the HotSpot JVM – Auto Vectorization and the Vector API (youtube.com)
    1 points 0
  2. How the JVM Optimizes Generic Code – A Deep Dive [video] (youtube.com)
    4 points 0
  3. Paul Krugman: Talking with Gabriel Zucman (youtube.com)
    3 points 0
  4. Towards Language Model Guided TLA+ Proof Automation (arxiv.org)
    4 points 0
  5. Keynote: Industry GC Insights from OpenJDK (youtube.com)
    1 points 0
  6. Two AIs Compete at Variant Sudoku [video] (youtube.com)
    1 points 0
  7. Postcards from the Peak of Complexity by Brian Goetz (youtube.com)
    3 points 0
  8. Project Babylon – Code Reflection in Java (youtube.com)
    1 points 0
  9. The Rich Are Crazier Than You and Me (nytimes.com)
    4 points 0
  10. Blood and the Machine: The Return of Reactionary Modernism (johnganz.substack.com)
    1 points 0
  11. The End of Silicon Valley? (johnganz.substack.com)
    2 points 0
  12. 1 points 0
  13. Sleeping Soundly with the Help of TLA+ (blogs.oracle.com)
    1 points 0
  14. Selectively Shifting and Constraining Computation in Java (openjdk.org)
    4 points 0
  15. Distributed systems showdown – TLA+ vs. real code (youtube.com)
    1 points 0
  16. TLA+: Viewed from 40k Feet and Ground Level (youtube.com)
    6 points 0
  17. The Business Costs of Technical Debt [pdf] (codescene.com)
    3 points 0
  18. The First Zig Website Redesign (kristoff.it)
    3 points 0
  19. The Argument Against Quantum Computers – A Very Short Introduction (gilkalai.wordpress.com)
    7 points 0
  20. A Formal Model of Cache Speculation Side-Channels (youtube.com)
    3 points 0
  21. A Formal Model of Cache Speculation Side-Channels (youtu.be)
    3 points 0
  22. Zig Live Coding: Self-Hosted Incremental Compilation Debug Info (youtu.be)
    2 points 0
  23. A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queue (github.com)
    213 points 6
  24. TLA+ for Startups (Part 2) (medium.com)
    5 points 0
  25. TLA+ for Startups (Part 1) (medium.com)
    2 points 0