Calling it now, Tesla's going to announce a gas powered car in 2025 https://www.theguardian.com/environment/article/2024/aug/13/trump-musk-x-climate
I often hear claims that (peer) reviews as time-consuming to write and useless to read. Which makes me sad, because they can be invaluable to both the recipient and the org. if written well. So, I wrote a rant about how to write them better:
https://thesquareplanet.com/blog/writing-about-people-to-people/
WhenFS: a Rust FUSE filesystem for your Google Calendar (yes, a Google Calendar filesystem)
https://github.com/lvkv/whenfs
Discussions: https://discu.eu/q/https://github.com/lvkv/whenfs
I was a bit skeptical at first about LEAN’s inheritance feature. But actually, it makes a lot of sense to use inheritance to model relationships between some definitions in mathematics. I found a use-case for inheritance over composition (although LEAN internally uses composition to model inheritance).
Reference: https://lean-lang.org/functional_programming_in_lean/functor-applicative-monad/inheritance.html.
My #rustnl2024 talk, "Xilem: Let's Build High Performance Rust UI" is now published: https://www.youtube.com/watch?v=OvfNipIcRiQ
I had a lot of fun in Delft, and many thanks to the conference organizers for making it possible and posting the video.
I will be running for the GNOME Board of Directors this year: https://discourse.gnome.org/t/2024-board-candidate-julian-hofer/21168
Translation of the Rust's core and alloc crates to Coq
https://formal.land/blog/2024/04/26/translation-core-alloc-crates
Discussions: https://discu.eu/q/https://formal.land/blog/2024/04/26/translation-core-alloc-crates
I'll be giving my talk on Xilem at #rustnl2024 this afternoon (14:40 CEST). It'll be on the conference livestream: https://www.youtube.com/watch?v=yHB_U2rAAEc
There'll be a lot to present. Among other things, we did the 0.1 release of Xilem last night. Things are moving!
Zed Decoded: Rope & SumTree
https://zed.dev/blog/zed-decoded-rope-sumtree
Discussions: https://discu.eu/q/https://zed.dev/blog/zed-decoded-rope-sumtree
We’re excited to share details about STF’s investment in @gnome to improve accessibility, tooling, and security for the Linux desktop ecosystem. Learn more about the comprehensive plan to modernize the platform and support features in the public interest:
We've just opened a new firmware/system software role (open to US, Canada, and Taiwan). We develop open source firmware to enable products like this, and we have even more exciting projects on our roadmap:
https://jobs.lever.co/framework/36bcbf61-332d-4ab8-8c6d-20fffa1ef506
“93% of Paint Splatters are Valid Perl Programs | Colin McMillen”
Are you experienced with GTK and Rust ? ❤️
We are looking to contract someone to work on the new GNOME Password Manager 🔑
We want it to become a core/default app and help secure millions of users.
You'll be working with the GNOME Foundation, a non-profit dedicated to building emancipatory technologies for everyone.
Please send resume / portfolio to stf@gnome.org
Boosts welcome
#GTK #Rust #rustlang #GNOME #Linux #Ubuntu #Linux #Fedora #OpenSUSE #Debian
Computer Science and Mathematics