TGViewer
Channel Public Channel
codedump的电报频道

codedump的电报频道

@codedump_notes

发布个人博客(主页 codedump.info)、想法、推荐等。RSS订阅地址:https://rsshub.app/telegram/channel/codedump_notes,过往汇总搜索可以到:https://app.shokichan.com/c/tg/codedump_notes。
Subscribers
5.5K
Photos
214
Videos
8
Links
788

Showing posts older than #153 · Back to latest

Older Posts 20 shown
Post #152 992
#博客
周刊(第9期):Mozilla rr使用简介

在之前周刊聊Rust体验时,简单提到过Mozilla rr这款调试工具,由于这个工具并不是太为人所知,所以本文对该工具做一个简介。

博客:https://www.codedump.info/post/20220313-weekly-9/
公众号:https://mp.weixin.qq.com/s/nBn1K89c8xGwH3EbfSbzOA
邮件订阅:https://www.getrevue.co/profile/lichuang
codedump的网络日志 周刊(第9期):Mozilla rr使用简介 - codedump的网络日志
Post #150 1.12K
#杂
这段话说得挺好,虽然最近的局势确实让我很意外,还有可能重塑一下对世界的看法和视角,但是不能因为“外部环境下陷入悲观主义”。

“世界很乱,有可能一年更比一年乱,但我仍认为目前是人生中最令人兴奋的时期之一,情绪化的人很容易在这样的外部环境下陷入悲观主义,但只要想想伟大人物在命运低谷时选择的生活方式,我也必须动手做点什么,哪怕只是学英语、健身、阅读小说,只因我想要在黎明到来的时候,用健壮的体魄和心灵去迎接她。”

https://twitter.com/turingou/status/1498320714080067586
Twitter guoyu.eth 世界很乱,有可能一年更比一年乱,但我仍认为目前是人生中最令人兴奋的时期之一,情绪化的人很容易在这样的外部环境下陷入悲观主义,但只要想想伟大人物在命运低谷时选择的生活方式,我也必须动手做点什么,哪怕只是学英语、健身、阅读小说,只因我想要在黎明到来的时候,用健壮的体魄和心灵去迎接她。
Post #143 1.29K
#杂
波伏娃说过:男人的极大幸运在于不论在成年还是小时候,他必须踏上一条极为艰苦的道路,不过这是一条最可靠的道路;
女人的不幸则在于被几乎不可抗拒的诱惑包围着,她不被要求奋发向上,只被鼓励滑下去到达极乐。 当她发觉自己被海市蜃楼愚弄时通常为时太晚,她的力量在失败的冒险中已被耗尽。 没有哪条路对女性来说是容易。
Post #139 1.15K
#杂
Datafuse Labs 一岁了:
https://mp.weixin.qq.com/s/ypR9BsHox01XibTumwampg

一年时间产品能到现在这个成熟度,除了团队成员的技术实力,选择了Rust来开发也是重要原因。

对比C系语言,Rust是一门“心智负担”更少的语言,只要能编译过去,运行时的各种问题就少了很多,这样编码者可以更多考虑逻辑、业务的问题,而不用想着类似“子弹打出去了,还会不会绕回来误伤自己”这样的问题。

减少使用时的“心智负担”,这才是一个好工具应该做的。
Weixin Official Accounts Platform 「Datafuse Labs」今天一岁啦 3 月 5 是 Datafuse Labs 成立的日子,今天我们一岁了。
Post #137 993
#杂

苏东坡被流放海南期间,写了一篇文章《在儋耳书》,其中有一段文字:

“吾始至南海,环视天水无际,凄然伤之曰:”何时得出此岛耶?“已而思之:天地在积水之中,九州在大瀛海中,中国在少海中,有生孰不在岛者?”

大意是:刚来海南的时候,觉得特别凄凉,不知道自己啥时候能从这个荒岛上出去。后来又想开了,天地都在积水之中,即便是整个中国大陆,也是在海洋之中。有谁是生来不在岛上的吗?

苏东坡一生豁达,这段具有辩证法思维的文字,又是一个佐证。
Post #136 980
Post #135 936
Post #134 954
#杂

https://mp.weixin.qq.com/s/UdXodw2B5hMOoMpJUp6pqg

“20年前,主流观点一致认为互联网是全球化带来的最好的礼物,在互联网时代,国界和身份的鸿沟将被打破,人与人之间最终能互相理解,世界会迎来平等、包容与理性的时代。但现在来看,互联网带来的可能更多是信息茧房和认知上的撕裂,立场代替了价值判断,很多人因为观念不同而遭到谩骂和攻击,贴标签成为这个时代的家常便饭。网络上充满了各种谣言与争斗,以至于真实成为了一种稀缺。有些时候人们处在一个巨大的信息漩涡之中,想保持理性、客观和独立是那么的困难。 ”
Weixin Official Accounts Platform 越来越魔幻的世界 经济衰退与信息茧房
Post #133 961
#杂
以往的Raft实现里,都使用整数类型的key来区分不同节点,比如etcd项目启动的时候,需要指定节点的整数ID。

这样导致存储节点的额外信息带来不便,比如有些项目里,想将每个节点的地址信息也持久化存储进来,而不仅仅只是整数ID。

在这个老哥的PR之后:
https://github.com/datafuselabs/openraft/pull/220

现在openraft可以让用户定义自己的类型做为每个节点的key以区分不同节点。

老哥太给力了。
GitHub Change: Make `NodeId` type configurable via `RaftTypeConfig` by schreter · Pull Request #220 · datafuselabs/openraft This addresses #217. The change is huge, but it is mostly just adaptations to pass RaftTypeConfig to all required structures. The most interesting part is in raft.rs, where the new NodeId type is a...
Older posts →
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →