#logic

2026-02-09

Veja a letra da música “Yuck” de Logic
#Logic #Yuck
daletra.com.br/logic/letra/yuc

DaLetradaletraita
2026-02-09

Guarda il testo della canzone “100 Miles and Running” di Logic

daletra.online/logic/testi/100

2026-02-09
I think abductive reasoning is deeply underappreciated.

#logic #abduction #AbductiveReasoning
2026-02-09

Try this: Share how School Y used these methods last year and saw real gains. When you mix credibility (“we’ve tested this”), emotion (“students thrived”), and logic (“the data shows why”), people listen.

#DecisionMaking #CriticalThinking #Logic #Persuasion #Influence #Communication #Leadership #Strategy #Psychology #CognitiveBias (4/4)

DaLetra Englishdaletraeng
2026-02-09

See the lyrics for the song “Alright” by Logic

daletra.com/logic/lyrics/alrig

DaLetradaletraita
2026-02-08

Scopri il testo della canzone “Man Of The Year” di Logic

daletra.online/logic/testi/man

DaLetradaletrabr
2026-02-08

Letra da música “44 Bars” de Logic

daletra.com.br/logic/letra/44-

DaLetra Españoldaletraesp
2026-02-08

Letra de la canción “Keanu Reeves” de Logic

daletra.net/logic/letras/keanu

2026-02-08

#Picat is a descendant of the B-Prolog language, and therefore is part of the whole Prolog family and also logic programming family.
#prolog
Giant Rabbit Hole: Logic programming dates back to 1972, but its roots go deep into the math of predicate/symbolic #logic , and it was central to the first wave of Artificial Intelligence ( #AI ). The idea was to encode knowledge into systems of rules sometimes known as "expert systems". And this is also why the Picat constraint programming book's cover says "Springer Briefs in Intelligent Systems: Artificial Intelligence, Multiagent Systems and Cognitive Robotics".

This is in contrast to the "AI" people talk about today, which is statistically based and in common parlance refers mainly to Large Language Models #LLM Someday someone may find a way to unite these two branches of thought: encoded knowledge and statistically inferred likelihood, but until then, Prolog and its ilk have been pushed somewhat aside by the neural networks and transformers...and now we might consider all concepts of epistemology and what it is to "know" and if knowledge graphs and ontologies hold the key. But was Plato right that all knowledge is subjective? Perhaps dependent type systems should be considered as solutions for encoding high order kinds, if these levels of logic really are necessary in the real world, and...um...where was I?

github.com/dsagman/picat

2026-02-08

Try this today:
Spend five minutes imagining your decision blew up six months from now. What broke? Use those potential failures to tweak your odds.

Clear beats clever. Math beats magic.

#DecisionMaking #CriticalThinking #Logic #Influence #Communication #Persuasion #Leadership #Strategy #Psychology #CognitiveBias (4/4)

2026-02-07

Coming up: Does #logic always lead us to the truth? Josh and Ray question the everyday utility of logic with Patrick Girard from @aucklanduni, author of "Logic in the Wild."

🎧 Sunday at 11 am on KALW 91.7 FM in San Francisco & kalw.org/show/philosophy-talk/.

2026-02-07

Quick tool: Sketch a simple graph. Plot how confident you were in a decision versus how much it actually mattered. The gaps show where to look closer.

#DecisionMaking #CriticalThinking #Logic #Persuasion #Communication #Influence #Leadership #Strategy #CognitiveBias #Mindset (3/3)

2026-02-07

Typical Errors:
- Thinking this happened first, so it caused that
- Believing every sales peak comes from your latest tactic

Better Approach:
- Try changes in small batches first
- Work with someone who questions your theories

#CriticalThinking #Logic #Reasoning #Persuasion #Influence #Communication #Management #BusinessStrategy #CognitiveBias #Mindset (3/4)

Dendrobatus AzureusDendrobatus_Azureus@bsd.cafe
2026-02-07

Spare these few minutes to read this long long toot about Large Language Models

I've been working with POSIX Operating Systems for many many decades. Seek my other posts for more information check my GitHub page where some of the stories have been entered.

A lot has been written and screamed about vibe coding. I'm going to give you a short and concise rundown.

Individual X cannot even write a hello world program in the BASIC programming language. This individual has played with a Large Language Model and knows that such a system can write that BASIC program for him.

He fires up the model and asks for a Hello World program in Commodore 64 BASIC

The model response with

10 PRINT "fa wakkà"
20 GOTO 10

Individual X cannot analyze the code. He doesn't know that the second line will loop the program to the first and thus will create an infinite loop on his C64 emulator. Individual X has never worked on a physical bare metal C64. He doesn't know how to stop the code

The large language model created the second line because many hits in his database have a Hello World program for the C64 written in exactly this manner. The large language model is like a parrot which talks. The model doesn't understand what it says the model has no notion of understanding just like the parrot.

Individual executes the code and cannot stop it because he doesn't know that control break exists for that on the C64

Thus his C64 is in an infinite loop and he doesn't know what to do.

Now I will go to that same large language model. I not only know how to solder the Program Logic Array 906114 on the C64 with a mandatory heat sink I also know how to write code in assembly and I know many ROM subroutines of the C64 by heart including

JSR $FFD2

A sub routine which prints a character on your video VIC chip.

When I see that the model puts line 20 I immediately delete that line because it's unnecessary.

Now extrapolate this on a full program, with 20000 lines of code, complete with libraries and API created by a large language model when the task is given by a vibe coder.

Since individual X cannot even analyze Commodore 64 basic code of a Hello World program, consisting of two lines where the second line is unnecessary, the person has no chance in hell to analyze the above given program

There are people walking around on this planet, who think that they will be able to write software, with a large language model, as their boss and think that that software will be usable in the field

When the 20,000 line program breaks, the API is totally unusable and the task for that program crashes the whole server on the bare metal, censored will hit the fan

I urge everyone who uses large language models for any subject, that they should be an absolute master of the subject, where they use the model as a low level assistant

Thank you for reading

#LLM #programming #damage #Slop #AI #illusion #skill #logic #coding #vibe #vibecoding #homosapiens #species #global #technology #Terra

🦋💙❤️💋#Lobi 💙💕🌹💐💙🦋

Huh.

Gödel's Loophole is a supposed "inner contradiction" in the Constitution of the United States which Austrian-American logician, mathematician, and analytic philosopher Kurt Gödel postulated in 1947. The loophole would permit America's republican structure to be legally turned into a dictatorship.

[...]

Since the exact nature of Gödel's Loophole has never been published, what it is, precisely, is not known.

https://en.wikipedia.org/wiki/G%C3%B6del%27s_Loophole

#USpol #Gödel #Logic

A Jewish person explains why antisemitism≠ antizionism. And why standing up for genocided peoples is innately Jewish and moral. #logic #auspol www.facebook.com/share/v/1897...

Redirecting...

DaLetra Françaisdaletrafra
2026-02-06

Voir les paroles de la chanson “1-800-273-8255” de Logic
#18002738255
daletra.art/logic/paroles/1-80

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst