Ayhon @ayhon@qoto.org
Computer Science and Mathematics
Joined Apr 2022
@justin @carlschwan According to the Alt text, yes. xD
Ayhon
boosted
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
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:
https://thesquareplanet.com/blog/writing-about-people-to-people/
I finally figured out what these things are after snooping around a bit in bash's manual. They are word designators.
https://www.gnu.org/software/bash/manual/bash.html#Word-Designators
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
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.
@texhewson @b0rk This!
I learned some fine ago that !* works like !! but omitting the executable name, so you can run a command with the "arguments" of the previous one. However, I haven't been able to find more. I'm not sure what to search for
@b0rk Ctrl+X Ctrl+E
@b0rk When I have a long running task and want to be notified when it finishes, I frequently do Ctrl Z + `fg && say "The task is done"`. I haven't found any other common use case for the other features though
@julienmalka Aaah, I see. My bad
@julienmalka I wish I knew the answer, and not only so I could share it 🫠
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: 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.
Ayhon
boosted
I will be running for the GNOME Board of Directors this year: https://discourse.gnome.org/t/2024-board-candidate-julian-hofer/21168
@flxzt xD
It's never too late!
Ayhon
boosted
Another milestone achieved!
Godot on iPad debugging, both Godot and the target game can now run simultaneously and interacted with:
Ayhon
boosted
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
Computer Science and Mathematics
Joined Apr 2022
