Charmed Baryon

Building the Arrow programming language; modal, nominal, non-deterministic dependent extrinsic type theory with effects and no phase distinction.

[Charmed Baryon @Charmed_Baryon]

@cmuratori e.g. from the HoTT book: "Given A, B : 𝒰, we introduce their coproduct type A + B : 𝒰 . This corresponds to the disjoint union in set theory, and we may also use that name for it."

[Charmed Baryon @Charmed_Baryon]

@cmuratori Nothing like a "well akshually" comment that isn't even correct. Modern type theory literature overwhelmingly use the term "coproduct", and "disjoint union" appears more often than "sum".

[Charmed Baryon @Charmed_Baryon]

@MelkeyDev That's not even the most extreme example. They're pumping these things out too fast to even come up with new thumbnails.

[FalloutForHope 🔜 PAX West @FalloutForHope]

A message to the community from @WesJohnsonVoice that he recorded yesterday for the livestream today.

We're happy to report that he's now leaving Atlanta and flying home to continue recovery, 10 days after this began.

#WesJohnsonDay #Fallout #ElderScrolls

[UESP @UESP_net]

We need more moments where we ask NPCs a seemingly innocuous topic and get a solid minute long rant about everything they hate about society.

[Charmed Baryon @Charmed_Baryon]

@patheticwolfTTV They died dozens of times.☕️

[Naaackers @Naaackers]

Because with short form content right now, it's not about what is "good content". It's "what subliminal hook can I use to trick random viewers into watching my videos longer than someone else". It's about tricks and gimmicks to make the viewer question what they watched so they watch it again. Not about it being "good".

That, and Tiktok is showing your content to random strangers first, and then if people swipe away to fast, it never even makes it to the people who follow you. So they don't even get the chance to engage with it.

[Charmed Baryon @Charmed_Baryon]

@Naaackers @KeychronMK Keychron is S-tier, been using a K8 Pro for years at work that I got frame-only and added my own Cherry MX Grays to. Insanely good hybrid work keyboard for anyone with a laptop that can do bluetooth keyboards.

[Charmed Baryon @Charmed_Baryon]

@Naaackers

[Charmed Baryon @Charmed_Baryon]

@Naaackers I made this mistake with 100 gbit ethernet. Then Nvidia bought Mellanox and prices tripled.

[Charmed Baryon @Charmed_Baryon]

@Naaackers @ZuulishGozerian I'm curious what the issue is? It doesn't support the fTPM or just not TPM 2.0? If it's the later Win11 still supports older TPM standards, the 2.0 check is an artificial requirement; you will still have TPM protection after install if you suppress the check.

[Charmed Baryon @Charmed_Baryon]

@Naaackers @ZuulishGozerian The i7-8700k is officially supported for Windows 11. If their compatibility checker says otherwise you may need to enable the fTPM in the BIOS. https://t.co/ivrWNTuPoa

[Charmed Baryon @Charmed_Baryon]

What's stopping us from dressing like Ryujin co. suits? #Starfield

[Charmed Baryon @Charmed_Baryon]

Finally really playing Starfield. Morrowind still best Bethesda game by a mile confirmed.

[Charmed Baryon @Charmed_Baryon]

@Naaackers Nemix RAM 😨 Living life on the edge I see.

[Charmed Baryon @Charmed_Baryon]

@Naaackers Kick now taking on that massive money loss plus an extra hundred million per year. They must be betting on him bringing in a LOT of suckers to Stake.

[Charmed Baryon @Charmed_Baryon]

@Naaackers I've pointed this out so many times, he and other similar streamers are costing Twitch literally hundreds of thousands of dollars per month. The transcoding is trivial but the bandwidth cost is insane and the income he brought to Twitch isn't even close to making it up.

[Charmed Baryon @Charmed_Baryon]

@Naaackers The 5 page nesting limit made it a no-go for me. Otherwise it has potential.

[Charmed Baryon @Charmed_Baryon]

@Naaackers Mine is green but probably because I drink Pepsi instead of Coke.

[Jimbles @MiddleAgeStream]

I’ll be dreaming of good times later tonight in preparation for my 48 Hour stream celebrating 8 years on twitch, but FIRST… a bonus stream!

https://t.co/JzCgMSkpNB