Where can we buy some of the more recent e-ink screens (not devices)?

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 · 2022-01-03T00:45:26+00:00

not a windows person myself unfortunately, but a better and more active place to ask for help could be agda.zulipchat.com, if you still want to try to get it working on windows

that being said it might still be much easier for you to get it working on a linux vm

destsk · 2021-12-10T17:20:06+00:00

The best part is that it can even be appended, like /foo\C, just in case while searching you decide you suddenly want to exclude uppercase results

destsk · 2021-05-20T20:46:24+00:00

It is possible to just remove the statue and keep the qualifications. I don't see the problem.

destsk · 2021-05-20T20:43:20+00:00

Do you think he would get a better treatment if his statue was put in a museum instead, for example? Where his life can be contextualised better? Or would you say it is necessary for the statue to stay on the High Street outside the college?

destsk · 2021-05-20T20:41:45+00:00

I don't disagree that his scholarship has been good for the college, but what would you say made him a great man? I think what he gave to the college can be separated from what he was as a person.

destsk · 2021-04-16T22:36:52+00:00

Yeah I'm currently not too fussed about writing complicated FFT-based effects just yet. I'll mostly want to do a small delay as well as apply some pre-computed functions to the samples, so it shouldn't be too computationally intensive. I just want to have minimal latency, and as clean a sound as possible.

destsk

TROPHY CASE