OSS

via Astra Underscore (@astra_underscore@wetdry.world): I feel like some of you Rust freaks might be into this:

Creusot is a tool that helps you formally prove your Rust code is correct. It uses deductive verification to let you write specifications as annotations in your Rust code and then verify them automatically, bringing the power of formal methods to everyday Rust development.

via Finn Voorhees (@finnvoorhees@mastodon.social):

A Metal-powered command-line tool for upscaling video on Mac using Apple’s built-in machine learning frameworks. Nice to see GPU-accelerated video processing made accessible as a simple open-source utility.

via Rust Weekly 🦀 (@rust_discussions@mastodon.social): Linus on Rust in the Linux kernel (December 2023)

Linus Torvalds sits down with Dirk Hohndel for a wide-ranging keynote conversation at the Open Source Summit. Always interesting to hear Linus’s unfiltered thoughts on the state of Linux, development practices, and the open-source ecosystem.

via Jonathan ‘theJPster’ Pallant: I went in ready to be angry based on the headline, but it’s actually a very agreeable piece.

via Boris Mann: Just got off an awesome call with Taz, founder of Guild support.

via yosh: “Empathy in Open Source” by Niko Matsakis — I read it earlier today, and imo it’s really good!

via Alice I. Cecile: I wrote up the #opensource triage-by-controversy + community code review practices that we use for @bevy.

via OpenStreetMap: Do you want to get started mapping into #OpenStreetMap? 🤔 Here’s some guides! 🙂

via Boris Mann: I have literally pages and pages of research about #opensource #wiki so I just sort of assumed there’d be a decent on with #WordPress integration but I guess not! Outline has been on my shortlist previously, and we use a Discourse forum as a wiki at work.

via Miguel de Icaza: I liked this observation on open source bubbles.