Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Shower idea

Name: Anonymous 2018-08-13 11:51

Implement a web browser using a language that supports dependant types in order to prove its correctness and that no vulnerabilities exist for it.

Name: Anonymous 2018-08-13 12:26

>>4
absolute security is impossible
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -