My first verified imperative program
Link: markushimmel.de/blog/my-first-…
Discussion: news.ycombinator.com/item?id=4…
One of the many exciting new features in the upcoming Lean 4.22 release is a preview of the new verification infrastructure for proving properties of imperative programs.Markus Himmel
Tried to flash new #Libreboot binary with (proper) text-mode instead of corebootfb-mode.
And suddenly found that my #ch341a programmer is dead 
It was in the antistatic pouch in the shelf for half of the year and now it can't read/write/erase my #SPI chip on the #Thinkpad X220. It even can't be detected by OS.
Are CH341A programmers really so unreliable that they are dying without any visible reasons? 
Charlie Kirk: The conservative movement needs to focus more time, energy, and focus on how Islam is rapidly taking over the west.
Nick Fuentes: Jews already took over the West
@Sherri_IngreyI usually call jobs “interesting” rather than fun but I do assume the audience is having a good time. XD
I like them because I get my court ordered outdoor time and can do jobs that are a bit different than what I typically do on tour.
🥜 & #threatintel - Thanks to Horizon3, we pushed a tag out today for CitrixBleed 2 CVE-2025-5777 and are backfilling. Currently, we see 233 hits starting on July 1 from:
64.176.50[.]109
38.154.237[.]100
102.129.235[.]108
121.237.80[.]241
45.135.232[.]2
Follow along here: viz.greynoise.io/tags/citrixbl…
Gaza remains at the epicenter of a widening regional conflict, according to analyst Helena Cobban. Israels US-backed attack on Iran did not go to plan, with ...YouTube
A collection of wit, wisdom, thoughts, ideas, and other gems from Don's pen "134% of younger people don't understand fractions, but a seven times smaller group does." ref. Kid Tech + Young love... "Are shopping carts important? Nope.chia.owly.net
Prediabetes is TERRIBLE: Here’s EXACTLY How I’d Reverse It NATURALLY - Dr. Suneel Dhand
youtube.com/watch?v=mpg0xRSn3k…
It's either this, or a slide towards Type 2 Diabetes and the medical-industrial complexDr Dhand’s MetThrive Method Prediabetes/Insulin Resistance Reversal Pr...YouTube
#Introduction Post
d8a.vivaldi.net/2025/07/05/hel…
D8A is a social enterprise specializing in data, discovery and decision science. We promote practices and programs that benefit nature and society.D8A
Show HN: NYC Subway Simulator and Route Designer
Link: buildmytransit.nyc
Discussion: news.ycombinator.com/item?id=4…
relentless_eduardo reshared this.
Catweazle reshared this.
So, a concentration camp...
"Israel’s defence minister has laid out plans to force all Palestinians in Gaza into a camp on the ruins of Rafah, in a scheme that legal experts and academics described as a blueprint for crimes against humanity.
"Palestinians would go through 'security screening' before entering, and once inside would not be allowed to leave, Katz said at a briefing for Israeli journalists."
theguardian.com/world/2025/jul…
@palestine #Palestine #Israel #Gaza
Military ordered to turn ruins of Rafah into ‘humanitarian city’ but experts call the plan an internment camp for all Palestinians in GazaEmma Graham-Harrison (The Guardian)
reshared this
New California State
newcaliforniastate.com/about-n…
New California State was created by Californian Patriots that have had enough with the tyranny and corruption of the failed STATE OF CALIFORNIA government. By using the Article IV, Section IIII of the Constitution we are able to create a New state that guarantees us a republican form of government, as our founding fathers intended.
Πράγματι, ένα μεγάλο μέρος της ισραηλινής κοινής γνώμης αρχίζει να αντιτίθεται στη στρατηγική της κυβέρνησης για τη διάσωση των ομήρων. Ομως αυτή η ίδια κοινή γνώμη εξακολουθεί σε μεγάλο βαθμό να υποστηρίζει τη γενοκτονία στη Γάζα. Αν ακούσετε τα συνθήματα ή τους λόγους που εκφωνούνται στις διαδηλώσεις, θα δείτε ότι μιλούν για κατάπαυση του πυρός για να σωθούν οι όμηροι, όχι για να σωθούν οι Παλαιστίνιοι.
Ορισμένοι λένε, μάλιστα, ότι μετά την επιστροφή των ομήρων, ο πόλεμος θα μπορεί να συνεχιστεί, ο θεός μόνο ξέρει με ποιον σκοπό. Ετσι, όλες οι μεγάλες διαδηλώσεις που πραγματοποιήθηκαν πριν από τις 7 Οκτώβρη στο Ισραήλ είχαν στόχο να σώσουν τη δημοκρατία για τους Εβραίους του Ισραήλ και όχι να δημιουργήσουν μια πραγματική δημοκρατία όπου οι Παλαιστίνιοι θα ήταν ίσοι, μια δημοκρατία όπου κανείς δεν θα ζούσε υπό στρατιωτική κατοχή, χωρίς κανένα δικαίωμα. Οχι, επρόκειτο να σώσουμε τη δική μας εβραϊκή ζωή ή την εβραϊκή μας ελευθερία, ανεξάρτητα από τις θηριωδίες που διαπράττουμε εναντίον των Παλαιστινίων στα κατεχόμενα εδάφη.
eksegersi.gr/politismos/avi-mo…
6 Ιούλ 2025, 05:55 - ΠΗΓΗ: l'Humanité Συνέντευξη στην Marie-José Sirach Ο ισραηλινός σκηνοθέτης Αβι Μόγκραμπι γεννήθηκε στο Τελ Αβίβ το 1956. Από πολύ νωρίς στράφηκε κατά των πολιτικών κατοχής της χώρας του.Eksegersi.gr (Εφημερίδα Κόντρα | Eksegersi.gr)
This week, the world’s major central bankers have gathered in the sweltering heat of Sintra, Portugal (although I am sure the the aircon is good in their swanky hotel in the hills). The big issue,…Michael Roberts Blog
UN adopts resolution on Afghanistan's Taliban rule over US objections
https://apnews.com/article/un-afghanistan-taliban-girls-education-0fc6d2fa803c093d424a60e41149ad5f?utm_source=flipboard&utm_medium=activitypub
Posted into International News @international-news-AssociatedPress
Disisdeguey🔻Pavlichenko🇵🇸 reshared this.
"We call this state of #chaos the Third World #War"
#RizaAltun about Globals #crisis, #antimperialism and #Internationalism as a solution of the #peoples
➡️ Read the #brochure here:
riseup4rojava.org/the-global-c…
In this in-depth interview, Murat Karayılan, reflects on the harrowing battle against ISIS in Kurdistan. He recounts how the guerrilla and the YPG saved the population in Şengal and the courageous resistance in Kobanê.riseup4rojava (#RiseUp4Rojava)
Massive ICE Raid at MacArthur Park in Los Angeles.
You will never convince me that California/Pacifica wouldn’t be better off as an independent country after this.
(Photo courtesy of dannykpolitics)
Nando161 reshared this.
The far right is pissed at Donald Trump after he rejected a popular conspiracy theory on Epstein’s death.The New Republic
"#conservatives will be like: why are you holding me #accountable for my #bigoted #beliefs? whatever happened to tolerance???"
why your #vegetarianism* is more likely #casteism than anything else
*in the #context of #india and #hindus
#DonaldTrump was in the original #Epstein list at least 14 times
Next weeks #headline?
dailykos.com/stories/2025/2/26…
President Donald Trump’s appointed Attorney General Pam Bondi is under intense pressure, from all sides of the political spectrum, to release government files on Jeffrey Epstein, as she had previously promised to do.Daily Kos
Diquat is banned in the UK, EU, China and other countries. The US has resisted calls to regulate itTom Perkins (The Guardian)
Sensitive content
nsfw group reshared this.
Just when you thought it was safe to go back in the blogosphere ...
2 new #Disintermedia blog posts to celebrate the southern, seasonal new year. One a sort of state of the blog update;
disintermedia.substack.com/p/g…
... and another Indymedia Story about my experience with a police informant who spent a decade spying on activist groups, including many I was involved in;
disintermedia.substack.com/p/i…
#activism #policing #Indymedia
The tightrope between tinfoil-hat paranoia and rose-tinted naivetyDanyl Strype (Disintermedia)
The Vietnamese newspaper Nhân Dân recently reported that an exhibition on President Ho Chi Minh’s revolutionary career in China has been jointly organised by the Guangdong Museum of Revolutionary History of China and the Ho Chi Minh Museum of Viet Na…Friends of Socialist China
Diquat is banned in the UK, EU, China and other countries. The US has resisted calls to regulate itTom Perkins (The Guardian)
Sensitive content
New York Knicks hire Mike Brown, a two-time NBA Coach of the Year
https://apnews.com/article/knicks-coach-mike-brown-b7e4ec9210853434fb9b41d99e8b541f?utm_source=flipboard&utm_medium=activitypub
Posted into Sports @sports-AssociatedPress
Pacers executive confirms Tyrese Haliburton won't play next year as he recovers from torn Achilles
https://apnews.com/article/haliburton-pacers-nba-9af935eabf8ab12d8775f3b5c829eb36?utm_source=flipboard&utm_medium=activitypub
Posted into Sports @sports-AssociatedPress
The cruelty is the point. As long as the 0.01% can make MORE MORE MORE, doesn't matter how many losing healthcare are harmed--or even how much damage and harm will ripple out to everyone. Fuck these nazi bastards.
Boxing great Julio César Chávez defends son arrested by US immigration agents
https://apnews.com/article/julio-cesar-chavez-boxing-arrest-e95501ab38f222f1f254eeaf55232ff2?utm_source=flipboard&utm_medium=activitypub
Posted into Sports @sports-AssociatedPress
More than 100 women are suing the Danish state for $6m, claiming their human rights were violatedXavier Greenwood (The Observer)
Sensitive content
"EPSTEIN WAS MOSSAD ASSET CONTROLLING POLITICIANS VIA BLACKMAIL — CIA VETERAN"
The billionaire says his America Party initiative will focus on Congress ahead of 2026, but may back a presidential candidate for 2028RT
was gonna say bc free training data but you have to pay to get digitally lobotomized by M$ 
boundingintocomics.com/video-g…
Matt Turnbull, Xbox Game Studios' Executive Producer, recommends laid off employees use AI chat programs to "help reduce the emotional and cognitive load that comes with job loss."Ryan Pearson (BoundingIntoComics.com)
:hoshino_smug: likes this.
:hoshino_smug: reshared this.
"Three bagged, nine winged. 140 shell casings found. How our fellow citizens celebrate the Fourth. . ."
Jared Taylor on X
CPU-X: CPU-Z for Linux
Link: thetumultuousunicornofdarkness…
Discussion: news.ycombinator.com/item?id=4…
CPU-X is a Free software that gathers information on CPU, motherboard and more.thetumultuousunicornofdarkness.github.io
"Trump says NWS staffing levels didn't affect Texas storm preparedness"
Whew. Glad we have that settled from a 100% super trustworthy source. This case is as as closed as Epstein's.
Workers across the country are getting a raise this month as new local and state minimum wage laws take effect. More than 880,000 workers in Alaska, Oregon,adam E (EsstN)
Praying for these innocent little children...lots of unanswered questions, but for now...May they Rest in Peace.✝️
nypost.com/2025/07/07/us-news/…
The bodies of 10 of the girls, ages 8 and 9, have been recovered, along with counselor Chloe Childress, 18. Three girls and counselor Katherine Ferruzzo, 19, have not been found.Jared Downing (New York Post)
Detention comes amid Trump crackdown against perceived political enemies, including immigrants and labor organizersDharna Noor (The Guardian)
Sensitive content
nsfw group reshared this.
Because Americans are still, deep inside, medieval barbarians 😀
like this
Americans are still, deep inside, medieval barbarians
It only looks that way. We do have iphones, you know.
like this
Called a customer support center for a non-specific question. They would not answer a question about their product without my full contact information.
Wanted to give them a "1" in the automated survey, but the automation kept telling me I had made an invalid selection.
HOUSTON, July 6 (Xinhua) -- Up to 80 people have died while more than 40 people remain missing on Suen.people.cn
A political scientist recently wrote that the Trump admin “is trying to kill American higher education.” There should be no doubt that he’s right.
When making a list of the White House’s authoritarian tactics, be sure to include “trying to dictate how universities operate” to the growing list. msnbc.com/rachel-maddow-show/m…
The Trump administration demanded the ouster of the University of Virginia’s president, Jim Ryan. Unfortunately, he complied.Steve Benen (MSNBC)
Sensitive content
"I think we have all the ingredients to win this race, but we are going to have to turbocharge our efforts."Jason Ma (Fortune)
A climate change activist spray-painted Apple’s 5th Avenue storefront in New York City as part of an Extinction Rebellion protest against Big Tech’s “hypocrisy” about environmental commitments.Emma Roth (The Verge)
relentless_eduardo
in reply to MΞMΞ Republic™ • • •