lottia notes

https://lottia.net/notes/ (RSS)
visit blog
Git and jujutsu: in miniature
9 Nov 2024 | original ↗

Last night in bed, I realised we’d encountered a scenario at work during the day where something happened so fluidly in jujutsu that it’d make a good case story! Let’s compare, step by step, how it’d look with git. The stage is set: you’re working on a big, old, legacy codebase, and you’re 10 commits deep in a branch where you’re adding a new...

Soft skills: jujutsu early feelings
7 Nov 2024 | original ↗

I finally got bothered to try jujutsu. It’s often hard to convey just how fast I’m accustomed to moving with git, and so while there are many valid complaints about its interface, object model design, etc., I’m really super fluent with it! So for a long time I was happy to let jujutsu just be a thing people were talking about; simpler or better...

Non-intrusive vtable
29 Oct 2024 | original ↗

const Control = union(enum) { button: *Controls.Button, menubar: *Controls.Menubar, menu: *Controls.Menu, menu_item: *Controls.MenuItem, editor: *Controls.Editor, fn generation(self: Control) usize { return switch (self) { inline else => |c| c.generation, }; } fn setGeneration(self:...

VyxOS
19 Jul 2024 | original ↗

Just a little note to say that I’ve published VyxOS, my Nix configuration. It’s just over a year old at this point, and at one point supported a large mesh of eccentric servers with its own dynamic mesh and DNS and all sorts of nonsense, but the config and infra has been hugely condensed to make it friendly to my brain, and the history scrubbed...

Time travel, raw
6 Jul 2024 | original ↗

Raw log from my notes re: Time travel follows. Sae RV32I with some RV32C/refactoring WIP from long ago. The WIP probably feels way too magic for me now, but we should take a look at it. Now uses Niar. TODOs 🔗 ↩ Decombing RV32C and associated refactor Then add RV32E, RV64I? The entire test infra could be so much more robust. M extension A...

Time travel
6 Jul 2024 | original ↗

The typical hypothetical “who are you coding for” example meant to shock you into writing better code is “yourself in six months”, but it turns out four is completely adequate to get lost. Start 🔗 ↩ In February I started writing my first RV32 core, Sae. By the end of the month, I had enough of one going to run some sample code compiled with GCC...

Amaranth to Chisel
24 Jun 2024 | original ↗

edit: A lot of the following doesn’t apply any more, though it’s all been very helpful in learning. My days of using Amaranth are over. I don’t feel able — nor do I want — to depend on something I’m not allowed(!) to contribute to, so I need a way to continue on with my FPGA studies without it. I don’t really view just trying to cobble together...

Comrak on Akkoma
2 Jan 2024 | original ↗

First up: I’ve never done more than toy with Elixir before, and never with Nix or Rust, so this “simply stuff Nix, Elixir and Rust into a magic hat” trick was guaranteed to be at least a little bit Fun™. And it was! :) Stock Akkoma uses Earmark, which looks like a lovely library, but maybe a lil out of date and out of step with CommonMark/GFM. We...

Jambalam
17 Sept 2023 | original ↗

Have it your way. (Content note for just about everything.) Further to fish fun in Nix refisited, today I wanted my git log to work a little different. I have l as an alias for: (I’m going to add a bunch of newlines) git log --show-notes='*' --abbrev-commit --pretty=format:' %Cred%h %Cgreen(%aD)%Creset -%C(bold red)%d%Creset ...

Happy birthday!
24 Aug 2023 | original ↗

I’m writing a little hardware I²C clock stretcher (I²C, oh! Big stretch) to help me make my I²C controller implementation actually support it. These are some moments I’ve had while doing so. Out-of-band experience 🔗 ↩ I added a tiny UART module to help me debug it. First I emitted a character when starting a big stretch, and a > character once...

Nix revisited
14 Jul 2023 | original ↗

I realized I was in error in not using Nix, and have been addressing that. (The primary artifact so far that is public is hdx, a response to Installing an HDL toolchain from source.) I have some knowledge of it from previous experiments. Some observations: You must thread the needle between “properly sitting down and reading the language guide”...

Untangling cycles
29 Jun 2023 | original ↗

This is straight from my journal, so it starts without warning. The bit packing is turning out to be surprisingly tricky! Memory is synchronous but our uses of addr[0] were all comb, so they didn’t align with the actual target in the cycle it got transmitted from memory when we were advancing addr every cycle. This was a really good exercise in...

Installing an HDL toolchain from source
27 Jun 2023 | original ↗

It occurred to me while writing up § Requirements in the README for some1 gateware that getting the whole beginner’s open-source FPGA toolchain set up can be a serious stumbling block, as I imagine it probably was for me once. The main pre-packaged solution that comes to mind is OSS CAD Suite. It’s excellent, but common to “all-in-one” solutions,...

↑ these items are from RSS. Visit the blog itself at https://lottia.net/notes/ to find other articles and to appreciate the author's digital home.