HN Explorer

ahelwer

↗ HN profile [ 95.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Can we have reachability properties in TLA⁺? (ahelwer.ca)
    1 points 0
  2. Book Review: Is Parallel Programming Hard, and, If So, What Can You Do About It? (ahelwer.ca)
    1 points 70
  3. The changing role of finite-state model checking (ahelwer.ca)
    2 points 0
  4. TLA⁺ is more than a DSL for breadth-first search (ahelwer.ca)
    9 points 2
  5. TLA⁺ Unicode support: Learning to work with others in open source (ahelwer.ca)
    3 points 0
  6. Wrangling Monotonic Systems in TLA+ (ahelwer.ca)
    67 points 7
  7. FOSS I Love: Local game streaming with Sunshine and Moonlight (ahelwer.ca)
    7 points 1
  8. Nintendo hacker Gary Bowser will be in debt to the company for rest of his life (eurogamer.net)
    7 points 1
  9. Inlining SVGs for Dark Mode (ahelwer.ca)
    51 points 16
  10. Using TLA+ at Work: Designing a Snapshot Coordination System (ahelwer.ca)
    11 points 0
  11. Pseudocode Showdown: Python vs. PlusCal and TLA+ (ahelwer.ca)
    5 points 0
  12. Google Groups has been left to die (ahelwer.ca)
    507 points 294
  13. How Big Tech rewrote the nation’s first cell phone repair law (grist.org)
    2 points 0
  14. Can sanitizers find the two bugs I wrote in C++? (ahelwer.ca)
    4 points 0
  15. Two C++ bugs I found (ahelwer.ca)
    3 points 2
  16. Writing a TLA⁺ tree-sitter grammar: my foray into free software (ahelwer.ca)
    131 points 3
  17. What's the difference between a computer and a rock? (ahelwer.ca)
    1 points 0
  18. Formal Methods at Microsoft – Nikolaj Bjørner (youtube.com)
    2 points 0
  19. The Missing Prelude to the Little Typer's Trickiest Chapter (ahelwer.ca)
    2 points 0
  20. Microsoft Quantum team reports observation of a 30 μEV topological gap (microsoft.com)
    3 points 0
  21. Ask HN: Why have chorded keyboards not become popular among software engineers?

    Software engineers as a group tend to spend many hours per day at a computer, and much of that time involves typing. Software engineers also seem to enjoy discussing (and buying) exotic & expensive keyboards with split…

    17 points 11
  22. Multi-Paxos in Python, Tested with Jepsen (emptysqua.re)
    3 points 0
  23. Russian Stove (en.wikipedia.org)
    3 points 1
  24. Biden splitting frozen funds for Afghan relief, 9/11 victims (apnews.com)
    1 points 0
  25. What’s Next for Psychology’s Embattled Field of Social Priming (2019) (nature.com)
    1 points 0