Andrew Lucker - DEV Profile

joined

Feb 1, 2017

Recent Comments

re: Let's talk about the new CoC for Linux Sep 21

Perpendicularly related question: do you use L*x in your st...

re: A.I is very biased and we should stop it Sep 19

Math is not social science, but maybe useful nonetheless: ...

re: Python: Still in favor? Sep 17

I used to use Python/C/OCaml which all didn't necessarily p...

re: Testing logical equivalences (and more) using Z3 Theorem Prover Sep 16

"statements express propositions" seems to be the consensus...

re: Any NoSQL true believers out there? Sep 12

MongoDB is an all-around terrible choice for NoSQL. Also th...

re: I have been banned from Lobste.rs, ask me anything. Sep 12

re: Where is HTTPS for IoT? (Update) Sep 11

Countries have a bunch of satellites that transmit data une...

loading...