1

My experience with Lean 4 for general programming (quamserena.com)

8 months ago quamserena quamserena.com

1

Referential Transparency (quamserena.com)

9 months ago quamserena quamserena.com

5

Sorry, AI code still sucks (quamserena.com)

9 months ago quamserena quamserena.com

32

Pain Points of OCaml (quamserena.com)

9 months ago quamserena quamserena.com

4

Ask HN: What editor for LaTeX notes do you use?

11 months ago quamserena ycombinator.com

1

Using Derive_more for Errors in Rust (quamserena.com)

12 months ago quamserena quamserena.com

2

America's strategic posture (2023) [pdf] (ida.org)

a year ago quamserena ida.org