Viewing profile — talex5

https://www.youtube.com/watch?v=Hw-_x9CfqA8&list=PLyrlk8Xayl... - starts around -4:30:00 (but I guess that's relative to now and will change).

I just tried it. :X asks you to enter an encryption key, then asks you to enter it again, and only continues if the keys match. And then you're still in vim and need to save your f…

Here's an example using OCaml 5 to run multiple fibers concurrently (look - no monads!): https://github.com/ocaml-multicore/eio#fibers

> I am not sure ARMv1 (and v2) even had supervisor vs user mode, etc.? (It may have, Google isn't helping me here) v2 at least had 4 modes: user mode, supervisor, IRQ and FIQ. They…

Work has already started: https://github.com/ocaml-multicore/eio There's also now https://github.com/talex5/lwt_eio , which allows you to run existing Lwt code alongside code using…

Instead of Stdlib.Queue you can use Eio.Stream, which is thread-safe (and will take care of waking sleeping threads when data becomes available). The README shows an example of a p…

I usually notice if my blog gets on Hacker News fairly soon, so I'll see any comments posted here. I prefer not to use email for most things because then the reply only benefits on…

To clarify that, there are two systems here: - domainslib schedules all tasks across all cores (like Go). - eio keeps tasks on the same core (and you can use a shared job queue to …

I tried a couple of different AMD cards, and my machine crashes on resume if I try to use either of them (but the Intel iGPU works fine). Searching for amdgpu bug reports leads to:…

By default, opam installs everything into the current "switch". Typically you have switch one per compiler, but you can create one per project. You can also create a "local" switch…

Indeed. The project has since moved under the mirage org on GitHub, and now has several contributors: https://github.com/mirage/qubes-mirage-firewall

For reference, the ugly OCaml equivalent unikernel is: let () = print_endline "Hello, world!" (from http://roscidus.com/blog/blog/2014/07/28/my-first-unikernel/ )

> the recommended tools never seem to work together on anything but the latest version Whenever a package is added to the repository, the CI tests (the latest compatible version of…

Yes, doing this would make it easier to use services like GitHub. For example, DataKit's GitHub bridge service uses webhooks to track changes in GitHub metadata (e.g. the status of…

I use a Qubes Debian VM for dev work. Works fine, except that it runs gnome-keyring by default, which breaks ssh, and restores this config everytime I upgrade (but easy to fix when…

Here's a common example. Some systems provide blocking operations: e.g. read_line waits for a line of text and then returns it as a string. Others use promises: read_line returns a…

I think this is what you're looking for: https://github.com/docker/hyperkit Source: https://blog.docker.com/2016/05/docker-unikernels-open-sourc...

Just to add some links for those (I assume these are the ones you mean): Dumping the debug-level log ring-buffer on exception: http://lists.xenproject.org/archives/html/mirageos-de…

It depends on which lightweight OS and which unikernel. But e.g. a stripped down Linux will still have a huge amount of C. If you're going to write your kernel in something safer, …

Like most OCaml libraries, Irmin can be used in the browser by compiling your program with js_of_ocaml. My `irmin-js` experiment provides a Javascript API to Irmin, so you can writ…

Note: CueKeeper is a bit unusual here. Merges always succeed, but it adds a note to the item saying what it did to resolve the conflict. e.g. if you rename an action "orig" to "a" …

Mirage can be configured to write trace data to a ring buffer shared with another VM, where you can run a visualisation tool to explore it. For an example, see: https://mirage.io/w…

Are there any important changes to the system here, or is it just a new presentation? After a few years using mGSD, I'm now using CueKeeper ( http://roscidus.com/blog/blog/2015/04/…

I was thinking about smaller devices than the Pi. Security devices, monitors, IoT type stuff. Especially where you want to minimise the amount of C code running and know exactly wh…

This will be extremely useful for running on very small devices (not all ARM boards have the virtualisation extensions that are needed to run Mirage unikernels as Xen VMs). But it …