Submissions from roscidus.com

		Linux input devices (with libinput-OCaml) (roscidus.com)
		1 point by ibobev 3 days ago \| past \| discuss
		Proving Liveness with TLA (roscidus.com)
		40 points by ibobev 3 months ago \| past \| 2 comments
		Proving Liveness with TLA (roscidus.com)
		3 points by todsacerdoti 3 months ago \| past
		Linux mode setting, from the comfort of OCaml (roscidus.com)
		84 points by ibobev 4 months ago \| past \| 29 comments
		Vulkan Graphics in OCaml vs. C (roscidus.com)
		2 points by ibobev 6 months ago \| past
		Polymorphism for Beginners (roscidus.com)
		1 point by ibobev 6 months ago \| past
		Vulkan Graphics in OCaml vs. C (roscidus.com)
		2 points by Bogdanp 6 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
		More

HN For You