quamserena's submissions

1.		My experience with Lean 4 for general programming (quamserena.com)
		6 points by quamserena 5 months ago \| past
2.		Referential Transparency (quamserena.com)
		1 point by quamserena 6 months ago \| past
3.		Sorry, AI code still sucks (quamserena.com)
		4 points by quamserena 6 months ago \| past \| 1 comment
4.		Pain Points of OCaml (quamserena.com)
		58 points by quamserena 6 months ago \| past \| 80 comments
5.		Ask HN: What editor for LaTeX notes do you use?
		3 points by quamserena 8 months ago \| past \| 6 comments
6.		Using Derive_more for Errors in Rust (quamserena.com)
		2 points by quamserena 9 months ago \| past
7.		America's strategic posture (2023) [pdf] (ida.org)
		3 points by quamserena 9 months ago \| past