Viewing profile — lertn
lertn
HN member- Joined
- Fri, Oct 18, 2024, 9:50 AM UTC
- HN karma
- 3
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About lertn
No profile information was provided.
Recent public activity
-
comment
Comment #41877865
With C you can take proven algorithms from CLRS and translate them directly without boilerplate. The same algorithms already become ugly/obfuscated in idiomatic C++. Looking at the…
-
comment
Comment #41877802
This got me intrigued. Is there a soundness proof for the Rust type system? The only language with such a proof that I am aware of is StandardML. Even OCaml is too complex for a so…