|
You are here |
wsummerhill.github.io | ||
| | | | |
thevivi.net
|
|
| | | | | Using code editor plugins for persistence. | |
| | | | |
jaylittle.com
|
|
| | | | | Today's post is going to examine an ethical grey area that I currently find to be very relevant. Is it ever okay to ignore responsible disclosure standards for security related issues? Spoiler alert: I'm going to argue that there are cases in which ignoring these standards is not only permissible but the only real ethical course of action. Okay so lets start with some sample code. The below code represents a simple . | |
| | | | |
gist.github.com
|
|
| | | | | GitHub Gist: instantly share code, notes, and snippets. | |
| | | | |
github.com
|
|
| | | The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. | ||