Taikonerd

6 ms·

1.
by Taikonerd 6d ago
Do lodges generally attract an older crowd? There's a lodge near me, and I have the impression it's mostly retired-age men.
2.
by Taikonerd 6d ago
I really like this answer. I wish there were a men's group near me.
3.
by Taikonerd 7d ago
Refactoring legacy code seems like something where formal methods could help. "Prove that these 2 subroutines are equivalent, across all inputs" is exactly the kind of thing that they're good at!
4.
by Taikonerd 8d ago
The authors cite this, but just to mention it: this sounds like F*, another proof-oriented language. ( https://fstar-lang.org/ ) F* is in the ML family of languages, so it looks pretty different from C*.
5.
by Taikonerd 9d ago
Always happy to see D2 on here! In my last job, I had to do several architecture diagrams. Learning D2 took maybe 1 day, and saved me much more time than that.
6.
by Taikonerd 12d ago
> Really the main issue [is] ... energy production I know that's what the rhetoric focuses on, but is it the real issue? The people I know personally who are against "data centers" are really just against AI, period. &
7.
by Taikonerd 15d ago
This is like a plot point in the old sci-fi movie Colossus: the Forbin Project. [0] In the movie, America and the Soviet Union have both developed an AI. The two AIs are linked, and they rapidly shift from speaking human languages, to spe
8.
by Taikonerd 15d ago
I find that Claude Code writes very long comments, longer than even a human trying to be helpful would write. I figure that it's basically making notes for itself, when it has to revisit the same code in a fresh session.
9.
by Taikonerd 15d ago
IIUC, Bowling Alone pointed the finger at TV. If you looked at time-use surveys in the 50s, versus when Putnam was writing in the late 90s, it looked like TV watching had eaten much of the time that used to be spent doing IRL social activi
10.
by Taikonerd 17d ago
I wish that weren't such a signal now. What if I really want to use "it's not X, it's Y" in my actual writing?!
11.
by Taikonerd 22d ago
On that note, I'd like to share Fix the News: https://substack.fixthenews.com/ It's a Substack that reports good things happening around the world, divided into sections like "Conservation and Restoration,&qu
12.
by Taikonerd 1mo ago
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 give us. Then we model your COBOL pro
13.
by Taikonerd 2mo ago
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, dramatic spending cuts. And that's not a problem that&#
14.
by Taikonerd 2mo ago
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 keep going!"
15.
by Taikonerd 2mo ago
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.steampowered.com/app/3552140/R
16.
by Taikonerd 2mo ago
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 ever again!"
17.
by Taikonerd 2mo ago
> 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 verification? Then must verify the verificatio
18.
by Taikonerd 2mo ago
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 way?
19.
by Taikonerd 2mo ago
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 you become disabled to the point where you can't wo
20.
by Taikonerd 2mo ago
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.
21.
by Taikonerd 2mo ago
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) * Medicare Advantage in the US (government provides ca
22.
by Taikonerd 2mo ago
> 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 (Vermont, Colorado, and Massachusetts) did recently
23.
by Taikonerd 2mo ago
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 space: individuals purchasing (subsidized) insura
24.
by Taikonerd 2mo ago
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 into a central healthcare fund
25.
by Taikonerd 2mo ago
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 mandate that everyone buy a policy. (If Americans
26.
by Taikonerd 2mo ago
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 that the sole alternative is the NHS. Um, I'm prett
27.
by Taikonerd 2mo ago
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 can get the same capitulation (hopefully) w
28.
by Taikonerd 3mo ago
> 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 idea is: the compiler compiles the program, and
29.
by Taikonerd 3mo ago
> 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: director's commentaries, "making of&q
30.
by Taikonerd 3mo ago
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?

More ›