#constructive — Public Fediverse posts

@taufic At the same time, we have to increase #constructive communication and see who / how we can #trust people and then increment with the right people MORE.

I think we can do it online - but we need people to trust and find those strong in themselves like me to talk and #seed a better tree of #communication / #relationship

Even with #anonymous people we have the #logic and #principles that need no #identity attached.

What do you think about that?

@aral Wish you would answer nearer 100% of my post replies than make these posts.

(I'm not saying don't vent but still your precious time could be spent on me / better / like-minded #fans)

#Time #Constructive #Fans #Coop #Game

@aral Wish you would answer nearer 100% of my post replies than make these posts.

(I'm not saying don't vent but still your precious time could be spent on me / better / like-minded #fans)

#Time #Constructive #Fans #Coop #Game

https://www.alojapan.com/1504872/pbbm-state-visit-to-japan-highly-productive-very-constructive/ PBBM State Visit to Japan ‘highly productive, very constructive’ #constructive’ #highly #Japan #PBBM #productive #state #to #very #visit #VisitJapan STATE VISIT President Ferdinand Marcos Jr. State Visit to Japan on May 26 to 29, 2026 is ‘highly productive and constructive.’ PRESIDENTIAL COMMUNICATIONS OFFICE IMAGE PRESIDENT Ferdinand Marcos Jr. concluded his four-day State Visit to Japan, from May 26 to 29, 2026, and described it as “highly

Following the meeting between the coalition leaders and social partners at the Chancellery on Wednesday, no follow-up date has currently been set. According to... https://news.osna.fm/?p=50618 | #news #after #constructive #followup #government

Following the meeting between the coalition leaders and social partners at the Chancellery on Wednesday, no follow-up date has currently been set. According to... https://news.osna.fm/?p=50618 | #news #after #constructive #followup #government

Who has experience with coding using Claude Code and/or ChatGPT and similar tools, both in a professional context and in the context of so-called vibe coding?

Or perhaps one of your contacts fits this description and you would like to make the connection?

I look forward to constructive answers and comments on this topic, as well as sharing the post with a boost in the Fediverse to reach a wider audience. 😃👍

#Experience #Claude #ChatGPT #Coding #VibeCoding #Constructive #Contacts

Berlin - A simmering diplomatic tension has emerged between Germany and the United States following President Trump's renewed interest in acquiring Grönland, a... https://news.osna.fm/?p=29619 | #news #constructive #dialogue #germany #greenland

Kann es sein, dass Menschen den Deeptalk meiden? Aus Angst davor zu merken, dass sie Teil der Lösung sind, die wir auf allen Ebenen brauchen?

#deeptalk #solution #constructive

Ukraine Describes Discussions with the U.S. as Constructive and Targeted #World #Constructive #describes #discussions #targeted #U.S #Ukraine 
https://tinyurl.com/299wgmv8

🌇 If you've ever watched my stuff before, you know I LOVE Cities Skylines📽️

Latest CS2 video just went live, thought I'd plug the playlist, so you can catch up from the start, if you want to!

https://buff.ly/41h8WqM

I don't talk, so it's just the gameplay; the whole gameplay. JSYK!

#citiesskylines #gaming #nocommentary #longplay #simulation #cs2 #citiesskylines2 #game #daily #fyp #strategygame #architecture #sandbox #simcity #constructive #gameplay #planning #weaponizedautism

Bite Your Tongue: When to #StayQuiet in Your #Relationship

It’s not always #constructive to talk about your relationship. Here's why.

https://www.psychologytoday.com/us/blog/get-some-help/202412/bite-your-tongue-when-to-stay-quiet-in-your-relationship

#Editors, this Nov. 26 presentation via #EditorsToronto about giving #authors #constructive #feedback looks good: https://www.tickettailor.com/events/editorstoronto/1471459 . It’s open to members & nonmembers.

#Editors, this Nov. 26 presentation via #EditorsToronto about giving #authors #constructive #feedback looks good: https://www.tickettailor.com/events/editorstoronto/1471459 . It’s open to members & nonmembers.

@MartinEscardo and I have been working on injective #types in #constructive #univalent mathematics.

Last week I gave an informal talk in our group's seminar and I wrote a brief blog post with several pointers in case you'd like to know more: https://fplunchnott.wordpress.com/2024/10/25/injective-types/

@MartinEscardo and I have been working on injective #types in #constructive #univalent mathematics.

Last week I gave an informal talk in our group's seminar and I wrote a brief blog post with several pointers in case you'd like to know more: https://fplunchnott.wordpress.com/2024/10/25/injective-types/

#VicePresident #KamalaHarris' #CodeSwitching Is #American As #ApplePie

Code switching is a common practice within the black community.

Some conservatives have claimed that this #linguisticshift was #evidence of #inauthenticity, essentially #questioning Harris’ #blackness. Their #confusion highlights the need for more #constructive #conversations on #race and #communication.

https://www.levelman.com/kamala-harris-code-switching-american-apple-pie/

#VicePresident #KamalaHarris' #CodeSwitching Is #American As #ApplePie

Code switching is a common practice within the black community.

Some conservatives have claimed that this #linguisticshift was #evidence of #inauthenticity, essentially #questioning Harris’ #blackness. Their #confusion highlights the need for more #constructive #conversations on #race and #communication.

https://www.levelman.com/kamala-harris-code-switching-american-apple-pie/

C++ Concepts. Good in concept.

OK, OK. It's a good start. Late start, but a good start.

#cpp #cPlusPlus #programming #constructive

C++ Concepts. Good in concept.

OK, OK. It's a good start. Late start, but a good start.

#cpp #cPlusPlus #programming #constructive

Grim news out of Georgia with Fani Willis confirming the #destructive fact that she's personally and sexually involved with a man she added to the team of prosecutors investigating election interference. Ms. Willis had an enormous responsibility to do her job as perfectly as possible so as to bring this case to trial. Instead the case ballooned to involved nearly 20 people, leading to delays and, importantly, enormous legal fees all around.

She should step down from the case if not her position. Then a determination can be made as to whether the cases can be salvaged (probably not).

#constructive-destructive

It would be great for humanity, species and the planet IF this were true but very unfortunately what you're more likely to see is the enslavement of billions women who will be forced to bear more children.

Just look at the debate about abortion rights in the U.S. today, esp. Texas. This is forced pregnancy on a massive scale (or gender rape, if you will). And they're just getting started.

#constructive-destructive
#Roe #abortion #women

It would be great for humanity, species and the planet IF this were true but very unfortunately what you're more likely to see is the enslavement of billions women who will be forced to bear more children.

Just look at the debate about abortion rights in the U.S. today, esp. Texas. This is forced pregnancy on a massive scale (or gender rape, if you will). And they're just getting started.

#constructive-destructive
#Roe #abortion #women

RE: https://math.andrej.com/2009/12/28/constructive-gem-irrational-to-the-power-of-irrational-that-is-rational/ @andrejbauer

If you can classically prove that a computable number is irrational, there is a constructive proof of the same fact! The same thing applies to proofs that a number is transcendental.

To be more specific, if you prove it in PA, it can also be proven in HA, if you can prove it in ZFC, it can also be proven in IZF, etc... (Probably works with classical #HoTT to HoTT, but that seems a pain to prove.)

Proof: Let p be a program that computes a real number r. (To be specific, for every rational ε>0, p(ε) is rational number such that |p(ε) - r| ≤ ε.) Assume there is a classical proof of "the real number computed by p is irrational". Then there is also a classical proof that "For all rational numbers q, there exists a rational number ε>0 such that |p(ε) - q| > ε". By the Friedman translation, there is a constructive proof of the same sentence (see https://mathoverflow.net/questions/460815/#comment1195059_460815). From there, we can create a constructive proof of "the real number computed by p is apart from every rational number". A similar argument works for proving a number transcendental.
∎

#constructive #math

To start your #constructive news fix for the week: A government initiative returns millions of acres of land to Indigenous tribes, an incredible year of solar power installations, promising developments in approving dementia medicines in the UK & more!👇
https://squirrel-news.net/news/three-million-acres-returned-to-tribal-nations-us-sets-solar-installation-record-new-alzheimers-drugs/

To start your #constructive news fix for the week: A government initiative returns millions of acres of land to Indigenous tribes, an incredible year of solar power installations, promising developments in approving dementia medicines in the UK & more!👇
https://squirrel-news.net/news/three-million-acres-returned-to-tribal-nations-us-sets-solar-installation-record-new-alzheimers-drugs/

We can generalize the "use n propositions to split into 2^n lemmas" even further. We can split on infinitely many propositions at once!

Let I be a set with an element representing each proposition (i.e. it's an index set) and T⊆I represent the set of true propositions. Generally, I will be simple (such as the set of natural numbers) but we don't know how to nor do we need to calculate T (since they are unknown propositions).

Let's say you want to use the trick to prove A⇒B.

Here's what you need to prove:

> Let S denote an arbitrary subset of I.
> Assume A and that S⊆T (i.e. that S is a set of true propositions).
> Prove that ((exists x. x∈T\S) or B).

This represents our "2^n lemmas", if we count each S as a separate lemma!

The intuition is that we start with S=∅, and use the lemma to keep adding true propositions to it everytime we hit the first case. Eventually we either hit the second case of the lemma result, or we eventually build up to S=T (and then we must hit the second case).

Proof of A⇒B using the lemma

The actual proof is much simpler though and doesn't use any kind of recursion. Just let S=T in the lemma! (We could've actually done that to start with, but the intuition works better if we think of S as being any subset of I.) We have A and that S⊆T, so we can use the lemma. There are two cases:

- exists x. x∈T\S: Since, T\S=T\T=∅, we have a contradiction. By the principle of explosion, conclude B.
- B: We conclude B.

Therefore B.
∎

#constructive #math

#constructive #math tip

Often in a proof using classical math, you might take a related proposition X and split into cases "X" and "not X". Some examples in number theory: <https://en.wikipedia.org/wiki/Riemann_hypothesis#Excluded_middle>.

We can't do this in constrictive math, but there is a trick that is equivalent (and more elegant)!

X is any kind of proposition, such as:

- a conjecture, like the Riemann hypothesis
- a statement with free variables, like "n > k" or "G is finite" or any instance of "x has property P"
- a statement independent of your axioms, like the continuum hypothesis or the axiom K

In many cases you might be able to prove excluded middle (EM) for your specific X, but here's an alternative that works for any X.

**The trick**

If you are trying to prove A⇒B, prove the following two lemmas first:

- A⇒(X or B)
- (A and X)⇒B

Classically this is equivalent to splitting on "X or not X" (the first lemma is the "not X" case since "A⇒(X or B)" is equivalent to "(A and not X)⇒B" if EM holds for X), but it's still a theorem constructively that those two lemmas imply A⇒B!

Proof

Assume A. By the first lemma we conclude X or B. There are two cases:

- X: By the second lemma conclude B.
- B: We conclude B.

Therefore B.
∎

If you are just trying to prove C, then use the above trick on "1=1⇒C". If you are trying to refute C, use the above trick on "C⇒0=1". For proof by induction, A can include the induction hypothesis.

Moreover, if you have n propositions of interest, you can split into 2^n lemmas. Adding more propositions never hurts since you can ignore any unneeded propositions when proving any of the lemmas! Many of the lemmas may be trivial or redundant if you already know some relationships between the propositions.

Liz Cheney told Jake Tapper today that the biggest mistake by the U.S. post 9/11 was Biden's withdrawal from Afghanistan.

Obviously 200,000 dead Iraqis mean nothing to her.

#constructive-destructive

@dym or wait

#thx #for #the #constructive #critique #meaculpa :D

@dym or wait

#thx #for #the #constructive #critique #meaculpa :D

The new face of the #GOP.

Keywords: angry, bitter, defiant, revengeful, mean, stubborn, rigid.

#constructive-destructive

The new face of the #GOP.

Keywords: angry, bitter, defiant, revengeful, mean, stubborn, rigid.

#constructive-destructive

'm trying something new with positive thinking. If I see a social media post that I have a strong negative reaction to, I take a moment to think about something in that domain but with a positive, constructive outlook.

For example, if I see a post about Hamas atrocities, my immediate reaction is anger. However, I can then think something like "well, how would I go about preventing this kind of thing in the future?" and opt for only constructive paths.

#positivity #constructive #philosophy

'm trying something new with positive thinking. If I see a social media post that I have a strong negative reaction to, I take a moment to think about something in that domain but with a positive, constructive outlook.

For example, if I see a post about Hamas atrocities, my immediate reaction is anger. However, I can then think something like "well, how would I go about preventing this kind of thing in the future?" and opt for only constructive paths.

#positivity #constructive #philosophy

Kudos to #MattGaetz for working across the aisle w/ #Democrats to replace the #Republican's House speaker. This is the kind of bipartisanship Dems have been looking for for a long time.

#constructive-destructive

Kudos to #MattGaetz for working across the aisle w/ #Democrats to replace the #Republican's House speaker. This is the kind of bipartisanship Dems have been looking for for a long time.

#constructive-destructive

Index of selected threads on #hott #constructive #math

* 2022/10/31. Proofs by contradiction.
https://mathstodon.xyz/@MartinEscardo/109264034964990196

* 2022/11/12. Synthetic topology of data types and classical spaces.
https://mathstodon.xyz/@MartinEscardo/109332986014534390

* 2022/11/14. Notions of space.
https://mathstodon.xyz/@MartinEscardo/109343930842850773

* 2022/11/16. Trichotomy of ordinals.
https://mathstodon.xyz/@MartinEscardo/109355604029879269

* 2022/11/22. Birthday present by Tom de Jong.
https://mathstodon.xyz/@MartinEscardo/109388875794058555

* 2022/11/23. Concrete example illustrating that constructive mathematics is more general than classical mathematics.
https://mathstodon.xyz/@MartinEscardo/109395006766077334

* 2022/12/01. Combinatorial game theory.
https://mathstodon.xyz/@MartinEscardo/109440314312765877

* 2022/12/08. Universe polymorphic type systems.
https://mathstodon.xyz/@MartinEscardo/109480057029596732

* 2022/12/08. Why cubical type theory, and why cubical Agda?
https://mathstodon.xyz/@MartinEscardo/109480455436886869

* 2022/12/20. The axiom of choice in HoTT/UF.
https://mathstodon.xyz/@MartinEscardo/109546988519874380

* 2022/12/22. A common generalization of the univalence axiom and the K axiom.
https://mathstodon.xyz/@MartinEscardo/109558670025171863

* 2023/02/03. Defining large numbers without using induction.
https://mathstodon.xyz/@MartinEscardo/109802885041067972

* 2023/02/10. Several kinds of categories in HoTT/UF.
https://mathstodon.xyz/@MartinEscardo/109842791175514936

* 2023/03/03. Universes in type theory as mathematical objects interesting in their own right.
https://mathstodon.xyz/@MartinEscardo/109961534132268566

* 2023/03/22. Playing rationally against irrational players.
https://mathstodon.xyz/@MartinEscardo/110068977445045121

* 2023/04/11. What are universes for in HoTT/UF?
https://mathstodon.xyz/@MartinEscardo/110181596099423100

* 2023/06/02. Ayberk's predicative version of the patch locale of a Stone locale.
https://mathstodon.xyz/@MartinEscardo/110476555405397697

* 2023/06/07. Github project TypeTopology.
https://mathstodon.xyz/@MartinEscardo/110504563233350460

* 2023/06/15. Constructive notions of disjunction.
https://mathstodon.xyz/@MartinEscardo/110549967500023998

* 2023/07/09. Trichotomy of the reals constructively.
https://mathstodon.xyz/@MartinEscardo/110685074921103237

1/

Index of selected threads on #hott #constructive #math

* 2022/10/31. Proofs by contradiction.
https://mathstodon.xyz/@MartinEscardo/109264034964990196

* 2022/11/12. Synthetic topology of data types and classical spaces.
https://mathstodon.xyz/@MartinEscardo/109332986014534390

* 2022/11/14. Notions of space.
https://mathstodon.xyz/@MartinEscardo/109343930842850773

* 2022/11/16. Trichotomy of ordinals.
https://mathstodon.xyz/@MartinEscardo/109355604029879269

* 2022/11/22. Birthday present by Tom de Jong.
https://mathstodon.xyz/@MartinEscardo/109388875794058555

* 2022/11/23. Concrete example illustrating that constructive mathematics is more general than classical mathematics.
https://mathstodon.xyz/@MartinEscardo/109395006766077334

* 2022/12/01. Combinatorial game theory.
https://mathstodon.xyz/@MartinEscardo/109440314312765877

* 2022/12/08. Universe polymorphic type systems.
https://mathstodon.xyz/@MartinEscardo/109480057029596732

* 2022/12/08. Why cubical type theory, and why cubical Agda?
https://mathstodon.xyz/@MartinEscardo/109480455436886869

* 2022/12/20. The axiom of choice in HoTT/UF.
https://mathstodon.xyz/@MartinEscardo/109546988519874380

* 2022/12/22. A common generalization of the univalence axiom and the K axiom.
https://mathstodon.xyz/@MartinEscardo/109558670025171863

* 2023/02/03. Defining large numbers without using induction.
https://mathstodon.xyz/@MartinEscardo/109802885041067972

* 2023/02/10. Several kinds of categories in HoTT/UF.
https://mathstodon.xyz/@MartinEscardo/109842791175514936

* 2023/03/03. Universes in type theory as mathematical objects interesting in their own right.
https://mathstodon.xyz/@MartinEscardo/109961534132268566

* 2023/03/22. Playing rationally against irrational players.
https://mathstodon.xyz/@MartinEscardo/110068977445045121

* 2023/04/11. What are universes for in HoTT/UF?
https://mathstodon.xyz/@MartinEscardo/110181596099423100

* 2023/06/02. Ayberk's predicative version of the patch locale of a Stone locale.
https://mathstodon.xyz/@MartinEscardo/110476555405397697

* 2023/06/07. Github project TypeTopology.
https://mathstodon.xyz/@MartinEscardo/110504563233350460

* 2023/06/15. Constructive notions of disjunction.
https://mathstodon.xyz/@MartinEscardo/110549967500023998

* 2023/07/09. Trichotomy of the reals constructively.
https://mathstodon.xyz/@MartinEscardo/110685074921103237

1/

a) Where in the Constitution is it contemplated or permitted that the sitting president can "pause" the certification of a presidential election?

b) Can you name one "aspirational" thing #Rump has ever done?

#constructive-destructive

a) Where in the Constitution is it contemplated or permitted that the sitting president can "pause" the certification of a presidential election?

b) Can you name one "aspirational" thing #Rump has ever done?

#constructive-destructive

#SOUNDBITE

What #KamalaHarris could say today:

Anyone's who has dealt with a 6-year-old denying — in the face of all evidence — that he pushed his little sister or got into the cookie jar will find the approach of #Rump in defending his alleged mishandling of national security records quite familiar.

#constructive-destructive

There's #revolution in the air for the simple reason that while the #MAGA base is big it would have zero chance of carrying the day in a general election in 2024 and probably thereafter as well. This is because a majority of #Americans prefer #democracy to "griftocracy."

It's tragic that there aren't prominent clarion voices challenging #Rump's and other's violent rhetoric on a day-to-day basis. Why can't #KamalaHarris do this?? Why can't #BarackObama? Why can't Hakim Jeffries?

#constructive-destructive

There's #revolution in the air for the simple reason that while the #MAGA base is big it would have zero chance of carrying the day in a general election in 2024 and probably thereafter as well. This is because a majority of #Americans prefer #democracy to "griftocracy."

It's tragic that there aren't prominent clarion voices challenging #Rump's and other's violent rhetoric on a day-to-day basis. Why can't #KamalaHarris do this?? Why can't #BarackObama? Why can't Hakim Jeffries?

#constructive-destructive

#PosieParker rally: Sir #PeterGluckman warns #NewZealand's #socialcohesion at risk, society needs to accept #transgender people have #rights.

Sir PeterGluckman believes #Kiwis need to get better at accepting different #viewpoints and accepting people have #rights so we can have #constructive #conversations instead of them turning into heated #debates or #violent scenes.

#Women #Transgender #LGBTQIA #NewZealand #Hate #Bigotry #Homophobia #Transphobia

https://www.newshub.co.nz/home/new-zealand/2023/03/posie-parker-rally-sir-peter-gluckman-warns-new-zealand-s-social-cohesion-at-risk-people-need-to-accept-transgender-people-have-rights.html

@colorblindcowboy

You’re born a blank canvas on an easel built by your father and mother and community. Your childhood is the background you also can’t choose.

Around your young teenage years your identity begins to jell and you can paint what you like on the canvas.

#Life 
#Art
#Growth
#Opportunity
#Constructive

#Enneagram Type: 7
#Wing: #7w6

Subtype: #Sexual (SX)

#Constructive : #Dreamer #idealist #romantic #rosecolored #potential #imagine #positivity

#Integration : #moderation
#balance #present #calm #creative #connected #complicated

#Destructive : #escapism #impulsive #naive #anxiety #addictive #inconsistent #irresponsible

@seb_tmg Good idea. I should not feel bad muting people from my feed. Some people on #mastodon are bad for my #MentalHealth . This will give more space in my feed for people that are #positive, #realistic, have a sense of #humor and come with #constructive #criticism and #ideas.

Interested in starting a #photography "group" where we provide each other with #constructive #criticism and #critique maybe organized around the hashtag #photocritique. Does it make sense to do this on Mastodon?
It seems like #Flickr would be a better fit, but I just don't have the sense of community there that I feel here. Maybe host photos on Flickr and link to a critique here?
Thoughts?