Hacker News
Lobsters
- Lambda Capabilities https://roscidus.com/blog/blog/2023/04/26/lambda-capabilities/ 3 comments compsci , plt , security
- Lambda Capabilities https://roscidus.com/blog/blog/2023/04/26/lambda-capabilities/ 10 comments programminglanguages
Linking pages
Linked pages
- unveil(2) - OpenBSD manual pages https://man.openbsd.org/unveil 71 comments
- Habitat Chronicles: What Are Capabilities? http://habitatchronicles.com/2017/05/what-are-capabilities/ 70 comments
- GitHub - ocaml-multicore/eio: Effects-based direct-style IO for multicore OCaml https://github.com/ocaml-multicore/eio 7 comments
- http://srl.cs.jhu.edu/pubs/SRL2003-02.pdf 4 comments
- http://www.hpl.hp.com/techreports/2006/hpl-2006-116.html 1 comment
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:roscidus.com
Search title: Lambda Capabilities - Thomas Leonard's blog
See how to search.