What are you doing this weekend?
19 points by caius
19 points by caius
Feel free to tell what you plan on doing this weekend and even ask for help or feedback.
Please keep in mind it’s more than OK to do nothing at all too!
FennelConf 2025 is happening on Saturday! I'm hosting it and speaking.
https://conf.fennel-lang.org/2025
Basically just an end-of-year show-and-tell of all the fun things people have been doing with Fennel. You can see our talks from previous years: https://conf.fennel-lang.org/all
I'm making a Firefox extension that improves the song metadata exposed through MPRIS when playing music on BandCamp.
This is the last piece I needed in order for my mpris-scrobbler daemon can submit what I listen from Bandcamp to last.fm and listenbrainz.
PS. Anyone know how to publish extensions to Firefox? :D
Sounds like a useful idea! I'm also annoyed that the MPRIS data I see from FF is more often "Firefox is playing media" than actual information.
That being said for scrobbling I use Web Scrobbler which supports a lot more sites than Bandcamp! It can scrobble to many services, and I use it with a self hosted one.
In my ideal world, that extension would support changing the MPRIS information too!
Did you end up publishing yours? Maybe I can open an issue on Web Scrobbler and reference its source as an example of MPRIS info fixing.
Yep it's Bandcamp Metadata. I use it together with my mpris-scrobbler generic scrobbler.
However the Firefox MPRIS functionality is pretty bad, they support only one MPRIS service and which data is populated depends on some questionable logic for which stream gets priority.
I wanted to use also Media Bridge addon, which is supposed to generate one MPRIS service per tab that has audio/video, but the native bridge script doesn't work for me and I was too lazy to debug why.
I've definitely noticed the logic being weird too.
Thanks for the link, looks really easy to set the correct information from the extension!
If nothing else comes up, improving the Hypermedia Systems website and experimenting with Typst HTML export.
I'm alone in my second flat, visiting my family. So I could have time for the two projects I have considered for the break:
Expose software mute in videoconferencing software so that I can control it using global hotkeys. Global hardware mute is not great. I found some proprietary solution who provides a free Firefox extension that knows how to control a good amount of videoconferencing web apps. I'd also need to figure out how to send keyboard input in Wayland to applications such as the Slack Electron thing.
Piracy. I was able to use a YouTube downloader to get an entire old anime series from the website of the regional TV channel where I watched it as a child. However, they replaced the dubbed opening and ending with the Japanese original version- which is awesome, but proper nostalgia requires that I watch it exactly the same as I did when I was little. I was starting to fiddle with ffmpeg remuxing... but as I was writing this, I realized I should try to write to the TV channel to see if they can fix it.
edit: also, I'd like to experiment with real-time web development. I wanted to use something like HTMX and some OSS stack, but I was dismayed to find no great ways to plug in to a PostgreSQL database and get updates of an SQL query efficiently with an OSS stack. I've found a few source-available things, but I thought real-time websites were all the rage now?
I wrote a small motivating example of what I thought of for real-time web development using PostgreSQL logical replication. Mostly to ask on Libera's #postgresql what are the specific reasons why this is a horrible idea.
I'm learning Lean and try to use it for the description of cryptographic protocols. I don't want to prove them correct or secure (yet). But first find a better way of writing them down where the compiler at least checks that the data types and operations on them make sense. I find it really annoying if in papers, e.g., some notation is abused in an undefined way and it is not exactly clear what is intended.
It is an incredibly complex language however and my first foray into dependent types.
I found https://softwarefoundations.cis.upenn.edu/ to be an excellent introduction to theorem proving, it might be useful for you, even though it uses rocq, not lean.
Improving my backup process. I already tackled making the backup of the Gmail Takeout incremental, next on the list are backups from WhatsApp and Signal.
Probably not going to get it all done but:
Ideally? Studying for exams, working on some of my programming projects and/or finishing some patches I meant to submit ages ago.
Realistically? Spending all day playing Rimworld.
I'm still noodling with C. Right now I'm working through the Snaptoken tutorial on antirez's kilo editor. Briefly, the tutorial walks through antirez's (roughly) 1000-line editor in a very helpful way. The author effectively imagines a path from no code to the whole editor in (roughly) two-hundred edits. The tutorial itself has been posted here a couple of times over the years.
I was somehow convinced that today was Saturday but now I realize I have an extra day off before going back to work (after going to Japan I had 0 hours of time off left for the year, so it couldn't be helped).
I'm gonna spend some time with my family tomorrow and then I'll be on my own. Realistically, I think I'm just going to play Higurashi, which I started reading after vising Shirakawa-go, the real life village that Hinamizawa is based on. I'm drawing towards the end of the 6th chapter and thoroughly enjoying it. If I'm feeling ambitious I might hack on the reMarkable 2 as I mentioned in my post about it, but right now I'm not feeling like it.
I'm finishing up my project to run Windows 2 (and Word, and Excel) on a non-IBM compatible Apricot PC. Everything I care about is working, I have a thick folder of photos and two git repos, now I need to write it down and share with everyone ✓
I’m currently working on a browser extension to manage multiple/keep multiple AWS accounts in one place as I work with a lot of clients AWS Environments
Adding some levels to the game I wrote for Langjam Game jam and writing an article for Paged Out! Magazine (https://pagedout.institute/)