/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

wsummerhill.github.io
| | thevivi.net
3.0 parsecs away

Travel
| | Using code editor plugins for persistence.
| | jaylittle.com
2.9 parsecs away

Travel
| | 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
3.2 parsecs away

Travel
| | GitHub Gist: instantly share code, notes, and snippets.
| | github.com
6.9 parsecs away

Travel
| 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.