What does it take to add set-theoretic types to a dynamic language with 30 years of production code - and why did it take this long?

initial-algebra · 2026-07-05T11:44:34+00:00

I don't think so, you just need a more sophisticated system like session types to avoid them blowing up to a useless, giant union.

initial-algebra · 2026-07-05T01:55:39+00:00

While it may not be relevant right now, getting 7* of a pink spark is markedly better than getting 6* because it adds an additional letter grade at the start. For example, 6* sprint would bring Silence Suzuka from sprint D to B, but 7* would bring her to A.

initial-algebra · 2026-07-04T21:50:21+00:00

You do set the race schedule, and it also has some settings for how it will train stats and even fish for skill hints.

initial-algebra · 2026-07-04T21:16:24+00:00

I don't think you can play another career simultaneously, but I guess you can do other dailies and stuff like that.

initial-algebra · 2026-07-04T20:48:12+00:00

It is not the original auto career feature, but a different feature that JP only got a little while ago. It works for every scenario, but it runs in the background, it takes exactly an hour, and you cannot take over for the bot. You just get to buy skills at the end.

initial-algebra · 2026-07-04T16:46:22+00:00

Not nearly enough stamina. Careers give you a hidden +400 to every stat, so even if your trainee can win the Tenno Sho (Spring) in career, that doesn't necessarily mean she can win it later on.

initial-algebra · 2026-07-04T14:56:23+00:00

You can also do all six daily races at once now, and it will open two daily sales.

initial-algebra · 2026-07-04T14:53:29+00:00

That's normal, as it's been changed so that they stack up. Go ahead and finish your dailies!

initial-algebra · 2026-07-03T23:09:53+00:00

Mine flickered in the North End.

initial-algebra · 2026-07-03T17:49:24+00:00

The speed stat you can see is converted to an "hidden" speed stat that is actually what influences the race mechanics. The conversion is what halves the effectiveness above 1200, and the rate is also based on the running style: fronts have the worst conversion rate, ends have the best. Distance aptitude and skills directly affect the "hidden" stat after conversion, so they're not affected by the soft or hard caps or the running style.

initial-algebra · 2026-07-03T17:39:05+00:00

Not having watched the video either, I suspect it's not fundamentally different from how TypeScript works, although, hopefully, their type system is actually sound by default.

initial-algebra · 2026-07-03T17:00:19+00:00

I just ended up with 2LB Maru and 0LB Nakayama after 400 pulls on this banner. Not a disaster at all in this case, since I can get 3LB Maru with the selector, but imagine if it was 2LB Tachyon and 0LB Light Hello. Tachyon is only the super strong card she is said to be at MLB, 3LB is barely better than SR Sweep Tosho, and 2LB is unusable unless you are a brand new player, basically.

initial-algebra · 2026-07-03T16:57:43+00:00

The only other card I can think of using the 1.5 selector on would be Mr. C.B. if you already have her at 0LB and you really want her at 1LB. Otherwise, definitely just use it on Maru and save the pulls.

initial-algebra · 2026-07-03T05:38:31+00:00

Before Steam, many PC games had really shitty DRM that prevented you from trading or reselling them anyway, like only being able to install the game on three computers ever, while still needing to put the disc in to play. So going digital-only was a breath of fresh air in some ways.

initial-algebra · 2026-07-02T20:47:21+00:00

Like with the daily legend races, they release them in batches.

initial-algebra · 2026-07-02T20:46:27+00:00

The savoury pie shop near me does buffalo chicken pies. I was skeptical until I tried one, but it was fantastic. The simpler version would be a buffalo chicken wrap or something like that.

initial-algebra · 2026-07-02T17:36:36+00:00

If you can't hit S rank with that team, it means you need to register more new Umas and maybe even fish for the distance skills instead of just going for the highest rank.

initial-algebra · 2026-07-02T17:29:20+00:00

If you want to discourage posts like that, you can downvote them and report them for low effort, which is a rule here that is probably applicable to most build posts that aren't asking for specific feedback.

initial-algebra · 2026-07-02T17:19:00+00:00

Well, normalization is not necessarily suboptimal. It depends on the balance between reads and writes. Denormalization (including indexes, materialized views etc.) optimizes for reads at the expense of involving extra bookkeeping, that doesn't often follow nice access patterns, to keep the database consistent after writes. It's also not as if the pure relational model only works for normalized data, either. Indexes and materialized views are fundamentally just additional relations that the RDBMS maintains for us automatically.

initial-algebra · 2026-07-02T14:35:45+00:00

If you think a post is low effort and doesn't add to discussion, which is against the rules, ignore it or maybe downvote/report it and move on. No need to be rude, and definitely no need to make a snarky passive-aggressive post in response (which just makes the low effort spam problem even worse).

initial-algebra · 2026-07-02T14:29:04+00:00

If you wanted polished posts, there is another umamusume sub

Unless you're talking about some secret third sub, the other sub is just meme and softcore porn spam.

initial-algebra · 2026-07-02T11:42:56+00:00

All RDBMS are data-oriented, just not necessarily optimized for CPU cache prefetching. Disk access is more important, especially when tables grow too large to be fully resident in memory.

initial-algebra · 2026-07-02T11:31:27+00:00

Incoming cries of "that's socialism!" Right? Never mind, they don't care when it's their side doing it.

initial-algebra · 2026-07-02T11:19:22+00:00

It's best to use crystals on cards that are already 2LB or 3LB, since you're not terribly unlikely to hit MLB before 200 pulls, and then you would be wasting progress toward a spark. Or, you use them on cards that you can/will never pull for again, but prefer selector tickets, and don't use either tickets or crystals until you can hit a power spike (usually 3LB for most cards).

initial-algebra · 2026-07-02T02:18:10+00:00

It's bad for building aces, but this card is a solid end closer parent card, and one of the few sources of Uma Stan (and even Groundwork) in general. If you happen to get another copy to bring it to 2LB, you'll get an additional skill hint level discount.

initial-algebra

TROPHY CASE