/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

 gist.github.com
cecil_mangle.cs · GitHub
| | crpt.fyi
Call For Proposal · francep2p/community Wiki · GitHub
3.0 parsecs away

Travel
| | Issues for organizations and discussions, repo for debriefs and resources - Call For Proposal · francep2p/community Wiki
| | github.com
GitHub - mfenniak/rethinkdb-net: A C# / .NET client driver for RethinkDB.
2.2 parsecs away

Travel
| | A C# / .NET client driver for RethinkDB. Contribute to mfenniak/rethinkdb-net development by creating an account on GitHub.
| | jaylittle.com
Ethical Quandary: Is it ever responsible to irresponsibly disclose? | Jay Little
1.7 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 .
| | github.com
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. · GitHub
3.7 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.