@a tried all the items on the Ali’s menu and wrote about it here and here.
@vnpower wrote a blog post about experimenting with the Forgejo API to organize users based on their follower count, which showed some pretty interesting results and unfortunately a lot of bots.
@cloudyy: The number one on the list is a Brazilian who offers some programming and shell courses, some for free. I didn’t know him, but maybe I should check him out in my spare time.
@a: YAAAYYY I’M IN THE TOP 25! Whatever. Anyways, I was worried at first that this program would overwhelm Codeberg, which has been pretty flaky lately, but if it’s spaced over 6 hours it should be OK.
@a has been playing around with the Dafny verification language and proved a toy sorting program, a mathematical monstrosity, and a flash cards app.
@xtex: Is there a programming language that combines the concept of ownership/lifetime from Rust, the type as first-level citizen and powerful compile-time evaluation of Zig and the verification awareness from Lean? 🤔
@a: You might be interested in Dafny, where the verification (basically compile-time) and runtime code are written using the same syntax except that verification-related computation is marked with the ghost keyword, which avoids the statics-dynamics biformity problem.
Yet another exozyme member has switched over to NixOS, this time @vnpower!
@a: Oh noooo now I’m gonna feel peer-pressured to switch as well…
@xtex wrote a post about forking multi-repo software projects such as MediaWiki. There are a bunch of different options for doing this using some fancy Git features.
@a: “Troop” is a fun word, usually used for groups of monkeys! It’s kinda ridiculous though that English has so many words for groups of animals (collective nouns) although no one will complain if you say “a group of monkeys” or “a group of fish” rather than “troop” and “school” respectively.
@cloudyy was running an open DNS resolver using Pi-hole which kept getting slammed by bots. So, their solution was to blacklist all clients by default and they wrote a Rust program to use a password and the Pi-hole API to whitelist devices.
There’s a new Wayland window manager in town, Niri, and it’s not a tiling window manager but rather a new innovative design! @ersei gave it a try and liked it a lot more than Sway.
@a: I’ve a huge KDE fan so I’ve never really gotten into standalone window managers (although I have tried using only KWin without the rest of KDE). Niri however sounds like a cool new paradigm so maybe I should give it a try sometime? @ersei said their laptop’s battery life increased by an incredible two hours so that’s another reason to try it. Anecdotally I think my laptop’s battery life lasts longer if I close Firefox when I’m not using it instead of leaving it in the background, but it’s not as extreme as 2 hours.
@d-rens wrote a review of Ernest Hemingway’s novel The Sun Also Rises.
@a: It sounds pretty interesting, so I really should read more books.
The Codeberg team finally figured out why our CI is failing!
If you want to discuss anything from this issue, feel free to join our Matrix room and chat with our community!