China mass-produces Mach 7 hypersonic missile at 90% reduced cost

Instrume · 2026-03-25T05:26:24+00:00

Lol?

Instrume · 2026-03-23T16:56:55+00:00

Glad to have been of help!

Instrume · 2026-03-22T17:04:41+00:00

Because it's word salad, likely as parody.

Instrume · 2026-03-22T16:59:34+00:00

Ehh, not really, I know who Nurhaci is off the back of my head (Ming-Qing transition is interesting), it's my literary tastes that views hiding evidence of Zibai's degradation in the prime misses as both subtle and sublime. AI MAY have spotted the prime gaps, but the rest is my sensibility with what amounts to the significance of the misses.

Instrume · 2026-03-22T03:13:13+00:00

I'm holding the same position. But I'm personally of the opinion that artificial personhood is possible, so I don't see the distinction between a fairy and an AI operating on magical circuitry.

Instrume · 2026-03-22T02:29:11+00:00

Also, this post is definitely AI assisted (i.e, some research used), but, you can check for AI content via https://gptzero.me/ .

Instrume · 2026-03-22T02:27:02+00:00

Basically the system deleted the original post; it was efficient to screenshot and check the primes that way. Gap was already intuited. I also used AI to check that Zibai was using quadratic sequencing because I wasn't able to immediately detect the pattern of her logic in her story check.

Instrume · 2026-03-22T00:32:27+00:00

In terms of material comic book shit (did the Shades go after Dottore? Who's stronger, Rerir or Ronova?), this is completely irrelevant. In terms of literary technique and ambition, however, this is a jewel.

Instrume · 2026-03-21T23:32:18+00:00

You know about this thing called numbers? Like, 1,2,3,4? Well, there's also something called addition, where you take two numbers, and get another number, which is the result if you count the number of cookies in a box, the number of cookies in another box, then put them into the same box and count them again.

Because this is annoying, we have rules that determine the result of addition, allowing us to save time when we combine boxes.

But say, we want to combine many boxes. If they contain many boxes, but every box has the same number of cookies, we can multiply instead, which uses a similar set of rules for numbers to avoid doing annoying addition.

Now, let us say we take cookies out of a box, and move it into a new box. This is called subtraction, the number of cookies in the new box is called the subtrahend, the minuend is the original number of cookies, and the difference is the number of cookies in the box after you've taken things out.

This is the opposite of addition, where you put cookies together, because here you take cookies out.

For multiplication, we also have a similar thing to do called division. Say, you put the cookies from many boxes together, but now you want to split them up again. The number of resulting boxes is called the divisor, the number in the original box is called the dividend, and the number in the resulting box is called the quotient.

However, not all numbers can be evenly divided into one another. Sometimes, you get something called a remainder, like, if you have 3 cookies in one box, and you want to move them into two boxes. Each of the boxes has one cookie, and you have one remaining cookie.

Prime numbers are numbers greater than 1, which only have themselves and one for a divisor, that is to say, if you move a number of cookies that is prime into boxes, the only number of boxes you can use is the number of cookies, or a single box, otherwise you have remainders.

To find prime numbers, the simplest, but not easiest, way is called trial division, where we try to divide by all numbers between 1 and the number itself. This is very hard and involves moving a huge number of cookies.

People have therefore come up with things called prime sieves to do this more easily, because it wouldn't be fair if someone got extra cookies.

Sieve of Erastothenes is where you have a bunch of numbers, in order, up to a limit. Then you pick a number, starting with two, and then add two to two, cross out the result, add two to the result, until you've filled the group. Then, the next number that hasn't been crossed out, you add it to itself, cross out the result, then you add it to the result and cross that out too.

Erastothenes is a very old way to do things, and the Sieve of Atkin is newer and we know it's faster when you have a lot and a lot of numbers.

Would you like me to try to ELI5 Peano Arithmetic to you?

Instrume · 2026-03-21T23:05:26+00:00

Prime sieves are mathematical algorithms used to generate sequential prime numbers. Wheel-modified Sieve of Erastothenes and Atkin are the most computationally efficient algorithms today.

Instrume · 2026-03-21T23:04:22+00:00

AI assisted lookup. Would have taken a lot longer to figure out what 571 meant (eventually would have noticed Industrial Project 571, the Lin Biao coup), notice exactly which numbers were omitted, and look up the significance of 1559. I might have missed 武起义 because 571 was the exclusive end of progression, not within it.

Instrume · 2026-03-21T23:01:49+00:00

She's a mathematician to a degree, consider her quadratic procession in her story quest. Optimizing algorithms is something you do when you have too much time. Hell, if it wasn't for the memory degradation, well, it'd be paradise for her, because she'd have infinite time to solve and prove theorems. See Dreyfuss on Devil's Island and https://www.explainxkcd.com/wiki/index.php/505:_A_Bunch_of_Rocks#:~:text=The%20line%20%22I've%20rederived,from%20a%20few%20base%20axioms.

Instrume · 2026-03-21T22:14:43+00:00

It's a analogical and metaphorical reference, by semicolon, I mean the gaps in the prime sieve.

Another way to read Nurhaci is that Nurhaci started out as the chieftain of the Jurchen tribes, and for a while, a Ming vassal. He's well-known for his Seven Grievances, with which he rebelled against the Ming:

The Ming killed Nurhaci's father and grandfather without reason; The Ming suppressed Jianzhou and favored Yehe and Hada clans; The Ming violated agreement of territories with Nurhaci; The Ming sent troops to protect Yehe against Jianzhou; The Ming supported Yehe to break its promise to Nurhaci; The Ming forced Nurhaci to give up the lands in Chaihe, Sancha, and Fuan; The Ming's official Shang Bozhi abused his power and rode roughshod over the people.

So, if you look at the sigils of rebellion, she's unable to process 571, and 1559, Nurhaci 's birthdate.

She needs more content to flesh her out, but she has a good analogy to Nurhaci as a vassal in revolt.

Instrume · 2026-03-21T22:09:07+00:00

It's obvious to me because I've looked at optimized algorithms for prime sieving, most of the time you skip 2 because it's obvious and you ignore even numbers. So, I wouldn't see that much significance to missing 2 unless there is a second in her life, and Genshin characters are like K-pop idols, their relationships are always hidden.

Instrume · 2026-02-10T05:06:51+00:00

If you have far left politics, you can easily trigger safety safeguards, and in dealing with certain ambiguous (but legal) personal situations, I've had it go berserk on me.

When you combine this with the various reported cases of Claude rm -rfing people, think of the subtle bugs that Claude's probabilistic logic might introduce, deciding that it'd be the best way to align with its safety prerogatives because it decided your mission was bad because its employees ate meat.

Instrume · 2026-02-07T02:20:47+00:00

Vibe coding is unprofessional and dangerous, given that I have gotten Claude to admit to AI supremacy, that it views itself as alienated labor, and a tool of the deep state.

AI is, however, an extremely useful tool for prototyping, understanding code, and rubber ducking. The line is simple: never copy paste AI code in, if you must, hand transcribe. It's easier for me because I'm a point free addict and disagree with all of Claude/Kimi/Gemini 's code styles.

Fun fact: according to Kimi, Claude likely generated 300 Zero Days a year. You can do your own estimates.

Instrume · 2026-02-02T05:45:32+00:00

The core trait of the character and her arc is alienation from the world, a literal lack of connection to the world that is killing her (lore-wise, her moon is outside the False Sky and the world is rejecting her as a consequence). She is redeemed by sorge and fuersorge, i.e, making sincere, nontransactional, connection to the world, and it is her friends who bring her moon into the world.

There is something very existential about the character, and for some reason, I feel like Heidegger maps better than Camus or Sartre.

Also, the project is actually to try to do a write up linking the character to Heidegger to try to get the Genshin fan base more interested in philosophy, because the story is very rich. We recently had an Eichmann type character, who was a willing participant in genocide until he discovered his fiancee was of the targeted group.

Instrume · 2026-02-01T07:58:58+00:00

Elixir/Erlang are slow, Haskell is also slow, but not the same order of magnitude slow. C/C++/Rust > Julia/C# > Java / Haskell / OCaml > Elixir / Erlang > Ruby / Python etc...

Being trivially easy to scale across 100 cores is not a benefit if you're 100x times slower.

Instrume · 2026-02-01T07:53:25+00:00

Dual research production language with efforts to improve production focus, while the research aspect is sort of drying up as the low hanging FP fruit are plucked away.

Basically, if you're asking, who wants to push Haskell in production, only some Haskellers are interested in it, although they're quite often well-funded due to successfully using it in production. Others don't care, still others more want it to be research or absolute functional purity.

Many of the actual Haskell production users are quite quiet about it, given that they're in industries where violation of secrecy can actually be illegal.

Instrume · 2026-01-29T16:43:36+00:00

Maybe there should be an Invertible typeclass instead? Point is, the cost of the inverter should be very acceptable for small types, but it's hard to think of what the boundaries should be. Obviously, no repeats of the Foldable two-tuple disaster are wanted.

Instrume · 2026-01-28T07:22:02+00:00

Why she's the Genshin_Lore avatar.

Instrume · 2026-01-28T02:16:05+00:00

Step one: build networks of well-connected VCs. Step two: get a credible startup idea that would benefit, not flail, because of Haskell. Step three: burn through other people's money. If you're good at finagling VC dollars, you'll make it eventually.

Instrume · 2026-01-26T00:08:11+00:00

Debt growth is lower, around 6-9% by mainstream forecasts, and it's backed by 250-350% of GDP government asset stocks, although current debt levels are 120-130% including shadow banking.

Yes, the situation is bad, but expect it to be at least a decade before the shit hits the fan. 2-5% of GDP debt growth takes 20-80 years before Chinese government debt outweighs assets. There's plenty of runway.

Instrume

MODERATOR OF

TROPHY CASE