So one of our tunnel evacuation system deliveries had started reporting fires every morning at one of the tunnel’s exits. Turned out that technically it is a huge one but is safely away at 1AU. Hence coding a mitigation for it this week.
We use adjacent sensors in the network to filter out false positives. Which generally works quite well but there, during few weeks in the winter the sun hits two sensors in a short sequence.
In the ‘low mental bandwidth’ category I’m continuing work on frontending the Himalaya e-mail tool, current state: https://0x0.st/8ZoL.gif and hope to be daily driving after a few days more. It’s the first step towards something hopefully more interesting, and that’s part of merging a combined timeline across multiple internet socials (IRC, mastodon, lobste.rs, fossil, discord, RSS …) into non-intrusive monitoring.
For more focused work I am reworking IPC synch to (finally) drop the use of named primitives. The long holdout (outside of my general laziness on the topic) has been POSIX semaphores instead of FUTEXes thanks to the general footgun armory of all things system OSX. I have been hesitant to use the __ulock_wait/__ulock_wake facility for long enough that it is about time to take the plunge.
$WORK: I have none. Month…checks calendar… 6 of unemployment. 🙃 In one interview process right now, but no interviews until the 19th, so I am anxiously awaiting that day and prepping like crazy.
$HOME: Being an accidentally-stay-at-home dad for my 2 kids, and doing idle code in the meantime. Just converted an old Python package to NodeJS so i can use it in that language too! Already posted about it so won’t link again here to avoid moderation. Outside of that, playing D&D and prepping to run a one-shot for some new friends I met networking on LinkedIn.
I promised myself that I wouldn’t be doing anything but Typescript code until the interview(s) are over so I stay in that mindset. In the meantime my brain has gone into overdrive on project ideas. Current list waiting for embargo to lift:
Simplistic Risk (board game) AI bots to compete against each other and build/test strategies
Quilting project-tracker app my wife keeps bugging me to make
Simple Python API/CLI based around the “do nothing scripts” post a few days back
Porting my aforementioned project to other languages
Too many things—That means the major job is managing my attention and task sequence. I’ll be working off a list on paper. All unrelated windows must go.
Thaiger Sprint is this week. I am looking to build a functioning H2O NixOS module, more excuses to practice speaking Thai, & hopefully some good networking as I could use some work.
Going through CVs for several internship openings at $WORK. It’s a tough market out there, I’m seeing a lot of very qualified candidates applying.
Also working on commissioning some key art for Botnet of Ares, my hacking simulator game. Hoping to also get some development work done on the game this week, but funnily enough I’ve also got quite a few social events this week - unusual for me but I’m not complaining.
Turning the disaster zone that is the house I’ve moved out of into something that is actually empty and mostly clean, and talking to contractors about renovations.
I’ve decided it’s time to get into the AI game. Coding up a tool that
Translates rust programs into logical SMT programs.
Tries to prove the absence of undefined behavior (or other conditions) via z3.
When it inevitably fails asks an LLM to suggest intermediate true statements that will help z3 realize the program is correct or incorrect.
So basically a kani / creusot competitor that tries to be able to prove more complex things with less human help by augmenting SMT solvers with an LLM that (hopefully) understands the actual structure of the original problem that makes the SMT formulas solvable.
The migration from Drone to Gitea Actions got delayed by an unscheduled hardware maintenance window for my homelab (read - my wife was unexpected out of the house for a couple hours, so I could risk bringing down the various services long enough to install the GPU I’ve had sitting waiting for a few days), so the weekend was instead spent:
figuring out how to get GPU passthrough to a Jellyfin Pod to enable Hardware Acceleration
celebrating my birthday at a boardgame bar
So this week will be the Drone -> Gitea Actions migration. Plus, hopefully, blogs on both the GPU passthrough and the D->GA migration.
Make a plan, and God laughs…woke up yesterday to find my NAS entirely unresponsive - no lights, no fans, no signs of life. Hoping and praying that it’s just a blown PSU, which sounds simpler to replace than the backplane. In any case - pretty much all projects are on pause until that’s resolved, as almost-all my services are dependent on that for storage, and migrating to an alternative PV-provider for a couple days doesn’t seem worth it (in the cases where it’s even possible). So…a return to Factorio, I guess :P
I’m attempting to remove a database table we use to store surrogate identifiers into another service. A while ago we started storing a different identifier that we can use instead as part of a natural key, but we haven’t made change to actually do that yet. We join against this table from a few busy queries and look forward to clean up the core and encapsulate the gnarly bits at the edge. The natural key will not be quite as efficient, as there’s a bit of redirection involved, but it’s not used for the all operations so I’m confident it will balance out.
Getting a feel for the 1.0MM nozzle on the desoldering tool I bought while I wait for a couple of other nozzle types to arrive, trying out modded Stardew Valley for the first time, continuing to clear out “open window” clutter on my desktop, and writing utilities to help there.
(Aside from deciding on how best to store user-defined item orderings, I’m done with an SQLAlchemy schema for the bare data for a PyQt utility to replace my tendency to put tons of bare URLs in text files as an “I want bookmarking, but these don’t go in the browser’s main bookmark store for reason X, Y, or Z” solution. Still need to experiment with UIs for retrieval and design supporting tables for stuff like bookmarked queries though.)
I switched to the i3wm on my MX Linux system and have been spending my time with config editing. Also trying to learn Vim to use for my web dev journey.
I am getting this great urge to build nommu linux + usermode linux (uml) into something resembling a VM. It (plus applications) could then be trivially built for any target
So one of our tunnel evacuation system deliveries had started reporting fires every morning at one of the tunnel’s exits. Turned out that technically it is a huge one but is safely away at 1AU. Hence coding a mitigation for it this week.
Let me guess, sunlight shining on a sensor?
We use adjacent sensors in the network to filter out false positives. Which generally works quite well but there, during few weeks in the winter the sun hits two sensors in a short sequence.
D’oh missed the 1AU reference!
In the ‘low mental bandwidth’ category I’m continuing work on frontending the Himalaya e-mail tool, current state: https://0x0.st/8ZoL.gif and hope to be daily driving after a few days more. It’s the first step towards something hopefully more interesting, and that’s part of merging a combined timeline across multiple internet socials (IRC, mastodon, lobste.rs, fossil, discord, RSS …) into non-intrusive monitoring.
For more focused work I am reworking IPC synch to (finally) drop the use of named primitives. The long holdout (outside of my general laziness on the topic) has been POSIX semaphores instead of FUTEXes thanks to the general footgun armory of all things system OSX. I have been hesitant to use the __ulock_wait/__ulock_wake facility for long enough that it is about time to take the plunge.
$WORK: I have none. Month…checks calendar… 6 of unemployment. 🙃 In one interview process right now, but no interviews until the 19th, so I am anxiously awaiting that day and prepping like crazy.
$HOME: Being an accidentally-stay-at-home dad for my 2 kids, and doing idle code in the meantime. Just converted an old Python package to NodeJS so i can use it in that language too! Already posted about it so won’t link again here to avoid moderation. Outside of that, playing D&D and prepping to run a one-shot for some new friends I met networking on LinkedIn.
I promised myself that I wouldn’t be doing anything but Typescript code until the interview(s) are over so I stay in that mindset. In the meantime my brain has gone into overdrive on project ideas. Current list waiting for embargo to lift:
Too many things—That means the major job is managing my attention and task sequence. I’ll be working off a list on paper. All unrelated windows must go.
I was invited to keynote an academic workshop on web security. Last week was mostly procrastinating. I hope this week is mostly writing.
I got an outline and a story arc and an abstract, so I think I am good…
Going to hopefully have a alpha product to test with a couple of users. Going to also start talking to investors to raise funds. Busy week.
🥱 Taking our eight month old to sleep school
🌲 Porting suture to Rust; I’m sick of not having supervision trees
💸 … taxes
Thaiger Sprint is this week. I am looking to build a functioning H2O NixOS module, more excuses to practice speaking Thai, & hopefully some good networking as I could use some work.
h2o rang a bell with Nixos and I dug up this from some saved list https://terinstock.com/post/2021/01/Setting-up-a-git-server-on-NixOS/ in case you want some more inspiration
The real one that caught my was a semi-closed merge request to get the store path appeneded as an ETag for painfree caching
Going through CVs for several internship openings at $WORK. It’s a tough market out there, I’m seeing a lot of very qualified candidates applying.
Also working on commissioning some key art for Botnet of Ares, my hacking simulator game. Hoping to also get some development work done on the game this week, but funnily enough I’ve also got quite a few social events this week - unusual for me but I’m not complaining.
Turning the disaster zone that is the house I’ve moved out of into something that is actually empty and mostly clean, and talking to contractors about renovations.
I’ve decided it’s time to get into the AI game. Coding up a tool that
So basically a kani / creusot competitor that tries to be able to prove more complex things with less human help by augmenting SMT solvers with an LLM that (hopefully) understands the actual structure of the original problem that makes the SMT formulas solvable.
The migration from Drone to Gitea Actions got delayed by an unscheduled hardware maintenance window for my homelab (read - my wife was unexpected out of the house for a couple hours, so I could risk bringing down the various services long enough to install the GPU I’ve had sitting waiting for a few days), so the weekend was instead spent:
So this week will be the Drone -> Gitea Actions migration. Plus, hopefully, blogs on both the GPU passthrough and the D->GA migration.
Make a plan, and God laughs…woke up yesterday to find my NAS entirely unresponsive - no lights, no fans, no signs of life. Hoping and praying that it’s just a blown PSU, which sounds simpler to replace than the backplane. In any case - pretty much all projects are on pause until that’s resolved, as almost-all my services are dependent on that for storage, and migrating to an alternative PV-provider for a couple days doesn’t seem worth it (in the cases where it’s even possible). So…a return to Factorio, I guess :P
I’m attempting to remove a database table we use to store surrogate identifiers into another service. A while ago we started storing a different identifier that we can use instead as part of a natural key, but we haven’t made change to actually do that yet. We join against this table from a few busy queries and look forward to clean up the core and encapsulate the gnarly bits at the edge. The natural key will not be quite as efficient, as there’s a bit of redirection involved, but it’s not used for the all operations so I’m confident it will balance out.
Writing a post on the various algorithms used in Cryo-ET based on this github: https://github.com/phonchi/Computational-CryoET?tab=readme-ov-file#motion-correction
Presenting the post to the Min Xu lab in hopes that it can lead to me being put on a publication project
Interviewing at ExtraHop and the ARISE-BARMA project!
Being stressed about my unemployment.
Working on a ping implementation in C (a project at my school). https://github.com/alurm/42-ping.
Getting a feel for the 1.0MM nozzle on the desoldering tool I bought while I wait for a couple of other nozzle types to arrive, trying out modded Stardew Valley for the first time, continuing to clear out “open window” clutter on my desktop, and writing utilities to help there.
(Aside from deciding on how best to store user-defined item orderings, I’m done with an SQLAlchemy schema for the bare data for a PyQt utility to replace my tendency to put tons of bare URLs in text files as an “I want bookmarking, but these don’t go in the browser’s main bookmark store for reason X, Y, or Z” solution. Still need to experiment with UIs for retrieval and design supporting tables for stuff like bookmarked queries though.)
I switched to the i3wm on my MX Linux system and have been spending my time with config editing. Also trying to learn Vim to use for my web dev journey.
I am getting this great urge to build nommu linux + usermode linux (uml) into something resembling a VM. It (plus applications) could then be trivially built for any target