HNHacker News
TopNewBestAskShowJobs

heresie-dabord

4,572 karma · joined May 20, 2019

———— Once upon a time, it was fashionable in programming discourse for people to parade their skillful opinions about things they never really understood. And it still is. ———— There comes an uncanny point where a Corporation's beleaguered flailing is indistinguishable from Actualised General Incompetence. ———— UNIX fortune: "Computer Science can be thought of as the post-Turing decline in formal methods." ————
submissionscomments
heresie-dabord··on Anthropic IPO
> There is a lot of value from LLMs

Asking sincerely... apart from FOMO subscription revenue, what is the actual money-making proposition?

heresie-dabord··on Why Writing Correct Software Is Hard
As a witty person once said, good software is expensive to make... and so is bad software.

Cheers!

heresie-dabord··on Why Writing Correct Software Is Hard
> not to say there isn't value in formal correctness, but the important part is identifying when it's useful and when its more trouble than its worth...

We ought to be able to build high-confidence software.

Unless you have bamboozled your customers completely, they should expect a product that you provide to be a) fit for purpose, b) fit for use, and c) secure.

We know of course that very little commercial software is (d) proven correct. Software Correctness (d) is hard, no question.

Just getting to ONE of { a, b, c } appears to be a bridge too far. But that's where professional rigour and diligence is required.

btw good article, u/turbobutton.

heresie-dabord··on 93% of paint splatters are valid Perl programs (2019)
From the paper:

"An interesting thing about these images is that they’re not particularly Perl-specific; for example, the program shown in Figure −3 also evaluates as the number −3 in Python (and presumably several other programming languages.)"

We live in the age of Python, which I use every day. But I still also use Perl when it's the better tool for the job. And it often is!

heresie-dabord··on Tim Peters has died
mcdonc wrote:

"[Tim] took up Python on a lark in its very early days, becoming something like Python’s second real user after Guido.

Guido came to rely on Tim heavily. Tim will demur about this, but as far as I can tell, Tim and Guido were largely partners in the design evolution of very early Python, and before most important features made it in to Python, you could be sure that they had been examined from every angle, shaken, stirred, and thunk about very hard by both of them.

Tim often played the role of gatekeeper and polisher. You have Tim to thank at least partially if you were a refugee from Java or Microsoft languages, which made excuses for their sprawling verbosity, complexity, and poor readability. Python, at the time, made none of those and had none of that (it now does). Tim was crucial in ensuring it stayed that way during his most active years.

[...]

Tim was a Director of the Python Software Foundation from 2001 to 2014, bringing Python across an uncanny valley from a time where it was “interesting but ignorable” to “the planet’s default language” along with a cast of other incredible people. If you use Python, it’s not in small part due to Tim."

heresie-dabord··on Tim Peters has died
> slowly being piped to /dev/random.

Some are gently deallocated. Others are garbage-collected.

heresie-dabord··on I asked every TV manufacturer 17 questions about how they spy on you
> which TVs do the $EvilsThingForMoney

That the Television Business transformed from a) an advertising conduit to b) a propaganda conduit to c) a live-surveillance technology tells you all you need to know.

Whether the Corporations answer your questions or not, their claims of doing The Right Thing are untrustworthy.

heresie-dabord··on Fable 5.2 one-shotted my nephew's dream game
> The world has changed and we can never go back.

This is always true.

heresie-dabord··on I'm not convinced the AI bubble exists
> We need a temporary moratorium on the words

There is no such thing as a moratorium on words. It's another phrase that people like to repeat (a meme) until the excitement or prestige of using it has waned.

That said, i agree with you that word-salad investobabble is a sign that the bubble has put many people in a raving fever. This current bubble manifests like the cryptocurrency mania.

heresie-dabord··on Running a law firm on Free software
She is comfortable typing in MS Word and she uses a browser (assumed). Start her using a Wiki with Markdown.

https://en.wikipedia.org/wiki/Wiki_software

The browser gives viewing, screenshotting, and PDF downloading/viewing for free.

heresie-dabord··on Tesla to wind down Cybertruck production
Full disclosure: I have been driving an EV for almost a decade. I use an e-bike too. Electric commuting is brilliant. I'm glad for the sake of air quality that EVs and e-bikes exist and are increasingly popular.

That said — let's be realistic and dispassionate.

> There needs to be some creative destruction, ruthless culling of the least efficient manufacturers, so that their best workers can go to the better manufacturers, if the US is ever going to be a top tier car manufacturer again.

Inflicting job losses at that scale is not going to happen. US protectionism (a euphemism for ahem current federal initiatives) is alive and well. The legacy US auto makers have a huge domestic market and their survival is a primary motive for the US trade/tariff war. (Does the thoroughly corrupt administration face any comeuppance? That is a different discussion.)

The lack of EVs has not been a pivotal concern of voters. US voters want cheap fuel. Affordability was a fundamental concern for voters. The mid-term election result is not about loftier environmental goals.

> Their bad leadership and overall inefficiency

Yes, "an American vehicle" is known for grotesque size and high cost of maintenance. And now after two years of a despicable administration, "an American vehicle" is also a Trump-Miller-Hegseth-Bessent-Lutnick-Musk-*.arsehole symbol.

Even so, Tesla sales success is real, domestic and abroad. People who can afford them buy them.

heresie-dabord··on A wave of plastic-free coffee pods and machines
Diterpines affect LDL cholesterol

https://www.medicalnewstoday.com/articles/coffee-and-cholest...

heresie-dabord··on A thousand fewer paths to root
> How did we get to the point where there are a thousand privilege escalation exploits in the kernel? [...] Is it an underlying flaw in the security model or language implementation?

Did you ever actually think that any OS built with an insecure language and insecure tool chain suddenly, casually and accidentally, spontaneously became Secure one day like some kind of Security Singularity?

Threat actors have been mining software flaws and exploiting software for decades. There were careers and businesses built on this mess long before there was a category of software called AI. And LLM products have security problems like any other software.

heresie-dabord··on The U.S. Census Bureau and "Super Intelligence"
Dear Leader has manifested consistent Super Unintelligence.
heresie-dabord··on Ask HN: Which TV do you recommend for privacy?
TV manufacturers are not just creepy on privacy. They are outright stalkers.

The whole TV medium was fully and expertly enshittified by advertising decades ago.

The next level is today: Now you buy a giant plastic browser that includes a fully enshittified surveillance OS.

There is even a spec (as yet unused...) for Ethernet over HDMI (HEC , HDMI 1.4). Silicon Image (founder of HDMI) and Broadcom demonstrated the capability to TV manufacturers behind closed doors (says $searchEngine).

Whatever screen you use to watch movies, you will inevitably find your captain's log will contain more joy for the crew by discovering Jellyfin and sailing into deeper waters.

heresie-dabord··on Malware uses LLMs to rank victims by how much they're worth
> Makes me want to have like 5 separate computers

This is a good, practical strategy. You definitely want to at least have a separate computer for finances and taxes.

heresie-dabord··on Through Captain Jean-Luc Picard, Patrick Stewart taught us the measure of a man
> proof that he, himself is conscious.

Unstated (or very understated) in the scene is the fact that a human demonstrably acts and functions within the social context, having a constant awareness of risk and accountability ("skin in the game").

A human of mature age is entrusted with responsibilities and accountability for consequences. Insofar as responsibility for consequences is borne, a human may be considered responsibly conscious in behaviour. (Criminal behaviour is defective.)

A technology may also someday be entrusted with responsibilities and accountability for consequences. But there is as yet no such technology.

heresie-dabord··on Intel plunges 25%, triggers global chip rout on bleak outlook
> Everyone wants a simple narrative that explains the drop. Sometimes there isn't one.

And sometimes it is a simple, ominous two-syllable word that contains three Bs.

heresie-dabord··on Intel plunges 25%, triggers global chip rout on bleak outlook
> People are barely blinking

I speak only for myself, of course — but my eyes are watering.

heresie-dabord··on Through Captain Jean-Luc Picard, Patrick Stewart taught us the measure of a man
It is ranked 6th in this episode list:

https://www.imdb.com/list/ls068352540/

heresie-dabord··on Tell HN: Scribd Breached
"Your security is important to us.

Our saying so is in no way a pledge that we are good at security or diligent about anything but billing you."

heresie-dabord··on Through Captain Jean-Luc Picard, Patrick Stewart taught us the measure of a man
A fiction yes, because we see in reality that role models and competent leaders are hard to find.
heresie-dabord··on Through Captain Jean-Luc Picard, Patrick Stewart taught us the measure of a man
"You have a chance to make a law. Make it a good one."

This defines the struggle of human civilization.

heresie-dabord··on Northflank Breached
It's Obscurity Turtles all the way down.
heresie-dabord··on StackOverflow now gets fewer than 1000 questions a month
> there is an amazing opportunity on the internet for proper community

But how will you design it to survive in this age of malicious actors and persona farms?

heresie-dabord··on Microsoft offers mass buyouts for roughly a quarter of its workforce
"Shareholders will love it! Our company has never told staff to get stuffed better!"
heresie-dabord··on Microsoft offers mass buyouts for roughly a quarter of its workforce
> The FAGMAN companies

For sardonic reasons, I prefer "MANNA".

It seems heavenly until the wailing and gnashing of teeth begin.

heresie-dabord··on Security advisory: Critical remote code execution vulnerabilities, update now
> the industry will learn something

This is something of a fallacy. "The Industry" cannot learn.

But laws and regulations can require better security.

As in the history of seatbelts in vehicles, tech tool stacks are insecure by design and no one is ever really held accountable... until the cost is deemed too high.

It's evident that we have not reached that limit yet.

heresie-dabord··on 90% of US working hours are spent on tasks not covered well by AI benchmarks
> The big secret is

... that a team is much more than just its output.

You might be able to replicate an output at a lower cost. You might even be able to do it faster. But without a team of people, you won't be able to maintain commitment, culture, and domain expertise.

heresie-dabord··on European Alternatives
> we elected him, twice.

Those watching can see that the oligarchs, the economic platform, and the propaganda delivery system are in position to groom the selected voter base for the long term.

The opposition to this open corruption and mayhem (gerrymandering, voter bribery) is only leading nationally by ... 8 points.

Page 1 of 34Next →