Ferrocene - ISO 26262 and IEC 61508 qualified rust compiler
https://ferrous-systems.com/ferrocene/
Discussions: https://discu.eu/q/https://ferrous-systems.com/ferrocene/
ratatui 0.22.0 is released! (community fork of tui-rs)
https://github.com/tui-rs-revival/ratatui/releases/tag/v0.22.0
Discussions: https://discu.eu/q/https://github.com/tui-rs-revival/ratatui/releases/tag/v0.22.0
@christianselig how hard would it be to modify the app to support the fediverse? Lemmy and Mastadon can always use higher quality apps.
Maximizing Your Rust Code's Performance
https://jbecker.dev/research/on-writing-performant-rust
Discussions: https://discu.eu/q/https://jbecker.dev/research/on-writing-performant-rust
Not every developer wants to be a web developer: Hello oranda
https://blog.axo.dev/2023/06/oranda
Discussions: https://discu.eu/q/https://blog.axo.dev/2023/06/oranda
Veloren 0.15 release: An open world, open source voxel RPG inspired by Dwarf Fortress and Cube World
https://veloren.net/release-0-15/
Discussions: https://discu.eu/q/https://veloren.net/release-0-15/
How a Nerdsnipe Led to a Fast Implementation of Game of Life
https://binary-banter.github.io/game-of-life/
Discussions: https://discu.eu/q/https://binary-banter.github.io/game-of-life/
#Kdenlive 23.04 is out with nested timelines, Whisper engine support, new effects and transitions and much more.
Go check it out:
https://kdenlive.org/en/2023/04/kdenlive-23-04-0-released/
Is there math beyond the equal sign? Category theory -- often described as the mathematics of mathematics -- examines how things can be essentially the same without being exactly equal. Learn more along with @stevenstrogatz as he interviews @DrEugeniaCheng in @QuantaMagazine's new episode of THE JOY OF WHY podcast: https://www.quantamagazine.org/is-there-math-beyond-the-equal-sign-20230322/
My thoughts on Meta's strategy on launching an ActivityPub-based social network are simple.
Embrace, extend, and extinguish: https://en.wikipedia.org/wiki/Embrace,_extend,_and_extinguish
Embrace: Look, we've launched a shiny new Twitter clone!
It's not an empty new social platform, like Google Plus was. You can already access all the content on Mastodon and all the other ActivityPub-based platforms!
We've seen the light! We now embrace open networks!
And it's so simple!
All you people who wanted to switch to Mastodon, but freaked out when you read the word "server" and thought it was too complicated for you, no fear! We've done away with the confusing choice for you! It's a super simple UX!
Extend: Our shiny new Twitter clone now integrates seamlessly with Facebook, Instagram, WhatsApp, and more! You can even get notifications in Horizon Worlds!
Oh, we're not integrating our other platforms to ActivityPub. If you want one easy platform for Meta's social media platforms and ActivityPub, our Twitter clone is your only choice!
To advertisers and media, we'll let you boost posts too, for a tiny fee!
We'll feature you prominently on our new algorithmic feed.
So don't bother spinning up your own Masto instance, join us instead!
Extinguish: As of 1 July, we are depreciating support for ActivityPub.
Also, effective immediately, our privacy terms have been updated. You won't believe what we hid on page 76.
#Meta #Facebook #Zuckerberg #Twitter #Mastodon #SocialMedia #MarkZuckerberg #Elon #ElonMusk
After some great press coverage recently, I've just posted a more in-depth update about our plans for Flathub in 2023: https://discourse.flathub.org/t/flathub-in-2023/3808 @FlatpakApps
Introducing subenum: A macro to create subsets of enums
https://github.com/paholg/subenum
Discussions: https://discu.eu/q/https://github.com/paholg/subenum
The C++ Killers (Not You, Rust)
https://hackernoon.com/the-real-c-killers-not-you-rust
Discussions: https://discu.eu/q/https://hackernoon.com/the-real-c-killers-not-you-rust
Ordering Numbers, How Hard Can It Be?
https://orlp.net/blog/ordering-numbers/
Discussions: https://discu.eu/q/https://orlp.net/blog/ordering-numbers/
Computer Science and Mathematics