HigherOrderCO

@Aron_Adler @VictorTaelin Ok absent in hvm2 and slightly different in hvm3: github.com/HigherOrderCO/HVM3/blob/main/src/HVM/r…

Él menciona Bend como primer intento: un lenguaje que promete verificar con pruebas que la IA implementó lo que pediste. Repo: HigherOrderCO/Bend

PC for software development/light gaming, at under £1000 My laptop recently died. My school provides laptops we can borrow, but they're quite limited in power/compute capability. I'm looking to build a setup which I can use comfortably at home/use remote desktop to access from school. I was mostly happy with the specs of my old laptop (i7 13th gen, 4050 laptop GPU, 16GB ddr5), so I'm looking to get a desktop of similar capacity. However, I did find myself having to close tabs because of RAM issues, so 32 GB would be nice. - New build or upgrade? - New build - Existing parts/monitors to reuse? - I have some shitty monitors which will make do/I can present the pc and the monitors (which should be fairly cheap anyways, as I don't need fps monitors) as separate items to my parents :p - PC purpose? - Mostly software development/related. - It needs a decent amoutn of RAM (I dug out an old laptop with 8GB RAM + 17GB swap and I'm still running out of memory and swap sometimes; I think resharper is the likely culprit but not much I can do about that) - Resharper is also heavy on CPU usage + competitions such as [ritangle](Ritangle - An MEI Competition for A level Students) mean a good CPU would be nice - I'm interested in GCGPU technologies, in particular stuff like [Bend](GitHub - HigherOrderCO/Bend1: Bend 1: the original massively parallel, high-level programming language (superseded by github.com/bendlang/bend) · GitHub) - Fucking around with SRS Scheduling, which currently involves playing with decently sized NNs - I also occasionally PC game in the form of heavily modded minecraft. Packs I've played before/are considering playing are: - gregtech - atm10 - create:mekanized - Purchase country? - UK - Monitors needed? - N/A, I think. If the hardware will limit number of monitors, I'd like at least two, and three would be nice) - Budget range? - £1000 maximum, but ideally more along the 500-800 range. I got my laptop for £500 a few years ago, so with the recent price increases a few hundred more is probably what my parents are/I am expecting - WiFi or wired connection? - I'd like WIFI, but we do have one of those wifi extender things which purports to allow running an ethernet cable out - Size/noise constraints? - It will be in my bedroom, so not too insane, but if louder/bigger means cheaper, that's fine by me - Color/lighting preferences? - None - Any other specific needs? As mentioned: - 32 GB RAM ideally - Nvidia GPU