Posts by senioria@stelpolva.moe
(DIR) Post #Abv5daYIclApw3jEpc by senioria@stelpolva.moe
2023-11-18T04:20:24.240Z
0 likes, 0 repeats
@lhc_fl discourse的备份是自己做的吧 x (超小声(按道理数据库该能做到一边只读负责备份, 一边cow来正常运行... 如果是应用程序自己做的话应该是可以做的 (超小声(
(DIR) Post #AcSJSu33bm9Un5al0q by senioria@stelpolva.moe
2023-12-03T05:17:55.406Z
1 likes, 0 repeats
@lhc_fl 选项好少 --- x (超小声(缩成球完全无法套入任何一个 --- x (超小声(
(DIR) Post #AcdYp04gPg4cVD9CZk by senioria@stelpolva.moe
2023-12-09T05:51:29.940Z
0 likes, 0 repeats
@lhc_fl @tusooa@kazv.moe 其实汉语明明有一堆无性别的代词... (超小声(senioria好像之前bb过用"其" (?) (超小声(
(DIR) Post #AcfOz6eGDSlkYqt9ZQ by senioria@stelpolva.moe
2023-12-10T12:04:53.984Z
1 likes, 0 repeats
@tusooa@kazv.moe @XYenon@pleroma.xyenon.bid @x200706@fedi.absturztau.be @lhc_fl@stelpolva.moe 一大坨ml系的是 Add.add 1 2 x (超小声(隔壁还有几家支持定义一堆不同的Add实例的 x (超小声(
(DIR) Post #AcfP041LTHI8hX8vFA by senioria@stelpolva.moe
2023-12-10T12:06:23.964Z
1 likes, 0 repeats
@tusooa@kazv.moe @lhc_fl@stelpolva.moe 但应用程序里很多时候主句主语就是用户名不是吗 x (超小声(总之就是得整点不够用的例子 x (超小声(
(DIR) Post #AcnxuLTygeBqmTDvg8 by senioria@stelpolva.moe
2023-12-14T15:49:30.969Z
1 likes, 0 repeats
ts很讨厌的一点是会把所有没有标注的array编译成一个array of sum... 明明很多时候只是想要一个tuple... (趴 (超小声(而且不论在函数的参数和返回值上都是一样的... 明明在subtyping里, 一个应该尽量认为是子类型, 另一个应该尽量认为是基类型... (趴 (超小声(或者, 不从把函数传进什么东西里, 而是从怎么用函数的角度看, 也应该参数尽量填成基类型, 返回值尽量填成子类型才对... (趴 (超小声(
(DIR) Post #Aco3LFmIVI80g6RVDM by senioria@stelpolva.moe
2023-12-14T16:30:53.145Z
1 likes, 0 repeats
@tusooa@kazv.moe 搓搓 (超小声(senioria觉得ts总体思路大概还是挺适合js的... 只是硬是把自己变成jsdoc的糖这一点挺难受... (趴 (超小声(
(DIR) Post #Ad5vmkkl0kbuEjp9iy by senioria@stelpolva.moe
2023-12-23T07:10:33.527Z
1 likes, 0 repeats
很不喜欢很多语言的基于继承的subtyping... 除了清晰得没得更清晰的函数类型, 从来搞不清什么地方是协变, 什么地方是逆变... (超小声(因为继承是直接钦定了subtyping关系, 但subtyping也蕴含着一堆东西要协变, 于是另一堆东西要逆变, 于是resolver就炸脑瓜了 (趴 (超小声(
(DIR) Post #AdClU0wiwVelWNZCmO by senioria@stelpolva.moe
2023-12-26T14:54:39.289Z
1 likes, 0 repeats
@lhc_fl OoO linca怎么奸尸 (?) x (超小声(
(DIR) Post #AdCmBxnjzqcOVdK0bQ by senioria@stelpolva.moe
2023-12-26T15:06:27.997Z
0 likes, 0 repeats
@tusooa@kazv.moe stfw failed qeq (超小声(缩成球(求个链接 >< (超小声(缩成球(
(DIR) Post #AdDDIbIMllL1Uu2HHk by senioria@stelpolva.moe
2023-12-26T19:08:25.992Z
1 likes, 0 repeats
@tusooa@kazv.moe 趴趴 看了看 这种把子类型+重载捏进继承体系的湿活确实是c++的某种优雅... (趴 (超小声(senioria大概只是在诟病继承这种东西而已, 多态自然有得是更文明的方法, 单纯的子类型本身某种程度上其实也想了想隔壁rust会怎么做c++这里的事情... 感觉要么往Vec里注入一点东西, 要么就得让用户手动操作点东西了... (趴 (超小声(不过这也是rust鼓励explicit, 不隐藏控制流的结果 (趴 (超小声(以及异常... xd 构造异常在哪都是用户处理, 内存分配错误在rust里直接得supervisor的panic handler了 (趴 (超小声(
(DIR) Post #AdEFPO4iiJyXabycXw by senioria@stelpolva.moe
2023-12-27T08:12:52.062Z
1 likes, 0 repeats
@tusooa@kazv.moe 库里还是用了, 并且似乎不用继承不能保证编译器能优化得掉 (趴 (超小声(大概对c++还是更看魔法怎么实现, 而非魔法对外的接口... (趴 (超小声(
(DIR) Post #AdGrnx5GOAQjgwI6ee by senioria@stelpolva.moe
2023-12-28T13:56:38.241Z
1 likes, 0 repeats
@lhc_fl @lhc_fl 因为spec为了严谨总是喜欢不说人话... (趴 (超小声(senioria学猫论的时候总是书看不懂, 索性直接拿书上的词去翻agda-cat, 或者在没有的时候直接自己嗯抄一遍, 然后总是感觉写成代码形式的各种定义和命题都好懂了不少 (趴 (超小声(虽然, 很多代码直接表现力差一档也是脑壳疼 (趴 (超小声(
(DIR) Post #AdH1ZL2C3g1LAdWdtY by senioria@stelpolva.moe
2023-12-28T16:20:57.252Z
1 likes, 0 repeats
@lhc_fl 也是senioria感到悲观的一点...: 他们大多数时候都只是把非中心化的东西当作中心化的东西来用, 或者说, 把提供这种服务的网站的类(虽然不大可能不是集合)看作一个中心化的服务实体, 而任何, 不论是有意还是无意透露的非中心化的事实, 都只会被冠以一个"好麻烦"/"事真多"的名头... (趴 (超小声(甚至可以说, 大多数人其实是完全不能理解... 呃... 共同体/聚合这种东西本身只是一种类, 相互之间可以相交和包含, 并且排中律也未必成立的... (趴 (超小声(
(DIR) Post #AdIoKnfmO9toYkhNxI by senioria@stelpolva.moe
2023-12-29T12:38:33.675Z
0 likes, 0 repeats
@lhc_fl @pointlessone@status.pointless.one Meanwhile, firefish has an unreasonably heavy web frontend... (semitacitaAnd a framework with more efficient language doesn't automatically become faster: RoR had been continuously developed and optimized by some large communities for years (though this also means historical debt), while Firefish keeps abusing any-equivalent, non-unknown types... (semitacita(
(DIR) Post #AdIoKp8svQm77JK8xc by senioria@stelpolva.moe
2023-12-29T12:54:19.022Z
0 likes, 0 repeats
@lhc_fl 怎么还要build.svg (趴 (超小声(那可能是更野蛮 (趴 (超小声(
(DIR) Post #AdJJmB74yYTpmxErJI by senioria@stelpolva.moe
2023-12-29T18:12:06.224Z
1 likes, 0 repeats
@lhc_fl @XYenon@pleroma.xyenon.bid @SWwind@kazv.moe 用户确实可能期待每次有新版本的时候打开dashboard就能看得到... 而且考虑mastodon的用户群, 说不定这些用户才是多数... (超小声(但这个工作显然可以放前端做, 后端收到更新版本的请求之后检查版本就完了 (超小声(
(DIR) Post #AdK76gF7qCxfsiPMB6 by senioria@stelpolva.moe
2023-12-29T19:13:42.504Z
0 likes, 0 repeats
@tusooa@kazv.moe 啊... 第一次看见会给别人的图片加alt text的 (趴 (超小声(好文明 (趴 (超小声(
(DIR) Post #AdTWL84hPEtHX09nKC by senioria@stelpolva.moe
2024-01-03T15:42:54.014Z
1 likes, 0 repeats
受不了数学人的记号++ (趴 (超小声(缩成球(