Hacker News new | ask | show | jobs
by banana_feather 875 days ago
Urweb is extremely cool. My own attempt to use it for personal projects was shut down by how isolated the server component is; I think I was trying to read a json file on the server from within urweb and there just was not a way to do it without using the C FFI. Even BazQux reader had some workaround that just read in a stream of bytes which seemed to side step the security model entirely.
1 comments

Adam Chlipala is behind this and his formal methods books are outstanding.

In particular, FRAP is really great: http://adam.chlipala.net/frap