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.
Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, “move fast and break things” approaches
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0
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.
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
deleted by creator
The BILL WAS
edit: This is an unsubstantiated statement (though I previously read this in an article which has now disappeared from the web).
deleted by creator
deleted by creator
I’m glad you asked!
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.