duangsuse::Echo
711 subscribers
4.24K photos
127 videos
583 files
6.44K links
import this:
美而不丑、明而不暗、短而不凡、长而不乱,扁平不宽,读而后码,行之天下,勿托地上天国。
异常勿吞,难过勿过,叹一真理。效率是很重要,盲目最是低效。
简明是可靠的先验,不是可靠的祭品。
知其变,守其恒,为天下式;穷其变,知不穷,得地上势。知变守恒却穷变知新,我认真理,我不认真。

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): https://WOJS.org/#/
Download Telegram
🤔 以前不懂事的时候连 callback 都无法理解,现在想想 callback 就是组合出 Task 的一种方式
Java 的 anonymous subclass instance 可以 capture 到 effective final 的 局部变量,从而能够把必须的一些信息(如当前用户什么的)给密封到 Task 的结束部分里;整个 Task 则是由库代码和用户代码共同构成的。

这个操作必须依赖闭包才能完整实现,否则许多情况下 callback 就没法实用了。
不用 Task 设置 then 操作的话,强行依赖返回值会必要求值时阻塞,影响线程里其他任务的工作
所以可以用 await/async,自动把嵌套回调利用可暂停执行的函数,“转化”为 callback 的形式,依然可以保留原有的串行风格
#JavaScript
async function _guess(text) {
clearTimeout(_guess.timer);
_guess.timer = setTimeout(guess.bind(this, text), 300);
};

我想限制一个操作的频率,延时 300ms 一次,若没有新调用则实际操作。
如果我想用 async function 而不是更无结构化的 callbacks,该如何实现?
duangsuse::Echo
#JavaScript async function _guess(text) { clearTimeout(_guess.timer); _guess.timer = setTimeout(guess.bind(this, text), 300); }; 我想限制一个操作的频率,延时 300ms 一次,若没有新调用则实际操作。 如果我想用 async function 而不是更无结构化的 callbacks,该如何实现?
我现在想到了一种用面向对象封装和 if 判断-提前返回的方法,可以等价替换掉 clearTimeout / setTimeout

……不行,它不能保证结果是最后一次调用的
看来 JavaScript 还是必须 Promise 封装和 await/async 并用才可以。
弄了这么久,简直是笑话…… NPM/TypeScript/WebPack
from jieba import cut
from pinyin.pinyin import get

def inputting(text):
''' 获得文本中单词的拼音首字母缩写 '''
words = cut(text)
return ''.join([get(word)[0] for word in words])

需要 flatten 才能拿到每个字的缩写,看起来我是写复杂了。
不过实际上,pinyin 已经支持这个了……

from pinyin import pinyin
def inputting(text): return pinyin.get_initial(text).replace(' ', "")

这样的话,基于一个 tokenizer 实例,可以自动猜测性录入一些缩写进去,当然也可以手动录入。
最开始我还觉得是 words.map(::pinyin).joinToString("") { it.first() }🤔
垃圾 NPM 的 script 方式连 incremental build 都没有
This media is not supported in your browser
VIEW IN TELEGRAM
我被 GitHub 的细节更新感动了。或许操作系统不能保证休眠不会无法 resume,但应用程序能保证你输入的东西不会丢失,这就足够了……
This media is not supported in your browser
VIEW IN TELEGRAM
#China #Low 个人感觉,回形针这次的问题的确反映出他维护的一些问题,比如说发布完了自己都不看第二遍。从这个问题 18 年就有但 19 年才火都可以看出来,作者对反馈的态度很消极。
Forwarded from 蛋挞观察室
“事件爆发于哔哩哔哩(B站)并不是偶然,B站的用户在所有视频网站中平均年龄最小,充满着许多高中生,初中生甚至小学生。而经常关注B站弹幕的朋友应该会发现,B站的弹幕已经是极端言论的聚集地,基本上就是逢国外必反,在热点事件的弹幕中,“外国阴谋”,”西方媒体”“辱华,反华“都是高频出现的词汇,B站已经成了极端民族主义和民粹主义的聚集地。这其实不难理解,除去舆论对这一代中学生的引导,本身中学生处于没有任何资本的人生时期,国家荣誉成了他们唯一的资本。国家强大是他们最值得炫耀的武器,那打击那些“阶级敌人”能让他们获得英雄快感。而这种所谓英雄快感实际上是霸凌别人的快感。B站在早年的时候是个充满着多元文化和小众文化的视频平台,到了今天,已经完全变化了模样。”
https://mp.weixin.qq.com/s/VD-n8E4lYrSy3FtVSVxkKw
🤔 #logics 思考了一会,我先说点 trivial 的问题
+ 问题的表达无关紧要,没必要保留对此问题「问路」的认知,应该简化
+ 提问,不一定非得是「这条路是死路吗?」
+ 区分 A B (仅在)本质上毫无意义,因为只有两个修饰:恒真(p)、恒假(p),只要A恒真那恒假就是B,没有顺序
+ 相信很多人看到「一个永远真、一个永远假」的第一反应是构造一个自相矛盾的条件
Forwarded from Deleted Account
问路问题:你在一个两条路的路口不知道怎么走了,这两条路一条是死路,一条是活路。可以向 A,或者B询问,但是A和B两个人一个人永远说真话,一个人永远说假话。已知,不知道哪天是活路,哪天是死路,不知道A、B谁说真话,谁说假话,你智能问一个人,问一次,该怎么问?
另一个侧面的表达:
问路问题:两条路的路口,不知道怎么走了。
可以向A,或者B询问,但是A和B两个人一个人永远说真话,一个人永远说假话。
需要确定一条路。

🤔 不知道该如何组织对问题的表达,不过目标实际上是构造一个关于恒真、恒假的表达式,而且它们都能接受另一个命题参数,因为布尔值非此即彼,在那种情况下可以直接推出一个真

我也不知道怎么「确定」,给定一条路,「选对了」可以用于确定,但路可不可以用真假值表示呢?
好像不擅长逻辑…… 那我枚举敷衍下好了
假定 A 是恒真,不,我是说下面我会把恒真的人称为 A
问 B,A 会告诉我某条是生路,关于结果是否为生路,分支:
f(B) t(A),
positive -> 假
negative -> 假
永远得假,不能分辨出正确结果
t(B) f(A),
positive -> 假
negative -> 假
永远得假,不能分辨出谁是 A
where t(p) 代表命题成立、f(p) 代表命题不成立

组合就是这些,二者中至少有一个真话所以没必要为 A|B 设置对称的情况
真情况只有 A && B 的时候才出现,不过我记得这类问题好像是有解决方法的…… 忘记了 🤔
Forwarded from 𝔽𝕣𝕠𝕤𝕥
问B:如果我向A问路,他会告诉我是左边那条路吗