Hackathon 活动后记

上周六到周日(2024.5.25-2024.5.26) Uni和木犀联合举办了一年一度的HackDay活动。
理论上,这个活动是武汉高校联盟都能来的,而且原计划和冰岩联合,在华科举办,但因为未知原因,在街道口附近自习室举办。
先说结论,Hackathon绝对是一次特别的经历。
首先是从未有过的团队协作的经验,这方面主要有三点,你必须不断的帮小组成员解决困难和让小组成员解决你的困难,必须多次讨论确定最终作品的结果(这其中有时间和技术的取舍,也包括对剩余san值的取舍),必须不断面对git pull失败和merge冲突相关问题。实际上,想法和代码迭代速度之快,导致几乎每一次提交代码都需要处理冲突问题,平常很难有这样的机会。
与小组成员的讨论变得相当关键,在理智近乎消失的同时,必须尽早,尽量详细的确定未来作品的方向。这个过程实际上是一个Social的过程。实际上,我感觉这次活动中起到协调的作用,找到了整个项目在设计的创意和技术的能力的中间点,(同时劝住了执着的设计和鼓舞了想摆的技术,我好NB)避免大部分无效沟通。
技术是比赛中的限制,但不会是瓶颈。简单的技术与有趣的创意能搭配出足够出色的结果。实际上,写代码的四个人中,有三个人没有事先学过自己需要的技术栈(指pygame)(还有一个一直想在代码C的设计,只可惜能力不够(并无谴责意思,只是表达事实))现在想来,我写的很多代码最终也被替换,只有制谱器和一些代码的算法被保留下来。
足够特殊的经历,推荐每个产品/设计/技术亲自参加一次。
一个必须要说的事是,通宵写代码真的有点难,建议中途小睡一觉,或者可以和小组成员接力一下。开空调有点冷,记得带好御寒的衣服或毯子。

关于人工智能当前问题的一点想法

现在人工智能的两个典型问题是:1.智能程度差 2.信息输入不够简单
先谈谈第二个问题:目前常见的人工智能IO是文字输入和语音输入,文字输出和多媒体输出。但是不能直接输入图片或视频。而是先做图片识别和视频处理,再将文字转发。好处是专人干专事和节省带宽,降低开销,坏处是信息损失。我是喜欢x86不喜欢arm的人(You know what I mean.) 说实话力大砖飞是我的期望。
再看第一个问题:一个广泛接受的理论是智力同模型大小成正比。而更大的模型和显卡显存直接相关,不可避免的导致cost++。
我有时候在想,低参数的模型能不能和幼年的儿童做类比(期望上)它们的一些结果不合或部分合逻辑。chatGPT3.5就像一个没意识到自己错误的小孩。一心觉得自己逻辑正确。更进一步的,这些差错,是否是想象力的一种可能,甚至是创新的源泉。
我认为这并不是不可能。我们总是对各种东西持怀疑态度,推动了人类科学进步。但是,循规蹈矩会让我们对大部分自然现象熟视无睹。想象一颗往天上掉的苹果可能是很多孩童梦中的情景。这种对想象和现实的差错的仔细研究是怀疑和探究的关键。
当然,想要利用这种“差错”,首先需要想办法让其“大量”起来。然后需要一个能判断正误的东西(GPT-4?)和一个能做探究的东西(大概只有人了(悲,我果然是牛马))
注意,这只是对GPT3.5的外特性的一些遐想和延申。我知道其内部就是一个做接龙的鹦鹉,不过,我还是希望多保留一种想法。

2024.5.5 小记

五一假期要结束力
虽然早有预感,但还是觉得结束的好快。
还有好多事没做
最近又想起来错过党课的事,果然得写一下。
简单讲,没注意信息+注意到后没理解导致错过了党课。一年没上,下学期应该需要重新推优。
这次错过让我离入党远了一步,也让我再次询问自己一个问题,我是不是真的想入党?
有这样的想法,主要还是对党的不了解与对自身的不了解导致的。
我相信党是一个服务人民,造福人民的组织机构。但是理解不够细致,如果我成为党员,我担心自己不够格。

第二件事,Uni全会要召开了,感觉,应该不远了。但是我是社恐,有点不太确定该说啥。
说实话,这个负责人当的太怪了。虽然能理解全貌,理解为什么会推选我,但是实际在这个位置时,还是感到有些无助。
当然,最根本原因还是专业能力不够,不管是social还是tech。

第三件事,科目补习需要加速了。虽然和Uni全会还有HackDay碰撞,但还是需要优先一下 机组、编译原理、人工智能概论 对这些科目不同程度的落后让我担心。

第四件事,Ros,学长的代码浅看了一下,还是需要很多工作,预计要消耗不少时间,我大概有一个月的事件准备。

第五件事,六级,也尽快吧,尽早开始,不能像四级一样混了,感觉混不过去。

总体来说,事不少,就看能不能/30去做,这是关键中的关键。

关于acme.sh 手动自签名证书的一个小坑

服务器使用acme.sh做自签名证书,nginx的配置是将证书放在某个子文件夹下,为了方便,使用了符号链接。链接到我的个人主目录。
上周六发现服务器证书过期了,于是进行更新,更了两次没更好,检查nginx下的文件内容也可以正常读取,以为是什么时间问题,没管。
周一突然又想起来,测试,发现还是没有证书。开始进一步的检查。
首先确定了符号链接,没问题,尝试重新配置,发现账号密码在电脑里,遂作罢。
突然在想,会不会是权限问题,检查符号链接,好吧,是777。
突然又想到原文件的权限问题,检查,好家伙key文件是600,其他都是666。
怪不得之前在浏览器上还能看见fullchain文件,这还能不一致的。
更新权限,sudo nginx -s reload,还是不行。
sudo service nginx force-reload 解决问题

2024.4.12 开发小记

写了一下午实验,屎山代码延申了。部署了新的Pipeline,因为代码的问题卡了一会儿。
今天1999和舟都有新活动 但是完全没有时间打。 虽说下午确实摸了会儿鱼
伞的魔术贴终于是掉了,简单学习缝线后,缝了一下。完全谈不上美观,但是足够结实。
突然想起来Leetcode没写,只能之后补上了。
明天又要验收实验,得快点了