#ihaveadream — Public Fediverse posts

<hmmm-on-a-tangent/>

What if such nasty things also bring about an increased demand for program verification using formal methods?

Yes, it is difficult, but even partial solutions are helpful and way, way better than nothing.

By the way, I ought to look for any surveys on the use of assertions (the little cousins of program verification) in published program sources.

One old textbook I found well worth reading was the one about program specification and software development by Liskov and Guttag.
The first edition, using the CLU programming language.

#ComputerProgramming
#IHaveADream
#FormalMethods
#ProgramVerification
#SoftwareEngineering

@screwlisp

Dwell not on losers
Not on this day or this time
Think servants - not serfs

#Haiku #OneHaikuADay #WritersCollective #writingcommunity #BackToHaiku #MLK #MartinLutherKing #IHaveADream #Life #Integrity #Servant #Leader #ServantLeader #Greenland #NATO #UN #USA #2026 #Photography

January 20, 2026

Dwell not on losers
Not on this day or this time
Think servants - not serfs

#Haiku #OneHaikuADay #WritersCollective #writingcommunity #BackToHaiku #MLK #MartinLutherKing #IHaveADream #Life #Integrity #Servant #Leader #ServantLeader #Greenland #NATO #UN #USA #2026 #Photography

January 20, 2026

Dwell not on losers
Not on this day or this time
Think servants - not serfs

#Haiku #OneHaikuADay #WritersCollective #writingcommunity #BackToHaiku #MLK #MartinLutherKing #IHaveADream #Life #Integrity #Servant #Leader #ServantLeader #Greenland #NATO #UN #USA #2026 #Photography

January 20, 2026

Dwell not on losers
Not on this day or this time
Think servants - not serfs

#Haiku #OneHaikuADay #WritersCollective #writingcommunity #BackToHaiku #MLK #MartinLutherKing #IHaveADream #Life #Integrity #Servant #Leader #ServantLeader #Greenland #NATO #UN #USA #2026 #Photography

January 20, 2026

@TwraSun

Nach wie vor ebenfalls relevant, seine 'I have a dream' Ansprache. Gerade jetzt, wenn allerorten Träume und Hoffnungen zerschlagen werden, ob im Globalen Süden oder auf der Nordhalbkugel.

Das hier schrieb ich vor ein paar Tagen:

https://freiburg.social/@breakdownthewalls/115869203493183903

#KingMartinLutherJr #ihaveadream #ihaveadreamspeech #hoffnung #mut #globalersuden #montag #Montagabend #deutschland

Letters from an American – January 18, 2026 – Heather Cox Richardson

Letters from an American, January 18, 2026

By Heather Cox Richardson, Jan 18, 2026

You hear sometimes, now that we know the sordid details of the lives of some of our leading figures, that America has no heroes left.

When I was writing a book about the Wounded Knee Massacre, where heroism was pretty thin on the ground, I gave that a lot of thought. And I came to believe that heroism is neither being perfect, nor doing something spectacular. In fact, it’s just the opposite: it’s regular, flawed human beings choosing to put others before themselves, even at great cost, even if no one will ever know, even as they realize the walls might be closing in around them.

It means sitting down the night before D-Day and writing a letter praising the troops and taking all the blame for the next day’s failure upon yourself in case things went wrong, as General Dwight D. Eisenhower did.

It means writing in your diary that you “still believe that people are really good at heart,” even while you are hiding in an attic from the men who are soon going to kill you, as Anne Frank did.

It means signing your name to the bottom of the Declaration of Independence in bold script, even though you know you are signing your own death warrant should the British capture you, as John Hancock did.

It means defending your people’s right to practice a religion you don’t share, even though you know you are becoming a dangerously visible target, as Sitting Bull did.

Sometimes it just means sitting down, even when you are told to stand up, as Rosa Parks did.

None of those people woke up one morning and said to themselves that they were about to do something heroic. It’s just that when they had to, they did what was right.

On April 3, 1968, the night before the Reverend Doctor Martin Luther King Jr. was assassinated by a white supremacist, he gave a speech in support of sanitation workers in Memphis, Tennessee. Since 1966, King had tried to broaden the civil rights movement for racial equality into a larger movement for economic justice. He joined the sanitation workers in Memphis, who were on strike after years of bad pay and such dangerous conditions that two men had been crushed to death in garbage compactors.

After his friend Ralph Abernathy introduced him to the crowd, King had something to say about heroes: “As I listened to Ralph Abernathy and his eloquent and generous introduction and then thought about myself, I wondered who he was talking about.”

Continue/Read Original Article Here: January 18, 2026 – by Heather Cox Richardson

I have a dream

That was Martin Luther King speaking in 1963. Today, there is a serious lack of a movement like the one that existed back then, even though it is so badly needed. None of the dreams of that time have come true in their entirety, but at least some of them have.

But under Trump and all his right-wing and far-right government leaders, any modest progress is being crushed with all possible force. Those who do not submit humbly lose their livelihoods and, in many cases, even their lives.

It seems to me that today we are once again lacking a dream! But all too often we also lack the courage and determination to turn that dream into a living reality.

But they do exist, these courageous people, young and old, women, men, LGBTQIA+, all over the world. And there need to be more of them; we need to step out of our comfort zones.

"With this faith we will be able to work together, to struggle together, to go to jail together, to stand up for freedom together" (M.L. King jr.)

#ihaveadream #mlkjr #usa #freedom #struggle #struggletogether #jail #politics #politik #sonntag #wortzumsonntag #deutschland #repression #ice #uspol #fightback #antifa #antifaschismus #antifaisthandarbeit #Selbstorganisation #rotehilfe #usgov #trumpregime #merz #cdu #spd #rightwing #lgbtq #lgbtqia #traum #weneedachange #wirbrauchenmehrdavon #wirbrauchenmehralle #innenpolitik #traume

@GreenSkyOverMe
Wer soll das denn sein?

#Merz ist ein arroganter Verbal-Brandstifter mit schwer gestörter Impulskontrolle und Moral- Brummkreisel auf Schlingerkurs. Dieser Mini-Despot ist nicht "mein Kanzler".

Aber vor #Spahn, #Linnemann, #ThorstenFrei oder dem #Söder gruselt mir nicht weniger.

Ach wie sehr wünschte ich mir einen wahrhaftigen #Christen im Sinne der #Bergpredigt, unbeirrbar sozial und uneigennützig demokratisch.

#Ihaveadream

"There Is A Dream" teableau for 01/20/25

The only king I acknowledge on this day is Dr. King.

#Tea #Teableau #TeaCozy #TeaCosy #VintageChina #MLK #DrKing #Rooibos #Peace #IHaveADream #equality #CivilRights

Il #28agosto 1963 #MartinLutherKing pronuncia il celebre discorso I have a dream. Un saggio di #StatoeChiese ricorda il paladino dei #DirittiCivili degli #afroamericani analizzando il ruolo della religione a sostegno dell'#uguaglianza razziale, attraverso un confronto con le posizioni di #Gandhi in India, di #Chavez in Messico, di #SayyedQutb in Egitto ⬇️

https://doi.org/10.13130/1971-8543/9966

#IHaveaDream #diritti

Viendra-t-il le jour ou le simple algérien payera ces achats à l'international en dinars algérien sur Internet ?!
#IHaveADream, le Dinar Algérien convertible.
#Algérie #Epayment