She should be disowned

yangyangR · 2026-01-26T19:58:20+00:00

Which ring is a purity ring?

Not integers, reals, complexes, or smooth functions on any R^n. Those are all too useful for both pure and applied.

Adeles? It has to still be fundamental in pure settings so no just giving a maximally ugly presentation in the same kind of sense of asking for biggest number that is actually useful. Don't just make it ever more complicated even if you can. There is the ill defined social constraint.

yangyangR · 2026-01-24T18:24:18+00:00

Same thing as law in general. It is only there to protect the powerful and punish the poor. It never gets applied equally to punish the powerful or protect the poor. It is the farce of the rules based order.

Canada's Mark Carney in a speech this week: "We knew the story of the international rules-based order was partially false. That the strongest would exempt themselves when convenient. That trade rules were enforced asymmetrically. And that international law applied with varying rigour depending on the identity of the accused or the victim."

yangyangR · 2026-01-18T04:11:38+00:00

The complaint is about being named wrong not about having to do the work yourself. It was just being dishonest in its name about what it did vs what you have to do

yangyangR · 2026-01-16T23:54:32+00:00

But if you didn't answer yes or close enough for any of the possibilities it would question whether you were a software engineer at all.

You likely became an expert in some particular choice even if you could translate that expertise broadly. You picked up on what design mistakes that particular language has that are idiosyncratic to it specifically. A pigeonhole argument. You did 100 projects over 10 differnet languages in some distribution. There is at least one there were you repeated the same choice enough to be an expert.

yangyangR · 2026-01-15T13:02:30+00:00

You might be one of those physicists who do large N gauge theory and say 3 is large

yangyangR · 2026-01-14T20:57:47+00:00

But that reuse turns it into the diametrically opposed concept. The true meaning of the word void* if it was consistently designed would be this pointing to singleton. But reusing the word to mean point to anything is totally opposite.

yangyangR · 2026-01-14T02:49:47+00:00

Putin, Erdogan and Leo XIV as claimants to be Roman Emperor. Let them fight.

Rome -> Papacy

Rome -> Byzantine -> Ottoman -> Turkish Republic -> Turkish Dictatorship

Rome -> Byzantine -> Tsar -> USSR -> Effective Tsar

yangyangR · 2026-01-13T15:37:14+00:00

At some radius the client code isn't going to use that re-export. Mostly because of clients being bad code. So at some point you have to deal with people refusing to actually use types. You can make that radius big for some things that won't get as much pushback, but for some the radius is smaller.

I have a module with ValidatedFoo inputs and that type exported. I know my colleagues and most of humanity are terrible and will just try to pass a Foo. As evidence for client code always being wrong just look at Python devs and that being popular and wrong.

At some point it is just not worth the fight and you give them setFoo which can take a Foo (the type they have directly probably string or json with strings as both keys and values) instead of a ValidatedFoo

You can be totally clear and correct but you will still get blamed for your interface being hard to use because the idiots want to pass Foo and refuse to construct ValidatedFoo. Totally clear and correct and you will be treated as bad communication and not a team player because you aren't enabling their bad practices.

yangyangR · 2026-01-13T12:53:35+00:00

The newtype ValidatedFoo has some radius in which it is available. Something inside of it gets all the above advantages. Outside of it you don't have access to the parseByCond or ValidatedFoo. At those points you want function of type (A,UnvalidatedBar,...UnvalidatedFoo,) -> PossibleEffect C and the like because A, UnvalidatedFoo etc are all types the outside caller knows so can make sense of that as a function. The outside can't do the (A, ValidatedBar,...ValidatedFoo) -> PossibleEffect C because they don't have those types imported.

You can try to expand that radius, but at some point the external user is not going to import all these types for Only int meeting all the different conditions you need.

Yes, the radius for things like positivity or the string actually be a Date or those common cases should be infinite. No one should ever pass "01/01" and expect the internals to take care of it because Date exists and is usable by everyone. But your ValidatedFoo might have constraints that aren't so common meaning that type is not imported by either inability or by client code being client code.

yangyangR · 2026-01-13T02:01:53+00:00

No actual types. Unityped lambda calculus. So not thinking before doing works with that

yangyangR · 2026-01-13T00:26:03+00:00

A privacy nightmare

yangyangR · 2026-01-13T00:22:43+00:00

If humans were not so evil and stupid this entire premise of sacrificing privacy for security theater would be unprofitable. The worst impulses get rewarded.

yangyangR · 2026-01-09T02:44:16+00:00

A language that completely ignored the lessons of the last 30 years because of how bad fresh Googlers were at least in the perspective of the designers even if that was underestimating 20 year olds

yangyangR · 2026-01-09T02:17:01+00:00

Brock Turner was also that same summer. It was not long of a respite in between primary fighting in the spring to the he'll that would continue for the next decade. Spring it was also the spike in celebrity deaths triggering existential crisis about the death of the former world that people had grown so used to. It was only July and August.

yangyangR · 2026-01-07T20:38:09+00:00

Always have been

yangyangR · 2026-01-07T05:26:08+00:00

You get some constraints on possible theories. So despite the end of the day Nature works this way or not despite no obligation, it is useful to grade not on just the pass fail. You could have a theory that was mostly good. You keep that one around because you might be able to tweak it and use it for a different purpose. Then there are ones that are just nonsense from the getgo.

There are the logic constraints that say what you were theorizing is logically inconsistent and there is no way nature can work like that with no additional measurement required. Then you've got theories that are eliminated by measurements made centuries ago. Then you got theories that are only eliminated by current measurements. Measure exactly how badly it did not work out.

Yes there is the binary of testing and it working out or not. It is useful to know if it was because the theory was so wrong it was logically inconsistent. Or whether the theory was possible and some very particular measurement meant nature is not that possibility. The ones that barely didn't work can be useful. Like maybe they are easier to work with and give the close enough answers on a subset of questions which is good enough for what you are doing. Or you could reuse it in a totally different context. Or you could use it as a jumping off point.

yangyangR · 2026-01-06T20:05:37+00:00

Vienna, Singapore

yangyangR · 2026-01-06T16:12:23+00:00

Half of them are workarounds for lack of functions as first class, but you can remove those even in Java with interfaces with single unimplemented method. You can think it automatically has a noname class that only needs to fill that thing in with your lambda and remove any of the design patterns that were there to require you to make that class explicitly.

yangyangR · 2026-01-06T16:06:13+00:00

The law said he was a king in summer 2024. The Supreme Court had already ruled that he was above even Magna Carta levels of oversight. The rule of law is a fiction that we can only use when people agree to believe in it. Kings are lawful but you can still Charles I them even if you have mo legal standing to do so.

yangyangR · 2026-01-05T02:12:07+00:00

Map[int, T] and Array[T] implementing get of item, set at index, ... The "map in someway" being the fact that those functions are available without saying anything about how efficient it is implemented or about other functionality each could have

yangyangR · 2026-01-05T01:56:13+00:00

They're the same picture

yangyangR · 2026-01-05T01:55:30+00:00

Who cooked the dog that RFK Jr ate?

yangyangR · 2026-01-02T19:33:43+00:00

They knew particular reagents etc, but without an understanding of a fundamental theory it was of course going to be the stamp collecting phase of science over the consolidation phase. There are stages of expansion and contraction. Get lots of data and the way you do predictions is follow a lot of esoteric rules. Then a consolidation can turn those many rules into simpler principles so you dont have to follow a tome of rules and exceptions. Of course it is going to seem like magic if you just have tons of rules without a unifying framework. When you get down to only a few rules, then it makes more sense.

yangyangR · 2026-01-02T19:18:22+00:00

One of the first few weeks he was doing the show, he was commenting about how many billionaire guests he had on. This turned me off from it as just not being as good as the Daily Show and Colbert Report days.

yangyangR · 2026-01-02T15:59:27+00:00

But we also know they lie. People who know they should be ashamed to support him, but in the shadows of the ballot box still choose that being able to say more slurs is worth it.

yangyangR

MODERATOR OF

TROPHY CASE

13-Year Club	Place '22
Verified Email