Show newer
Ayhon boosted
Ayhon boosted
Ayhon boosted

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:
thesquareplanet.com/blog/writi

Ayhon boosted

I have work to do but I don't feel like it right now. If you have any concurrency questions, fire away.

Ayhon boosted

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: lean-lang.org/functional_progr.

Ayhon boosted

We're excited to share a preview of a Framework Laptop with a new CPU architecture today, and it's not the one you probably think it is.
DeepComputingio
is creating the first partner-developed Mainboard, and it's powered by a RISC-V processor!

Ayhon boosted

My #rustnl2024 talk, "Xilem: Let's Build High Performance Rust UI" is now published: youtube.com/watch?v=OvfNipIcRi

I had a lot of fun in Delft, and many thanks to the conference organizers for making it possible and posting the video.

Ayhon boosted
Ayhon boosted

Another milestone achieved!

Godot on iPad debugging, both Godot and the target game can now run simultaneously and interacted with:

Ayhon boosted
Ayhon boosted

I'll be giving my talk on Xilem at #rustnl2024 this afternoon (14:40 CEST). It'll be on the conference livestream: youtube.com/watch?v=yHB_U2rAAE

There'll be a lot to present. Among other things, we did the 0.1 release of Xilem last night. Things are moving!

Ayhon boosted
Ayhon boosted

It's not fully implemented yet, but a sneak peek of what's happening :3

Ayhon boosted
Ayhon boosted

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:

sovereigntechfund.de/tech/gnom

Ayhon boosted

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:

jobs.lever.co/framework/36bcbf

Ayhon boosted

“93% of Paint Splatters are Valid Perl Programs | Colin McMillen”

😄 mcmillen.dev/sigbovik/

Ayhon boosted
Ayhon boosted

Are you experienced with GTK and Rust ? :gnome: ❤️ :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 :boost_love:

#GTK #Rust #rustlang #GNOME #Linux #Ubuntu #Linux #Fedora #OpenSUSE #Debian

Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.