Monday, April 26, 2021

I'm really not updating this "blog" as often as I should.

Saw a very interesting talk about TDX from Sean Christopherson. Recommended.

Sunday, February 7, 2021

Wrote a blog entry on my personal blog regarding C++ interface generation using variadic templates.

When you write a programming language translator, it is useful to be able to expose features of the underlying system easily, i.e. to connect to what is often referred to as native functions. In this post, I show how modern C++ makes it possible to entirely automate this process.

Using variadic templates, it is possible – and relatively easy – to let the compiler generate all the boilerplate code connecting your translator to any native C function. Adding a C function to your translator then boils down to a simple macro call that can look like this: NATIVE(fn).

Wednesday, March 25, 2020

Another picture of containment I found funny. This comes from MonkeyUser and it hits so close to home.

Taken from a nice question on Quora.

Monday, March 23, 2020

This picture illustrates what I hope will be the positive outcome of being stuck at home:

Translation:

• First picture: "Your garden on March 17"
• Second picture: "After 15 days"

Thursday, March 12, 2020

This is a clarification for a colleague at Red Hat:

This is a picture in my office. "Chercher et Trouver" is French for "Seek and Find", inspired by Matthew 7:7.

It is slightly misalingned.

Tuesday, March 10, 2020

Interesting slides

Friday, February 21, 2020

My rawhide system is getting more and more broken by the day. Now, when I run dnf install ppp-devel (with the intent to look at a bug I just filed about nmcli c up overwriting Open VPN configuration files), I get something totally zany:

RCM Tools for Fedora 32 (RPMs)                  0.0  B/s |   0  B     00:00

Errors during downloading metadata for repository 'rcm-tools-fedora-rpms':
  - Curl error (6): Couldn't resolve host name for https://download.devel.redhat.com/rel-eng/RCMTOOLS/latest-RCMTOOLS-2-F-32/compose/Everything/x86_64/os/repodata/repomd.xml [Could not resolve host: download.devel.redhat.com]
Error: Failed to download metadata for repo 'rcm-tools-fedora-rpms': Cannot download repomd.xml: Cannot download repodata/repomd.xml: All mirrors were tried
Ignoring repositories: rcm-tools-fedora-rpms
Last metadata expiration check: 1:23:24 ago on Fri 21 Feb 2020 11:55:09 AM CET.
Modular dependency problems:

 Problem 1: conflicting requests
  - nothing provides module(platform:f31) needed by module askalono-cli:rolling:3120190813194323:22d7e2a5-0.x86_64
 Problem 2: conflicting requests
  - nothing provides module(platform:f30) needed by module avocado:stable:3020190514191910:a5b0195c-0.x86_64
 Problem 3: conflicting requests
  - nothing provides module(platform:f31) needed by module meson:latest:3120191009081836:dc56099c-0.x86_64
 Problem 4: conflicting requests
  - nothing provides module(platform:f31) needed by module ninja:latest:3120190304180949:f636be4b-0.x86_64

Dependencies resolved.
================================================================================
 Package           Architecture   Version                 Repository       Size
================================================================================
Installing:
 ppp-devel         x86_64         2.4.7-33.fc32           rawhide          42 k
Upgrading:
 ppp               x86_64         2.4.7-33.fc32           rawhide         394 k


Transaction Summary
================================================================================
Install  1 Package
Upgrade  1 Package


Total size: 436 k
Downloading Packages:
[SKIPPED] ppp-devel-2.4.7-33.fc32.x86_64.rpm: Already downloaded
[SKIPPED] ppp-2.4.7-33.fc32.x86_64.rpm: Already downloaded
warning: /var/cache/dnf/rawhide-2d95c80a1fa0a67d/packages/ppp-devel-2.4.7-33.fc32.x86_64.rpm: Header V3 RSA/SHA256 Signature, key ID 9570ff31: NOKEY
Fedora - Rawhide - Developmental packages for t 1.6 MB/s | 1.6 kB     00:00
GPG key at file:///etc/pki/rpm-gpg/RPM-GPG-KEY-fedora-32-x86_64 (0x12C944D0) is already installed
The GPG keys listed for the "Fedora - Rawhide - Developmental packages for the next Fedora release" repository are already installed but they are not correct for this package.
Check that the correct key URLs are configured for this repository.. Failing package is: ppp-devel-2.4.7-33.fc32.x86_64
 GPG Keys are configured as: file:///etc/pki/rpm-gpg/RPM-GPG-KEY-fedora-32-x86_64
Public key for ppp-2.4.7-33.fc32.x86_64.rpm is not installed. Failing package is: ppp-2.4.7-33.fc32.x86_64
 GPG Keys are configured as: file:///etc/pki/rpm-gpg/RPM-GPG-KEY-fedora-32-x86_64
The downloaded packages were saved in cache until the next successful transaction.
You can remove cached packages by executing 'dnf clean packages'.
Error: GPG check FAILED

Time to do some serious cleanup, except that I have no real idea how to do it