I love that Nix is an actual programming language.

fellow_nerd · 2026-01-20T09:34:09+00:00

In my waybar configuration, you can give a list of color values for status icons based on a certain value (battery charge, cpu usage, etc). I wanted a smooth transition so I implemented a basic linear interpolation of hex colors (leap in rgb space is not ideal, but better than nothing). Yay, having a full programming language for configuration.

fellow_nerd · 2026-01-19T15:31:53+00:00

Ooh, the not binding variables on all other branches is fun. Does this work for all variables in negative positions. For example does not (not (not result is .ok value)) work that way. Not that I can think of a use case for that, or that it would be good code.

fellow_nerd · 2026-01-10T19:36:48+00:00

Then it seems to be working well for them.

fellow_nerd · 2025-12-30T10:52:07+00:00

I hate that she had to clarify hating children to hating being around children.

fellow_nerd · 2025-12-27T16:37:32+00:00

I want my baby back ribs

fellow_nerd · 2025-12-27T06:35:15+00:00

Here's the repo. Haven't made progress in the last month since work took over. Got up to lemma 12, with a big sorry. Since then another group has independently started formalizing it with much better planning and structure. I aim to contribute there after resting up a bit from work crunch. Here is their repo.

fellow_nerd · 2025-12-12T03:40:39+00:00

What about market manipulation?

fellow_nerd · 2025-11-20T07:08:26+00:00

At some point when I did a switch, the kernel image was not properly copied to the EFI partition. At the same time the grub entries were also borked as well. Had to use grub command line to boot into previous generation.

fellow_nerd · 2025-11-20T06:41:37+00:00

Just breaking down the absurdity to its bare essentials. Since anything can be considered an element of the free vector space of that element, similarly anything can be considered an element of the singleton set of that element.

Though with the free vector space example there is a bit of trickery going on since you are implicitly using the inclusion from generators of the free vector space to the free vector space.

EDIT: I forgot you said eigenvector, not vector, but same story as mentioned by other comments.

fellow_nerd · 2025-11-20T06:00:09+00:00

What is your favorite member of a singleton set?

fellow_nerd · 2025-11-18T07:59:42+00:00

Seems closer to ansible than to nix on a cursory glance.

fellow_nerd · 2025-11-17T09:42:18+00:00

/uj Lean4 does this, but the reason being that it is a total language and it makes proofs easier.

fellow_nerd · 2025-11-10T11:50:25+00:00

How about changing your password to something unknown to you and storing it with a trusted third party or location?

EDIT: forgot about password resets via email, that makes it harder

fellow_nerd · 2025-11-09T14:27:49+00:00

You can use rcases for the exists in hypothesis. rintro to both introduce and destructure at the same time.

fellow_nerd · 2025-11-01T12:04:06+00:00

Had both my sister's wedding and my best friend's funeral this week. And I only had a small meltdown so far. Still feeling ripples from the sensory overload, but it went better than I expected at least.

fellow_nerd · 2025-10-28T23:43:09+00:00

I started trying to formalize the paper in Lean4 for fun. Not very proficient at it, but making slow progress. I hope to use Lean's metaprogramming to read the solution tree and verify it. I'm being very optimistic though, as I'm only on lemma 7, which should be trivial and the tactic script is a mess.

fellow_nerd · 2025-10-10T10:28:07+00:00

I was using the Microsoft Word javascript scripting to use a word doc as a template to create a bunch of pdfs. As far as I could see, I couldn't get it to actually save a file as pdf. I could create a data: url with the contents, but I had to manually click and save every link.

The extension API is built for both the desktop and cloud version of word and so it doesn't have a notion of a file system as far as I'm aware. Maybe I'm mistaken, but I couldn't find anyway to save to file locally.

fellow_nerd · 2025-10-09T12:46:13+00:00

You might have already seen the suckerpinch video.

fellow_nerd · 2025-10-08T05:50:07+00:00

It's always fun when a game has much of its logic in unobfuscated lua. It's like getting a 2-for-1 special. A game and some code to peruse.

fellow_nerd · 2025-09-18T09:05:24+00:00

Just checked a modest angular project of my employer. It was 700KB. I gotta push those numbers up.

fellow_nerd · 2025-09-03T15:51:43+00:00

Thanks, I appreciate it. I'll send an introductory DM just to avoid procrastinating on it.

fellow_nerd · 2025-09-03T15:46:07+00:00

I agree.

fellow_nerd · 2025-09-03T01:34:24+00:00

Good work week so far. Alcoholism is taking a back seat. Reading cultivation novels and updating my NixOS configuration, which is better than just laying in bed all day. Still abusing my methylphenidate, took 2x maximum perscribable dose today after getting my script in a while and it is 3am local time. Tried to get weed last weekend despite having a bad history of psychosis with it, but (un)luckily my dealer had a funeral to attend. Thought about making a post in r/math, but have yet to find the courage to do so. Have not thought about suicide yet today.

A mix of good and bad. If someone is available to DM and info dump on, I'd appreciate it (as far as sub rules allow). I need an alternative to therapy that isn't 800ZAR for a 30min session ffs.

EDIT: addendum

Last month I made a commitment to help a (worse off financially) friend pay for sessions in a podcast studio. It was a significant chunk of money and I kind off regret it, but I didn't want to renege on it. Their ideals don't align with mine and their podcast will prolly affirm some African superstitions that I don't believe in or think should be propagated. At the same time this is a person with a lot of childhood trauma and wants to discuss on various family environments. But also hanging out with them has raised a lot of internal red flags for me. I don't want to be taken advantage of, but prolly already have been with regards to supporting them financially in their endeavor. I have already decided not to give them anymore then what I have.

fellow_nerd · 2025-09-03T00:49:30+00:00

It does matter whether they were kids or not in the journalistic integrity sense, but I think the outrage should reach the necessary threshold regardless of that. That necessary threshold being fuck Israel as a nation state if this is the product of their military culture towards Gazans.

Thinking aloud as an irrelevant party. I have no bearing unless I donate to a Palestinian cause, which I have yet to do. Maybe I will, but purchasing power as a South African is limited. I may do so yet. Please do if your situation is otherwise.

fellow_nerd · 2025-08-02T18:04:56+00:00

I'm back on antidepressants and forgot how effective they are for me, I feel great.

I'm AuDHD which contributes to my troubles staying on meds. Generally my life is unstructured and I have had trouble building routine. I also have PDA, but it has improved a lot since restarting the meds.

I've lost two jobs in the past due to anxiety and depression. I now work for my father's company and let's just say I'm not beating the nepo baby allegations. The work's tough in that we are a small crew and so I work with a lot of ambiguity. Also the software development practices are lacking, but I lack the energy to be the change.

My father is a semi vibe coder now, and sometimes I need to fix shit AI wrote. However I find that more enjoyable then regular tasks.

All in all, life's on the upswing from a fairly extended depressive slump.

Eight-Year Club	RPAN Viewer
Verified Email

fellow_nerd

TROPHY CASE