miniblog.

← Back to all posts
Jul 18, 2018 at 18:59
seL4, the verified microkernel, jas been ported to RISC-V!
Brains behind seL4 secure microkernel begin RISC-V chip port
Unveil first code, join giants in industry-standards club

Related Posts

Mar 7, 2021 at 07:41
Moving all my elisp projects from Travis to GitHub actions has been a hassle, although it's getting easier with practice. I ported emacs-racer today: https://github.com/racer-rust/emacs-racer/blob/master/.github/workflows/test.yml I've learnt the hard way that it's worth testing your code both with and without byte-compilation too.
emacs-racer/.github/workflows/test.yml at master · racer-rust/emacs-racer
emacs-racer/.github/workflows/test.yml at master · racer-rust/emacs-racer
Racer support for Emacs. Contribute to racer-rust/emacs-racer development by creating an account on GitHub.
Apr 10, 2020 at 04:57
It's striking how many Docker features get ported when people build alternatives. It's a great day of easing migration. Podman deliberately mimics Docker's CLI and can even run Docker images!
Podman and Buildah for Docker users | Red Hat Developer
Podman and Buildah for Docker users | Red Hat Developer
What docker users need to know to move from Docker to Podman and Buildah and the advantages of doing so. Developers/operators can easily move to Podman, do all the fun tasks that they are familiar
Nov 11, 2018 at 11:54
Ever wondered what the (interactive) function does at the C level of Emacs? It's just been ported in Remacs! https://github.com/Wilfred/remacs/pull/1022/files