Search: roscidus.com | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

My First Unikernel

12 years ago

267 points

2.

Python to OCaml: Retrospective

12 years ago

235 points

3.

OCaml: what you gain

12 years ago

198 points

4.

Python to OCaml: Retrospective

10 years ago

196 points

5.

Replacing Python

13 years ago

173 points

6.

Using TLA+ to Understand Xen Vchan

7 years ago

148 points

7.

Qubes-Lite with KVM and Wayland

5 years ago

141 points

8.

Isolating Xwayland in a VM

5 years ago

111 points

9.

A Unikernel Firewall for QubesOS

10 years ago

111 points

10.

Linux mode setting, from the comfort of OCaml

7 months ago

84 points

11.

Securing the Unikernel

11 years ago

84 points

12.

Visualising an Asynchronous Monad

12 years ago

80 points

13.

OCaml: The Bugs So Far

12 years ago

76 points

14.

Optimising the Unikernel

12 years ago

69 points

15.

Lambda Capabilities

3 years ago

54 points

16.

CueKeeper: Gitting Things Done in the Browser

11 years ago

44 points

17.

A unikernel firewall for QubesOS (2016)

6 years ago

41 points

18.

Proving Liveness with TLA

6 months ago

40 points

19.

Simplifying 0install's solver with OCaml's functors

12 years ago

37 points

20.

My first unikernel

12 years ago

26 points

21.

Choosing a Python replacement for 0install

13 years ago

25 points

22.

Replacing Python: candidates. ATS, C#, Go, Haskell, OCaml & Rust

13 years ago

13 points

23.

CueKeeper Internals: Experiences with Irmin, React, TyXML and IndexedDB

11 years ago

10 points

24.

Asynchronous Python vs OCaml

13 years ago

10 points

25.

A (MirageOS OCaml) Unikernel Firewall for QubesOS

10 years ago

10 points

26.

Polymorphism for beginners

12 years ago

7 points

27.

CueKeeper: Gitting Things Done in the Browser

11 years ago

5 points

28.

OCaml: the bugs so far

12 years ago

3 points

29.

Polymorphism for Beginners

13 years ago

3 points

30.

Polymorphism for beginners

13 years ago

3 points