V2EX › andyJado 的所有回复 › 第 4 页 / 共 15 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

1 2 3 4 5 6 7 8 9 10 ... 15

❮

❯

2023-05-10 08:51:07 +08:00

回复了 zhengzhongzhao 创建的主题 › 分享发现 › "最近为了解决儿子被蚊子制裁的事发现了原来现在的蚊帐都自带支架可以自己立起来。大到行星，小到蚊帐，都在推翻自己，都是预期内的，值得警醒的是一切在自我推翻的速度将会越来越快，不敢或不能推翻自我的被时代抛得越远。"

@sinxccc 可以问下玻璃纤维的会有什么隐患吗？我就用的这种...你这一说我不敢睡了都

2023-05-06 09:59:12 +08:00

回复了 andyJado 创建的主题 › 问与答 › 如果我有个朋友试图「个人破产」，看书，找律师，还是？

@Korto 认为债权人同意，所有参与者在事件看法上都达成了一致。只是事务不明确，不知道要让这个事情发生该去找什么机构，做什么准备。

2023-03-29 12:22:14 +08:00

回复了 yzqzss 创建的主题 › 分享创造 › 丑搜·中文独立博客全文搜索引擎（收录有 1K+ 博客）

真的很不错，但优雅你自己说了让我说什么？尾巴塞回去！

2023-03-21 08:28:21 +08:00

回复了 andyJado 创建的主题 › 程序员 › PDF 是自学者的噩梦，读 Anders 的 Static Program Analysis 窒息

@vcbal 假设我想到了，能帮我理解“Int”和“上箭头 + Int”的区别吗？

2023-03-20 08:54:50 +08:00

回复了 andyJado 创建的主题 › 程序员 › PDF 是自学者的噩梦，读 Anders 的 Static Program Analysis 窒息

@ufo5260987423 我的对象语言，一个文件会有几万行。我觉得我需要先趴到 CST 然后再趴 AST ，我抄的是 rust-analyzer 。你的索引是按函数建立的吗，一个文件 10 个函数，编辑一个函数的时候只更新那个函数？

2023-03-19 21:13:35 +08:00

回复了 andyJado 创建的主题 › 程序员 › PDF 是自学者的噩梦，读 Anders 的 Static Program Analysis 窒息

@westtide 上箭头加 int 是什么意思，指针吗？

μt.( int,t)→int 我就看不懂了，它里面做了一些数学的东西，我数学学得不错，但它做的事情我不理解： A type of the form μα.τ is considered identical to the type τ[μα.τ/α].1

还有昨天看到“zipper struct 是数据结构的一次导数，我何止参不透，完全是摸不到了。”

问题在于我不觉得这东西困难，只是它选择了一个“严谨但难以理解的表达”，如果有老师在，只需要告诉我，“你想知道这个之前你得知道一个那个”，就完了，这样也太苦了。

2023-03-19 21:05:00 +08:00

回复了 andyJado 创建的主题 › 程序员 › PDF 是自学者的噩梦，读 Anders 的 Static Program Analysis 窒息

@enchilada2020 我没法自在地跳转，我没法复制出去搜索，我没法找到社区。卡在一个地方，我掌握的解决问题的方法都不适用了，我还找不到人问。

2023-03-19 16:16:11 +08:00

回复了 foolishcrab 创建的主题 › 程序员 › React 新文档骂战引发的的思考

@windyskr 哈哈哈哈哈哈哈哈这也太逗了吧。

2023-03-17 09:55:35 +08:00

回复了 gant 创建的主题 › 问与答 › - 这个符号怎么读，中文和英文。

https://www.computerhope.com/keys.htm

还经常有
LT: <
GT: >

2023-03-16 15:31:53 +08:00

回复了 andyJado 创建的主题 › 酷工作 › 独立办公室也太爽了吧，如果从工资里扣的话一个月 3000 我觉得不过分。

@applehater 可是我们写代码上班没事干写着玩的呀..