| | Linux mode setting, from the comfort of OCaml (roscidus.com) |
| 84 points by ibobev 41 days ago | past | 29 comments |
|
| | Vulkan Graphics in OCaml vs. C (roscidus.com) |
| 2 points by ibobev 3 months ago | past |
|
| | Polymorphism for Beginners (roscidus.com) |
| 1 point by ibobev 3 months ago | past |
|
| | Vulkan Graphics in OCaml vs. C (roscidus.com) |
| 2 points by Bogdanp 3 months ago | past |
|
| | Debugging a network performance issue in an OCaml 5 program (roscidus.com) |
| 1 point by todsacerdoti on Dec 20, 2024 | past |
|
| | Python to OCaml: Retrospective (2014) (roscidus.com) |
| 2 points by Qem on Oct 30, 2023 | 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 |
|
|
| More |
