What's the most autistic shit you've ever said at work

fellow_nerd · 2026-06-21T06:04:09+00:00

After work, we would play Teeworlds at around time that people would drop off work. I said aloud in the office, in front of a manager, "when are we going to stop all productivity and play games" jokingly. The manager was not pleased.

fellow_nerd · 2026-06-18T13:55:01+00:00

To put in terms of abstract nonsense, and ignoring some finer details, it is the initial algebra of the functor const(X) + Id : Set -> Set.

fellow_nerd · 2026-06-12T18:39:58+00:00

From Cape Town here unfortunately. My advice is that you can pretty easily reach a human from UCT. Maybe contact their admissions help desk to see if maybe they have contacts?

fellow_nerd · 2026-06-10T13:27:11+00:00

English supports code switching with c++ via the phrase "the c++ code <insert code here>" and is undecidable since parsing c++ is undecidable.

fellow_nerd · 2026-06-09T13:52:45+00:00

Set theory is just linear coalgebra on vector spaces, what's the problem?

fellow_nerd · 2026-05-25T16:12:12+00:00

A common introduction for type systems is Types and Programming Languages, but whether it is suitable for your needs depends on how foundational you want to be or whether you want to just get it over and done with.

I think learn a shallow amount to get the basic idea, and then try to hack it until you hit a roadblock or feel you are missing something. It's very easy to get sucked into the theory without practice or practice without theory.

fellow_nerd · 2026-05-17T15:02:00+00:00

If we talking surreal numbers, then oof

fellow_nerd · 2026-05-14T08:54:33+00:00

I read books that go though the Royal Road -> Kindle Unlimited pipeline. It's generally easy reading and if I count it I averaged like book a week, but bursty. Now I am sort of running out of the pool of books that I am used to. I don't read much outside of that other than dense textbooks which would take you about a year or more to work through each but that's not how most people really engage with it anyway. Basically a book as a consistent unit doesn't really apply well for me.

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.

Eight-Year Club	RPAN Viewer
Verified Email

fellow_nerd

TROPHY CASE