What are you doing this weekend?
10 points by caius
10 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!
I'm going to be offline. Christ, this week.
I've been frustrated and panicking a bit about many things, and so after family time I'm planning to spend a couple of hours just engaged in single-player (puzzle/platform-like) games. I looked into what's available yesterday and I've installed Untitled Goose Game which I remember finding funny. I really don't like "interactive movies" which seem to be all that's released. Suggestions are appreciated (PS5)!
I want to take meditation practice again. The world currently feels like shifting sands. Started yoga practice this week as well. We are also having a small 1-night vacation in the pyrenees.
I'll be overthrowing my corrupt government. Elections are on Sunday and the atmosphere in the country is absolutely insane. Hopefully, we won't have to clash with the police that much, otherwise there's a good chance we'll become another Belarus.
Would be a real bummer for that to happen to a country that's in charge of this site's TLD.
Trying to move the Mastodon server that I host to NetBSD. I didn’t find a suitable guide so hopefully my own notes can turn into that.
Funnily, when Googling for someone else doing this, Gemini’s summary told me it can’t be done and I should use GoToSocial. Sure, 9 years and hundreds of users later let me just pivot to another server…
I’m working on Duel Chronicle, a single-player Yu-Gi-Oh! browser game.
I'm trying to extend Hindley-Milner type inference to infer integers bitwidths. The language I'm implementing has comptime integers of arbitrary size for the integer literals, but they need to be cast into integers of fixed-size before compilation.
// "1" is gonna have its bitwidth inferred through the expressions where it's used
// in Rust, you'd type 1u32 or something to state the type explicitly
return 1 + some_int_returning_function();
I'm still not sure how to do this. I don't have a lot of experience with Hindley-Milner. So far I've only implemented toys in Hindley-Milner, but I don't think it's gonna be too hard.
Isn't this what Rust already does? I.e. the type of an integer literal without a type suffix is inferred by how it is used later. I am going to try an alternate design:
Run a typing pass that types all integer expressions as Integer (an arbitrary precision integer).
Compute constant values of expressions, using arbitrary precision arithmetic.
Run a pass to refine the integer expression types from step 1 as follows:
a. If an expression e was given a value v in step 2, then give e the type { v }. { v } is a subtype of every type that contains v as a value. For example, if v = 5, then { 5 } is a subtype of i8, u8, i32, u32, etc.
b. Otherwise if e is an explicit conversion to type T, then e has type T
c. Otherwise e has a type computed from its structure and a set of combination rules, e.g., U32 * U32 = U32
It's my birthday on saturday, so my partner and I are visiting an art gallery, swinging by a few pubs on the way home, and then cooking a lamb biryani.
Don't care much about all the remaining errands and unavoidable social engagements I have to do over the weekend.
Watching a documentary about how the earth could be if we were solarpunky; going to a birthday; going batchata dancing and sleeping in. On top of that, just enjoying the weather at the beach and reading as much offline as possible and programming without clankers to unslop my life (at least on the weekends and privately)
Tomorrow I'm going to the local Linux Day! On Sunday either repairing my bike and going for a ride and doing some shopping or play some videogames with my partner, depending on the weather. Maybe we'll go to the cinema and eat at my favorite chinese diner in town.
I don't think I'll get time for this, but I might work on a small GTK/Adwaita application/command launcher using relm4 and gtk4-layer-shell. I want a launcher that uses libadwaita's widgets and styling and I think the options that are out there a bit too customizable. I don't really want to spend time ricing these days! Also, they all reinvent their own way to handle customizable search providers; I'll just be using org.gnome.Shell.SearchProvider2.
Tux willing this is finally the time I unfuck my graphics driver situation and can resume playing computer games. I've tried manually installing the proprietary nvidia drivers and that didn't bloody work, so I'll just wipe the drive and do a clean install. I think I'll go for Bazzite instead of Debian this time.
Trying to get a website indexed by Bing. I’m pretty happy of how it is indexed and ranked on Google, but unfortunately it is virtually nonexistent on Bing, and I think it’s because the language variant of each page is selected with a query parameter instead of a path parameter. Google is fine with that but I suspect this does not really work with Bing. Unfortunately Bing’s Webmaster Tools don’t really help, and all of that is not really documented… SEO is still a thing!
Continuing my photo gallery project (https://git.ahlcode.fi/nicd/kuvatus). Currently implementing the single photo view and navigation between views without page loads.
I started with Tailwind, but got annoyed of the workflow of having to find out what the Tailwind equivalent of a given CSS rule is and what the allowed values are. I realised that what I most benefited from Tailwind were the premade colours, typographical settings, spacings, animations etc. But the class usage was not really helping me.
So looking for a replacement, I stumbled upon Open Props, which has opt-in styles for some input elements and otherwise is just a big collection of --variables. Combining this with the usage of web components allows me to have a setup with a Lustre component and a CSS file next to it, e.g. top_header.gleam and top_header.css. The props are visible in the component by default and having the CSS scoped to the component helps me avoid the kind of "ball of mud" CSS files I've created in earlier projects. There's a bit of extra ceremony with the web components, but it hasn't been too much thus far.
Converting the build pipeline of my static site generator to be asynchronous, after I've recently added an in-process, bare bones NPM downloader and JavaScript bundler to minimize dependencies for using it.