Frédéric Bour

GTK UNIT SCALE: tweak density and scaling of GTK UIs 2025-11-01 22:00:00 JST GTK's widget spacing and padding can sometimes seem excessive, but it is particularly problematic on mid-DPI displays.

Imperative BBT part 2: Binary Search Trees 2023-03-07 09:00:00 CET First, we define the type of BST labeled with integers: struct bst_node { struct node node; int value; }; struct bst_node * bst_left(struct bst_node *node) { return (struct bst_node…

High quality scrolling with Emacs 2023-03-05 11:30:30 CET Doom Emacs convinced me to switch to emacs after being a long time vim user.

Imperative Balanced Binary Trees, Part 1: Core Balancing 2023-03-05 08:40:00 CET I used to find balanced trees tedious to deal with in an imperative setting, particularly in C, though I love them in functional languages.

Even more compact lexer table 2022-04-14 15:44:30+09:00 Some time ago, I blogged about the representation of lexer table.

DDCUTIL: controlling the brightness of an external monitor 2021-06-25 13:16:27+09:00 TL;DR install ddcutil decrease brightness with sudo ddcutil setvcp 10 - 25 increase brightness with sudo ddcutil setvcp 10 + 25 to remove the sudo, setup udev rules as su…

A typeof operator in OCaml 2021-06-25 21:26:20+09:00 Let’s say one is implementing a source to source rewriter for OCaml (a preprocessor, like a PPX library) and needs to manipulate the type of an expression.

Pretty-printing with dominators 2020-11-14 17:55:44+01:00 A static analysis that I am working on generates complex intermediate data structures.

Nottui & Lwd at ML Workshop 2020 2020-09-06 13:40:47+02:00 Last week, the ML and OCaml workshops were held as part of ICFP 2020.

Inuit: Textual User Interfaces, OCaml Workshop 2016 2020-09-05 12:00:00+02:00 Inuit is a library I developed a few years ago to introspect the internal state of running applications.

Cuite Design (1/?)

Compact Lexer Table Representation 2020-05-02 15:31:09+02:00 I found surprisingly little information on the transition table of a lexer generator.

Mettre à jour un firmware NVME 2020-03-15 06:45:48+01:00 Comment mettre à jour le firmware d'un SSD Toshiba sous Linux.