HN Explorer

sn9

↗ HN profile [ 60.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Introduction to Pragmatic Formal Modeling (elliotswart.github.io)
    1 points 0
  2. How to Use AI for the Ancient Art of Close Reading (fast.ai)
    1 points 0
  3. Ask HN: Why is Gmail so incompetent at basic search?

    I'm South Asian and my personal email reflects that, so I get spam from India despite never having lived there. I tried searching for one specific character to mass delete spam, "₹" (quoted in the literal query), and…

    60 points 29
  4. Mining Function Specifications (for dynamic invariants) (fuzzingbook.org)
    1 points 1
  5. Review: Cræft, by Alexander Langlands (thepsmiths.com)
    1 points 0
  6. The case for sans-io (fasterthanlime) [video] [24min] (youtube.com)
    1 points 0
  7. Rust's trait system is a proof engine, let's make it prove us an ABI [35min] [video] (youtube.com)
    4 points 0
  8. A Peer-Reviewed Portrait of Suffering: The Engineers' Daughter (theatlantic.com)
    1 points 0
  9. American Mathematical Society: Open Math Notes (ams.org)
    4 points 0