HN Explorer

ahelwer

↗ HN profile [ 79.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. TLA⁺ is more than a DSL for breadth-first search (ahelwer.ca)
    9 points 2
  2. TLA⁺ Unicode support: Learning to work with others in open source (ahelwer.ca)
    3 points 0
  3. Wrangling Monotonic Systems in TLA+ (ahelwer.ca)
    67 points 7
  4. FOSS I Love: Local game streaming with Sunshine and Moonlight (ahelwer.ca)
    7 points 1
  5. Nintendo hacker Gary Bowser will be in debt to the company for rest of his life (eurogamer.net)
    7 points 2
  6. Inlining SVGs for Dark Mode (ahelwer.ca)
    51 points 16
  7. Using TLA+ at Work: Designing a Snapshot Coordination System (ahelwer.ca)
    11 points 0
  8. Pseudocode Showdown: Python vs. PlusCal and TLA+ (ahelwer.ca)
    5 points 0
  9. Google Groups has been left to die (ahelwer.ca)
    507 points 306
  10. How Big Tech rewrote the nation’s first cell phone repair law (grist.org)
    2 points 0
  11. Can sanitizers find the two bugs I wrote in C++? (ahelwer.ca)
    4 points 0
  12. Two C++ bugs I found (ahelwer.ca)
    3 points 2
  13. Writing a TLA⁺ tree-sitter grammar: my foray into free software (ahelwer.ca)
    131 points 4
  14. What's the difference between a computer and a rock? (ahelwer.ca)
    1 points 0
  15. Formal Methods at Microsoft – Nikolaj Bjørner (youtube.com)
    2 points 0
  16. The Missing Prelude to the Little Typer's Trickiest Chapter (ahelwer.ca)
    2 points 0
  17. Microsoft Quantum team reports observation of a 30 μEV topological gap (microsoft.com)
    3 points 0
  18. 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
  19. Multi-Paxos in Python, Tested with Jepsen (emptysqua.re)
    3 points 0
  20. Russian Stove (en.wikipedia.org)
    3 points 1
  21. Biden splitting frozen funds for Afghan relief, 9/11 victims (apnews.com)
    1 points 0
  22. What’s Next for Psychology’s Embattled Field of Social Priming (2019) (nature.com)
    1 points 0
  23. Tell HN: Twitter is growing increasingly unusable without an account

    Occasionally a link to a tweet will be submitted here as a story by itself. Unfortunately twitter is going the direction of quora, pinterest, facebook, and medium by making the site nearly unusable without an account.…

    313 points 248
  24. Regexes in the Z3 Theorem Prover: Analyzing Teleport RBAC (ahelwer.ca)
    2 points 0
  25. A Man Who Ended History: A Documentary [pdf] (kenliu.name)
    2 points 0