So while working on my own graph isomorphism algorithm I (as it happens to dilettantes) independently implemented a variation Weisfeiler-Lehman test (1968). Good thing I didn’t submit a paper!
On one hand it’s a complete goof. On the other unwittingly re-tracing the steps of two remarkable algebraists suggests am finally out of COVID brain fog. Hoping to wrap up the remainder of the work this week with still a small bit of novelty in.
One more week of vacation, where I will definitely get books on Iceland in order to plan the honeymoon trip this summer. I might, maybe, work on getting a forge up and running, or buy an old one from someone within a reasonable distance from here. If I am very very very lucky, I might even hit heated steel with a hammer.
If you can, I loved the freedom of renting a small camper van when visiting Iceland. We had a rough plan of the sites we wanted to see and with the van you can spend as much or as little time at each place.
We rented a gorgeous little house by the sea, we’re there for 8 days. We want to do a few museums, go for a thermal bath, do the thing where you go down the volcano. There’s also this fishing trip thing we saw that I think would be cool to do, but as I list those things it already sounds kinda tight 😂 I mean, gotta keep some time for hiking within Reikjavík, and hiking outside of Reikjavík too. Gonna go by too fast.
Back to day job and in my spare time, another week of working on https://linuxmemory.org/ :) currently examining VMA behaviour in the biggest chapter on process memory.
Thanks for writing this, stumbled upon it now reading this thread and I know a friend it could help (works in the field soon), but even for myself this is a great resource!
Foreground: one of my projects feature-creeped and went through two? three? redesigns, I can’t even remember anymore. It was supposed to be a 9, 12-month project at most. Instead, April is going to be its two-year anniversary. If I get the current module done this week, it’ll be halfway done for the third, and hopefully final time. So it’s frantic typing time.
Background: while I’ve used macOS exclusively during the last two years, I’ve always kept a Linux lifeboat project on the side. Moving twenty years’ worth of BSD, then Linux stuff over to macOS was a little painful and I wanted to make sure that if I ever transition the other way ‘round, it’ll go smoother. I needed a native Linux box over the holidays (tl;dr compiling Fuchsia on the M1 is not fun, and as for running it, that never worked, also podman stutters…) and I want to see if I could, in principle, move back to Linux on a whim. So for the next week, I’ll be using my Linux lifeboat.
I have a vested interest in this – I don’t write software for macOS per se and likely never will, basically all of my work revolves around Linux and some embedded platforms. Using a system just by ssh-ing into it is a sure way to lose touch with anything that’s not directly related to what you do, and I want to avoid that.
Last week I finished my custom version of NinSheetMusic with search. It turned out really great! I made a Docker image and tried to deploy on my Raspberry Pi 2 (my homelab server) and ran into some strange Alpine issues with the 32 bit host. No success after a few hours motivated me to finally buy a Zimaboard.
So this week I’ll be setting up the Zimaboard. I’ve had my eye on it for a while as a replacement for my old Raspberry Pi, so I’m looking forward to seeing how well it works! Also getting back into work after a longer break.
I’ve started work on a new personal project, I’m not ready to talk about it yet (when I talk about it, I tend to lose inertia) but I’m very excited and I think I can make this one give me a bit of a side-income which is a first for me. I’m using a very very very weird stack (although not unknown to me) because I think it will benefit the project in the long run. (C for a internet service, am I crazy?). I got a hetzner dedicated server for 42 eur/month and I’m setting up the infra there (there’s very little tbh, I just need lots of memory and threads.
I recently come across this - https://learnbchs.org/ (bsd, c, httpd, sqlite), maybe you will some ideas there. I really like C and all my personal projects are mostly written in C, but as soon as it has to be exposed on internet I am scared about all the security stuff tbh :D
I’ve seen this before yeah! In this case I’m relying on a couple of linux goodies and there is no database (just a huge 33GB mmaped file). It’s been… interesting. Lots of weird considerations you have to make when there is no database and you have to build everything yourself.
I’m trying to get out the next alpha of Datasette 1.0, with a really big backwards incompatible change (the biggest before the 1.0 release itself): I’m changing the default JSON format returns by Datasette from an array of arrays to an array of objects.
This week I am fighting full time with AWS trying to rationalize our quite complex web of semi-understood configurations. I kind of hate this, a lot. At least im doing it from the lanai on the Big Island, though, which is a mood improver, if nothing else.
I completed fabyu, my subtitle printer. Now I can do things like fabyu file.srt | figlet and see massive subtitles on my laptop :D. The subtitles are printed word-at-a-time, each word displayed at the correct timing and waits for the next word based on the word length within the sentence it’s in.
This week is getting my 3D printer auto bed leveler installed and get fired up again on that front.
Adding Argon2d and Argon2id support to Monocypher. Managed to do that and simplify it (fewer functions, fewer lines of code). Now I need to design a new API, because to be honest the old one kinda sucked.
Working on https://github.com/kroketio/kotki - a C++ library (with Python bindings) that translates text from one language to another without using the cloud. happy with the result, as the API is now stable and everything seems to work OK. And, open-souce.
I’m going to keep grinding speedruns for Horizon: Forbidden West. Also, I’m compiling Cammy to a low-level graph and then using graph reduction as a portable implementation technique. This week I hope to test out graph reduction in RPython, and maybe start on graph reduction in WebAssembly, following this example.
Working on finishing the implementation of a persistent data structure in Rust. Have to fix a bug with taking the left side, but it should be smooth sailing to an insert soon after that.
Back at work after a long (3-week) break. We aim to open source all of the CherIoT stack (core, compiler changes, RTOS) Real Soon Now, so (aside from catching up on emails) my main goal this week is to make sure that we have a concrete plan for everything that we need for the release.
Working on my compiler once again, adding more to the dependency tree generation and the code emitter (a pluggable C code emitter for now).
Not using LLVM or anything so everything was/is written from scratch. Probably adding the few lines of code to add loop structures in the last stages of compilation, parser code has been there for a long time now. If statements work from start to finish, nested as well. :)
Getting out of Levittown (3 weeks of visiting family) and back to Costa Rica (back to work and real life).
Bringing home copies of “Software Abstractions” and “Specifying Systems”. While reading Software Abstractions this past year, I realized how ergonomic physical books can be for some use cases. I still prefer ePub for fiction, but physical textbooks are superior to anything electronic.
I’m starting a new job at IOActive as a Senior Security Consultant! After two months of being unemployed, it feels really good to be back in business. :-)
So while working on my own graph isomorphism algorithm I (as it happens to dilettantes) independently implemented a variation Weisfeiler-Lehman test (1968). Good thing I didn’t submit a paper!
On one hand it’s a complete goof. On the other unwittingly re-tracing the steps of two remarkable algebraists suggests am finally out of COVID brain fog. Hoping to wrap up the remainder of the work this week with still a small bit of novelty in.
One more week of vacation, where I will definitely get books on Iceland in order to plan the honeymoon trip this summer. I might, maybe, work on getting a forge up and running, or buy an old one from someone within a reasonable distance from here. If I am very very very lucky, I might even hit heated steel with a hammer.
If you can, I loved the freedom of renting a small camper van when visiting Iceland. We had a rough plan of the sites we wanted to see and with the van you can spend as much or as little time at each place.
We rented a gorgeous little house by the sea, we’re there for 8 days. We want to do a few museums, go for a thermal bath, do the thing where you go down the volcano. There’s also this fishing trip thing we saw that I think would be cool to do, but as I list those things it already sounds kinda tight 😂 I mean, gotta keep some time for hiking within Reikjavík, and hiking outside of Reikjavík too. Gonna go by too fast.
Work: Started updating my “Python re(gex)?” ebook. Need to catch up features introduced since 3.8, update descriptions, examples, exercises and so on.
Reading: Got a request for beta reading a cozy fantasy book. On the shorter side, so I expect to finish by this weekend.
Back to day job and in my spare time, another week of working on https://linuxmemory.org/ :) currently examining VMA behaviour in the biggest chapter on process memory.
Thanks for writing this, stumbled upon it now reading this thread and I know a friend it could help (works in the field soon), but even for myself this is a great resource!
Thanks! I hope it is useful for people when it’s finally finished :)
Foreground: one of my projects feature-creeped and went through two? three? redesigns, I can’t even remember anymore. It was supposed to be a 9, 12-month project at most. Instead, April is going to be its two-year anniversary. If I get the current module done this week, it’ll be halfway done for the third, and hopefully final time. So it’s frantic typing time.
Background: while I’ve used macOS exclusively during the last two years, I’ve always kept a Linux lifeboat project on the side. Moving twenty years’ worth of BSD, then Linux stuff over to macOS was a little painful and I wanted to make sure that if I ever transition the other way ‘round, it’ll go smoother. I needed a native Linux box over the holidays (tl;dr compiling Fuchsia on the M1 is not fun, and as for running it, that never worked, also podman stutters…) and I want to see if I could, in principle, move back to Linux on a whim. So for the next week, I’ll be using my Linux lifeboat.
I have a vested interest in this – I don’t write software for macOS per se and likely never will, basically all of my work revolves around Linux and some embedded platforms. Using a system just by ssh-ing into it is a sure way to lose touch with anything that’s not directly related to what you do, and I want to avoid that.
Last week I finished my custom version of NinSheetMusic with search. It turned out really great! I made a Docker image and tried to deploy on my Raspberry Pi 2 (my homelab server) and ran into some strange Alpine issues with the 32 bit host. No success after a few hours motivated me to finally buy a Zimaboard.
So this week I’ll be setting up the Zimaboard. I’ve had my eye on it for a while as a replacement for my old Raspberry Pi, so I’m looking forward to seeing how well it works! Also getting back into work after a longer break.
Outside of work (which will likely balloon to consume most of my week), I’m resuming work on end-to-end encryption for the Fediverse.
I’ve started work on a new personal project, I’m not ready to talk about it yet (when I talk about it, I tend to lose inertia) but I’m very excited and I think I can make this one give me a bit of a side-income which is a first for me. I’m using a very very very weird stack (although not unknown to me) because I think it will benefit the project in the long run. (C for a internet service, am I crazy?). I got a hetzner dedicated server for 42 eur/month and I’m setting up the infra there (there’s very little tbh, I just need lots of memory and threads.
I recently come across this - https://learnbchs.org/ (bsd, c, httpd, sqlite), maybe you will some ideas there. I really like C and all my personal projects are mostly written in C, but as soon as it has to be exposed on internet I am scared about all the security stuff tbh :D
I’ve seen this before yeah! In this case I’m relying on a couple of linux goodies and there is no database (just a huge 33GB mmaped file). It’s been… interesting. Lots of weird considerations you have to make when there is no database and you have to build everything yourself.
Subscribing to your future success! I want to hear about it when it’s done!
Attempting to migrate a WPF app to WinUI 3, which isn’t half as automatic as I thought it would be.
Working for the first half of the week, then heading to Magfest!
I’m trying to get out the next alpha of Datasette 1.0, with a really big backwards incompatible change (the biggest before the 1.0 release itself): I’m changing the default JSON format returns by Datasette from an array of arrays to an array of objects.
I’ve been putting this off for years but I’m finally pushing through to get it done. Details in this issue (among many others): https://github.com/simonw/datasette/issues/782
This week I am fighting full time with AWS trying to rationalize our quite complex web of semi-understood configurations. I kind of hate this, a lot. At least im doing it from the lanai on the Big Island, though, which is a mood improver, if nothing else.
This week?
I completed fabyu, my subtitle printer. Now I can do things like
fabyu file.srt | figletand see massive subtitles on my laptop :D. The subtitles are printed word-at-a-time, each word displayed at the correct timing and waits for the next word based on the word length within the sentence it’s in.This week is getting my 3D printer auto bed leveler installed and get fired up again on that front.
Putting together the Lego Starry Night. Reading some Wendell Berry. Maybe apply for unemployment, or maybe wait until next week.
Adding Argon2d and Argon2id support to Monocypher. Managed to do that and simplify it (fewer functions, fewer lines of code). Now I need to design a new API, because to be honest the old one kinda sucked.
Working on https://github.com/kroketio/kotki - a C++ library (with Python bindings) that translates text from one language to another without using the cloud. happy with the result, as the API is now stable and everything seems to work OK. And, open-souce.
I’m going to keep grinding speedruns for Horizon: Forbidden West. Also, I’m compiling Cammy to a low-level graph and then using graph reduction as a portable implementation technique. This week I hope to test out graph reduction in RPython, and maybe start on graph reduction in WebAssembly, following this example.
Working on finishing the implementation of a persistent data structure in Rust. Have to fix a bug with taking the left side, but it should be smooth sailing to an insert soon after that.
Back at work after a long (3-week) break. We aim to open source all of the CherIoT stack (core, compiler changes, RTOS) Real Soon Now, so (aside from catching up on emails) my main goal this week is to make sure that we have a concrete plan for everything that we need for the release.
Working on my compiler once again, adding more to the dependency tree generation and the code emitter (a pluggable C code emitter for now).
Not using LLVM or anything so everything was/is written from scratch. Probably adding the few lines of code to add loop structures in the last stages of compilation, parser code has been there for a long time now. If statements work from start to finish, nested as well. :)
Getting out of Levittown (3 weeks of visiting family) and back to Costa Rica (back to work and real life).
Bringing home copies of “Software Abstractions” and “Specifying Systems”. While reading Software Abstractions this past year, I realized how ergonomic physical books can be for some use cases. I still prefer ePub for fiction, but physical textbooks are superior to anything electronic.
I’m starting a new job at IOActive as a Senior Security Consultant! After two months of being unemployed, it feels really good to be back in business. :-)