HNHacker News
TopNewBestAskShowJobs

mentalgear

4,566 karma · joined October 11, 2023

submissionscomments
mentalgear··on MacBook Pro with PROLED XDR Display and Touch
Steve Jobs on Macbook w/ Touch:

> “We’ve done tons of user testing on this, and it turns out it doesn’t work,” “Touch surfaces don’t want to be vertical. It gives great demo but after a short period of time, you start to fatigue and after an extended period of time, your arm wants to fall off,”

> “It doesn’t work, it’s ergonomically terrible.”

“Back to the Mac” event in 2010.

After the unnecessary iOS "glass", touchbar, and now this USD400 'arm-fatigue feature', and other - made soley for the media-money-shot 'features' - Apple is really just in the 'great demo' business and departs even further 'great product' business.

mentalgear··on Vicious Cycles: Theses on a philosophy of news (2020)
claims as these require sources .
mentalgear··on Survival LLM: AI assistant and emergency library that runs on your own computer
This could be made a lot more practical (and safer) if made searchable via a simple vector search / embedding that can run on any ordinary computer.

The source (data collection) seems the most important feature here worth reusing.

mentalgear··on Brazil's Flavio Bolsonaro headed to US, sources say
There is a gradient of corruption. 'Some' Corruption does not equal = Full on Corruption & Dictatorship goals, which suppresses the opposition and freedom of speech and kills people in broad daylight.

Some corruption you could argue always existed, e.g. military-industrial complex Eisenhower(!) already warned against in his farewell address as President 60 years ago [0].

While that sort of corruption has certainly spread and is the root of what makes people's life miserable, the same forces turn the people's anger around via propaganda and their Social Media CEO henchmen to vote for fascists/authoritarians blaming scapegoats - which, if they come into power, leads to only support even more corruption and degradation. Same trajectory as pre-WW2 - hopefully this time we will make the necessary root-cause adjustments before the world population has to suffer for the greed of a very few.

[0] https://www.archives.gov/milestone-documents/president-dwigh...

mentalgear··on Brazil's Flavio Bolsonaro headed to US, sources say
> 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.

mentalgear··on Brazil's Flavio Bolsonaro headed to US, sources say
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.

mentalgear··on Brazil's Flavio Bolsonaro headed to US, sources say
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.

mentalgear··on Brazil's Flavio Bolsonaro headed to US, sources say
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.
mentalgear··on Software may be getting worse, but it used to be horrible
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.
mentalgear··on Solar power is becoming bigger than nuclear
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)

mentalgear··on Three new discoveries in mathematics, computer science, and physics
"Working with PR to make us look less like cheating mind leeches".
mentalgear··on Show HN: A Truly Modular Keyboard
> 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).

mentalgear··on Root shell on Samsung TV
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.
mentalgear··on Meta Ignores Brazilian Court Order to End Bolsonaro Favoritism
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).
mentalgear··on Meta Ignores Brazilian Court Order to End Bolsonaro Favoritism
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.

mentalgear··on Meta Ignores Brazilian Court Order to End Bolsonaro Favoritism
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.
mentalgear··on Meta Ignores Brazilian Court Order to End Bolsonaro Favoritism
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.
mentalgear··on Danish Government silently drops plan to dump MS Office
Or the horrifying American Fruit Company (Chiquita now) in South America ?
mentalgear··on Now Google says it might use your Gmail and Google Photos data to target ads
e/OS uses mircoG to make 98% of those bank apps work, GrapheneOS uses a sandbox for them.
mentalgear··on Today, we hacked what we'd set out to hack: the iPhone
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/

mentalgear··on Hacker leaks 281 GB of data from Germany's far-right AfD party
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.
mentalgear··on Hacker leaks 281 GB of data from Germany's far-right AfD party
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.
mentalgear··on Investor-owned utilities charge 23% more for electricity than public providers
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.
mentalgear··on LLMs are making formal software verification feasible at a much larger scale
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.

mentalgear··on Every AI model has the same "controversial" take on humans
> Humans put belonging ahead of truth

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

mentalgear··on Cloudflare deploys protections against php2shell vulnerability
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]
mentalgear··on Using Claude to reduce the attack surface of code
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.

mentalgear··on The No Kings Takedown Is Why You Shouldn't Rent Your Megaphone from Zuck
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.

mentalgear··on Meta ordered to pay $25B penalty in New Mexico Cambridge Analytica case
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'.
mentalgear··on SlopCodeBench 10/2026 – Opus 5.5, Astra wins overall, xhigh considered harmful
Or just upload a screenshot to a link sharing site and post it here
Page 1 of 32Next →