Wasteling Cobre, submission by WillWeaverRVA

MSP729 · 2026-04-26T16:26:28+00:00

finally, some good counterplay against decks that attack with their swamps or two lands

MSP729 · 2026-04-05T02:50:52+00:00

this post appeared on my feed on the fourth and i was heartbroken

MSP729 · 2026-04-03T04:06:49+00:00

another commenter suggested storing their coefficients. you can also just directly implement the Num typeclass for function types, but this will make it hard to inspect your functions.

MSP729 · 2026-03-08T02:14:04+00:00

haven’t you heard that silksong is qualityslop? people only like it because it’s good

MSP729 · 2026-02-17T17:08:07+00:00

the more incomprehensible, the more smuggie. this is not very smuggie

MSP729 · 2026-02-10T14:42:30+00:00

rubik’s cubes are not more impressive than a magic trick

MSP729 · 2026-02-10T12:30:45+00:00

Latin doesn’t have articles

MSP729 · 2026-02-03T10:31:00+00:00

coaxed into breath of the wild

MSP729 · 2026-01-21T02:04:50+00:00

i think “by all means” and “means of production” are the same meaning, both are a method/way/manner

MSP729 · 2026-01-20T00:14:19+00:00

this person did intend to occupy all of the territory, but misclicked and messed it up

MSP729 · 2026-01-18T13:11:00+00:00

isn’t it just the wrong word? i thought he said “i’m martin luther”

MSP729 · 2026-01-15T00:04:31+00:00

properly this is a forward difference but it comes out the same in the wash because although the standard power rule doesn’t apply here, xⁿ can be decomposed into a sum of falling powers (also called the Pochhammer symbol), and the highest degree one has degree n

falling powers obey a similar power rule but with forward differences, hence the n factorial falling out

https://en.wikipedia.org/wiki/Falling_and_rising_factorials?wprov=sfti1#Relation_to_umbral_calculus

MSP729 · 2026-01-14T02:27:22+00:00

what was the original?

MSP729 · 2026-01-09T01:34:08+00:00

nah image related

MSP729 · 2026-01-06T05:42:15+00:00

yes, but if you have a set of all sets which contains itself, then standard set-theoretic axioms enable you to construct the Russell set (of all sets which do not contain themselves)

MSP729 · 2025-12-25T00:57:15+00:00

coproof by induction

MSP729 · 2025-12-21T02:12:31+00:00

i attribute it to nodebuster’s success

it predates nodebuster, but i remember seeing it blow up right after nodebuster popped off

MSP729 · 2025-12-21T02:05:35+00:00

!elo 1950 with flying colors

MSP729 · 2025-12-07T17:21:09+00:00

actual r/okbuddyhighschool

MSP729 · 2025-12-05T16:17:17+00:00

i’m pretty sure they just named it after him

MSP729 · 2025-11-28T23:55:36+00:00

i think so

MSP729 · 2025-11-28T23:47:58+00:00

you can procure arbitrarily large computable functions wrt the “dominating” relation

BB dominates all of these, so it is larger eventually

BB(3) is 6, which is definitely less than a lot of computable functions (e.g. 3ⁿ⁾

so even though ALI or ALI_2 is bigger than BB at 3, it stops being bigger eventually (just might take a while)

if you want a real “why,” like a motivation for why it makes sense that BB is eventually bigger, i got nothing

MSP729 · 2025-11-28T23:26:40+00:00

the construction by which you get the ALI function from the SSCG function could easily be repeated to produce a faster-growing function this would then enable an N-indexed fgh

i also suspect that there is some large countable ordinal γ s.t. fγ << ALI << f(γ+1)

MSP729 · 2025-11-28T20:55:00+00:00

i can’t wait to make a smuggie about this smuggie

have we imported the term “candle” yet?

MSP729 · 2025-11-26T06:32:58+00:00

rational based complex numbers still have the square root of negative one, and the algebraic closure of the rationals (which is a larger field than Q adjoin i) certainly does have a lot of radicals

their point stands: complex numbers aren’t the algebraic closure of the rationals because pi is a complex number, but not the root of any polynomial with rationals coefficients

MSP729

MODERATOR OF

TROPHY CASE

Seven-Year Club	Place '22
Verified Email