@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.

ilaba, to random
@ilaba@mathstodon.xyz avatar

RIP.

" “Jim was an exceptional leader who did transformative work in mathematics and developed a world-leading investment company,” says Simons Foundation president David Spergel. “Together with Marilyn Simons, the current Simons Foundation board chair, Jim created an organization that has already had enormous impact in mathematics, basic science and our understanding of autism. The Simons Foundation, an in-perpetuity foundation, will carry their vision for philanthropy into the future.” "

https://www.simonsfoundation.org/2024/05/10/simons-foundation-co-founder-mathematician-and-investor-jim-simons-dies-at-86

6d03,
@6d03@mathstodon.xyz avatar

@ilaba oh

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

federate decentralised #git repos through the #fediverse.

clementd, to random French
@clementd@framapiaf.org avatar
6d03,
@6d03@mathstodon.xyz avatar

@clementd 🤘

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

fighting the urge to rewrite in

6d03,
@6d03@mathstodon.xyz avatar

it will be called

6d03,
@6d03@mathstodon.xyz avatar

@Taneb that looks like it goes part of the way.

bagder, to random
@bagder@mastodon.social avatar

When in my car, I found myself in my car.

6d03,
@6d03@mathstodon.xyz avatar

@bagder 😁

qbi, to random German
@qbi@freie-re.de avatar

Europol warnt vor Ende-zu-Ende-Verschlüsselung.
Ich warne vor .


Europol warnt IKT-Branche und Regierungen vor Ende-zu-Ende-Verschlüsselung | heise online
https://www.heise.de/news/Europol-warnt-Industrie-und-Regierungen-vor-Ende-zu-Ende-Verschluesselung-9692849.html

6d03,
@6d03@mathstodon.xyz avatar

@qbi Klingt für mich nach einem totalitären Fiebertraum.

domingosfaria, to random
@domingosfaria@mastodon.social avatar
6d03,
@6d03@mathstodon.xyz avatar
6d03, to haskell
@6d03@mathstodon.xyz avatar

I remember recently reading a new paper elaborating a novel presentation of graph algebras. But I can't for the life of me remember the title or the author.

The central idea was axiomatizing vertices as pairs of sets of all incoming and outgoing edges.

It also had example code in Haskell.

Does anybody have an idea of the title? I'd be very thankful for suggestions.

6d03,
@6d03@mathstodon.xyz avatar

@victor_tokarev that's the one. thank you very much.

consequently, to Logic
@consequently@hcommons.social avatar

I think I’m ready for my talk at our two-day proof theory workshop, starting tomorrow: https://consequently.org/presentation/2024/lambda-mu-arche/ — I have a lot to pack in to 25 minutes, so the monster-sized handout contains some of the details I’ll skim over in the talk.

6d03,
@6d03@mathstodon.xyz avatar

@consequently I would be very interested to watch a recording of it, if there were to be one.

jon, to random
@jon@gruene.social avatar

I can confirm the Wunderline chocolate bar from tastes sweeter than the it is promoting!

Map of Wunderline on the chocolate bar

6d03,
@6d03@mathstodon.xyz avatar

@jon cursory search reveals there are no through connections. is that it?

6d03,
@6d03@mathstodon.xyz avatar

@jon 🤦‍♂️

6d03,
@6d03@mathstodon.xyz avatar

@jon At least the replacement bridge is supposed to be finished this year, if DB can be believed: https://en.wikipedia.org/wiki/Friesenbr%C3%BCcke

anneroth, to random German
@anneroth@systemli.social avatar

„Etwa 400 Polizistinnen und Polizisten der Länder stehen unter Rechtsextremismus-Verdacht.

(..)

Die tatsächliche Zahl dürfte höher liegen, da mit Berlin, Mecklenburg-Vorpommern, Bremen und Thüringen vier Bundesländer keine aktuellen Zahlen liefern konnten, wie es hieß.“

Aber der Linksextremismus.

https://www.tagesschau.de/inland/gesellschaft/polizisten-extremismusverdacht-medienbericht-100.html

6d03,
@6d03@mathstodon.xyz avatar

@anneroth Ich verstehe gar nicht, wie das sein kann, Rechtsextremismus in der Polizei ist doch illegal 🤷

Taneb, to random
@Taneb@hacksrus.xyz avatar

Blacksmithing is the most ironic career

6d03,
@6d03@mathstodon.xyz avatar

@Taneb 🤣

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

Technologist vs spy: the xz backdoor debate https://lcamtuf.substack.com/p/technologist-vs-spy-the-xz-backdoor

jon, to random
@jon@gruene.social avatar

RIP,

The French cooperative rail company will be definitively wound up in April https://www.ville-rail-transports.com/ferroviaire/info-vrt-railcoop-devrait-etre-definitivement-liquidee-le-15-avril/

Nice idea. Horrible implementation. More PR than action.

6d03,
@6d03@mathstodon.xyz avatar

@jon @clem the Bordeaux to Lyon one?

marcuwekling, to random German
@marcuwekling@cultur.social avatar

Die Staatsanwaltschaft Neuruppin prüft, ob sie die @AufstandLastGen als kriminelle Vereinigung im Sinne des „Mafia-Paragraphen“ anklagt. Allein schon die Prüfung ist ein Angriff auf die Zivilgesellschaft. Eine Anklage wäre ein Skandal. Bis zum 28. März kann jede*r eine Stellungnahme abgeben. Hier könnt ihr mitmachen: https://menschengegenoel.org/Stellungnahme_Neuruppin


image/png
image/png

6d03,
@6d03@mathstodon.xyz avatar

@marcuwekling @AufstandLastGen Ah, im ersten Moment dachte ich, es ginge hier darum, die Ölindustrie als kriminelle Vereinigung zu verfolgen 🤷 .

samim, to random
@samim@mastodon.social avatar

Countries connected to their primary trading partner in 1960 VS 2020

image/jpeg

6d03,
@6d03@mathstodon.xyz avatar

@samim The edges should presumably be directed, no?

tagesschau, to random German
@tagesschau@ard.social avatar

Die Bauern haben Mist gebaut - wo bleibt die Empörung?

In Brandenburg haben Bauern aus Protest Misthaufen auf die Fahrbahn gekippt. Mehrere Menschen wurden verletzt. Aber anders als bei der "Letzten Generation" regt sich kaum jemand darüber auf. Warum? Von Jacqueline Piwon.

➡️ https://www.tagesschau.de/inland/gesellschaft/bauern-protest-112.html?at_medium=mastodon&at_campaign=tagesschau.de

6d03,
@6d03@mathstodon.xyz avatar

@tagesschau Die entscheidende Information fehlt, nämlich ob der «gefährliche Eingriff in den Strassenverkehr» auch strafrechtlich verfolgt wird. Immerhin sind dadurch Menschen zu Schaden gekommen.

j3rn, to emacs
@j3rn@fosstodon.org avatar

It's wild to me that in Lisp there's no succinct way to create a function that is a composition of two other functions. Missing .

6d03,
@6d03@mathstodon.xyz avatar

@j3rn @hajovonta and you can't define it as an infix operator in elisp

carnage4life, to random
@carnage4life@mas.to avatar

Boeing and Intel are two sides of the same coin with regard to the perils of quarterly earnings. It takes a lot of investment to maintain quality and technical leadership which to bean counters are costs that can be optimized.

So you get short term gains but wrecks you long term

6d03,
@6d03@mathstodon.xyz avatar

@carnage4life are Intel in trouble?

6d03,
@6d03@mathstodon.xyz avatar

@vonxylofon @carnage4life on the other hand they did once come up with iAPX and IA64, which largely failed commercially.

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