Notices by mall0ry 苦レモン (mute_city@poa.st)
-
Embed this notice
mall0ry 苦レモン (mute_city@poa.st)'s status on Thursday, 16-Jan-2025 15:58:18 JST mall0ry 苦レモン
@lonestarr @Suiseiseki Filter everyone who pontificates on licenses. -
Embed this notice
mall0ry 苦レモン (mute_city@poa.st)'s status on Saturday, 30-Nov-2024 21:38:26 JST mall0ry 苦レモン
@sun If your code is such that you can just look at it and see the shape of the correctness proof by induction you are doing it correctly.
What i have seen a lot in erlang though is people abusing processes to keep writing OO-style just with weird syntax.
That's probably the masturbation you refer to? -
Embed this notice
mall0ry 苦レモン (mute_city@poa.st)'s status on Tuesday, 08-Aug-2023 04:45:41 JST mall0ry 苦レモン
@p @clayvaulin
True.
But then again I don't respect this guys opinion on any other topic. -
Embed this notice
mall0ry 苦レモン (mute_city@poa.st)'s status on Tuesday, 16-Aug-2022 21:12:11 JST mall0ry 苦レモン
@hazlin @cirnog @deprecated_ii > I don't remember without looking, but someone on here was arguing that evolutionary algorithms used by programmers proved evolution in nature.
That most likely refers dawkins computer experiments, which are admittedly rather crude.
The local minima problem is usually answered with what evolutionists call "survival of the flattest".
I.e. environments are changing constantly - not only in climate, but also the set of all other organisms in a biome.
Overfit species are culled all the time. (one of them dying out can also trigger an entire cascade of extinctions)
This means the organisms you see today all descent from "generic enough" organisms that survived past extinction cascades.