Reposted by Sascha Wilde
Reposted by Sascha Wilde
Lennart Augustsson in
haskell.foundation/podcast/2/ :
"I should say something about the name “Coq”. […] Gérard Huet, who’s sort of was the original creator, […] after a few glasses of wine, I finally got him to admit he had picked this name specifically to annoy English-speakers."
haskell.foundation/podcast/2/ :
"I should say something about the name “Coq”. […] Gérard Huet, who’s sort of was the original creator, […] after a few glasses of wine, I finally got him to admit he had picked this name specifically to annoy English-speakers."
December 16, 2023 at 8:02 PM
Lennart Augustsson in
haskell.foundation/podcast/2/ :
"I should say something about the name “Coq”. […] Gérard Huet, who’s sort of was the original creator, […] after a few glasses of wine, I finally got him to admit he had picked this name specifically to annoy English-speakers."
haskell.foundation/podcast/2/ :
"I should say something about the name “Coq”. […] Gérard Huet, who’s sort of was the original creator, […] after a few glasses of wine, I finally got him to admit he had picked this name specifically to annoy English-speakers."
Reposted by Sascha Wilde
Reposted by Sascha Wilde
Fantastische Neuigkeiten aus Brüssel: Nach dem EU-Parlament kürzlich hat heute auch der EU-Ministerrat für die Aufnahme der #Kernenergie in das Netto-Null-Industriegesetz gestimmt. Die EU-Kommission dürfte sich dem kaum widersetzen.
www.reuters.com/sustainabili... ⚛️
www.reuters.com/sustainabili... ⚛️
reuters.com
www.reuters.com
December 7, 2023 at 8:19 PM
Fantastische Neuigkeiten aus Brüssel: Nach dem EU-Parlament kürzlich hat heute auch der EU-Ministerrat für die Aufnahme der #Kernenergie in das Netto-Null-Industriegesetz gestimmt. Die EU-Kommission dürfte sich dem kaum widersetzen.
www.reuters.com/sustainabili... ⚛️
www.reuters.com/sustainabili... ⚛️
Reposted by Sascha Wilde
Zurück zur Kernenergie: Die deutschen Kernkraftwerke wieder in Betrieb nehmen – ginge das überhaupt? Fundierte Antworten von Ulrich Waas beim ZDF: www.zdf.de/nachrichten/... ⚛️
Zurück zur Atomkraft: Ginge das in Deutschland überhaupt?
In Deutschland fordern CDU und FDP, die sechs Reaktoren, die 2020 und 2023 abgeschaltet wurden, wieder in Betrieb zu nehmen. Wäre das möglich?
www.zdf.de
December 7, 2023 at 9:37 PM
Zurück zur Kernenergie: Die deutschen Kernkraftwerke wieder in Betrieb nehmen – ginge das überhaupt? Fundierte Antworten von Ulrich Waas beim ZDF: www.zdf.de/nachrichten/... ⚛️