duangsuse::Echo
说起来我看 ice1k 的 agda 群组常年没人讨论，还打算加两条OT一样的 https://t.me/ice_learn_agda_chat/267 后来发现我这好心根本就是鬼扯，其实人家根本不缺废话；何况我不处理 Haskell/Scala 系语言和其它编程范式的
话说部分读者你们也被不明觉厉加入那个讨论组唉，还是劝退好了
人家千里冰封说的明明白白，必须有 dependent type 基础，并且他是不负责给你打基础的，狠心点：
菜鸟别以为和大牛在一起、或者看大佬做事就能给自己涨知识，没用的。
接近那个领域，也别以为自己看它的文档、用它的术语你就属于它。
系统的知识网络和直觉不是靠生硬的文字和无聊的名词能表达的，名词和定义规则背后隐含的是前人真切的思考，你不学他所学怎么能真懂他。
有些人就是天才，你和他差的就是人家能独立得出而你无法get到的一句话、一个小思路，有时候是因为知识和经验，有时候 1% 的灵感就是靠努力无法填补的。
不要以为自己足够热血或者“非常想”就能成功，科学说了算。
也不要自作主张认为“我需要那些东西来帮助进步”，不你不需要😡。阻塞在一个目标上不懂变通、提升知识广度，那叫环形等待、死锁。
说错了话他们不耐烦你也不开心，本就不是一路人，派系不同何必凑数。
人家千里冰封说的明明白白，必须有 dependent type 基础，并且他是不负责给你打基础的，狠心点：
菜鸟别以为和大牛在一起、或者看大佬做事就能给自己涨知识，没用的。
接近那个领域，也别以为自己看它的文档、用它的术语你就属于它。
系统的知识网络和直觉不是靠生硬的文字和无聊的名词能表达的，名词和定义规则背后隐含的是前人真切的思考，你不学他所学怎么能真懂他。
有些人就是天才，你和他差的就是人家能独立得出而你无法get到的一句话、一个小思路，有时候是因为知识和经验，有时候 1% 的灵感就是靠努力无法填补的。
不要以为自己足够热血或者“非常想”就能成功，科学说了算。
也不要自作主张认为“我需要那些东西来帮助进步”，不你不需要😡。阻塞在一个目标上不懂变通、提升知识广度，那叫环形等待、死锁。
说错了话他们不耐烦你也不开心，本就不是一路人，派系不同何必凑数。
Forwarded from 疯狂雨骤掀翻小池塘
【品葱】
看到这个，我只想说：意料之中。
整天内斗吵架，不维护社区氛围、不鼓励创作，那么就只能慢慢的死亡了。因为品葱本身的竞争力不大，很容易就能找到替代品。真正让用户持续在品葱发表内容，都是靠用户维护出来的氛围。肆意将用户污蔑成网军，对原创内容的不重视，极大的破坏了这一氛围。品葱自然就丧失自己的独特性了。
更不用说趾高气昂的管理员。这点相信如果大家有和某些管理员接触过就知道我在说什么。
不重视内容，不重视用户体验的恶果已然显现出来。品葱站长无论是公开还是私下都多次表示品葱的目标是要“活下去”，而不是“做大”。但是品葱目前面临的问题是自身在失去“生命力”。错将维护讨论氛围、改善用户体验视为“扩张”。对于提出问题的用户刻薄与打压（甚至污蔑对方为网军），对于不满管理员决策的用户嘲弄与侮辱。品葱与半年前提出的《习惯法》沦为废纸。所谓“用户自治”彻底失败。可以说，品葱作为公共讨论空间，已完全失去“讨论”。目前品葱的定位更多的是内容农场而不是“问答式社区”
品葱的例子令人惋惜。曾经的旧品葱无论是氛围还是内容都无法挑剔，可惜在中共的威逼利诱下被迫关闭；新品葱在最初的时候虽然小众，但是质量、氛围、人气随着反送中运动的爆发而爆发，往后无论是反送中，新冠肺炎，都有着非常大量且用心的内容发表。可如今再去看品葱，关于国安法的讨论寥寥数个，首页大半部分被搬运新闻和旧贴占据。质量也不尽人意。看了看品葱曾经的archive，看到曾经品葱上的人们乐观而且满怀希望得为自己心中的信念与他人据理力争，再看看如今少有答案/评论超过一百个字。曾经置顶各种活动贴，多方联动。如今躲在角落里自己一个人玩泥巴
不禁感叹一句“时过境迁啊。
品葱已死，我们还要继续走下去。希望大家永远都要记得品葱，记得它曾经大放异彩，更要记得它是怎么落寞的。
各位晚安。
看到这个，我只想说：意料之中。
整天内斗吵架，不维护社区氛围、不鼓励创作，那么就只能慢慢的死亡了。因为品葱本身的竞争力不大，很容易就能找到替代品。真正让用户持续在品葱发表内容，都是靠用户维护出来的氛围。肆意将用户污蔑成网军，对原创内容的不重视，极大的破坏了这一氛围。品葱自然就丧失自己的独特性了。
更不用说趾高气昂的管理员。这点相信如果大家有和某些管理员接触过就知道我在说什么。
不重视内容，不重视用户体验的恶果已然显现出来。品葱站长无论是公开还是私下都多次表示品葱的目标是要“活下去”，而不是“做大”。但是品葱目前面临的问题是自身在失去“生命力”。错将维护讨论氛围、改善用户体验视为“扩张”。对于提出问题的用户刻薄与打压（甚至污蔑对方为网军），对于不满管理员决策的用户嘲弄与侮辱。品葱与半年前提出的《习惯法》沦为废纸。所谓“用户自治”彻底失败。可以说，品葱作为公共讨论空间，已完全失去“讨论”。目前品葱的定位更多的是内容农场而不是“问答式社区”
品葱的例子令人惋惜。曾经的旧品葱无论是氛围还是内容都无法挑剔，可惜在中共的威逼利诱下被迫关闭；新品葱在最初的时候虽然小众，但是质量、氛围、人气随着反送中运动的爆发而爆发，往后无论是反送中，新冠肺炎，都有着非常大量且用心的内容发表。可如今再去看品葱，关于国安法的讨论寥寥数个，首页大半部分被搬运新闻和旧贴占据。质量也不尽人意。看了看品葱曾经的archive，看到曾经品葱上的人们乐观而且满怀希望得为自己心中的信念与他人据理力争，再看看如今少有答案/评论超过一百个字。曾经置顶各种活动贴，多方联动。如今躲在角落里自己一个人玩泥巴
不禁感叹一句“时过境迁啊。
品葱已死，我们还要继续走下去。希望大家永远都要记得品葱，记得它曾经大放异彩，更要记得它是怎么落寞的。
各位晚安。
Forwarded from Deleted Account
请教一个相机相关的问题。打开相机以及设置预览回调都在同一个子线程内。但是在onPreviewFrame回调方法中打印当前线程却是 main。 何故？
Forwarded from Deleted Account
Callbacks from other methods are delivered to the event loop of the thread which called open(). If this thread has no event loop, then callbacks are delivered to the main application event loop. If there is no main application event loop, callbacks are not delivered.
#Kotlin #collection 怎么把两个List合为Map?
可以
可以用
可以
据说还有
如果连 Pair 都不想创建，可以 zipToMap 组合+归纳:
可以
(xs.zip(ys) as Iter<Pair<A,B>>).toMap() 但不一定真是 Iter可以用
xs.associate { it to yz.next() }可以
ys.associateBy { xz.next() }据说还有
xs.associateWith(ys) { (x,y) -> x to y }如果连 Pair 都不想创建，可以 zipToMap 组合+归纳:
while (xz.hasNext() && yz.hasNext())
map[xz.next()] = yz.next()Forwarded from Haruue | 春上ひつき
库的依赖并不会被打包进库的 jar ， 确保库的依赖都已经上传到 maven repo 中。
Forwarded from Haruue | 春上ひつき
其实有 flatjar 这种操作， 将依赖打包进 jar ， 这是用来生成可执行 jar 的， 不建议在库里使用这个方法。
Forwarded from Airsaid
implementation 是 runtime，那么 runtimeOnly 又是？
Forwarded from Fei Yang
@AntiRevoke
請幫忙檢舉謝謝（
Report > Other
範文：
請幫忙檢舉謝謝（
Report > Other
範文：
This channel provides a "plugin" for tdesktop that breaks the delete message feature for other chat members, this plugin violates clause 1.4 of telegram's api tos, please ban this channel.