Posts
6
Comments
21
Joined
2 yr. ago
If it's not already under the umbrella of right to repair, do we now need right to refill?
Thanks for the information.
Why put water back in the environment at all if it's needed to make steam again?
Excellent edit. Did you make it?
Ladybird does have a donation page: https://donorbox.org/ladybird; Ablaze (Floorp devs) take GitHub Sponsors.
I was under the impression that Ladybird has become independent of the Serenity project, even if they are still related projects.
Yields must be pretty good if the RX 9070 & RX 9070 XT are so similarly priced.
All You Need for Gaming – AMD RDNA™ 4 and RX 9000 Series Reveal
I see that there are already posts here about RDNA4 today, but I figured I'd link the actual announcement for general discussion about the launch.
The Software Engineering Handbook PDF appears to just be a single page with a broken link on it; is there an archive for the document that's supposed to be there?
What are some good resources to learn to write very reliable/formally verifiable software?
The University of Pennsylvania offers a free series of books called Software Foundations with the following description:
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.
The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant.
The series includes Verifiable C, which seems very appealing as a way to avoid some of C's infamous "footguns." I haven't read the series myself, but I might in the future because I like math, logic & programs that do what they're supposed to do.
Are there any materials that would be good as alternatives or complements to this series?
Edit: Adding the [Vercors Wiki](https://github.com/utwente-fmt/vercors/
I thoroughly enjoy the Steam controller and would've loved to try out one of the less conventional prototypes. I hope Valve can justify making another controller.
Unlike with fractional scaling, fortunately, it seems to just work™, at least on my machine. I'm honestly not sure what's left to do with it before putting it in the Settings app by default.
According to Wikipedia, they were in the metal business before cars.
Launching Helix with default theme in tmux causes unexpected change in colors
Hi,
I'm new to both using Helix and terminal multiplexers in general, so I'd appreciate some help with this. When I launch Helix without tmux, I see the default theme with a purple background, which I like:
But when I launch it using tmux, even with the -2 flag, Helix does not display the same color scheme:
I have tried making a config.toml file with an [editor] section and set true-color to true, but that didn't appear to help. How can I use the default theme with tmux? I'm using GNOME 47 with wayland on Fedora, in case that matters.
Any post I've seen involving Helix, tmux & colors seem to be with custom themes, so I don't know which threads are relevant to this, if any.___
Are Bottleneck Calculators Nonsense? Do CPUs matter at 4K? Let's talk about bottlenecks...
Celiac?
Would you mind providing a link or the name of the new protocol?
While I don't think anyone has complete control of their own emotions, I do think some measure of control is possible through manipulation of one's own facial expression, posture, breathing & thought patterns.
How do you interpret "averages 1 3-5 passengers"?
Rotate the titles, I assume. Might be tricky to gef used to, though.
Honey only? But there's so many good ones!
Jam, agave, or maple syrup should be good with muesli & yoghurt to my taste. Light molasses may work in moderation, and I've heard good things about sorghum syrup.