Roger Sen

Roger Sen

exploring area

13 May 2026

nproc (1) implementation for mac os

To cover a small itch I had I created a nproc (1) for macos. To use it, just drop it from codeberg into your macos path,...
19 Apr 2026

There are three kind of numbers (a TLA+ post)

Watching this excellent session in C++ Now 25: Using TLA+ to Fix a Very Difficult glibc Bug by Malte Skarupke I discover...
12 Apr 2026

Moved my github repos to Codeberg

It took more than expected due to other personnal commitments, but I finally moved all the Github repositories to Codebe...
30 Apr 2025

Serving Markdown files in the web

As part of my plan to simplify my notes/webpages/code documentation I’m slowly moving to markdown, not only on cli...
08 Nov 2024

Developing a go bot embedding ichiban Prolog (2)

As promised at the end of the previous post, let’s try to improve the code to reduce memory use, improve speed and...
23 Sep 2024

Developing a go bot embedding ichiban Prolog

Ichiban Prolog is a #golang implementation of an ISO compatible Prolog. To learn how to embed it, I decided to add Prolo...