It’s not important unless Xmonad was being used for some kind of task where human lives are at risk if a mistake was made. In my case here (and indeed much of the Haskell world) it’s just fun to surround myself with software of that kind of code quality/reliability.

I’m glad you asked!

Formal verification is an automatic checking methodology that catches many common design errors and can uncover ambiguities in the design. It is an exhaustive methodology that covers all input scenarios and also detects corner case bugs.

One of the most futuristic companies I know of is Runtime Verification that uses formal Methods in industry. They have a list of accomplishments that seem like vaporware including a semantic babel fish called the K framework that can translate between languages based on formal, semantic definitions of each.

Try Xmonad! I run a community for it at https://infosec.pub/c/xmonad

It’s super lightweight and is the only formally verified window manager. There’s a new version being created for Wayland called Waymonad.

I think it’s because you’re an actual leftist trapped in a place that has two Republican parties.

I’m looking into using NOSTR on a project that was originally going to be a Lemmy fork that allows retailers to broadcast their inventories to decentralized aggregators (or even run their own).

Sneakers is one where a remake might actually be welcomed. I adore the original but spycraft has changed so much. It’s a fascinating genre too. Probably my favorite.

deleted by creator

deleted by creator

deleted by creator

deleted by creator

deleted by creator

deleted by creator

deleted by creator

deleted by creator

deleted by creator

deleted by creator

deleted by creator

deleted by creator

I read somewhere that he wrote it. It was a reliable news article actually…aaaaaand it disappeared.

Anyway, he certainly was instrumental in helping write it. I think you’re trying to downplay his role in it. He was THE champion of the bill and Hunter got $250,000 paycheck from MBNA the following year. Explain that for us.

Here’s some quotes from an article on this subject:

But it passed anyway, with 18 Democratic senators breaking ranks and casting their vote in favor of the bill. Of those 18, one politician stood out as an especially enthusiastic champion of the credit companies who, as it happens, had given him hundreds of thousands of dollars in campaign contributions – Joe Biden.

Despite his protestations, it is indisputable that Biden was an avid supporter of the 2005 bill as a whole and of its overall thrust of tightening up the bankruptcy code largely to the benefit of lenders at the expense of distressed families who would find it harder to file for bankruptcy.

“Biden was one of the most powerful people who could have said no, who could have changed this. Instead he used his leadership role to limit the ability of other Democrats who had concerns and who wanted the bill softened,” said Melissa Jacoby, a law professor at the University of North Carolina at Chapel Hill specialising in bankruptcy.

https://jacobin.com/2022/04/joe-biden-student-loan-debt-bankruptcy-democrats

https://www.cbsnews.com/news/mbna-paid-bidens-son-as-biden-backed-bill/

https://www.nytimes.com/2008/08/25/us/politics/25biden.html

https://oversight.house.gov/release/comer-releases-evidence-of-direct-payment-to-joe-biden/

https://www.propublica.org/article/bidens-cozy-relations-with-bank-industry-825

https://www.nationalreview.com/2008/08/senator-mbna-byron-york/amp/

Ps. But he’s a decent man™️©️

deleted by creator