@fanf@mendeddrum.org2026-08-20 11:42:03
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://
@fanf@mendeddrum.org2026-08-20 11:42:03
@heiseonline@social.heise.de2026-09-17 16:23:03
@krone@frawas.de2026-09-19 16:55:19
Ungewöhnlicher Prozess - Swift-Terrorist Beran A. gegen US-Gigant Disney #News #Nachrichten
@heiseonline@social.heise.de2026-07-17 14:01:03
Cyberkriminalität: Männer für Angriff auf Londoner Verkehrsbetrieb verurteilt
Bei dem Angriff im Jahr 2024 entstand ein Schaden von mehreren Millionen Euro für die Londoner Verkehrsbetriebe.
…
@privacity@social.linux.pizza2026-07-15 16:48:08
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/…
@cdarwin@c.im2026-09-15 04:05:18
In what environmental advocates describe as
“another gift to the fossil fuel industry,”
🆘the Trump administration plans to end rules limiting the release of planet-heating emissions from power plants that burn coal and gas.
🔥Power plants are considered the largest industrial source of greenhouse gas emissions in the US and account for about a quarter of the nation’s climate pollution, according to the Environmental Protection Agency (EPA).
In 2024, the EPA under the B…
@cowboys@darktundra.xyz2026-07-15 18:54:09
Brian Schottenheimer, Cowboys lose key pass rusher for start of 2026 NFL season https://www.sportingnews.com/us/nfl/dallas-cowboys/news/cowboys-lose-charles-snowden-three-game-suspension/76542357b63b576f4cc8f5d2
@presseportal_pol_NDS@frawas.de2026-08-11 13:40:40
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 ...
@simon_brooke@mastodon.scot2026-07-03 16:51:15
Content warning: Mass killing of hospital staff and patients
You probably do not want to read this.
#GazaGenocide
https://news.un.org/en/story/2024/04/1148876
@cdarwin@c.im2026-08-03 16:42:41
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…
@raiders@darktundra.xyz2026-07-07 16:43:07
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
@DieGesellschafterinLang@swiss.social2026-09-03 16:14:01
Film-TiPP in der #ARD #Mediathek
"Petra Kelly – Act Now!"
Porträt einer engagierten, sensiblen, unbeirrbaren #Frau – ausgezeichnet 2025 mit dem Deutschen Filmpreis (LOLA) als bester
@ginevra@hachyderm.io2026-08-16 03:28:57
Have finished 'Balcony Over Jerusalem' by John Lyons. It's showing its age (published 2017), but was on this list: #AmReading #Bookstodon
@raiders@darktundra.xyz2026-07-07 16:10:23
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…
@smurthys@hachyderm.io2026-08-27 16:15:58
"Don't you dare come near me." ⚠️ 🐕
#throwback Aug. 19, 2024 #Bangalore #India
#photography #dog #strayDog #tbt #throwbackThursday
