HN Explorer

smasher164

↗ HN profile [ 80.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Flint: Fast Library for Number Theory (flintlib.org)
    11 points 0
  2. Type Inference (Part 1) (blog.akhil.cc)
    2 points 0
  3. Portsh: A batch/shell polyglot that implements a Lisp (github.com)
    31 points 0
  4. Moby: Block io_uring_* syscalls in default profile (github.com)
    1 points 0
  5. vmcache: Virtual-Memory Assisted Buffer Management [pdf] (cs.cit.tum.de)
    38 points 5
  6. WASM typed function references and GC are in standardization (github.com)
    3 points 0
  7. The AST Typing Problem (blog.ezyang.com)
    74 points 32
  8. Libui-ng: a portable GUI library for C (fork of libui) (github.com)
    2 points 0
  9. 1 points 0
  10. CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf] (cl.cam.ac.uk)
    2 points 0
  11. How to peacefully grow your service (rakyll.medium.com)
    1 points 0
  12. The Keyword Generics Initiative (blog.rust-lang.org)
    5 points 0
  13. Spack – A flexible package manager that supports multiple versions (spack.readthedocs.io)
    4 points 1
  14. Here We Go Again: Why Is It Difficult for Developers to Learn Another Language? (conf.researchr.org)
    2 points 3
  15. Are We Sixel Yet? (arewesixelyet.com)
    23 points 7
  16. Project Everest: Provably Secure Communication Software (project-everest.github.io)
    3 points 0
  17. Better-Engineered Font Formats, Part 1: Boring Expansion (github.com)
    12 points 0
  18. Shrinkwrap: Taming Dynamic Shared Objects (fzakaria.com)
    20 points 3
  19. Better-Engineered Font Formats, Part 1: Boring Expansion (github.com)
    3 points 0
  20. Go’s Version Control History (research.swtch.com)
    179 points 39
  21. Calcium: Exact real and complex numbers in C (fredrikj.net)
    4 points 0
  22. Fuse-Archive – Serve an archive or compressed file as a FUSE file system (github.com)
    2 points 0
  23. On “Trojan Source” Attacks (research.swtch.com)
    75 points 11
  24. Expectations for generics in Go 1.18 (groups.google.com)
    263 points 208
  25. Installing the Shelly Dimmer 2 (Integrated with Home Assistant and Tailscale) (blog.akhil.cc)
    1 points 0