Replying to
@sven_giegold@mastodon.social ich verstehe diese Klage nicht: Wenn die Wirtschaft, unter anderem durch Wärmepumpen, elektrifiziert wird, gibt es für die Netzbetreiber mehr zu tun. Das sollte die doch freuen.
Remote
Björn Gohla
@6d03@mathstodon.xyz
mastodon 4.7.2math. programming. fancy types. haskell.
https://6d03.info
265 Followers
765 Following
46 Posts
Joined October 31, 2022
Replying to
@rcosta@archaeo.social @regendans@todon.eu @blogdiva@mastodon.social
One of the proponents of the Big Bang Theory was literally a Catholic priest https://en.wikipedia.org/wiki/Georges_Lema%C3%AEtre
Because of recent events, I've been thinking someone should make an s6 based replacement for nixos.
It turns out, it almost exists:
https://www.liminix.org/
"Almost", because this project focuses on routers.
Replying to
@sven_giegold
Er deutet auch an, dass ihm da der rechte Flügel der Fraktion im Nacken sitzt. Es wäre seine Aufgabe, stattdessen seine Leute zu überzeugen, auf die SPD zuzugehen. Wenn er das nicht schafft, müsste er ehrlicherweise abtreten.
Replying to
@twobiscuits@graz.social @ifixcoinops@retro.social they started trying to write a spec of how HTML actually works, and it is a monstrosity.
Replying to
@LorenzMeyer@mastodon.social
Man muss daran erinnern, dass die USA schon jetzt jederzeit in Groenland mehr Truppen stationieren könnten, wenn sie das für nötig befänden.
Replying to
@andre_meister
Dass der Vizechef einer Polizeibehörde sowas fordert, ist nicht überraschend. Man kann spekulieren, wie er sich das praktisch vorstellt. Einsatz von Tojanern? Oder wird der Endgerätebesitzer per gerichtlicher Anordnung unter Strafandrohung dazu gebracht seine Kryptoschlüssel offenzulegen?
Replying to on gruene.social
@Gerbsen@gruene.social 'Ne ganze Menge.
Wobei man bedenken muss, dass nicht nur die Entwicklung, sondern auch der Betrieb bezahlt werden muss.
Replying to on mastodon.social
Replying to
@zimoun
But what about the evaluation order? Surely we want a lazy language to compute derivations.
Replying to
Replying to
@vavakado To be honest, I have not conducted a thorough analysis, I just like the simplicity of s6.
Replying to
@richardseidl @activegroupgmbh
Wobei man die Gleichung natürlich auch als die Definition eines Fixpunktes interpretieren kann 🤓
I had a feeling there is a key-binding in #bash to insert all possible completions; and there is 🎉
It's `M-*`
Replying to
the composite is a new thing; is it still small? is it still simple?
Replying to
Replying to
@Bundesregierung@social.bund.de Das ist und bleibt ein populistischen Popanz, der am Ende kein Geld spart und in Teilen verfassungswidrig sein dürfte.
Es ist der Glaubwürdigkeit der Bundesregierung und der politischen Klasse insgesamt abträglich sich mit solchen aufgeblasenen Nullnummern zu brüsten, während etliche Cum-ex-Millarden der Rückholung harren.
Replying to
Replying to
@JacquesC2@types.pl @Taneb@hacksrus.xyz The Ada spec might have something useful to say about this.
(Or maybe that's exactly what you're referring to)
Replying to
@robinheghan
The age-verification debacle in systemd.
c.f., https://gts.0x7be.net/@dirk/statuses/01KMBMW0ZVB3NFQDTR8FKMCX71
Replying to
Replying to
@blogdiva@mastodon.social That's a slight misrepresentation of science though; it does provide explanations of cause and effect, notably about environmental changes; it can't tell us what we must do.
Judging that certain effects should be avoided or prevented, is not a scientific as much as an ethical insight.
Replying to
@libreleah
I've always been wondering, where do you get the hardware? These are not recent releases, are they?
Replying to
@bkastl@mastodon.social warte auf lautstarke Forderungen nach Gesetzen, um die Datenerhebung zu verbieten.
Pelos vistos a #CP não quer saber dum inconveniente que encontrei numa viagem. 🤷♂️
Replying to
what shall be its name? can you make them see its glory?
Replying to
@BartoszMilewski@mathstodon.xyz
That still doesn't seem right though. In the diagram, P,Q,R, and S are the profunctors. and they look vertical to me, whether drawn as a string diagram or it's Poincaré dual 🤔
Replying to
@fragdenstaat@chaos.social Es ist ziemlich haarsträubend, dass deutsche Gerichte den Abzuschiebenden offenbar zumuten, sich in der «Schattenwirtschaft» selbst zu versorgen; also vermutlich durch Verstoss gegen griechisches Arbeits- und Sozialrecht 🤯