Lambda, the Ultimate

Epic Games employee

[MIT CSAIL @MIT_CSAIL]

Where researchers get their inspiration from (and where they don't).

v/@maxplanckpress, @errantscience, and @MCee

[Lambda, the Ultimate @UltimateLambda]

@LouisThibault87 @ChShersh https://t.co/D1d49RbkgP

[Lambda, the Ultimate @UltimateLambda]

@Innf107 I think something like [A, (l:p for l /= A)] -> [B, (l:p for l /= A)], but that doesn't seem quite right. An explicit example given is λx.match x with L x → L x + 1 | x → x has type [L: int,(L_i: p_i for L_i /= L)] → [L: int,(L_i: p_i for L_i /= L)]

[Lambda, the Ultimate @UltimateLambda]

@Innf107 Algebraic Subtyping's ninth chapter describes how unions could be added. These don't have an ordering like row types (and don't support shadowing similar to scoped labels), but are easy to add once MLsub has been implemented.

[Lambda, the Ultimate @UltimateLambda]

#TearsOfTheKingdom #Zelda #NintendoSwitch

[Lambda, the Ultimate @UltimateLambda]

@grhmc This bugs me, too. I've had no luck with any of the forum solutions.

[Lambda, the Ultimate @UltimateLambda]

#wildfrost #NintendoSwitch

[Lambda, the Ultimate @UltimateLambda]

#Splatoon3 #NintendoSwitch

[Lambda, the Ultimate @UltimateLambda]

#Splatoon3 #NintendoSwitch

[Lambda, the Ultimate @UltimateLambda]

#Splatoon3 #NintendoSwitch

[Lambda, the Ultimate @UltimateLambda]

#Splatoon3 #NintendoSwitch

[Lambda, the Ultimate @UltimateLambda]

@DollarCars I rented a car recently. After waiting for 2 hours, nearly 4 hours past the reserved time, I was offered a Civic for my full-size reservation or wait indefinitely, so I took the Civic (without signing anything). Also, agent tacked on insurance that I didn't accept.

[Lambda, the Ultimate @UltimateLambda]

@Revonlieke @Rurikhan MV buffs and easier instablock, at least. It's not much, but it's honest poking. The tripping isn't the worst - at least you don't take damage. Them fucking triggering your instablock so you can eat the hit from the monster is the worst.

[Lambda, the Ultimate @UltimateLambda]

@Depraved_Vile Had you power guarded out of the knockback, would the increased chip have killed you (or would the power guard have activated fast enough)?

[Lambda, the Ultimate @UltimateLambda]

@DaveVen79 @Patrick_ORourke I just now tried (found this thread searching steam deck genki) - no luck. Charges, but display remains on steam deck. If I recall, a tried a few weeks ago and it just caused display flickering on deck.

[Lambda, the Ultimate @UltimateLambda]

@narrowpath77 @XboxStockAlerts Just called, claimed out of stock now. Thanks for the info, though.

[Lambda, the Ultimate @UltimateLambda]

#DeadCells #NintendoSwitch

[Lambda, the Ultimate @UltimateLambda]

#UNSIGHTED #XboxShare

[Lambda, the Ultimate @UltimateLambda]

#UNSIGHTED #XboxShare

[Lambda, the Ultimate @UltimateLambda]

#UNSIGHTED #XboxShare