kagenomirai

kagenomirai

V2EX 第 616019 号会员,加入于 2023-02-25 17:51:40 +08:00
今日活跃度排名 456
根据 kagenomirai 的设置,主题列表被隐藏
二手交易 相关的信息,包括已关闭的交易,不会被隐藏
kagenomirai 最近回复了
7 小时 58 分钟前
回复了 levelworm 创建的主题 程序员 不知道为什么,我很厌恶 map()
OP 只是不适应而已,就像第一次学极限的定义的时候,怎么看怎么恶心。
但后续理解了习惯了,不也一样用得飞起。
另外 python 的语法可读性我觉得太差了(太多 keyword 真影响阅读)。
当然最好的适应方式就是去学一个 ML 系的语言,学的过程中抛弃过程式的思考方式。
然后你就可以做到过程式和函数式两种思考方式之间任意切换了。
虽然只是为了一个 map 就花时间在 ML 上感觉有点浪费,不过程序员就是需要不断接受新东西(所以我本身也不喜欢程序员)。

关于 map 的命名。
其实首先登场的是 fmap ,意思是对一个 functor 进行映射。
functor 可以简单理解为一个复合数据,可以改变其中的元素同时不改变结构。
去掉 f 得到 map 的意思就是对一个特定数据映射(一般都是 list 或者 array )。
1 天前
回复了 wniming 创建的主题 Linux Linux 如何限制笔记本电脑触摸板的大小?
@wniming 在自己电脑上尝试了一下,还需要安装 libinput-pyudev 。
不过这和 measure 不能用应该没关系,libinput measure 是到一个编译时的宏 LIBINPUT_TOOL_PATH 下寻找 libinput-measure 这个可执行文件来执行的。在我的电脑上 LIBINPUT_TOOL_PATH 就是 /usr/lib/libinput 。你可搜索一下看看系统有没有 libinput-measure 这个可执行文件。
不过 libinput measure 只是个 debug 工具,似乎做不到调整触摸板的大小,我没细读 libinput 的文档。感觉有点太折腾了,我是直接开启输入时禁用触摸板,swaywm 下没有感觉响应变慢,可能是 kde 的 bug 。
1 天前
回复了 wniming 创建的主题 Linux Linux 如何限制笔记本电脑触摸板的大小?
@wniming 可选依赖没装完吧,我用 arch 使用 libinput measure 至少要装 libinput python-libevdev 这两个包。
关于调整 touchpad size : https://wayland.freedesktop.org/libinput/doc/latest/touchpad-pressure-debugging.html#debugging-touch-size-ranges
15 天前
回复了 mahaoqu 创建的主题 程序员 通过别人的费曼学习法能够学到东西吗?
正巧最近在学 Haskell 的 Monad ,也遇到这个问题。网上的 blog 不少是在复制概念和举例子,很少会去解释是什么和为什么。学数学给我带来最大的启发:解决问题前一定要弄清定义。这也是 blog 中非常缺乏的,而开放大学资源,教材,以及论文在这方面做到很好。
Monad 是个很好的例子,不管有多少作者举例或解释什么是 Monad ,到最后让我理解到重点的还是两步:理清 M 是一个 Monad 而 M a 不是; Monad (M) 是对 computaiton 的抽象即 `M a` is a computation resulting in `a`。为了实现这个抽象,我们可以给出 Monad 的详细定义(三个函数和三个法则),以此也推导出 Monad 是 Applicative 也是 Functor 。而这都是原始论文和 haskellwiki 上原本写着的,虽然非常凝练。
感觉学习很多时候就不能跟着直观走,数学里也不少反直觉的概念,但领悟后才可以用另一种视角考虑问题。
看 log 想起我 arch linux 笔记本休眠( hibernation )后就会关机。
挂起( suspend )下也没有啥问题,所以具体原因也没查。
不知道你说的睡眠具体指休眠还是挂起,如果是休眠后关机,可能和休眠支持有关。
https://wiki.archlinux.org/title/Power_management/Suspend_and_hibernate
OP 说的也不算事实。链接不是 rust 的责任。你换了 C C++ 或者 D 你都得链接一个 libc ,除非你不调系统的 api 或者有一层 vm 的包装。而 glibc 众所周知是不可以静态链接的。rust 这类系统级编程语言是不可能脱离 c 的 api ,顶多帮你做一些 dirty work ,到头来免不了做系统层面上的兼容。所有 OP 拿 go 和 rust 比就好像拿 lua 和 c 比一样,都不是同一个类语言,在设计上解决的问题也不同。
归根结底,比较两个(针对某一问题设计的)语言根本没有意义。比较锤子和螺丝刀有意义吗?
65 天前
回复了 zzzyk 创建的主题 C++ C 怎么进阶学 C++呀
理解不了 C++ 的面向对象,分两种情况吧。
一是理解不了 C++ 语法,像什么 virtual friend 这种,还有各种 practice 像 RAII rule of five 什么的。这种可以自己实现个容器类试试,看看 effective C++ 和 CppCon 的 back to basic ,不过最好别深究,标准可以看到死。
另外推荐一下 StackOverflow 上有个 C++ 的书单: https://stackoverflow.com/questions/388242/the-definitive-c-book-guide-and-list

二是理解不了面向对象这种抽象方式,疑惑什么是面向对象,为什么要面向对象,我像 C 一样写一堆函数不行吗,等等此类问题,我想到最好的书应该就是 SICP 了(看 JS 版顺便还能入门 JS )我只大概翻过,这本书对如何用抽象来进行编程做了系统的解释,特别适合新手。不看这本书也可以多写写代码,时间久了也能领悟书上的内容。
伴随着 SICP 的还有伯克利的课程 CS61A 这几年换了教材 Composing Programs 用 python 写的,和 SCIP 差不多。
最后推荐一下 csdiy.wiki (计算机自学指南)这个网站吧。
81 天前
回复了 FanyFull 创建的主题 生活 三万六千块人民币的房子能住吗?
不如说看见像 OP 这样清醒的人越来越多中国才有希望。
OP 知道自己需要什么,知道有什么选择,也知道选择的利弊。
相反很多人不清楚自己需要什么,在社会上将就。有人说要结婚便结婚,说要去大城市就去大城市,说 A 股牛市就买 A 股。
138 天前
回复了 hello202311 创建的主题 问与答 如何更好的爱自己?对自己有兴趣
目标确实可以激发人的行动力。但不要陷入对永恒的追求(我想这是程序员的职业病),比如永恒的目标(人们常说的人生目标)。当然这里说的不是不能有永恒的目标,而是不能有情结“我必须要有人生目标”。但这对 op 用处应该不大,因为感觉 op 疲惫。最好规律作息,如果身体有不舒服,可以做个体检。身体对精神的影响要比人们所想的要大很多。
143 天前
回复了 AoEiuV020JP 创建的主题 生活 大家吃剩的处方药会怎么处理?
最好开药时问清楚医生。另外父母不懂乱吃药一定要制止,本身老了肝肾功能就不好,乱吃处方药雪上加霜,很多药还会影响免疫力,体内菌群,胃损伤(当然短期没事,长期肯定有些影响)况且还不知道父母吃了啥药。而且还可能拖延病情,长期症状老人吃点药“感觉”好了就不管了,到头严重了跑医院更麻烦。我的经验直接告诉父母不要乱吃药很难行得通,最好还是从原理上解释。
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   1857 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 9ms · UTC 08:54 · PVG 16:54 · LAX 00:54 · JFK 03:54
Developed with CodeLauncher
♥ Do have faith in what you're doing.