Hacker News
- Lambda Capabilities https://roscidus.com/blog/blog/2023/04/26/lambda-capabilities/ 10 comments
- Isolating Xwayland in a VM https://roscidus.com/blog/blog/2021/10/30/xwayland/ 51 comments
- Qubes-Lite with KVM and Wayland https://roscidus.com/blog/blog/2021/03/07/qubes-lite-with-kvm-and-wayland/ 48 comments
- A unikernel firewall for QubesOS (2016) http://roscidus.com/blog/blog/2016/01/01/a-unikernel-firewall-for-qubesos/ 5 comments
- Using TLA+ to Understand Xen Vchan http://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-understand-xen-vchan/ 12 comments
- Python to OCaml: Retrospective http://roscidus.com/blog/blog/2014/06/06/python-to-ocaml-retrospective/ 55 comments
- A Unikernel Firewall for QubesOS http://roscidus.com/blog/blog/2016/01/01/a-unikernel-firewall-for-qubesos/ 10 comments
- Securing the Unikernel http://roscidus.com/blog/blog/2015/01/21/securing-the-unikernel/ 11 comments
- Simplifying 0install's solver with OCaml's functors http://roscidus.com/blog/blog/2014/09/17/simplifying-the-solver-with-functors/ 9 comments
- My First Unikernel http://roscidus.com/blog/blog/2014/07/28/my-first-unikernel%2F 51 comments
- OCaml: The Bugs So Far http://roscidus.com/blog/blog/2014/01/07/ocaml-the-bugs-so-far/ 15 comments
- Python to OCaml: Retrospective http://roscidus.com/blog/blog/2014/06/06/python-to-ocaml-retrospective/ 71 comments
- Replacing Python: candidates. ATS, C#, Go, Haskell, OCaml & Rust http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install 9 comments
Lobsters
- Lambda Capabilities https://roscidus.com/blog/blog/2023/04/26/lambda-capabilities/ 3 comments compsci , plt , security
- CI/CD pipelines: Monad, Arrow or Dart? https://roscidus.com/blog/blog/2019/11/14/cicd-pipelines/ 3 comments devops , ml , plt
- Using TLA+ to understand Xen vchan http://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-understand-xen-vchan/ 4 comments formalmethods , virtualization
- A Unikernel Firewall for QubesOS http://roscidus.com/blog/blog/2016/01/01/a-unikernel-firewall-for-qubesos/ 3 comments security
- My first unikernel (OpenMirage) http://roscidus.com/blog/blog/2014/07/28/my-first-unikernel/ 2 comments distributed , ml , programming , security , virtualization
- OCaml: what you gain http://roscidus.com/blog/blog/2014/02/13/ocaml-what-you-gain/ 2 comments programming
- Lambda Capabilities https://roscidus.com/blog/blog/2023/04/26/lambda-capabilities/ 10 comments programminglanguages
- CI/CD pipelines: Monad, Arrow or Dart? https://roscidus.com/blog/blog/2019/11/14/cicd-pipelines/ 5 comments ocaml
- Detect closed/invalid/… stdout? http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install/ 11 comments rust
- Replacing Python: candidates (2013, with interesting discussion on error handling in the comments) http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install/ 33 comments programming
- A Unikernel Firewall for QubesOS http://roscidus.com/blog/blog/2016/01/01/a-unikernel-firewall-for-qubesos/ 15 comments sysadmin
- A Unikernel Firewall for QubesOS http://roscidus.com/blog/blog/2016/01/01/a-unikernel-firewall-for-qubesos/ 3 comments programming
- A Unikernel Firewall for QubesOS http://roscidus.com/blog/blog/2016/01/01/a-unikernel-firewall-for-qubesos/ 5 comments linux
- CueKeeper internals: Experiences with Irmin, React, TyXML and IndexedDB http://roscidus.com/blog/blog/2015/06/22/cuekeeper-internals-irmin/ 7 comments ocaml
- Simplifying 0install's solver with OCaml's functors http://roscidus.com/blog/blog/2014/09/17/simplifying-the-solver-with-functors/ 10 comments programming
- My First Unikernel - Created in OCaml and Mirage http://roscidus.com/blog/blog/2014/07/28/my-first-unikernel/ 11 comments programming
- A retrospective on 0install's Python to OCaml port http://roscidus.com/blog/blog/2014/06/06/python-to-ocaml-retrospective/ 3 comments ocaml
- Python to OCaml: retrospective http://roscidus.com/blog/blog/2014/06/06/python-to-ocaml-retrospective/ 17 comments programming
- OCaml Replacing Python - What You Gain http://roscidus.com/blog/blog/2014/02/13/ocaml-what-you-gain/ 141 comments programming
- The bugs so far (Thomas Leonard on OCaml port of 0install) http://roscidus.com/blog/blog/2014/01/07/ocaml-the-bugs-so-far/ 6 comments ocaml
- Polymorphism for Beginners (from perspective of a Java/C/Python dev) http://roscidus.com/blog/blog/2013/12/20/polymorphism-for-beginners/ 3 comments programming
- Asynchronous Python vs OCaml http://roscidus.com/blog/blog/2013/11/28/asynchronous-python-vs-ocaml/ 7 comments programming
- 0install - Python vs. OCaml vs. Haskell http://roscidus.com/blog/blog/2013/06/20/replacing-python-round-2/ 22 comments haskell
- 0install - Python vs. OCaml vs. Haskell http://roscidus.com/blog/blog/2013/06/20/replacing-python-round-2/ 15 comments programming
- Case study for replacing Python (in 0install) http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install/ 201 comments programming
- Replacing Python: candidates http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install/ 21 comments rust
- Go bottoms out 0install language comparison by a wide margin http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install/ 43 comments golang