flavonol

joined 2 years ago
[–] flavonol@lemmy.world 5 points 1 week ago (4 children)

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?

 

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 to the resources in this thread

[–] flavonol@lemmy.world 7 points 1 week ago* (last edited 1 week ago)

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.

[–] flavonol@lemmy.world 3 points 1 week ago

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.

[–] flavonol@lemmy.world 2 points 2 weeks ago

According to Wikipedia, they were in the metal business before cars.

 

solution by @wada@lemmy.ml

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.___

[–] flavonol@lemmy.world 2 points 1 month ago (4 children)

Would you mind providing a link or the name of the new protocol?

[–] flavonol@lemmy.world 1 points 3 months ago (2 children)

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.

[–] flavonol@lemmy.world 14 points 3 months ago (6 children)

How do you interpret "averages 1 3-5 passengers"?

[–] flavonol@lemmy.world 5 points 3 months ago (2 children)
[–] flavonol@lemmy.world 1 points 5 months ago

Rotate the titles, I assume. Might be tricky to gef used to, though.

[–] flavonol@lemmy.world 2 points 6 months ago

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.

view more: next ›