HNHacker News
TopNewBestAskShowJobs

tightbookkeeper

98 karma · joined September 26, 2024

submissionscomments
tightbookkeeper··on HardenedBSD Feature Comparison with OpenBSD, FreeBSD, NetBSD
> Not requiring the cooperation of developers to opt-in, for starters.

This is a good point. My initial thought is that the developers would know best what features their application needs? Furthermore, it's work that every user benefits from, rather than requiring an IT professional to reconfigure for each use case.

What do you see as the downsides?

tightbookkeeper··on Pushing the frontiers of audio generation
I love the "white = generic = bland" meme too. All the science and literature before 1930 it was trained on is also likely "generic white guys".
tightbookkeeper··on Everyone is wrong about that Slack flowchart
how did they ship shrink wrapped software (including operating systems) that didn't even have the option for updating after the fact?
tightbookkeeper··on Care Doesn't Scale
I'm assuming this is a question in good faith.

Economists argue markets are efficient because of the incentive structure they place on actors. There is a plethora of writing about government inefficiencies due to not having these. It the most distilled form: they are insulated from both positive and negative consequences of behaving efficiently.

Due to this, government entities have a unique set of traits, but efficiency tends to not be one of them. But who cares? Efficiency isn't always the goal. When it comes to making laws, efficiency isn't the goal, long term values are more important.

The post office was created with full knowledge that it would be a net loss, but it was felt to be institutionally important to have universal access to communication across the nation. Now that this is an antiquated method of communication, and there is a market for the remaining services, it is mostly an inefficient make-work program for a well organized voting block.

Now you I can imagine all the distopian problems of a private military, but I'm going to guess efficiency is not one of those (The US Gov believe Blackwater saves them money, btw).

tightbookkeeper··on Eighty Years of the Finite Element Method (2022)
> What is your actual assertion?

That the original comment I replied to is false: "Good luck designing crash resilient structures without simulating it on FEM based software."

Now what's my opinion? FEM raises the quality floor of engineering output overall, and more rarely the ceiling. But, excessive reliance on computer simulation often incentivizes complex, fragile, and expensive designs.

> passenger aircraft safety are leagues better today

Yep, but that's just restating the pros. Local iteration and testing.

> You're replying to a practicing mechanical engineer

Oh drpossum and I are getting to know each other.

I agree with his main point. It's an essential tool for combatting certifications and reviews in the world of increasing regulatory and policy based governance.

tightbookkeeper··on If you need the money, don't take the job
Another aspect that critics miss is that the company wants the money spent. If you only spend 50% of the budget, then you aren't "investing" the allocated capital in the project. Maybe you could have added another feature, etc.

Yes, I agree that incentives can get strange, but that's the mindset to understand from executives.

tightbookkeeper··on If you need the money, don't take the job
> being a contractor offers some distance from the internal politics.

This is the best advantage. Being an "outsider" in the sense of having a special role (age, status, etc) can be a huge aid in avoiding bullshit.

tightbookkeeper··on Eighty Years of the Finite Element Method (2022)
> It is also much easier to convince reviewers you've done your job correctly with them.

In other words, the work that doesn't change the underlying reality of the product?

> We did "just fine" without cars for the majority of humanity

We went to the moon, invented aircraft, bridges, skyscrapers, etc, all without FEM. So that's why this is a bad comparison.

> If you asked a mechanical engineer to ignore those tools in their job they'd (rightly) throw a fit.

Of course. That's what they are accustomed to. 80/20 paper techniques that were replaced by SW were forgotten.

When tests are cheap, you make a lot of them. When they are expensive, you do a few and maximize the information you learn from them.

I'm not arguing FEM doesn't provide net benefit to the industry.

tightbookkeeper··on Unix core utilities implemented in Haskell
Awesome work!

I noticed that they are about as long and complex as the C versions. In early C++/STL days part of the pitch was reimplementing core utils in a much more concise way. In wonder if the is a result of focusing on that application, or a coincidence of design decisions.

tightbookkeeper··on Eighty Years of the Finite Element Method (2022)
How can you assert so confidently you know the cause and effect?

Certainly computers allow more complexity, so there is interplay between what it enables and what’s driven by good engineering.

tightbookkeeper··on Eighty Years of the Finite Element Method (2022)
They did this just fine until without such tools for the majority of innovation in the last century.
tightbookkeeper··on What is the point of an online conference?
Exactly. The customer being served is the companies that made money on in-person conferences.
tightbookkeeper··on Steam games will need to disclose kernel-level anti-cheat on store pages
Wish you and your project well!
tightbookkeeper··on Steam games will need to disclose kernel-level anti-cheat on store pages
Poor networking -> need for anti-cheat

Does not mean:

Using anti-cheat -> poor networking

Ops comment is absolutely true. Engineers in games who are good have high incentive to 5x their salary and lifestyle by doing anything else.

This was not true in 1997. The industry also just attracts a different crowd, more adjacent to film and entertainment than it used to.

tightbookkeeper··on Steam games will need to disclose kernel-level anti-cheat on store pages
Cheating is a human problem. The technology just makes us feel in control.

I will not be playing games that make me feel like a prisoner. The experience taking standardized tests is enough for one life.

tightbookkeeper··on Care Doesn't Scale
Decorative was my word to summarize your “catalog if 30 styles of nails”

> but this level of dismissiveness is a little difficult to reckon with

Let me summarize the key economic points that I feel have been dismissed: - any kind of nail you want, you can buy right now. - You can also buy nails of higher quality than anything that’s existed in preindustrial time - popularity of which kind of nail is driven by demand

tightbookkeeper··on When are two proofs essentially the same? (2007)
I only noticed because I was perplexed by the comment.

If I’m hitting this issue at random, others are hitting it too.

tightbookkeeper··on When are two proofs essentially the same? (2007)
> same input same output

He doesn’t say this.

> NOT the same as the "isomorphic equivalence" which is more difficult, strict, and abstract.

This is what the exercise is about. So I would recommend reading before making assumptions.

Of course there are more than one definition of equivalence and isomorphism, but the one explored there is just as interesting as the comment I’m replying to.

drpossum you stop with these gotcha posts? This is our 3rd encounter.

tightbookkeeper··on When are two proofs essentially the same? (2007)
Art of computer programming volume 1. It’s an exercise with a solution at the end.
tightbookkeeper··on When are two proofs essentially the same? (2007)
No. Because the whole point of proof from a human perspective is to express understanding of the question, not merely answer it.
tightbookkeeper··on When are two proofs essentially the same? (2007)
Knuth answers this question in chapter 0.
tightbookkeeper··on Civet: A Superset of TypeScript
This sounds a bit like all design is just what you are accustomed to, which seems wrong.
tightbookkeeper··on Care Doesn't Scale
> by definition

This an empirical argument about nails. Are you just saying that to emphasize your confidence?

> cut nails

I just googled and there are literally dozens of brands of this product.

Even so this preference appears to be a niche opinion of artisan woodworkers, not a failure mode of furniture and construction.

> The switch to wire was a detail of the manufacturing processes, not of consumer demand

Yes it is. They wanted to pay less for nails and the cheaper manufacturing served that need. If it mattered they would pay more.

> but purely because it's a design that scales for manufacture.

In other words, people like to reminisce about hand made goods. But when it comes to paying for them, they usually prefer the ones that work well at a fraction of the cost.

You can’t claim that intricate items with fine details are not manufacturable at scale (see the iPhone?). So your cause and effect are backwards. Manufacturing did not dictate old methods became less prevelant. Consumers did.

And once again, your claim that higher quality ones don’t exist is wrong too. I guarantee we can find a supplier of many varieties of decorative nails. They are just more expensive.

tightbookkeeper··on Care Doesn't Scale
Are you suggesting there is no provider of high quality nails at industrial scale?

That’s ridiculous. Many people just prefer to pay for cheap nails because they are good enough for the application, and that’s a good thing because this option did not previously exist. But the high end still exists and is higher quality than ever.

Capitalism has problems, but providing low complexity commodity improvements at scale and quality is not one of them.

tightbookkeeper··on Care Doesn't Scale
> The state is ideally suited to manufacture public goods, more efficiently

The government does not provide a more efficient military or education. It compels individuals to pay for something which is in the collective good, but not their personal interest.

tightbookkeeper··on Care Doesn't Scale
My question is why can’t we pay someone to get that 2 years of medical education to help with broken bones and stitches.

In other words, there should be less expensive and less sophisticated care providers for less complex needs.

Only in the US is there such a cartel on medical care.

tightbookkeeper··on Care Doesn't Scale
There are more kinds of compensation than money
tightbookkeeper··on Jeff Bezos killed Washington Post endorsement of Kamala Harris
Are you advocating for aristocracy? Based?
tightbookkeeper··on Jeff Bezos killed Washington Post endorsement of Kamala Harris
I agree with the sentiment, this is just how people work. We aren’t constructing frameworks from first principles, we hear ideas from peers and filter them through our experience. Journalists just insert themselves in that process, using local ethics and archetypes against their audience.
tightbookkeeper··on LibNSFB – Framebuffer (bitmap on screen) abstraction library, written in C
Yes I mentioned that a few posts above;

> Do you prove that every line of arithmetic in your program will not overflow

My point is the analysis takes time, training, and is easy to regress. In practice programs operate within a reasonable N and if you push the limits they will fail. Or the devs wait for a bug report, and then set a pessimistic limit on user input.

Also undefined != crash. Your compiler has options for what to do when signed overflow is detected.

← PreviousPage 3 of 9Next →