babble ghotiMy house isn’t messy, it’s just sorted by Date Last Modified
popitter_net ☃️
@popitter_net
- 4 Followers
- 117 Following
- 232 Posts
The great cornholio! Opinions are my own, not those of my company. Erst: Proving stuff in Isabelle. Computer networks and security.
digitaldrui.deHerzlich Willkommen beim offiziellen Mastodon Account von https://digitaldrui.de!
Wir verkaufen hochqualitative Produkte und Dienstleistungen im Bereich des #Esoteritech
Wir freuen uns auf die kommende Zeit und hoffen auf eine blumige Zukunft für unser Projekt! Daher: Empfehlt uns gerne weiter, wir sind auf euer Feedback und eure Produktideen gespannt!
Wir werden diesen Account für Kommunikation und Produktvorstellungen nutzen, folgt uns also um immer Up2Date zu bleiben!
Noch schnell ein Weihnachtsgeschenk klicken?
Der @digitaldruide hat feinstes #cyber! #37c3
Arthur Charpentier ⏚ 🇨🇦 🇯🇵idiot detection system...
Ich habe vor 1,5 Jahren ein Technikgerät bei #Amazon gekauft. Eben kaputt gegangen. Gesetzliche #Gewährleistung ist 2 Jahre.
Ist es rechtens, dass die Amazonwebseite mich automatisch abwimmelt und mir sagt ich soll mich direkt an den Hersteller wenden?
Mein Vertragspartner war Amazon. Darf Amazon wirklich automatisiert sich weigern, sich um die Abwicklung der Gewährleistung zu kümmern?
Ist es rechtens, dass die Amazonwebseite mich automatisch abwimmelt und mir sagt ich soll mich direkt an den Hersteller wenden?
Mein Vertragspartner war Amazon. Darf Amazon wirklich automatisiert sich weigern, sich um die Abwicklung der Gewährleistung zu kümmern?
PagedOutIssue #3 is here after a long wait (and yeah, it was a long one) and it can be download here https://pagedout.institute/?page=issues.php
Read it, enjoy it, give us feedback, and maybe give another thought to writing something for Issue #4 :)
Read it, enjoy it, give us feedback, and maybe give another thought to writing something for Issue #4 :)
isfies!Die ersten Bäckereien werden langsam nervös, weil sie noch keine gute AI-Strategie für ihr Brötchen-Business haben.
Anders von Hadern 🐦🔥
sjvn
Mara Bos🦀 New #rustlang blog post! "Behind the Scenes of Rust String Formatting: format_args!()"
A dive into the dirty details behind format!(), println!() and similar macros, and an exploration of ideas for future improvement.
Behind the Scenes of Rust String Formatting: format_args!()
The fmt::Arguments type is one of my favorite types in the Rust standard library. It’s not particularly amazing, but it is a great building block that is indirectly used in nearly every Rust program. This type, together with the format_args!() macro, is the power behind print!(), format!(), log::info!() and many more text formatting macros, both from the standard library and community crates. In this blog post, we learn how it works, how it is implemented today, and how that might change in the future.