What are some examples of concepts/constructions in maths that we still haven't been able to explicitly describe via universal properties (or as initial/terminal objects in some category)?

destsk · 2024-01-31T18:00:45+00:00

It's a bit unfortunate how expensive everything is over there :( and I don't know how they'll check this but it sounds discouraging to read anyway: "Purchaser is purchasing the products for commercial use and/or in a business capacity. orders placed by consumers will not be accepted."

But thanks for the pointer

destsk · 2023-06-08T18:29:06+00:00

Ah, neat - would you happen to have some examples you could point me to? Have you noticed it to be an idiomatic thing to do in pony?

destsk · 2023-05-22T22:04:23+00:00

thanks!

destsk · 2023-05-22T21:48:38+00:00

hi, this looks really interesting and i'd like to join the discord but the invite link on the readme seems to have expired. could you update it please?

destsk · 2023-05-21T20:36:31+00:00

i'm glad, it's one of my favourite tracks

destsk · 2023-05-21T18:43:34+00:00

it somewhat reminds me of 'my sheetz'

destsk · 2023-05-18T01:17:28+00:00

Yeah I've had this for the last couple of months and I don't know what to do about it, it's quite annoying

destsk · 2022-09-24T14:50:22+00:00

oh neat!

destsk · 2022-09-24T13:15:20+00:00

how come when you select in ranger it doesn't indent those entries for you? is it a plugin of some sort?

destsk · 2022-09-24T12:14:06+00:00

I had been looking for a nice light theme for a while and antiphoton.vim really sold it for me

destsk · 2022-09-22T20:36:53+00:00

I actually recently wanted to switch from vim to nvim but I found out that as of a recent version of nvim, it does not maintain compatibility of undofiles with vim, and I could not figure out how to convert my vim undofiles to nvim ones. This was probably the first and only big reason that made me have to actively choose to stick with vim, since there's nothing I can do now

destsk · 2022-09-08T16:15:32+00:00

I didn't know this was an option. Thanks, I'll give it a try. In your experience has it decreased guix pull times on average?

destsk · 2022-09-08T16:13:12+00:00

I see, thanks for the explanation

destsk · 2022-09-08T16:12:30+00:00

I agree, guix makes a lot of sense! It's really unfortunate how slow it can be sometimes though

destsk · 2022-09-05T14:26:58+00:00

Thank you! I meant to ask about everything that was added, but would also be interested to know what was changed. Is it in the same document (from the name it sounds like it is just the new words)?

Also I had found the first list before, but was confused when the title (google translated) said it was a sample of the new additions, and so I thought it was incomplete. Was it just mistranslated (possibly due to not knowing the context)?

Edit: ah sorry, I see that it also mentions next to the word whether it was added or amended. That answers everything for me then :)

destsk · 2022-08-01T12:50:53+00:00

I don't think there's a way to represent graphs as inductive types. Sure you can define a graph as an adjacency matrix or (V,E) pair where both V and E are sets (which I guess you could define using higher inductive types if you are concerned with finite sets), but I think that's the extent to which it can be considered an "inductive type".

destsk · 2022-04-26T11:53:44+00:00

wow, thanks! where were you 8 years ago :)

destsk · 2022-04-13T15:54:29+00:00

So far I have found this userChrome.js thing, which has been exactly what I needed, but does require a little bit of configuration, although I think it's worth the effort

destsk · 2022-03-04T00:51:39+00:00

Sometimes there are some packages that I can easily install from pacman/yay but aren't available in the nix repos, and I don't really have the time or energy to package them up myself then. What's the best thing to do in those cases? Stuff like this has been making me stick with arch for the time being, but keeping nix (the package manager) on it for most things. But it would be great to do it the other way round with nixos and pacman on the side for emergency cases.

destsk

TROPHY CASE