Oxide: The Essence of Rust, arxiv.org/abs/1903.00982.

A research paper that formalizes the ownership model and the borrow checker of Rust, through Oxide, a formalized programming language close to Rust.

#rustlang #research #formal #language

Hier übrigens, falls noch nicht gesehen:

The Cleaners | bpb

Tausende externe Mitarbeiter sichten für Facebook, Youtube, Twitter und weitere Social Media Angebote Fotos und Videos. Der Film erzählt von ihrer belastenden Arbeit, bei der sie im Sekundentakt über das Löschen oder Veröffentlichen entscheiden. Die Kriterien und Vorgaben dieser Arbeit sind eines der am besten geschützten Geheimnisse der Internet Giganten. Wer kontrolliert, was wir sehen und was wir denken?

fsk16-m.bpb.de/mediathek/27319

post a hot take on mastodon with a punch and then take a nap. I've never seen a more relatable tech product than this

You know, I'm always wasting time with youtube, Netflix or trying other linux distributions instead of learning or coding. So I have created a new app to track the time I am wasting.

Meet my new app: Stop Wasting Time! Buy now from the OpenStore!!!

Because it is Cyber Monday you only have to pay 0,00$ and not the common 0,00$!

open-store.io/app/stopwastingt

@Ubports

Ist ja nicht zu fassen, liebe #whatsapp user!

Nun habt ihr jahrelang durchgehalten, seid durch dick und dünn, seid bei jedem einzelnen #Skandal den ihr mit #facebook miterlebt habt standhaft geblieben. Ach, wie schwer waren doch manche Zeiten.
Ihr habt so vorbildlich, ja herausragend tugendhaft an eurer so hochgelobten Treue festgehalten, ganz egal wie #missbräuchlich die Beziehung mit dem Unternehmen jemals war!
Ihr habt so lange durchgehalten, und euch nicht kleinkriegen lassen!

1/2

Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!