quazar
Joined 9 years ago
Karma
961
Submissions
165
Member since
Jul 21
Recent submissions
Comment · 1 year ago
https://archive.ph/v5qeA
Comment · 2 years ago
Why is this not on the front page? Are people flagging this? Why?
Comment · 2 years ago
Formal specification of LLVM and compile semantics to Z3, I would guess.
Comment · 2 years ago
The idea that we should, to some extent, organize society around neurotics to the detriment of young boys is disturbing.
Comment · 2 years ago
Comment · 3 years ago
This is not Reddit.
Comment · 3 years ago
magnet link?
Comment · 3 years ago
https://github.com/belamenso/v
This cleans up Nim's syntax a little, we use it in production with not much maintenance.
Comment · 3 years ago
time correlation between the isp and the authentication system
Comment · 3 years ago
Why? These are two very common commands known by every programmer and used very often, why would having short mnemonics for them be confusing?