HN Explorer

quamserena

↗ HN profile [ 78.9 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. My experience with Lean 4 for general programming (quamserena.com)
    6 points 0
  2. Referential Transparency (quamserena.com)
    1 points 0
  3. Sorry, AI code still sucks (quamserena.com)
    4 points 1
  4. Pain Points of OCaml (quamserena.com)
    58 points 30
  5. Ask HN: What editor for LaTeX notes do you use?

    I am looking for a text editor to take LaTeX notes in. What do you all use? Here are my requirements: 1. Document is some plain text format with inline LaTeX support, e.g. Markdown with LaTeX or Org mode. 2. Editor…

    3 points 6
  6. Using Derive_more for Errors in Rust (quamserena.com)
    2 points 0
  7. America's strategic posture (2023) [pdf] (ida.org)
    3 points 0