shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

271
active users

#constructive

0 posts0 participants0 posts today
Susan Larson ♀️🏳️‍🌈🏳️‍⚧️🌈<p><a href="https://mastodon.online/tags/VicePresident" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>VicePresident</span></a> <a href="https://mastodon.online/tags/KamalaHarris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KamalaHarris</span></a>' <a href="https://mastodon.online/tags/CodeSwitching" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CodeSwitching</span></a> Is <a href="https://mastodon.online/tags/American" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>American</span></a> As <a href="https://mastodon.online/tags/ApplePie" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ApplePie</span></a> </p><p>Code switching is a common practice within the black community. </p><p>Some conservatives have claimed that this <a href="https://mastodon.online/tags/linguisticshift" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>linguisticshift</span></a> was <a href="https://mastodon.online/tags/evidence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>evidence</span></a> of <a href="https://mastodon.online/tags/inauthenticity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>inauthenticity</span></a>, essentially <a href="https://mastodon.online/tags/questioning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>questioning</span></a> Harris’ <a href="https://mastodon.online/tags/blackness" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>blackness</span></a>. Their <a href="https://mastodon.online/tags/confusion" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>confusion</span></a> highlights the need for more <a href="https://mastodon.online/tags/constructive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>constructive</span></a> <a href="https://mastodon.online/tags/conversations" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>conversations</span></a> on <a href="https://mastodon.online/tags/race" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>race</span></a> and <a href="https://mastodon.online/tags/communication" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>communication</span></a>. </p><p><a href="https://www.levelman.com/kamala-harris-code-switching-american-apple-pie/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">levelman.com/kamala-harris-cod</span><span class="invisible">e-switching-american-apple-pie/</span></a></p>
Todd Katz<p>The new face of the <a href="https://universeodon.com/tags/GOP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GOP</span></a>. </p><p>Keywords: angry, bitter, defiant, revengeful, mean, stubborn, rigid.</p><p><a href="https://universeodon.com/tags/constructive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>constructive</span></a>-destructive</p>
Todd Katz<p>Kudos to <a href="https://universeodon.com/tags/MattGaetz" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MattGaetz</span></a> for working across the aisle w/ <a href="https://universeodon.com/tags/Democrats" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Democrats</span></a> to replace the <a href="https://universeodon.com/tags/Republican" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Republican</span></a>'s House speaker. This is the kind of bipartisanship Dems have been looking for for a long time.</p><p><a href="https://universeodon.com/tags/constructive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>constructive</span></a>-destructive</p>
Martin Escardo<p>Index of selected threads on <a href="https://mathstodon.xyz/tags/hott" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>hott</span></a> <a href="https://mathstodon.xyz/tags/constructive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>constructive</span></a> <a href="https://mathstodon.xyz/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>math</span></a></p><p>* 2022/10/31. Proofs by contradiction.<br><a href="https://mathstodon.xyz/@MartinEscardo/109264034964990196" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">109264034964990196</span></a></p><p>* 2022/11/12. Synthetic topology of data types and classical spaces.<br><a href="https://mathstodon.xyz/@MartinEscardo/109332986014534390" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">109332986014534390</span></a></p><p>* 2022/11/14. Notions of space.<br><a href="https://mathstodon.xyz/@MartinEscardo/109343930842850773" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">109343930842850773</span></a></p><p>* 2022/11/16. Trichotomy of ordinals.<br><a href="https://mathstodon.xyz/@MartinEscardo/109355604029879269" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">109355604029879269</span></a></p><p>* 2022/11/22. Birthday present by Tom de Jong.<br><a href="https://mathstodon.xyz/@MartinEscardo/109388875794058555" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">109388875794058555</span></a></p><p>* 2022/11/23. Concrete example illustrating that constructive mathematics is more general than classical mathematics.<br><a href="https://mathstodon.xyz/@MartinEscardo/109395006766077334" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">109395006766077334</span></a></p><p>* 2022/12/01. Combinatorial game theory.<br><a href="https://mathstodon.xyz/@MartinEscardo/109440314312765877" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">109440314312765877</span></a></p><p>* 2022/12/08. Universe polymorphic type systems.<br><a href="https://mathstodon.xyz/@MartinEscardo/109480057029596732" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">109480057029596732</span></a></p><p>* 2022/12/08. Why cubical type theory, and why cubical Agda?<br><a href="https://mathstodon.xyz/@MartinEscardo/109480455436886869" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">109480455436886869</span></a></p><p>* 2022/12/20. The axiom of choice in HoTT/UF.<br><a href="https://mathstodon.xyz/@MartinEscardo/109546988519874380" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">109546988519874380</span></a></p><p>* 2022/12/22. A common generalization of the univalence axiom and the K axiom.<br><a href="https://mathstodon.xyz/@MartinEscardo/109558670025171863" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">109558670025171863</span></a></p><p>* 2023/02/03. Defining large numbers without using induction.<br><a href="https://mathstodon.xyz/@MartinEscardo/109802885041067972" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">109802885041067972</span></a></p><p>* 2023/02/10. Several kinds of categories in HoTT/UF.<br><a href="https://mathstodon.xyz/@MartinEscardo/109842791175514936" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">109842791175514936</span></a></p><p>* 2023/03/03. Universes in type theory as mathematical objects interesting in their own right.<br><a href="https://mathstodon.xyz/@MartinEscardo/109961534132268566" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">109961534132268566</span></a></p><p>* 2023/03/22. Playing rationally against irrational players.<br><a href="https://mathstodon.xyz/@MartinEscardo/110068977445045121" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">110068977445045121</span></a></p><p>* 2023/04/11. What are universes for in HoTT/UF?<br><a href="https://mathstodon.xyz/@MartinEscardo/110181596099423100" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">110181596099423100</span></a></p><p>* 2023/06/02. Ayberk's predicative version of the patch locale of a Stone locale.<br><a href="https://mathstodon.xyz/@MartinEscardo/110476555405397697" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">110476555405397697</span></a></p><p>* 2023/06/07. Github project TypeTopology.<br><a href="https://mathstodon.xyz/@MartinEscardo/110504563233350460" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">110504563233350460</span></a></p><p>* 2023/06/15. Constructive notions of disjunction.<br><a href="https://mathstodon.xyz/@MartinEscardo/110549967500023998" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">110549967500023998</span></a></p><p>* 2023/07/09. Trichotomy of the reals constructively.<br><a href="https://mathstodon.xyz/@MartinEscardo/110685074921103237" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">mathstodon.xyz/@MartinEscardo/</span><span class="invisible">110685074921103237</span></a></p><p>1/</p>
🍷 Rizzberry Rayne🍷<p><a href="https://cupoftea.social/tags/Enneagram" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Enneagram</span></a> Type: 7<br><a href="https://cupoftea.social/tags/Wing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Wing</span></a>: <a href="https://cupoftea.social/tags/7w6" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>7w6</span></a></p><p>Subtype: <a href="https://cupoftea.social/tags/Sexual" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sexual</span></a> (SX)</p><p><a href="https://cupoftea.social/tags/Constructive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Constructive</span></a> : <a href="https://cupoftea.social/tags/Dreamer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Dreamer</span></a> <a href="https://cupoftea.social/tags/idealist" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>idealist</span></a> <a href="https://cupoftea.social/tags/romantic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>romantic</span></a> <a href="https://cupoftea.social/tags/rosecolored" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rosecolored</span></a> <a href="https://cupoftea.social/tags/potential" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>potential</span></a> <a href="https://cupoftea.social/tags/imagine" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>imagine</span></a> <a href="https://cupoftea.social/tags/positivity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>positivity</span></a> </p><p><a href="https://cupoftea.social/tags/Integration" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Integration</span></a> : <a href="https://cupoftea.social/tags/moderation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>moderation</span></a> <br> <a href="https://cupoftea.social/tags/balance" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>balance</span></a> <a href="https://cupoftea.social/tags/present" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>present</span></a> <a href="https://cupoftea.social/tags/calm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>calm</span></a> <a href="https://cupoftea.social/tags/creative" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>creative</span></a> <a href="https://cupoftea.social/tags/connected" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>connected</span></a> <a href="https://cupoftea.social/tags/complicated" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>complicated</span></a> </p><p><a href="https://cupoftea.social/tags/Destructive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Destructive</span></a> : <a href="https://cupoftea.social/tags/escapism" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>escapism</span></a> <a href="https://cupoftea.social/tags/impulsive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>impulsive</span></a> <a href="https://cupoftea.social/tags/naive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>naive</span></a> <a href="https://cupoftea.social/tags/anxiety" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>anxiety</span></a> <a href="https://cupoftea.social/tags/addictive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>addictive</span></a> <a href="https://cupoftea.social/tags/inconsistent" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>inconsistent</span></a> <a href="https://cupoftea.social/tags/irresponsible" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>irresponsible</span></a></p>