mentalgear

> Trump doesn't like just get legal annoyance.

Until now you mean ... the windows are approaching fast. Let's not forget that his henchmen are already killing unarmed civilians in the streets.

Guess that's their final destination if Trumpo losses in November and will be forced with the rest of the coward-criminals to face their crimes.

PS: I hear Thiel has already bought a large estate in Argentina (yeah, where those WW2 war-criminals also escaped to) in case their fascist government wet-dream doesn't come to be.

Same "I don't want to go to prison" campaign-reason of Trump and Netanyahu. Both have running court trials that would put them in jail if they don't hold political offices.

BTW: very suspicious downvote activity going on, without real counter-arguments. I guess Netanyahu private-spy-industry bot machinery is again fully deployed at HN to suppress.

Seems like the current US admin is the only place authoritarian Fascists trying to avoid punishments for their deeds can still escape to ... Hopefully today another certain is-really PM will be coming in as well ... safe place ... until November.

The real issue is it was secure just by human hacking skill cap and not a wide adaptation of Internet early. now with AI everybody just needs compute and can just run their own hacking operation.

Better in many ways: true clean energy like solar and wind are the only sources of power that truly allow individuals, communities and regions to be self-sufficient. That would flatten the distribution of power currently held by a few national or international power/energy providers - that's why it has been so ferociously fought by them via propaganda, lobbying, sabotage the past few decades.

It may sound absurd, but of all movies the 1990s Naked Gun 2 plot was already about fossil/nuclear conspiracy to withhold liberating, independent clean power from the people. Now we are just add an affordance infliction point that it doesn't make any more sense to not deploy it privately.

(and before the nitpickers nudge in, yes of course ideally it would run on open-source free software. But it's a reach goal, one that you never have with nuclear/fossil)

"Working with PR to make us look less like cheating mind leeches".

> Can it be easily moved around?

I would assume you could have a custom support the keys rest on, that itself is split eg in the middle, so you can easily split the whole keyboard and have it stored in a compact way (trading length for depth).

Agreed, I also refuse to support the fascists that keep their users in the network prison. Actual Interop requirements would free the users and ground their platforms pretty fast to the ground.

Exactly! When it comes to liberal movements, it's a 'blue outfit that they were', but when they support authoritarians , it's much closer to their true colors since the way they came into private power and hold it shares the same mindset (unequal distribution of power versus more equal flat distribution).

Yes, I think we actually agree, and maybe I should have been clearer. Of course industry leaders always try to play nicely, e.g. if liberal/democratic party is in power, they will 'wear their liberal outfit'.

Yet, from a pure intrinsic values perspective, people that are power-seeking are alike in industry and politics, and when they support an authoritarian state/movement instead of a democratic one, it shows their true intentions.

Capital naturally compounds, and financial resources naturally seek political influence, so to combat the root of all evil is simply to cap individual's wealth versus society so they can't rig the game in their favor.

Let's face it: Tech CEOs have aligned with fascists (techno-fascism) because - and that's a general rule throughout history (see pre-WWII industrial titans aligned with Nazi-leaders): Industry leaders of large corporations and authoritarians share the same goal : ultimate control and power over others.

Or the horrifying American Fruit Company (Chiquita now) in South America ?

e/OS uses mircoG to make 98% of those bank apps work, GrapheneOS uses a sandbox for them.

That's why my next phone will be an unlocked Android device (Shiftphone 8), but murena[0] has also other nice devices that are unlocked.

[0]https://murena.com/products/smartphones/

I assume because of the high quantity they try to protect individual's privacy that way. Otherwise going by hand through each email would take years for PII and other links redaction.

There are still some good hackers left. Hopefully this will send in place a party-shutdown procedure, because their voters don't care about already their apparent connections to Putin and Nazis. They have been grown on pure hate and 'protest against the system', and when they are in power, their voters will find out that they are much much more corrupt and uninterested in the public good than anything they claim the current 'establishment' would be. Exact same trajectory as pre WWII.

That's why essential utility or otherwise operator that functions essentially for the common good / people must be in public or public-private hands with strong regulation on what is allowed and what isn't.

A good moment to remind everyone:

Verification: Code does what it says.

Validation: Code does what Specifications say.

Specifications: Were hopefully correctly modeled to the Problem.

In IEEE terms:

> Verification: "Are we building the product right?" > Validation: "Are we building the right product?")

You can write mathematically flawless code that highly efficiently solves the wrong problem.

---

While I think formal verification is the future (essential for cybersecurity), it's not a silver bullet for the other 2 items, which are way more ambiguous. I think however they can all iterate on each other and improve the project overall, but it still depends on competent steering

If you have had experiences with good approaches for verification Validation & Specification framework, do let us know about them.

> Humans put belonging ahead of truth

Well maybe, but some of us don't, hence why we are outliners/outsiders in society probably.

I think the real disaster is the asymmetry in time it takes for large existing systems (inert) to adapt to equally powerful but single-goal (small complexity) attackers. [considering attackers and defenders have equal access to resources to drive the same open-weight models to either defend or attack]

I would argue: if each each part (box) of a system is truly formally verified, it would only expose a set interface (API) that is also formally verified by definition, and all possible interactions are also of a closed set and formally verified.

How hard such closed sets are (or even possible) of course varies by domain and application.

Indeed, and zero-knowledge attribute-based proofs - if done genuinely! - could even by bound to a citizen's id and still be anonymous, which would allow: one person -> one voice and solve bot and disinformation traffic.

But it depends, as much of the solutions to our current problems, that things are solved correctly on the root. In this instance, trustworthy government and transparent processes that guarantee zero-knowledge and free, equally, genuine speech and discussions.

A good start, yet still far from enough - as long as the punishments are not equal to their revenues generating by these illegal methods , big corporations will never stop exploiting society because to them those fines are just 'the cost of doing business'.

Or just upload a screenshot to a link sharing site and post it here

Erasure from the internet (suppression) of free speech and 'unwelcome' perspectives is just going to get wider and more subtle considering the same people/motives that are vested in Social Media are having their sticky fingers now also in "AI" chatbots.

That's why it's paramount that we as somewhat privileged, informed people now chose truly open and distributed platforms (mastodon, etc) instead of keep on posting x and other zucker-SM network links that keep users in their walled zoo.

As big a fan of open software as I am, the combinations of open-weight LLM models that are capable of e2e cyber-penetration (even by actors that might just put in the compute and prompt it: "make me money") and the current mitigations that let those entities, that already hold too much data and power (political, infrastructure, etc), expand to become the eventual gatekeepers of the "open internet", is highly worrisome.

If you have ideas for how we can adjust to this safely and with an eventual more equal distribution of power, please do share.

Just more IPO shilling from the scam-man.

There is really just one way this goes and its upwards to the peak: which means full formal verification programming languages, OS uni-kernels, small TCB and probably verified HW for the most sensitive cases. Everything else will soon be hackable via 'brute compute' because economy of scale and accessibility of open weight models.