HN Explorer

fanf2

↗ HN profile [ 507 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Compile-time dependent types in the Syl programming language (thenumb.at)
    1 points 0
  2. Precedence levels are dead; long live precedence sets (corsix.org)
    2 points 0
  3. A bit provenance abstract domain for the Toy optimizer (pypy.org)
    1 points 0
  4. Methane Hotspot Explorer (atmosphere.copernicus.eu)
    3 points 0
  5. How integers should work (in systems programming languages) (blog.regehr.org)
    1 points 1
  6. Worried by Wordexp(3) (cipht.net)
    1 points 1
  7. Analyzing Rust Programs with Charon (lwn.net)
    1 points 0
  8. Safe self-referential data structures in Linux kernel Rust (lwn.net)
    3 points 0
  9. Record Types Everywhere (arxiv.org)
    1 points 0
  10. Google Chrome is breaking the web forward (quirksmode.org)
    3 points 2
  11. Papers we love: flow typing, a new lens on linearity (jaredforsyth.com)
    2 points 0
  12. Removing a type assertion with Object.assign in TypeScript (ataias.com.br)
    1 points 0
  13. One Hash Bloom Filters (calabro.io)
    1 points 0
  14. Black-box HashDoS: attacking hash tables without knowing the hash function (orlp.net)
    4 points 0
  15. Bidirectional Type Slicing (arxiv.org)
    1 points 0
  16. Making a language with row types and bidirectional typing, targeting WASM (thunderseethe.dev)
    2 points 0
  17. Chasing a -O2 Pessimization in Antcc (386s.org)
    1 points 0
  18. Reconstructing a TypeScript bidirectional type checker (jaked.org)
    1 points 1
  19. Noperts: Reproducible proofs of non-Rupert polyhedra (github.com)
    1 points 0
  20. The Wild West of polyglot docs sites (technicalwriting.dev)
    1 points 0
  21. A (Reasonably) Opinionated Comparison of Isabelle/HOL, Lean, HOL4, and Agda (blueberrywren.dev)
    1 points 0
  22. Division by zero in common meadows (nicer fields) (arxiv.org)
    1 points 1
  23. Reachability and error diagnosis in LR(1) parsers [pdf] (gallium.inria.fr)
    1 points 0
  24. Jasmin: A language for high-assurance and high-speed cryptography (github.com)
    1 points 0
  25. The performance cost of RwLock vs. Crossbeam epoch in our read-heavy workload (pranitha.dev)
    1 points 0