Post 9lLCQCOD7F2L8Kanmy by Xerbo@fosstodon.org
 (DIR) More posts by Xerbo@fosstodon.org
 (DIR) Post #9lLCQCOD7F2L8Kanmy by Xerbo@fosstodon.org
       2019-07-29T11:49:21Z
       
       0 likes, 0 repeats
       
       @feynman There's always something to hack. The website has to be hosted by some piece of software.
       
 (DIR) Post #9lLD9Q0PL25IOV1Nyq by wizzwizz4@fosstodon.org
       2019-07-29T11:55:30Z
       
       0 likes, 0 repeats
       
       @Xerbo @feynman That piece of software can be tiny enough to be formally proved secure, though.Hmm… What's the smallest possible web server?
       
 (DIR) Post #9lLDdlN8SivDLh7b3Q by wizzwizz4@fosstodon.org
       2019-07-29T12:03:00Z
       
       0 likes, 0 repeats
       
       @feynman @Xerbo I'm thinking a hardcoded list of files it can access, stored in a hash table.When it receives an incoming signal, it ensures the first four characters are "GET ", reads the next up-to-maximum-filename-length until whitespace (also hardcoded, generated by the compiler from the hash table's contents) and looks it up in the table.It then serves the relevant file, or a plain 404 page.The only input it takes is an incoming connection and a string-that-happens-to-address-data.
       
 (DIR) Post #9lLMSd2ZzupZuYGwLY by natharari@mastodon.social
       2019-07-29T13:41:50Z
       
       0 likes, 0 repeats
       
       @feynman Gotta love #hugo. 😃