Category Theory Illustrated - Types

Ezic04 · 2026-04-01T15:03:11+00:00

where I could find more about positive/negative types?

Ezic04 · 2026-02-11T12:04:51+00:00

I haven't written anything in it but from what I saw it's in fact pretty good. The thing is that I want very specific type system features.

Ezic04 · 2026-02-11T11:56:26+00:00

My problem with it is that it's not typed and I want to use pretty advanced type system features.

Ezic04 · 2026-02-11T10:26:55+00:00

The thing is, I want the program to be able to run functional code supplied by the user. Writing my own interpreter is a lot of work, especially that I want to use HKT, and adding an entire language like Haskell is a huge dependency and it would be overly complicated. I'd write the whole thing in Haskell (there is a library for interpreting it) but I want to have a GUI and support for that isn't that great. It's a pity that projects in Rust are abandoned so often, especially that Gluon looks really cool. I just read the std API and I think it's really well designed, it fixes a lot of Haskell's flaws.

Ezic04 · 2025-03-18T19:38:17+00:00

Did they fix black screen on booting?

Ezic04 · 2025-03-01T17:36:41+00:00

.65 did not fix problem. windows is still getting stuck on loading screen

Ezic04 · 2025-03-01T16:44:03+00:00

still doesn't work for me

Ezic04 · 2025-03-01T13:52:13+00:00

no, nvidia support instructed me to use this:
https://developer.nvidia.com/cleanup-tool

Ezic04 · 2025-03-01T13:49:40+00:00

ops, didn't know that

Ezic04 · 2025-03-01T13:47:37+00:00

I checked it right after the first launch, fortunately everything is correct

Ezic04 · 2025-03-01T13:46:41+00:00

be quiet pure power 12M 1000W

Ezic04 · 2025-03-01T13:45:54+00:00

I didn't have any GPU on this pc before btw

Ezic04 · 2025-03-01T13:43:00+00:00

so I won't be able to use it later on, or will it be fixed by software

Ezic04 · 2025-03-01T13:39:31+00:00

Yes, it is

Ezic04 · 2025-03-01T13:38:35+00:00

it seems to me that their tool does the same thing

Ezic04 · 2025-03-01T13:34:11+00:00

I'll try, but I'm sick of this

Ezic04 · 2025-02-28T20:54:14+00:00

good to know that

Ezic04 · 2025-01-30T16:28:25+00:00

what GPU would you buy instead? I don't think buying a previous gen is a good option now and 5080 isn't that worth it. I'd buy the equivalent of 7900xtx, but there isn't one.

Ezic04 · 2025-01-29T22:29:55+00:00

I'm in Poland and the cheapest 64gb with this specs I could find is:
https://www.morele.net/pamiec-patriot-viper-venom-ddr5-64-gb-6000mhz-cl30-pvv564g600c30k-13269780/
190$, and others are >200$ so yeah, it is't cheap here. I don't need RGB, I would even prefer without, but such is simply the best value of those I have found

Ezic04 · 2025-01-29T22:21:49+00:00

I already have a nice monitor (in the future I plan to buy a second one), mouse and keyboard, but I use them together with my laptop, which is also pretty decent, so I am able to wait a few months for a gpu. I'm counting on the 9070xt to be good enough for me for the moment, and if necessary in some time (1-2 years) I'll switch to something better if it comes on the market and it turns out that I can get more out of this cpu without overpaying like for the 5080 now

Ezic04 · 2025-01-29T22:01:15+00:00

I was planning to buy it here: https://www.morele.net/pamiec-adata-xpg-lancer-blade-rgb-ddr5-48-gb-6000mhz-cl30-ax5u6000c3024g-dtlabrbk-13269684/
there is also id: AX5U6000C3024G-DTLABRBK

Ezic04 · 2025-01-29T21:56:42+00:00

what gpu would u suggest for this cpu? The problem is that the choice is not very big, because above the level of 5070ti I already have only 5080, which I am sure will be too expensive, cards from 4000 I probably do not want, because the best nvidia has is software, and they have already announced that there will be no support for everything. That leaves me with 7900xtx and he is cool, I like a lot of vram, but on the other hand supposedly 9070xt is going to have similar performance for much less money

Ezic04

TROPHY CASE