Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
HymnOfCreation
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
HymnOfCreation
3y ago
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. There is forth, but its not standardized like common lisp.
2.
▲
by
HymnOfCreation
3y ago
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 the correct intent of programmers and caring more about inten