Viewing profile — quazar

https://archive.ph/v5qeA

Why is this not on the front page? Are people flagging this? Why?

Formal specification of LLVM and compile semantics to Z3, I would guess.

The idea that we should, to some extent, organize society around neurotics to the detriment of young boys is disturbing.

https://archive.is/kgaxs

This is not Reddit.

magnet link?

https://github.com/belamenso/v This cleans up Nim's syntax a little, we use it in production with not much maintenance.

[flagged]

time correlation between the isp and the authentication system

Why? These are two very common commands known by every programmer and used very often, why would having short mnemonics for them be confusing?

It's much less than I expected.

Do these people have really have nothing better to do than doing "high-tech investigations" of such matters?

This site is completely broken without JavaScript.

They are famous for the required specific printed document style which includes wide margins. When you argue before them you have to physically print everything you mention in full…

They already made peace: https://nitter.lacontrevoie.fr/RWApodcast/status/16726544795...

This was not a total ban, but might be a beginning of one. Not all apps were included.