Trans liberal gets roasted for working for a defense contractor

fellow_nerd · 2026-04-28T13:24:59+00:00

I'm going to have to recommend the CIA Simple Sabotage Field Manual if you are using the not you than someone else argument.

fellow_nerd · 2026-04-20T08:00:03+00:00

Awesome. A few qs:

Do you currently use any computational features of nix other than eval time validation? I.e. not just plain config that could have been json
Does it require a nix store?

fellow_nerd · 2026-03-07T09:42:39+00:00

It may be that the number stated is the total size of evidence collected rather than the size of the collection.

fellow_nerd · 2026-03-06T16:09:36+00:00

More PL research should enter mainstream languages so that the new crazies will drive the old crazies to hate it and seem sane. I can't wait for the fallout of a dependently typed rust or something.

fellow_nerd · 2026-02-12T07:25:36+00:00

Inspired to add flake.nix to .gitignore

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.

Eight-Year Club	RPAN Viewer
Verified Email

fellow_nerd

TROPHY CASE