August ℤ/5ℤ @ModalMetamodel

In logic, there are no morals. L(ℝ) Joined October 2024

Tweets

1K
Followers

856
Following

97
Likes

30K

August ℤ/5ℤ @ModalMetamodel

a hour ago

You could obtain a theory that has wNEP if you internally compute the theory of a Grothendieck topos whose covering families are all finite (as well as one without wNEP if you permit countably infinite covering families). This would require some type-theoretic forcing, I suppose.

0 0 3 63 0

Download Image

August ℤ/5ℤ @ModalMetamodel

14 hours ago

Is ‘⋂{{x : x ∈ A ∨ x ∉ A} : A ⊆ {∗}} = ∅’ consistent with IZF? Think about it…

0 0 6 194 0

Download Gif

August ℤ/5ℤ @ModalMetamodel

2 days ago

Playboi Carti owns Bladee LMFAO (L drain gang, W Five5s). 💯🔥5️⃣😹😹😹

1 2 23 2K 1

Download Image

Catgod, many eyes and many hands. @RReretor83206

3 days ago

Why is ts 🥀 finite gng 💔

Tivadar Danka @TivadarDanka

4 days ago

Why is ts 🥀 finite gng 💔

1 0 21 1K 3

Download Image

0 1 9 349 0

August ℤ/5ℤ @ModalMetamodel

2 days ago

Tap in wit ts next time, blud.

0 0 8 1K 0

Download Video

August ℤ/5ℤ @ModalMetamodel

3 days ago

dannyielpoloz3219 ain’t lying, this sped ‘darkbeats2024’ really be cookin’ up them trash asf beats. 🥀 Tell me how this boy right here talkin’ ‘bout ‘same boring sound’ when he got the most generic ass monotone ass hi-hat patterns ever (see: youtube.com/watch?v=5_e6KN…). 🥀

1 0 7 389 0

Download Image

August ℤ/5ℤ @ModalMetamodel

5 days ago

To be honest, classical harmony is mostly just the rule of the octave being applied to scalar basslines. I think that Tóbiás should’ve explicitly incorporated that into his framework here. arxiv.org/abs/1604.02698

1 1 14 592 7

Download Image

August ℤ/5ℤ @ModalMetamodel

5 days ago

Ts ain’t tuff, boy. 😹😹😹

1 0 8 423 0

Download Video

August ℤ/5ℤ @ModalMetamodel

7 days ago

I’m taking hip-hop to new heights with Haskell.

August ℤ/5ℤ @ModalMetamodel

a week ago

I’m taking hip-hop to new heights with Haskell. https://t.co/bnXqi3GX5G

8 20 152 19K 88

Download Image

8 9 144 10K 60

Download Image

August ℤ/5ℤ @ModalMetamodel

a week ago

I love this idea because it fits modern trap music’s structure. For example, a hi-hat roll is expressible as λe.[e/k;e/k;…;e/k] for fixed k ∈ ℤ⁺ (ie: given a musical event e (a hi-hat note here), return a sequence of k subevents (w/ duration 1/k of e) occupying e’s timespan).