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.

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.

Pick any issue and both Trump and Kamala are on the wrong side of it.

At least in the cannabis industry here, they have a piece of software that they use to submit their inventories to the state. My current plan is to look into incorporating my system into that so I get accurate reports that are required by law to be done anyway.

I’d love to discuss further the pitfalls of my idea and any special considerations I might need to make.

I’m not sure yet TBH, but you’re welcome to help or build your own.
I intend to make it an entirely free and open source platform that allows retailers to broadcast their inventory to aggregators. No ads just like Lemmy, though I suppose that the feed itself serves as kind of an ad.

It was intended for the cannabis industry. Then the plan was to roll it out to the rest of the retail world when it has evolved enough.

There’s also veilid.

I even started a community here: https://infosec.pub/c/lemventory

I’ve been looking into building this. I was originally planning to fork Lemmy to do it but now it looks like NOSTR might be better suited to it.

If it’s as bad as it is in the US, they ALL want to privatize it.

I’ll never forget Joe Lieberman swooping in and literally letting health insurance companies completely rewrite (destroy) the Affordable Care Act from an incremental step toward Single Payer into a law that codifies their profiteering. It put everyone into three categories:

A.) people who make more than their incredibly low income means testing are required to shop for expensive private health insurance on the free market. Health insurance companies literally raised their rates right after this. Because of Joe, health insurance profits, medical bankruptcy, and death from being under/uninsured (70,000 people per year) are at an all-time high! Any real illness won’t be covered and you’ll be forced to cover it with a GoFundMe!

B.) people who face stiff fines if they don’t have health insurance (neoliberal paternalism much like charging people for plastic bags and sugary drinks)

C.) people who somehow manage to sneak in under the means testing income bar! If you are 300% or more below the actual poverty line, you get the most bare bones medical insurance possible!

Thanks for pulling it out of me.

Kind vibes to you, friendly and intellectually honest fellow fediverse Lemmy user. 🙏

“I” seem to require? No. I’m deferring to the cypherpunk manifesto which rings true over and over again.

IMO, anonymity should be able to be switched on and off at will by the user. Selective disclosure using homomorphic encryption coupled with digital identity can achieve both, IMO.

In particular, businesses require anonymity in much of their chain of custody…and I think that’s fair.

It was because I thought the author both understood and even agreed with my point in principle but then did intricate mental gymnastics to disagree with my point and let everyone off the hook including the person that I was disagreeing with.

I don’t want to continue talking in circles with Centrists telling me that the piss pouring on my head is in fact charitable rain drops from the benevolent libs.

I was thinking about that just now.

They did Corbyn dirty in almost exactly the same way that they did Sanders. It has been worst-case-scenario from there on out.

Have they fully privatized NHS yet?

Perhaps. I tend to listen to Snowden when it comes to tech. But I haven’t used it yet because all of the implementations I could use involved a bitcoin wallet. I’m a fan of crypto but that felt weird.

Someone else reassured me that NOSTR is a very open platform and that requirement wasn’t true.

From my research, I have found it to be far more decentralized than Lemmy’s (and the pub/sub) federated model, which would also, obviously have the same drawbacks that we see in other truly decentralized tech like crypto, torrents, and tor where you are on your own in the world, forced to literally keep the ocean of shit from infecting you! 😉

So, I think of those things as necessary evils. For example, if I used NOSTR, I could have an address that follows me no matter what. That cryptographic hash is my NOSTR identity for better or worse. That’s pretty powerful and far more secure than a two step verification process in the long run.

I don’t know enough about it yet. But I’d say it is a raw technology that I wouldn’t allow the criminals and trolls of the world define for me.

Are the people who invented this aware of NOSTR?
If so, what makes this different? And if not, perhaps we could use NOSTR to bridge the gap in the fediverse at the moment between NOSTR users and Mastodon/Pixelfed/Lemmy/KBIN/MBIN users

I started forking Lemmy for an inventory system but then realized that NOSTR was far more suited to that and other applications that require security and encryption.

https://nostr.org

That’s actually a bullshit talking point used by the Progressive Policy Institute (which are not even remotely Progressive) and other right wing think-tanks. They pushed right because of the DLC. They used the “capturing votes” thing to excuse the rightward push. They STILL love that talking point despite Bernie having the most bipartisan grassroots support in the last 40 years…

They had to move heaven and earth to cheat him.

Do you know that the Democratic Leadership Council was even worse because they were so ultimately SUCCESSFUL in pushing the DNC all the way to Reaganism since the 90’s that they dissolved in 2011 and their archives were added to the Clinton Foundation?

IMO, Clintonites and neoliberals were even more nefarious since they successfuly pretended to be leftists while purposely pushing the Democratic Party rightward to what we see today. Coupled with regulatory capture in the form of Citizens United, they now have a virtually-impenetrable corporatist stronghold in the US.

Further reading: https://www.salon.com/2016/04/30/clintonism_screwed_the_democrats_how_bill_hillary_and_the_democratic_leadership_council_gutted_progressivism/

Yup. The DNC should use that in an honest rebranding.

Equal rights for all (except the poor).