Viewing profile — HymnOfCreation
HymnOfCreation
HN member- Joined
- Mon, Aug 07, 2023, 2:50 AM UTC
- HN karma
- 1
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About HymnOfCreation
No profile information was provided.
Recent public activity
-
comment
Comment #37101752
I feel this hard, but It is very hard to do low level programming via lisp. I really need an alternate for lisp for low level stuff. Sucks that you dont really have much options. T…
-
comment
Comment #37029529
Ada offers formal verification to remove checks, they can also be removed without formal verification but that is not a sane thing to do. Ada feels like it is more about writing th…