@6d03@mathstodon.xyz
@6d03@mathstodon.xyz avatar

6d03

@6d03@mathstodon.xyz

math. programming. fancy types. haskell.
https://6d03.info

This profile is from a federated server and may be incomplete. Browse more on the original instance.

julesh, to random
@julesh@mathstodon.xyz avatar

I think we could make call/cc go faster if only we could make a cpu with a hardware level feature to dynamically remap chunks of address space, so every use of a memory address is first run through a bit of circuitry that redirects it

6d03,
@6d03@mathstodon.xyz avatar

@julesh presumably those redirects need to be chainable?

6d03,
@6d03@mathstodon.xyz avatar

@julesh there is paper called "C is not a low level language" that has some related ideas, that you might be interested in.

6d03, to random German
@6d03@mathstodon.xyz avatar

https://ard.social/@tagesschau/112025968493935351

  1. Dass die Russen dieses Gespräch abhören konnten wäre ein ernstes Problem, auch ohne die Veröffentlichtlichung, und muss wohl eine Verbesserung der Informationssicherheit zur Folge haben.

  2. Dass die Luftwaffenführung sich Gedanken macht über den Einsatz der , ist gut und richtig, und völlig legitim.

  3. Dass es jetzt so viel Aufregung um diese Geschichte gibt ist schon ein Gewinn für Russland.

Warum konnte sich die @Bundesregierung nicht darauf zurückziehen, dass man so etwas nicht kommentiere, und die etwaige Echtheit der Aufnahme nicht öffentlich zu bewerten?

6d03,
@6d03@mathstodon.xyz avatar

@Bundesregierung Im Übrigen bin ich der Meinung, dass die Kertschbrücke zerstört werden muss.

quietmarc, to random

The argument that "protests don't do anything" is kinda undermined by how many places are working super hard to make protests illegal.

6d03,
@6d03@mathstodon.xyz avatar

@quietmarc Also by the success farmers seem to be having by mucking up #brussels.

polenz_r, to random German
@polenz_r@social.dev-wiki.de avatar

Medwedew droht 🇩🇪 alle naselang mit atomarer Vernichtung. Und jetzt empört sich 🇷🇺 , weil angeblich deutsche Offiziere darüber gesprochen haben, was passieren würde, wenn die 🇺🇦 die Kertsch-Brücke zerstört, die die annektierte Krim mit 🇷🇺 verbindet. Geht’s noch?

6d03,
@6d03@mathstodon.xyz avatar

@polenz_r Und der MAD springt über das Stöckchen. Es ist nicht zu fassen.

jon, to random
@jon@gruene.social avatar

IF you want a flight ban that's MEANINGFUL, do this

  • 4 hours by train, not 2.5 hours

  • apply to ALL flights, inc. transfers and private jets

  • turn connecting flights into connecting trains with guaranteed passenger rights in case of delay

Anything LESS than that and it's gesture politics

6d03,
@6d03@mathstodon.xyz avatar

@jon also, make sure your airports have train stations with long distance through service

Bundesregierung, to Ukraine German
@Bundesregierung@social.bund.de avatar

Die NATO ist - und wird - keine Kriegspartei. Dabei bleibt es. Bundeskanzler Olaf Scholz macht in der neuen Folge von "Kanzler kompakt" deutlich, dass keine Soldaten und Soldatinnen der Bundeswehr in die Ukraine entsendet werden.
#KanzlerKompakt #Bundeskanzler #Ukraine #Nato

video/mp4

6d03,
@6d03@mathstodon.xyz avatar

@dalu @Bundesregierung

Ob Du das merkst oder nicht, Du stellst Dich damit auf die Seite der imperialistischen Agression seitens Russlands.

carnage4life, to random
@carnage4life@mas.to avatar

From $3 billion in funding raised since 2018 to bankruptcy.

Their business model was buying profitable businesses that sold around $1M on Amazon and scaling them up to at least $10M. It acquired over 500 businesses before realizing their business model was a zero interest rate phenomenon.

The end.

https://techcrunch.com/2024/02/28/thrasio-once-the-king-of-e-commerce-aggregation-files-for-ch-11-with-90m-to-dig-itself-out/

6d03,
@6d03@mathstodon.xyz avatar

@carnage4life «“Our business is getting better as it gets bigger, and these investments will be invaluable as we continue on that path,” said Carlos Cashman, one of the co-founders said in 2021, when he was still the CEO.»

Why is no one laughing about this?

thomasfricke, to random German
@thomasfricke@23.social avatar

Sicherheitsbedenken in Hochburgen könnten Fachkräfte abschrecken
Unternehmen in Deutschland haben jetzt schon Mühe, ausländische Fachkräfte anzuwerben. Eine neue Studie gibt Einblicke zu den möglichen Folgen eines erstarkten Rechtspopulismus.

https://www.handelsblatt.com/politik/deutschland/afd-sicherheitsbedenken-in-afd-hochburgen-koennten-fachkraefte-abschrecken/100016914.html

Nein! Doch! Ooh!

https://media1.tenor.com/m/Seb3ZlNUzmMAAAAd/nein-doch-ohh.gif

6d03,
@6d03@mathstodon.xyz avatar

@thomasfricke

  1. Echte Nazis wird das Studienresultat nicht beeindrucken.

  2. In manchen Regionen kann das zu einer Feedbackschleife aus wirtschaftlichem Niedergang und politischer Radikalisierung führen.

a_watch, to random German
@a_watch@bewegung.social avatar
6d03,
@6d03@mathstodon.xyz avatar

@a_watch Interessant wäre auch, zu veranschaulichen, dass die Grossspender auch gerne gleich an mehrere Parteien spenden.

Bundesregierung, to random German
@Bundesregierung@social.bund.de avatar

„Wir erleben eine Zeitenwende. Das bedeutet: Die Welt danach ist nicht mehr dieselbe wie die Welt davor.“ Heute vor zwei Jahren stellte Bundeskanzler Scholz das in seiner Regierungserklärung zum russischen Angriffskrieg auf die Ukraine fest. Wie wir auf die Zeitenwende reagiert haben: ⬇

6d03,
@6d03@mathstodon.xyz avatar

@Bundesregierung Und liefern #taurus ?

plaindocs, to random
@plaindocs@chaos.social avatar

LOl Email

> And are you on some form of messaging so I don't have to use 20th centuries technology?!!!!!

Not that I really agree. But it amused me.

6d03,
@6d03@mathstodon.xyz avatar

@plaindocs My guess: email will outlast all the messaging platforms.

Signez, to random French
@Signez@mastodon.social avatar

J'ai trouvé une super psy y'a deux semaines, et j'y suis retourné aujourd’hui ! \o/

Elle m’a annoncé qu’elle fermait son cabinet pour des raisons personnelles ! /o\

6d03,
@6d03@mathstodon.xyz avatar

@Signez 😬

osma, (edited ) to random
@osma@mas.to avatar

"So far, we have found half a million 155mm shells and [edit] 300 thousand122mm shells, which we can ship [to Ukraine] in a few weeks provided we have the funding. We will address our partners in the United States, Germany, Sweden, etc., for such assistance," Czech President Petr Pavel said.

[Edit: post has been corrected from 3 million to 300 thousand 122mm shells since I shared it]
https://www.pravda.com.ua/eng/news/2024/02/17/7442341/

6d03,
@6d03@mathstodon.xyz avatar

@osma that's a nice surprise. but one wonders, why only now?

b0rk, (edited ) to random
@b0rk@jvns.ca avatar

does anyone know where the name HEAD for the current revision came from / what the rationale was? I think that git copied it from Subversion/CVS, but it seems like such a weird name and I imagine at some point in history it must have made sense. Would especially love references if you have them.

(please do not try to explain to me why you think HEAD is a good name today, I'm only interested in learning the history)

(1/?)

6d03,
@6d03@mathstodon.xyz avatar

@goatsarah @b0rk Where they thinking of linked lists maybe?

6d03, to random
@6d03@mathstodon.xyz avatar

the time may have come to throw out the www and start over

polenz_r, to random German
@polenz_r@social.dev-wiki.de avatar

Geschichtsvergessene #NZZ. Soll die AfD ein bisschen Deportation ausprobieren dürfen? Oder ein bisschen “Säuberung” beim #OERR ? Natürlich würde die AfD in einer Regierung NICHTS Positives auf die Reihe bekommen. Aber daran wären immer andere Schuld - und eingefleischte AfD-Fans würden das glauben.

6d03,
@6d03@mathstodon.xyz avatar

@polenz_r Wer das geschrieben hat, hat in der Schule nicht aufgepasst.

mangoiv, to random German
@mangoiv@functional.cafe avatar

Apple made dhall https://github.com/apple/pkl

6d03,
@6d03@mathstodon.xyz avatar

@mangoiv 😄

mntmn, to random
@mntmn@mastodon.social avatar

me designing laptop electronics using pencil 😵‍💫

sketching and measuring the whole motherboard to rk3588 sandwich height

6d03,
@6d03@mathstodon.xyz avatar

@jt_rebelo @mntmn We call it «Bleistiftunangespitztheit» and I think that's beautiful.

rml, (edited ) to Germany

#Germany learned nothing from the #Holocaust.

This #Carneval float implies that its ok to kill entire families of innocents if they are between you and your enemy.

#BDS

6d03,
@6d03@mathstodon.xyz avatar

@rml Could it be this is a caricature, and they are criticizing just that?

6d03, to random
@6d03@mathstodon.xyz avatar

giving up on installing in a vm for now

SocraticEthics, to Ukraine
@SocraticEthics@mastodon.online avatar
6d03,
@6d03@mathstodon.xyz avatar

@SocraticEthics why the hell not?

jon, to random
@jon@gruene.social avatar

I see posts in my timeline saying “when will Germany’s politicians wake up to the threat of Trump?” (After his NATO statements)

Scholz: never awake to anything unless forced
Grüne: would do the right thing, but can’t always drive coalition forward on everything
FDP: will think about saving themselves first, won’t commit to spending anything
Merz: thinks he’s such a genius he could talk Trump around, can ignore people like Röttgen who are better

So Germany’s non-response is rather inevitable

6d03,
@6d03@mathstodon.xyz avatar

@jon Scholz the other day said something along the lines of not accepting that a Trump win was a forgone conclusion. Fine. But what if?

Could Europe compensate in terms of military capacity? Nuclear sharing aside, I think to a large extent yes, though not immediately. Western economic capacity even without the US after all still overmatches Russia several times.

Procurement, strategy and action all become much harder in the absence of a clear leader. And I don't think any one European country is capable or would be accepted in such a role.

Another solution would be to centralise those functions, but I can currently only see that happening ad hoc and too late.

anneapplebaum, to random
@anneapplebaum@journa.host avatar

Trump still doesn't understand how NATO works, he still thinks allies "owe us money" and he's now sending a signal to Russia to attack them while the crowd cheers. This is an invitation to Putin to broaden the war.

https://www.theguardian.com/us-news/2024/feb/11/donald-trump-says-he-would-encourage-russia-to-attack-nato-countries-who-dont-pay-bills

6d03, (edited )
@6d03@mathstodon.xyz avatar

@anneapplebaum 'You got to pay. You got to pay your bills.' is a bold statement coming from the orange menace.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • provamag3
  • mdbf
  • ngwrru68w68
  • modclub
  • magazineikmin
  • thenastyranch
  • rosin
  • khanakhh
  • InstantRegret
  • Youngstown
  • slotface
  • Durango
  • kavyap
  • DreamBathrooms
  • JUstTest
  • GTA5RPClips
  • ethstaker
  • normalnudes
  • tester
  • osvaldo12
  • everett
  • cubers
  • tacticalgear
  • anitta
  • megavids
  • Leos
  • cisconetworking
  • lostlight
  • All magazines