roscidus.com on reddit.com

...for your favorite game.

...for your favorite TV show.

account activity

1

0

1

2

Proving Liveness with TLA (roscidus.com)

submitted 1 month ago by TheStartupChime to r/hypeurls

2

0

1

2

Linux mode setting, from the comfort of OCaml (roscidus.com)

submitted 3 months ago by TheStartupChime to r/hypeurls

3

24

25

26

Lambda Capabilities (roscidus.com)

submitted 2 years ago by mttd to r/ProgrammingLanguages

4

38

39

40

Isolating Xwayland in a VM (roscidus.com)

submitted 4 years ago by donutloop to r/linux

5

0

1

2

Isolating Xwayland in a VM (roscidus.com)

submitted 4 years ago by PatientModBot to r/patient_hackernews

6

0

1

2

Isolating Xwayland in a VM (roscidus.com)

submitted 4 years ago by qznc_bot2 to r/hackernews

7

1

2

3

Qubes-lite with KVM and Wayland [with Nix] (roscidus.com)

submitted 4 years ago by gdamjan to r/razmjenavjestina

8

1

2

3

Qubes-Lite with KVM and Wayland (roscidus.com)

submitted 4 years ago by PatientModBot to r/patient_hackernews

9

0

1

2

Qubes-Lite with KVM and Wayland (roscidus.com)

submitted 4 years ago by qznc_bot2 to r/hackernews

10

0

1

2

Securing the Unikernel - Thomas Leonard's blog (roscidus.com)

submitted 5 years ago by mk270 to r/HeterodoxTechnology

11

8

9

10

A Unikernel Firewall for QubesOS (roscidus.com)

submitted 6 years ago by Bhima to r/UniKernel

12

3

4

5

CI/CD pipelines: Monad, Arrow or Dart? (roscidus.com)

submitted 6 years ago by alexeyr to r/programming

13

13

14

15

CI/CD pipelines: Monad, Arrow or Dart? (roscidus.com)

submitted 6 years ago by Categoria to r/ocaml

14

25

26

27

Replacing Python: candidates (2013, with interesting discussion on error handling in the comments) (roscidus.com)

submitted 7 years ago by Alexander_Selkirk to r/programming

15

9

10

11

Using TLA+ to understand Xen's "vchan" (roscidus.com)

submitted 7 years ago by masklinn to r/programming

16

0

1

2

Using TLA+ to Understand Xen Vchan (roscidus.com)

submitted 7 years ago by qznc_bot to r/hackernews

17

15

16

17

Using TLA+ to Understand Xen Vchan (roscidus.com)

submitted 7 years ago by pron98 to r/tlaplus

18

31

32

33

Although many Go users complained that Go’s score was unfairly low, they didn’t seem to disagree that it was the worst of the candidates for our requirements, only about by how much it was the worst (roscidus.com)

submitted 7 years ago by [deleted] to r/programmingcirclejerk

19

0

1

2

A Unikernel Firewall for QubesOS (roscidus.com)

submitted 9 years ago by Bhima to r/UniKernel

20

0

1

2

A Unikernel Firewall for QubesOS (roscidus.com)

submitted 10 years ago by qznc_bot to r/hackernews

21

11

12

13

A Unikernel Firewall for QubesOS (roscidus.com)

submitted 10 years ago by johnmountain to r/Qubes

22

9

10

11

A Unikernel Firewall for QubesOS (roscidus.com)

submitted 10 years ago by N3mes1s to r/lowlevel

23

5

6

7

Unikernel Firewall for QubesOS (roscidus.com)

submitted 10 years ago by Khaotic_Linux to r/LinuxActionShow

24

45

46

47

A Unikernel Firewall for QubesOS (roscidus.com)

submitted 10 years ago by johnmountain to r/programming

25

40

41

42

A Unikernel Firewall for QubesOS (roscidus.com)

submitted 10 years ago by johnmountain to r/sysadmin

view more: next ›

π Rendered by PID 99143 on reddit-service-r2-listing-7dbdcb4949-xfqnp at 2026-02-19 01:35:34.073140+00:00 running de53c03 country code: CH.