2026-08-23 07:33:16
from my link log —
Formal methods: just good engineering practice?
https://brooker.co.za/blog/2024/04/17/formal.html
saved 2024-04-18 https://
Deshaun Watson doesn't 'care' whether Browns fans boo him during preseason game https://www.nfl.com/news/deshaun-watson-doesnt-care-browns-fans-boo-him
"Trail cameras capture adorable sighting of first wild pine marten babies born in a century"
#UK #UnitedKingdom #Animals
The Office of the Comptroller of the Currency, a regulatory agency whose leader was chosen by Donald Trump,
granted preliminary approval on Friday to World Liberty Financial’s application for a federal bank charter.
World Liberty Financial is a crypto venture launched in 2024 by the president’s two eldest sons,
Donald Trump Jr. and Eric Trump,
and several partners.
The firm’s website states that WLF is 38% owned by “an entity affiliated with Donald J. Trump and …
Zugebaute #Batteriespeicherkapazität pro Monat in #Deutschland mit Stand vom 31.07.2026.
440 Datensätze ohne #Batteriespeichertechnologie herausgefil…
Same place, but what a difference two and a half years make... 🤩
2026 (this morning):
https://mastodon.thi.ng/@toxi/117088174194004767
2024 (foggy & freezing winter morning):
Luckily, I only rarely get calls on my mobile phone—a not-smart-at-all Nokia 3210 (2024). But every time I wonder: is the voice quality of smartphone so much better? I see people happily talking on their smartphones in the metro or the bus, where it's extremely noisy. But I hardly understand a word on the Nokia, even in the best circumstances.
"which emojis are used the least often?" - Great question, and we rarely find data on this! But luckily, we studied this at least for two corpora with German users (and admittedly only for face emojis). So: Many object or symbol emojis (from the "tail end" of the emoji list) are very, very rarely used. Overall, faces and hearts are the most frequent. Among the face emojis, we compiled the full list of usages from a huge Twitter corpus (semi-public communication, 2014-2022) and a much small WhatsApp chat corpus (private or group communication). You can find the frequencies in this table linked below (and sort by frequency by clicking on the column). The least frequent face emoji in the large corpus was the "frowning face with open mouth" 😦, which most people have never seen before. Personally, I think it's pretty ambiguous and not very useful, as there are better emojis for anything it might express. #emojis #linguistics #WorldEmojiDay
https://tscheffler.github.io/2024-Face-Emoji-Norming/ratings.html
FPF Submits Comments to Inform California Children’s Social Media Protections Rulemaking Process
https://fpf.org/blog/fpf-submits-comments-to-inform-california-childrens-social-media-protections-rulemaking-process/…
July was the second warmest on record globally, tied with 2024, and just behind 2023.
The global average temperature for July 2026 was 16.90°C, 0.67°C above the 1991-2020 average for July and 1.47°C above the estimated pre-industrial average for the month.
From https://climate.copernicus.eu/surface-
Luckily, I only rarely get calls on my mobile phone—a not-smart-at-all Nokia 3210 (2024). But every time I wonder: is the voice quality of smartphone so much better? I see people happily talking on their smartphones in the metro or the bus, where it's extremely noisy. But I hardly understand a word on the Nokia, even in the best circumstances.
Luckily, I only rarely get calls on my mobile phone—a not-smart-at-all Nokia 3210 (2024). But every time I wonder: is the voice quality of smartphone so much better? I see people happily talking on their smartphones in the metro or the bus, where it's extremely noisy. But I hardly understand a word on the Nokia, even in the best circumstances.
California and Google will contribute $20M each over two years to the CA Civic Media Program, far below the $250M promised in 2024, with grants of up to $250K (Ethan Baron/Mercury News)
https://www.mercurynews.com/2026/07/14/new
BPOLD-H: Bilanz der vorübergehend wiedereingeführten Binnengrenzkontrollen an der deutsch - niederländischen Grenze in Niedersachsen im Zeitraum vom 16.09.2024 bis einschließlich zum 31.07.2026 Bad Bentheim / Hannover (ots) - Seit dem 16. September 2024 kontrolliert die Bundespolizei in ganz Deutschland den grenzüberschreitenden Verkehr mit vorübergehend wiedereingeführten Binnengrenzkontrollen. Für Reisende zwischen Niedersachsen und ...
PSA: if you're in the US and bought an iPhone 15 Pro/Pro Max or any iPhone 16 as the original owner between June 2024 and March 2025, there's a class action settlement and you can probably get like $25 for filling out a form: https://smartphoneaisettlement.com
Alaska US Senate candidate Mary Peltola has rejected the support of Kamala Harris, her fellow Democrat,
after the 2024 presidential candidate sent out a seemingly unsolicited fundraising appeal on Peltola’s behalf.
Harris, who lost Alaska – typically a Republican-voting state – by 13 points during her unsuccessful White House run, on Wednesday sent an email from her political organization to supporters of Peltola, a former US House member.
“If there’s anyone who can flip Al…
Bin über ein Windpark-Thema bei der Bayernpartei gelandet und wollte wissen, wie weit die von der AfD weg ist. Also beide Programme gelesen.
Grundsatzprogramm 2011/17: „deutlich verstärkte Nutzung von regenerativen Energiequellen", ausdrücklich Ausbau von Windkraft. Dazu Atomausstieg.
Wahlprogramm 2024: „Im windarmen Bayern ist Windkraft leider nicht zielführend." Nein zu „überdimensionierten Windparks".
1/2
What Raiders Gained and Potentially Sacrificed in 2024 NFL Draft https://www.si.com/nfl/raiders/onsi/las-vegas-what-gained-potentially-sacrificed-2024-nfl-draft
from my link log —
Concurrency vs paralellism.
https://www.tedinski.com/2018/10/16/concurrency-vs-parallelism.html
saved 2024-04-09
Bluesky was one of the bigger beneficiaries of the exodus from Elon Musk’s X in November 2024,
following the U.S. elections.
But now, nearly two years later, the social network and would-be X competitor is struggling to hold on to its momentum.
According to data from digital intelligence provider Similarweb,
Bluesky’s mobile app had 10.4 million monthly active users worldwide in June 2026,
-- down 27.2% year-over-year.
In addition, mobile daily active us…
Die offizielle 1,5-Millionen-Marke ist geknackt. 😁
Anzahl der registrierten #Balkonkraftwerke in #Deutschland mit Stand vom 31.08.2026.
Der aktuelle Höchststand liegt bei 1500720 registrierten Anlagen.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das…
(2024) Vision without photoreceptors: Crossmodal perception within the blind spots https://jov.arvojournals.org/article.aspx?articleid=2800902 "Participants reported strong illusory percepts within their blind spots, as well as in visible locations", "audition…
Schon die Einleitung beeindruckt. Die heutige USA reiht sich nahtlos in die Aufzählung der Autokratien der Welt ein. Das konnte Applebaum 2024 nicht wissen, aber in der Rückschau erschüttert das schon sehr. Ich bin gespannt auf ihr Buch „Die Achse der Autokraten“ in der Ausgabe der #büchergildegutenberg
Aaron Donald works out for Rams as he eyes potential return to NFL https://www.nytimes.com/athletic/7495221/2026/08/05/aaron-donald-rams-tryout-retirement/
BPOLD-H: Bilanz der vorübergehend wiedereingeführten Binnengrenzkontrollen an der deutsch - niederländischen Grenze in Niedersachsen im Zeitraum vom 16.09.2024 bis einschließlich zum 30.06.2026 Hannover / Bad Bentheim (ots) - Seit dem 16. September 2024 kontrolliert die Bundespolizei in ganz Deutschland den grenzüberschreitenden Verkehr mit vorübergehend wiedereingeführten Binnengrenzkontrollen. Für Reisende zwischen Niedersachsen und ...
Have finished 'Balcony Over Jerusalem' by John Lyons. It's showing its age (published 2017), but was on this list: #AmReading #Bookstodon
In case anyone wants to know what mosquito buckets are: https://colinpurrington.com/2024/08/bti-honeypot-traps/
After months of resistance, the Democratic National Committee finally relented this May and published a draft of its "autopsy" of what had gone wrong in the 2024 election,
saying it was releasing the unfinished document “in its entirety” in the interest of transparency.
But, according to Paul Rivera, the man who wrote the autopsy, the draft omitted a chapter titled
“What Happened in 2024,”
which he said he had printed out and placed in a three-ring binder th…
Jährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 31.07.2026.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
👉 Zusatzlesestoff:
Raiders get answer at DT at No. 13 in CBS Sports 2024 NFL redraft https://raiderswire.usatoday.com/story/sports/nfl/raiders/2026/07/07/raiders-select-dt-byron-murphy-no-13-cbs-sports-2024-nfl-redraft…
Beyond headcount and human capital: The Effective Cognitive Population as a decomposable capacity unit for AI-era planning
Kwan Soo Shin
https://arxiv.org/abs/2608.09642 https://arxiv.org/pdf/2608.09642 https://arxiv.org/html/2608.09642
arXiv:2608.09642v1 Announce Type: new
Abstract: National planning counts population, human capital, and artificial-intelligence preparedness in separate ledgers. Demographic accounting has advanced from headcount to skills-adjusted stocks and still debates how much age structure retains once skills are modeled, yet no existing unit carries the conditions under which preparedness becomes productive capacity. This study introduces the Effective Cognitive Population (ECP), a decomposable unit that weights population by capability and by the conditions under which capability is deployed, anchored to the World Bank Human Capital Index Plus (HCI ) and the non-overlapping dimensions of the IMF AI Preparedness Index. The architecture is portable in principle; the case tested here is artificial intelligence, which has a published preparedness index. For 144 countries, HCI becomes a productivity level, AI opportunity uses digital infrastructure and innovation integration, conversion governance uses regulation and ethics, and the benchmark is ECP = N H(1 AC). Against 2024 total output on identical population bases, ECP raises criterion R-squared from 0.849 for the HCI -adjusted stock to 0.882 and lowers leave-one-country-out RMSE from 0.723 to 0.641, with the working-age comparison identical and bootstrap intervals excluding zero. Eighty-nine of 144 countries move at least ten rank positions from headcount, mostly through the human-capital adjustment itself. Results are stable across denominators, vintages, aggregation forms, and a 27-rule multiverse. The direct A by C interaction is not statistically supported, so the conjunction is a planning rule rather than causal complementarity. ECP is a diagnostic ledger whose scope excludes forecasts of population decline and estimates of AI's causal productivity effect.
toXiv_bot_toot
Jährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 31.08.2026.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
👉 Zusatzlesestoff:
Titans waive QB Will Levis, ending 3-year tenure with franchise: Source https://www.nytimes.com/athletic/7550710/2026/08/30/will-levis-titans-waive-nfl/
When the University of Minnesota (UMN) extended an offer to historian Raz Segal
to lead its Center for Holocaust and Genocide Studies in June 2024,
it did so upon the near-unanimous recommendation of a committee of academics after a rigorous search process.
The scholars had enthusiastically praised Segal, with one committee member describing a presentation he gave as “breathtaking”.
But five days after making the offer, the university abruptly withdrew it,
citi…
BPOLD-H: Bilanz der vorübergehend wiedereingeführten Binnengrenzkontrollen an der deutsch - niederländischen Grenze in Niedersachsen im Zeitraum vom 16.09.2024 bis einschließlich zum 31.08.2026 Bad Bentheim/ Hannover (ots) - Seit dem 16. September 2024 kontrolliert die Bundespolizei in ganz Deutschland den grenzüberschreitenden Verkehr mit vorübergehend wiedereingeführten Binnengrenzkontrollen. Für Reisende zwischen Niedersachsen und ...
I've 884 pics from Aug. 2024 alone from #India visit. Already reviewed most of them but dropping a third would still leave me 583. At least a half of those are worth publicly sharing, but I doubt I'll ever get around to sharing even 100.
So much beauty will stay unshared. 😥
#photography #dilemma
Spanne der Bruttospeicherleistung von #Batteriespeichern pro Inbetriebnahmejahr von Unternehmen in Deutschland mit Stand vom 30.06.2026.
430 Datensätze ohne #Batteriespeichertechnologie herausgefiltert.
Der Datenbestand enthält unplausible Datensätze.
…
Schon die Einleitung beeindruckt. Die heutige USA reiht sich nahtlos in die Aufzählung der Autokratien der Welt ein. Das konnte Applebaum 2024 nicht wissen, aber in der Rückschau erschüttert das schon sehr. Ich bin gespannt auf ihr Buch „Die Achse der Autokraten“ in der Ausgabe der #büchergildegutenberg
🇺🇦 #NowPlaying on #BBC6Music's #Afrodeutsche
Angélica Garcia:
🎵 Juanita (6 Music Session, 5 Jun 2024)
#AngélicaGarcia
https://angelicagarcia.bandcamp.com/track/juanita-2
https://open.spotify.com/track/20xUkZt5wVADOO7kZxGtpK
#introduction
After a very long break, I'm (finally) back on Mastodon.
I'm gonna re-introduce myself: My name is Mark Zhou / EnmakaiDev. I'm a hobbyist developer and FOSS advocate who's been daily driving Linux since 2024.
I make projects primarily with Rust, and for myself but still decide to share (some of) them with the world only to leave a mark (ge…
Spanne der Bruttospeicherleistung von #Batteriespeichern pro Inbetriebnahmejahr von Privatpersonen in Deutschland mit Stand vom 30.06.2026.
430 Datensätze ohne #Batteriespeichertechnologie herausgefiltert.
Der Datenbestand enthält unplausible Datensätze.
We're not weird, you're weird: Republicans use Democrats' 2024 attack against them for midterms (Raquel Coronell Uribe/NBC News)
https://www.nbcnews.com/politics/2026-election/republicans-use-democrats-2024-weird-attack-line-midterms-rcna594462
http://www.memeorandum.com/260830/p33#a260830p33
Häufigkeitsverteilung der Bruttoleistung von #Balkonkraftwerken in #Deutschland mit Stand vom 31.07.2026.
Unplausible Inbetriebnahmedaten vor 2018 durch Registrierungsdatum ersetzt. Sonderregelungen nach
Organizational Technology Ladders: Remote Work and Generative AI Adoption
Gregor Schubert
https://arxiv.org/abs/2608.11626 https://arxiv.org/pdf/2608.11626 https://arxiv.org/html/2608.11626
arXiv:2608.11626v1 Announce Type: new
Abstract: This study proposes that firms move along an "organizational technology ladder": adopting one technology transforms hiring and work processes and builds skills and organizational capital that change the cost of adopting subsequent technologies. I study how firms' adoption of remote work technology during the COVID-19 period shaped later uptake of generative AI. Using U.S. job-posting data and an instrumental-variables strategy based on predicted differences in labor-market pressure to offer remote work, I estimate that a 10 percentage point increase in remote hiring in 2021-2022 increases the share of job postings mentioning generative AI in 2023-2024 by 0.4 percentage points across firms and 0.7 percentage points across occupations within firms. I provide evidence on mechanisms consistent with a technology-ladder channel: remote work adoption shifts hiring toward technical and managerial capabilities that predict faster conversion of generative AI exposure into adoption. Firms with return-to-office mandates---interpreted as revealing low remote productivity---exhibit a substantially larger response of generative AI adoption to remote work, consistent with an organizational frictions channel.
toXiv_bot_toot
Anzahl der registrierten #Balkonkraftwerke in #Deutschland mit Stand vom 31.07.2026.
Der aktuelle Höchststand liegt bei 1446414 registrierten Anlagen.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der
What should Vikings do with J.J. McCarthy? Divorce seems inevitable after losing starting job to Kyler Murray
https://www.cbssports.com/nfl/news/what-should-vikings-do-with-j-j-mccarthy/
POL-LG: Erfolgreicher Schlag gegen international agierende Rauschgifthändler Lüneburg (ots) - Gemeinsame Pressemitteilung der Staatsanwaltschaft Stade und der Zentralen Kriminalinspektion Lüneburg Bei der ZKI Lüneburg wurde unter Sachleitung der Staatsanwaltschaft Stade seit Oktober 2024 ein Ermittlungsverfahren wegen der ... https://www.
Renner's 2027 NFL Draft scouting series: Ranking the top 10 safeties, including the next Kyle Hamilton?
https://www.cbssports.com/nfl/draft/news/2027-nfl-draft-safety-rankings/…
Häufigkeitsverteilung der Bruttoleistung von #Balkonkraftwerken in #Deutschland mit Stand vom 31.08.2026.
Unplausible Inbetriebnahmedaten vor 2018 durch Registrierungsdatum ersetzt. Sonderregelungen nach
Jährlicher Zubau und Rückbau der #Windenergieleistung in #Deutschland. Stand: 30.06.2026.
Summen der Inbetriebnahmen und Stilllegungen pro Jahr.
Der Datenbestand enthält ggf. unplausible Datensätze.
👉 Zusatzlesestoff:
#Streudiagramm der #Bruttoleistung von #Balkonkraftwerken in #Deutschland mit …
#Streudiagramm der #Bruttoleistung von #Balkonkraftwerken in #Deutschland mit …
"Don't you dare come near me." ⚠️ 🐕
#throwback Aug. 19, 2024 #Bangalore #India
#photography #dog #strayDog #tbt #throwbackThursday