re: Let's talk about the new CoC for Linux
re: A.I is very biased and we should stop it
re: Python: Still in favor?
re: Testing logical equivalences (and more) using Z3 Theorem Prover
re: Any NoSQL true believers out there?
re: I have been banned from Lobste.rs, ask me anything.
re: Where is HTTPS for IoT? (Update)