| | Python to OCaml: Retrospective (2014) (roscidus.com) |
|
2 points by Qem 8 months ago | past
|
|
| | Lambda Capabilities (roscidus.com) |
|
54 points by matt_d on April 27, 2023 | past | 10 comments
|
|
| | Isolating Xwayland in a VM (roscidus.com) |
|
111 points by pmarin on Dec 22, 2021 | past | 51 comments
|
|
| | Isolating Xwayland in a VM (roscidus.com) |
|
3 points by harporoeder on Nov 12, 2021 | past
|
|
| | Qubes-Lite with KVM and Wayland (roscidus.com) |
|
141 points by todsacerdoti on March 7, 2021 | past | 48 comments
|
|
| | A unikernel firewall for QubesOS (2016) (roscidus.com) |
|
41 points by luu on Feb 17, 2020 | past | 5 comments
|
|
| | CI/CD Pipelines: Monad, Arrow or Dart? (roscidus.com) |
|
1 point by LegitGandalf on Dec 11, 2019 | past
|
|
| | Replacing Python: candidates (2013, with interesting discussion on error (roscidus.com) |
|
1 point by pplonski86 on Jan 26, 2019 | past
|
|
| | Using TLA+ to Understand Xen Vchan (roscidus.com) |
|
148 points by technion on Jan 3, 2019 | past | 12 comments
|
|
| | Rewriting 0install from Python to OCaml: Retrospective (roscidus.com) |
|
1 point by erwan on Sept 18, 2017 | past
|
|
| | Replacing Python: Candidates (ATS, C#, Go, Haskell, OCaml, Python and Rust) (roscidus.com) |
|
1 point by erwan on Sept 8, 2017 | past
|
|
| | Asynchronous Python vs. OCaml (2013) (roscidus.com) |
|
2 points by g4k on Aug 11, 2016 | past
|
|
| | Python to OCaml: Retrospective (roscidus.com) |
|
196 points by antouank on Jan 26, 2016 | past | 55 comments
|
|
| | A (MirageOS OCaml) Unikernel Firewall for QubesOS (roscidus.com) |
|
10 points by otoburb on Jan 2, 2016 | past
|
|
| | A Unikernel Firewall for QubesOS (roscidus.com) |
|
111 points by amirmc on Jan 1, 2016 | past | 10 comments
|
|
| | CueKeeper Internals: Experiences with Irmin, React, TyXML and IndexedDB (roscidus.com) |
|
10 points by amirmc on June 22, 2015 | past
|
|
| | CueKeeper: Gitting Things Done in the Browser (roscidus.com) |
|
44 points by luu on April 28, 2015 | past | 1 comment
|
|
| | CueKeeper: Gitting Things Done in the Browser (roscidus.com) |
|
5 points by amirmc on April 28, 2015 | past | 1 comment
|
|
| | Securing the Unikernel (roscidus.com) |
|
84 points by lelf on Jan 21, 2015 | past | 11 comments
|
|
| | Visualising an Asynchronous Monad (roscidus.com) |
|
80 points by astrada on Oct 27, 2014 | past | 12 comments
|
|
| | Simplifying 0install's solver with OCaml's functors (roscidus.com) |
|
37 points by lpw25 on Sept 19, 2014 | past | 9 comments
|
|
| | Optimising the Unikernel (roscidus.com) |
|
69 points by pietrofmaggi on Aug 21, 2014 | past | 1 comment
|
|
| | Polymorphism for beginners (roscidus.com) |
|
7 points by amirmc on Aug 16, 2014 | past
|
|
| | Polymorphism for beginners – Thomas Leonard's blog (roscidus.com) |
|
1 point by aburan28 on July 31, 2014 | past
|
|
| | My First Unikernel (roscidus.com) |
|
267 points by the_eradicator on July 30, 2014 | past | 51 comments
|
|
| | My first unikernel (roscidus.com) |
|
26 points by edwintorok on July 29, 2014 | past
|
|
| | OCaml: The Bugs So Far (roscidus.com) |
|
76 points by ctoth on July 12, 2014 | past | 15 comments
|
|
| | Replacing Python: Candidates (roscidus.com) |
|
2 points by technel on July 4, 2014 | past
|
|
| | Python to OCaml: Retrospective (roscidus.com) |
|
235 points by Envec83 on June 6, 2014 | past | 71 comments
|
|
| | OCaml: what you gain (roscidus.com) |
|
198 points by edwintorok on Feb 13, 2014 | past | 118 comments
|
|
|
|
More |
