#constructive — Public Fediverse posts

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

En votant majoritairement POUR le #Budget de la #SecuriteSociale, les #Députés dépités #Socialistes ont montré qu'ils étaient au final encore presque dignes de revenir dans le champ des Partis de Gouvernement, ce dont La #France_insoumise se montre incapable.
#Méluche a choisi le #Parti du #Désordre plutôt que la #Politique #Constructive : autrement dit son choix est celui de la Politique du Pire et du #Chaos...
Espérons que cela se retourne contre lui, SANS faire émerger un #Lepénisme gagnant.

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

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

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

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

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

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

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

#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/

#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/

#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/

#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

so, ich bin mit der ersten version meines #wochenendprojekt zum thema #constructive #geometry schon mal sehr zufrieden...

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

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/

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

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

Here's the 50,000th or so example of a #Rump Lie designed to undermine the U.S.

#Democrats, give the chance, should offer up enough votes or abstentions to allow #McCarthy to regain his speakership. It would be foolish beyond belief, an historical blunder and helping #Rump regain the presidency to not do everything possible to keep that position out of the hands of #Jordon and his cohorts.

#constructive-destructive #House #Speaker #Dems

Here's the 50,000th or so example of a #Rump Lie designed to undermine the U.S.

#Democrats, give the chance, should offer up enough votes or abstentions to allow #McCarthy to regain his speakership. It would be foolish beyond belief, an historical blunder and helping #Rump regain the presidency to not do everything possible to keep that position out of the hands of #Jordon and his cohorts.

#constructive-destructive #House #Speaker #Dems

Here's the 50,000th or so example of a #Rump Lie designed to undermine the U.S.

#Democrats, give the chance, should offer up enough votes or abstentions to allow #McCarthy to regain his speakership. It would be foolish beyond belief, an historical blunder and helping #Rump regain the presidency to not do everything possible to keep that position out of the hands of #Jordon and his cohorts.

#constructive-destructive #House #Speaker #Dems

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/

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

Building on his
#Rumpus-in- Wonderland logic ("A FOURTH INDICTMENT & MY ELECTION IS ASSURED")…

It's also the case that if #Rump had lost by 15,000,000 votes instead of the 8M he actually lost by to Biden an actual voter referendum on his fitness for office will naturally give him a 'UGE victory.

#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

Decent chance Lindsey Graham will be the first national politician to have simultaneous arrest warrants out for him both in #Russia and the U.S. (trials to be in Georgia and Georgia).

#constructive-destructive
#LindseyGraham

Where would our poor country be without the help of the likes of #Ruppert Murdock (Australia) and #elonmusk (South Africa) in giving free air time to the most right-wing, nationalistic, white-wing elements of the #GOP.

And: Reason #49 to leave #Twitter

#constructive-destructive

https://www.nytimes.com/2023/05/14/opinion/debt-limit-constitution.html

… Obviously written as a response to opinions expressed by Lawrence Tribe and Paul Krugman, Judge McConnell's important opinion piece conveniently dodges the key question of whether the president has an obligation to carry out statutes mandating the expenditure of money and whether the administration (Treasury Dept.) can pick and choose which obligations to pay, in the case of a shortfall.

To quote Judge McConnell's on Section 4 of the 14th Amendment (but leaving out his specifics about the Civil War): "The immediate purpose was to prevent future Congresses ... from repudiating pension obligations and other debts incurred ..."

I'm not a constitutional scholar but isn't that what the current MAGA Republican-controlled house is preparing to do IF it cannot compel the U.S. president to follow their new McCarthyism program?

#constructive-destructive

#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

While Liz Chaney may be a bridge too far, why can't #House #Democrats + four (4) moderate #Republicans elect @[email protected] as #Speaker of the House?

He's #conservative, #GOP, committed to #democracy, experienced & eminently available.

#ProjectLincoln
#constructive-destructive

I did a PhD consortium presentation at #ESWC2022
on balancing #knowledgeGraphs generation! 🎉

How do you choose how you generate your #knowledgegraph?! #eswc2022 materialisation or virtualization... Or why not both?!

Slides will be available soon! Thanks for all the #constructive #feedback! #research #RDF #semantic #web