Like OP with my first kid, I constantly had itchy fingers -- too many ideas to ever execute on. Tired and no more flow state. Work seemed like a waste of time with politics. My hobbies were my outlet - and now it was reduced to maybe 1 hrs a day.
Then AI got good.
I've always been able to solve problems fast in my head, but was bottlenecked by fingers and dumb infra.
AI gave me my time back honestly. Nix solved infra. backlog CLI kept the work clear. Good engineering, in spurts.
Now I have more execution power than ever, and I can steer my minions. Yes, I don't get to code and there is little flow state, but I always better liked to solve a problem and go to the next than actually typing it out.
From my phone, wireguard and aVNC to my homelab, I conduct ralph loops on my architecture and principles. This is so powerful, that my brain poops out even more ideas - and so I find myself fully immersed - another kind of flow state.
Consequence: Brain fry and less sleep, so sometimes I just crash out and sleep for 10 hrs. Usually get 5-6 hrs nowadays.
I’ve written a lot of Lean for economic modeling (so take this with the caveat that it’s not frontier-level mathematics research) but I think this problem is overstated. If you follow good engineering standards—keep primitives composable and design abstraction well—it’s not so hard to understand enough Lean to ensure the formalized statement is correct.
In part this is possible because mathlib is very well-designed and has a very good API (in no small part because they’re willing to make breaking changes all the time), so building on top of it makes life much easier.
Mainly due to extremely lazy developers and/or a generation of developers who only learned very very high level web languages and don't understand anything deeper and so are completely detached from actual memory allocations or resource usage. Since this is coming from Microsoft (which isn't new - the Vista clock widget would interrupt all the time, very inefficient), it just highlights how far from the tree the modern apples have fallen.
> Nothing is wrong with udev. In fact udev is great, as should be obvious from its 20+ years of service on nearly every GNU/Linux system out there. The rule format it pioneered has stood the test of time and can almost be considered a "standard".
>
> However, udev is not easily usable on systems without systemd and Linux. This project, like eudev and others, aims to address that. Unlike eudev however, this is a completely independent implementation instead of a "fork".
Then AI got good. I've always been able to solve problems fast in my head, but was bottlenecked by fingers and dumb infra.
AI gave me my time back honestly. Nix solved infra. backlog CLI kept the work clear. Good engineering, in spurts.
Now I have more execution power than ever, and I can steer my minions. Yes, I don't get to code and there is little flow state, but I always better liked to solve a problem and go to the next than actually typing it out.
From my phone, wireguard and aVNC to my homelab, I conduct ralph loops on my architecture and principles. This is so powerful, that my brain poops out even more ideas - and so I find myself fully immersed - another kind of flow state.
Consequence: Brain fry and less sleep, so sometimes I just crash out and sleep for 10 hrs. Usually get 5-6 hrs nowadays.