Viewing profile — Taikonerd

This sounds like what the company Mechanical Orchard offers: https://www.mechanical-orchard.com/ Their pitch is like, "we take your COBOL code, and all the real-world data you can …

Maybe so, but our weakness is that we depend on new debt to finance our government spending. If investors stopped buying that debt, the US government would have to make sudden, dra…

It always gives me an ominous feeling to see these headlines. It's like we're walking out further and further on a frozen lake. "Hey, it's OK, the ice hasn't cracked yet! Let's kee…

So many people are nostalgic for these kind of interest-based stores that there's a whole subgenre of simulation games. For video stores, there's Retro Rewind: https://store.steamp…

The field really needs more popularizers. I mean people or projects who can do "advertising" like, "if you add our linter to your CI/CD pipeline, you'll never have X class of bug e…

> Does formal verification lead to a strange-loop style or "It's verification all the way down" scenario, where you are shifting the correctness from the original code to the verif…

Worker's compensation is similar, and that actually is mandatory for employers to offer in most US states. But IIUC, that's only for injuries that are caused by your job in some wa…

If you read this article and feel worried about your financial situation if you become disabled, you might look into long-term disability insurance (LTD). It's a policy where, if y…

I think that you misread my earlier post -- I'm not endorsing a libertarian approach. I was just saying that the Cato Institute presumably would.

Name a healthcare model that's neither a 100% free-market model, nor a fully-socialized model like the NHS? OK, how about... * Medicare in the US (single-payer, private providers) …

> But I can’t imagine it happening nationwide. Maybe cities can create their own public options, say a flat 3% income tax and you get health insurance. It's interesting: 3 states (…

My point was there are lots of models available, not just 2. My post above wasn't endorsing one in particular. I would say that the ACA is on the free market-ish side of the design…

Yeah, I find it discouraging that "single-payer" and "fully socialized" are treated like synonyms. The "Bismarck model"[0] describes a family of healthcare models where people pay …

I'm not sure which country you're from, but many EU countries do have private health insurance. The Netherlands, for example, has a system of subsidized private insurance, and a ma…

Yeah, the article sort of conflates the two. It's funny that he (accurately) quotes the Cato Institute as being opposed to employer-provided health insurance... and then implies th…

Yeah, people always talk about the China "invading" Taiwan like PLA soldiers are going to be storming the beaches. If I were Xi, I wouldn't do that; I would just blockade them. You…

> Moving theorem proving upstream into compilers, sandboxes, and the browser seems like the future The way I saw this proposed, back in the 2000s: "proof-carrying code."[0] The ide…

> With this news, I have to wonder how much longer bluray will live. I hope that physical media sticks around. DVDs and Blu-rays often include something that digital releases don't…

Does the Mexican residency have to do with the AI stuff that the article mentions? Or just about making your retirement money stretch further? Or something else?

> I’m surprised to not see more commentary on this one. I agree -- this is big news, but the thread only has 21 comments?! When the Trump admin kinda-sorta banned Fable a week ago,…

Dupe of https://news.ycombinator.com/item?id=48526633

> Turning this essay into a song in the style of 2000's Hip Hop? It used to be hard Have you listened to the song he links? It's very convincing. If you were just casually listenin…

Maybe "social capital"? https://en.wikipedia.org/wiki/Social_capital

> The signature declares types, preconditions, postconditions, and effects. The compiler verifies the contract via SMT solver. This reminds me of Dafny: https://dafny.org/ Actually…

I'm very in favor of high-speed rail, in general. But I remember when the price tag had jumped to "only" $100B, and that was already considered a scandal. At some point the state h…