Readings shared July 22, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/23-readings_shared_07-22-25 #FunctionalProgramming #Haskell #IMO #ITP #LLMs #Math #Rocq #Rust
This Week's Project Spotlight
RustFS
RustFS is a high-performance distributed object storage system built in Rust, and designed to rival giants like MinIO while waving the flag of open-source freedom.
Please boost
Ein einfach zu nutzender CalDAV / CardDAV Server ohne PHP Gedöns ist Rustical. Eine schöne Alternative auch zu Baikal, SabreDAV, Nextcloud oder Davis.
https://github.com/lennart-k/rustical
Sehr rege Entwicklung, Docker verfügbar und einfach zu nutzen.
Dieses Projekt verdient mehr Aufmerksamkeit
Comparing codes: Image rotation (Mutable arrays in Haskell). ~ James Bowen. https://mmhaskell.com/blog/2025/7/21/image-rotation-mutable-arrays-in-haskell #Haskell #FunctionalProgramming #Rust
@ThePSF and rust is at 18th position, just after... Scratch?
Does #Rust have any kind of property syntax like C# / Objective-C (or that you can fudge with proxies in C++), so I can write a.property = value
and have a method called to set the property?