HN Explorer

quamserena

↗ HN profile [ 77.6 ms ] full profile

No user record in our sample, but quamserena has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.

  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 2
  6. Using Derive_more for Errors in Rust (quamserena.com)
    2 points 0