Ulrich Junker
banner
ulrichjunker.fediscience.org.ap.brid.gy
Ulrich Junker
@ulrichjunker.fediscience.org.ap.brid.gy
Scientist in Artificial Intelligence and the Decision Sciences. Study of advanced methods for problem solving, which covers topics such as preference […]

[bridged from https://fediscience.org/@UlrichJunker on the fediverse by https://fed.brid.gy/ ]
Reposted by Ulrich Junker
#vereinfachtesprache
🌍 Politiker setzen gern mit dem Ausrufen des Klimanotstandes ein Zeichen für den #Klimaschutz. Maßnahmen wie der Bau von Radwegen und die Verbesserung des öffentlichen Nahverkehrs sollen so schneller umgesetzt werden. Viele Städte haben weltweit bereits den #klimanotstand […]
Original post on mastodon.online
mastodon.online
January 9, 2026 at 8:16 AM
Reposted by Ulrich Junker
Eine Geschichte über Verschwendung – und wie wir sie gemeinsam stoppen.

Südlich von Leipzig lagern 4.000 Tonnen beste Speisekartoffeln. Sie könnten Hunderttausende Menschen ernähren.

Die Osterland Agrar GmbH hat sie angebaut, geerntet, eingelagert – doch der Markt will sie nicht. Zu viel […]
Original post on mastodon.bits-und-baeume.org
mastodon.bits-und-baeume.org
January 9, 2026 at 7:21 PM
Reposted by Ulrich Junker
Im Dezember 2025 war fast jeder fünfte #neuwagen in #deutschland vollelektrisch.

Die Deutsche #umwelthilfe empfiehlt in einem neuen Leitfaden besonders effiziente #elektroautos, vor allem sparsame #Kleinwagen. Kritisch sieht sie #PluginHybride, die in der Praxis oft klimaschädlicher als […]
Original post on mastodon.online
mastodon.online
January 9, 2026 at 7:20 PM
Reposted by Ulrich Junker
#deutschland hat 2025 erneut die #klimaziele im Verkehrs- und #Gebäudesektor verfehlt.

Die Deutsche #umwelthilfe kritisiert die Bundesregierung für mangelnde Maßnahmen wie fehlendes #tempolimit oder schleppende #Gebäudesanierung.

Besonders betroffen sind Menschen mit geringem Einkommen, die […]
Original post on mastodon.online
mastodon.online
January 9, 2026 at 6:19 PM
Reposted by Ulrich Junker
Trump survived House votes to overturn two of his vetoes, ...35 Republican lawmakers voted to override Trump’s veto of the Arkansas Valley Conduit Act, while 24 voted to negate Trump’s veto of the Miccosukee Reserved Area Amendments Act, which codifies tribal land rights in Florida. House […]
Original post on mastodon.social
mastodon.social
January 9, 2026 at 2:49 AM
Reposted by Ulrich Junker
Earlier in the day, the Senate advanced a bipartisan measure intended to block the Trump administration from conducting further military action in Venezuela. Five Republicans joined every Democratic senator in advancing the resolution, following the White House’s capture of Venezuela’s president […]
Original post on mastodon.social
mastodon.social
January 9, 2026 at 2:46 AM
Reposted by Ulrich Junker
Die #Wassertemperaturen in Nord- und #Ostsee haben 2025 neue Höchstwerte erreicht.

Die #Nordsee war mit durchschnittlich 11,6 Grad Celsius so warm wie nie zuvor. Auch die Ostsee lag mit 9,7 Grad deutlich über dem langjährigen Mittel. Diese Entwicklungen stehen im Zusammenhang mit dem […]
Original post on mastodon.online
mastodon.online
January 9, 2026 at 3:21 PM
Reposted by Ulrich Junker
Drei Jahre nach Einführung der #mehrwegangebotspflicht zeigt eine Untersuchung der Deutschen #umwelthilfe: Viele Bäckerei- und #tankstellenketten ignorieren gesetzliche Vorgaben.

In 18 von 32 Filialen wurden Verstöße festgestellt, einige Ketten haben #Mehrwegangebote sogar wieder abgeschafft […]
Original post on mastodon.online
mastodon.online
January 9, 2026 at 1:21 PM
Reposted by Ulrich Junker
Ab Juni 2026 können #Hauseigentümer überschüssigen #solarstrom einfacher mit Nachbarn teilen.

Die neue Regelung zum sogenannten #EnergySharing vereinfacht rechtliche Vorgaben und entlastet Betreiber von #Solaranlagen von vielen Pflichten klassischer #stromlieferanten.

Möglich wird so eine […]
Original post on mastodon.online
mastodon.online
January 9, 2026 at 11:12 AM
Reposted by Ulrich Junker
Möchte jemand mithelfen 1 Tonne Kartoffeln kostenlos in der Nachbarschaft zu verteilen?

Jede Abnahmestelle erhält eine Tonne der Kartoffeln, kostenlos, zum Verteilen an alle, die sie gebrauchen können (Sorte Agria, festkochend!). Wir können gemeinsam zeigen, wie solidarisch Berlin sein kann […]
Original post on gruene.social
gruene.social
January 9, 2026 at 10:24 AM
Reposted by Ulrich Junker
In #Dörverden ist ein senkrechter #Solarpark in Betrieb gegangen, der gleichzeitig #Strom und #Ackerfrüchte erzeugt.

Die bifacialen Module stehen in Reihen mit großem Abstand und lassen genug Platz für landwirtschaftliche Maschinen. Durch die Ost-West-Ausrichtung wird vor allem morgens und […]
Original post on mastodon.online
mastodon.online
January 5, 2026 at 9:22 PM
Reposted by Ulrich Junker
I found myself writing "Perhaps proof assistants got too much sold into the idea of formality as the primary goal" without thinking about this in advance.

But now that I think about it explicitly, I couldn't agree more with this.

Perhaps, what TypeTopology tries to do informally, namely convey […]
Original post on mathstodon.xyz
mathstodon.xyz
January 5, 2026 at 9:34 PM
Reposted by Ulrich Junker
It did take five or so prompts to get DeepSeek to do what I wanted.

But these were for *minor* things.

Like don't add anything I haven't said in that file, which it "helpfully" tried originally.

But there was one thing I found astonishing. At some point, in the mathematical vernacular version […]
Original post on mathstodon.xyz
mathstodon.xyz
January 5, 2026 at 8:55 PM
Reposted by Ulrich Junker
During the season break, I experimented with generative AI to unformalize a certain TypeTopology file in Agda.

This was only a 3hrs exercise. I measured it. I said to myself that I would spend no more than 3hrs with this experiment (one afternoon).

The problem under investigation is:

Can […]
Original post on mathstodon.xyz
mathstodon.xyz
January 5, 2026 at 8:46 PM
Reposted by Ulrich Junker
Volle Solidarität mit meinem Kollegen @buettnerandreas aus #brandenburg, dessen Privathaus Ziel eines #terrorangriff mit #Hamas - Symbolik wurde.

Wir Beauftragten gegen #antisemitismus können leider bestätigen, dass #Verschwörungsmythen & #digitalegewalt nicht "harmlos", sondern gefährlich sind […]
Original post on sueden.social
sueden.social
January 5, 2026 at 10:20 AM
Reposted by Ulrich Junker
2026 startet mit sinkenden #Strom- und #gaspreisen für Kundinnen und Kunden der #rheinenergie.

Gleichzeitig wird der Ausbau der #erneuerbarenenergien vorangetrieben. In #Köln beginnt der Bau von Europas größter Flusswasser-#Wärmepumpe.

Neue #photovoltaikanlagen entstehen in Köln-Rondorf […]
Original post on mastodon.online
mastodon.online
January 5, 2026 at 7:20 AM
Reposted by Ulrich Junker
#Thüringen könnte seine #Energieversorgung bis 2045 am kostengünstigsten gestalten, wenn 2,2 Prozent der Landesfläche für #Windkraft genutzt und 1,4-mal mehr #FreiflächenPhotovoltaik installiert würden.

Eine Studie der Hochschule #nordhausen zeigt: Dieses Szenario senkt die […]
Original post on mastodon.online
mastodon.online
January 4, 2026 at 8:21 PM
Reposted by Ulrich Junker
#niedersachsen übernimmt den Vorsitz der #energieministerkonferenz und sieht 2026 als Schlüsseljahr für die #Energiewende.

Der Ausbau der #erneuerbaren, sinkende #strompreise und kürzere Genehmigungsverfahren stehen im Fokus. Mit Rekordwerten beim #windkraftausbau und niedrigsten […]
Original post on mastodon.online
mastodon.online
January 4, 2026 at 5:22 PM
Reposted by Ulrich Junker
Record year for wind and solar electricity in Great Britain in 2025. Via @bbc #UK 🇬🇧 #RenewableEnergy ♻️⚡🌎
Record year for wind and solar electricity in Great Britain in 2025
Wind, solar and other renewables hit a new high last year but the government is still some way off its clean power target.
www.bbc.com
January 5, 2026 at 1:00 AM
Reposted by Ulrich Junker
Der spanische PM #sanchez:

"Spanien hat das #maduro-Regime nicht anerkannt. Aber es wird auch keine Intervention anerkennen, die gegen das Völkerrecht verstößt und die Region an einen Horizont der Unsicherheit und des Berilizismus treibt".
#spanien #trump #venezuela
January 4, 2026 at 11:53 AM
Reposted by Ulrich Junker
Ich verurteile den bewaffneten Angriff der USA auf Venezuela. Dieser Angriff stellt eine schwere Verletzung des Gewaltverbots der UNO-Charta dar. Es ist eine Frage unserer Glaubwürdigkeit, dies auch klar zu benennen. Wir müssen die Flagge der internationalen Rechtsstaatlichkeit hochhalten.
January 3, 2026 at 11:36 AM
#digitalindependenceday as a matter of fact, I am using European and Australian software for most productivity tasks:
- #ulyssesapp for writing and note taking.
- #dxo PhotoLabs for photo editing.
- #sitely Website Builder for personal and community websites.
- #aeontimeline for tracking major […]
Original post on fediscience.org
fediscience.org
January 4, 2026 at 12:27 PM
Reposted by Ulrich Junker
#3dinge, die ich diese Woche für wahr hielt:

1️⃣#solar und #wind ist #friedensenergie und die #Wärmepumpe ist #friedensarbeit.

2️⃣Für #Mobilität keine Fossilen zu nutzen ist eine gute Entscheidung.

3️⃣Herr:in zu sein über die eigenen Daten und die eigene #aufmerksamkeit bedeutet 2026 echte […]
Original post on mastodon.social
mastodon.social
January 4, 2026 at 7:23 AM