Christian Doczkal

I can confirm the exact behavior described by @DonKatsu for Dwarf Fortress on Gentoo. Was running DF with Proton before the native version of the game was released. (Steam Support...

> I do have problems running the game on both my desktop PC and Steam Deck (which _might_ be caused by the fact only the Scout runtime is selectable in...

I just came across the following comment : https://steamcommunity.com/app/975370/discussions/0/3878219568770973564/#c4038102936191705383 > Now, to make the change permanent, before restarting Steam, edit the file ~/.local/share/Steam/userdata//config/compat.vdf. Search for this clause associated with the...

I'm not sure. I certainly still want this feature. However, the first time round, I balked when trying to understand the internals of `buildingplan`. I have now spent about another...

I think we should discuss at some point what the purpose of these refinements would be. I would prefer the main definitions to remain "uncompromisingly proof oriented". I'm not opposed...

Well, the current matching "algorithm" is really just an executable specification with the star operation originally from [Coquand and Siles](https://github.com/vsiles/regexp-Brzozowski). Likewise, minimization is performed by forming a quotient modulo the...

This should not be merged until after the release of `hierarchy-builder-1.2`, since the attribute is not backward compatible. See https://github.com/math-comp/hierarchy-builder/issues/253

I just encountered this. FYI, the last release of Fedora to ship an `emacs` older than 28 went EOL in December. ^^

I'm starting to believe that whatever performance problems the `proxy` was trying to address, has become irrelevant in the meantime. In fact, changing the definition of `struct DfLinkedList` to be...

After some more analysis, I have come to the conclusion that the purpose of the `proxy` is to provide "proxy references" that, unlike naked `I*&`, implement an assignment operator that...