#life 虽然没有休息好（仅是不连续两天没熬夜）这几天还是会恢复程序🐒日常。
今天的计划可能是处理下 parse4kt 的 PR， #web 重写下铝板酱的五子棋，和页面元素打砖块，最好还有 #Python mvng 的 repo 创建一下，我挺想对上面给 JPEXS 贡献的代码做个点评(就一 op_load(try {} catch(IOException ) {} ) 逻辑 尽是冗余)但还是算了

#math 日常精神分裂:
A: 突然想起来数学老师之前问的一个逻辑问题，「有 A,B 二岛，A人说真话、B人说假话，若你降于一岛，只问一个是否问题，如何获知位置？」
B: 弄得我尴尬癌犯了，当时还以为之前作为趣提看到过，没想到除了「实际上A,B的命名没有作用因为二者的定义都是相对对方的」「没有对A/B的绝对指代引用」这种假大空论断
A: 原来你也有说话令人半懂不懂的时候（
B: 问题是我现在忘记答案了
A: 我们一起来推导下吧，记得当时老师是列了真值表

B: 表格就是由定长表头+表体构造出的多行(list) 结构，这里是按 问题\岛名 的
B: 开始还提了问题也变成关于命题 q 的 pipe (组合)，然后说只能用 and or ! 、代词、定语 什么的组织表达式，后来发现过分严谨也没太大意义
A: 举个例子吧，

问题/岛名|A|B
这里是A岛|Y|Y
这里是B岛|N|N
对面是A岛|N|N

B: 分不出区别，这个问题就是要找出一种情况，我也说不明白，首先不同岛得有差别答案，其次它得「正确」…… 但到底什么叫正确？
A: 问「如果问对面岛的人他自己是A岛还是B岛，会给什么答案」这个问题（以Y/N编码A/B是可行的，为易懂手动映射了）

.|A|B

B: 只有串联一下，不然 -1 的 n 次方、(not p) 的 n 次叠加，负负得正呢
A: 应该还有更简单的，想了半天不记得当时老师是怎么做的，不能问自己也不能问本岛？对了！是问对岛

对面是B/A岛|B|B

还是不对啊……

问对面我在哪个岛|B|A

就没有一个问题不涉及对岛？还是要问是否说谎的？
B: 我看不下去了，搜答案吧 🌚
A: 🔎「AB岛问题」

是这个岛的主人吗|Y|N
请问你是本岛人吗|Y|N

常量…… 对，是问恒定的常量
B: 原来所谓「正确」是指 q == not (not q) 这样啊... 把假的抵消掉把
怎么就没想到用常量提取 p(关于q) 的逻辑关系呢…… 刚才思考的问题里就组织出了一个常量，但估计真的是(q)==(not q)程度的常量，就没注意q参数吧…… 😫

https://t.iss.one/Javaer/555898 草 #China #school
原来只有我不会么 🌝 这么看之前真的是毫无意义啊 #logic

1+1等于2吗（不知可不可以

這裡是C島乎？

#China #meme #science #Haha 今日最佳 ：国产时空隧道投标😂

#web #acg #history 可爱的历史！😋 https://www.hmoegirl.com/女体化!!世界独裁者列传
（部分内容不代表本台观点）
#js #css 要选择一个没有单个 <a> 的 <td>， [...document.querySelectorAll(".wikitable td")].filter(e => e.childElementCount != 1) ，好像只能这样，emmm
#learn CSS

document.querySelectorAll(".wikitable td > :not(a)")

也可以这么写 ，但会选择到所有子项，这里也要二层过滤，效果更差

试JQ $(".wikitable td > *:has(:not(img))")
测试 $(".wikitable td:not(:has(img))") 实现但 ".wikitable td:has(:not(img))" 就无效,,, 还是没注意断言顺序, has 本身收的就是子 selector

#tools #js #code 生卒年差计算 bookmarklet 🧐 javascript:
const firstChildMatch = (re, e) => [...e.children].find(ee => ee.textContent.match(re));
ds=$(".wikitable td:not(:has(img))").map((i,e)=>firstChildMatch(/^生卒年/,e));
birthYears=ds.map((i,e)=>parseInt(/：(\d{4})年/.exec(e.textContent)[1]));
ds.each((i,e) => { let v=parseInt((/[〜－](\d{4})年/.exec(e.textContent)||["","0"])[1]); if (v!=0) e.innerHTML += "，享年"+(v-birthYears[i]); });
ds.each((i,e) => { let e1=e.nextElementSibling; e1.innerHTML = /\d{4}年(\d+月)?(\d+日)?/g[Symbol.replace](e1.innerHTML, s=>s+"，时年"+(parseInt(s)-birthYears[i])); });

#css #js JQuery DOM 大独裁者（致敬卓别林）简单数据注释！

https://www.idrlabs.com/cn/pooh-pathology/53-60-57-50-57-47-57/result.php
#life 我的维尼病理测试结果显示，我是跳跳虎。 🌚🐻🤔

维尼注意力不集中，患有多动症，而跳跳虎则不同，他患有冲动—过度活跃型过动症。
他总是蹦蹦跳跳，过于兴奋，不能长时间专注于一件事。
他的刺激阈非常高，很难有恐惧感；他过度自信，这一方面导致他的行为非常危险和鲁莽，另一方面也导致他相信自己无所不能。
他精力异常旺盛，他打断和干扰他人，甚至别人还没提完问题，他就会脱口而出给出答案。
他没有从令人恐惧的事件和危险事件中吸取教训的能力，也就是说，他几乎马上就能重新振作起来，随时准备寻找下一个刺激源。

不仅在于精准，关键在于精准，成败之举在于精准…… 🌝

🐱等着…… 我也要来！

#linux #sysadmin #recommended #trick #tools X window switch-music-player-called-osu-in-background.

🐦 #statement #cs 不能轻视任何一个人，因为他们都有你所没有过的经历，做到过你未曾做到的事情
我就是一个喜欢发现的人，从不听「智商决定论」。世界上没有智商高了就能自动覆盖的技巧和领域，只要经历过就是价值。

#java #http #dev 都忘了 static/ 文件夹了 https://t.iss.one/Javaer/555950

parser-combinator-koans #parser #cs #functional 🤔就是难以理解传来传去的 pure parser(CP -S style)...

interface Parser<out T> { fun parse(input: Input): Output<T>? }
data class Output<out T>(val payload: T, val nextInput: Input)

data class Input(val value: String, val offset: Int = 0) {
val unprocessed = value.substring(offset)
fun consumed() = copy(offset = value.length) // 改 offset 处理完了调用下
}

#Kotlin #lib #recommended #functional 小值/验证 IO 库
https://github.com/fork-handles/forkhandles/tree/trunk/values4k#show
这个作者感觉可以，尤其是他也很重视程序的一致性(对称性)
In order to maintain symmetry (and to ensure that we can support inline classes), this method is present on the ValueFactory instance.
Little strange but actually consistent because the display and parse logic should NOT be part of the Value itself, but be separated logically.

像 fun transferMoneyTo(amount: Int, sortCode: String, accountNumber: String) 是不安全的，因为它有 Int,String 值但值无格式(如非负数什么的)
可以手工验证但这不好看，根本解决方法是定义并引用新类型

inline class SortCode(override val value: String): Value<String>

尤其是可以 inline (新 Kotlin 限定)，然后这种方法强化的类型(格式)安全还可以保证 toString() 时把密码码掉什么的(取原值就用 SortCode.show(c) 了)。

class Money private constructor(value: Int) : AbstractValue<Int>(value) {
    companion object : ValueFactory<Money, Int>(::Money, 1.minValue)
}
class AccountNumber private constructor(value: String) : StringValue(value) {
    companion object : StringValueFactory<AccountNumber>(::AccountNumber, "\\d{8}".regex)
}

然后就可以 Money.parse("123"), Money.of(123), Money.of(0)/*throw IAE*/, ofOrNull, ofResult4k/*库自定Result<T>类型*/ 这样
原来 Factory 在 Kotlin 的标准是 ofXXX(_) 😋 很好看

#mohu #china 守好语言文字。 https://mohu.rocks/question/14286
能不能好好说话？ itorr/nbnhhsh 🤨
之前还重写了个 https://t.iss.one/dsuse/12946

别进入大jb(举报)时代，不要靠sm(算命)，虽然墙语缩写是dssq(大势所趋)，我们作为jwsl(境外势力)也坚决不能上流行文化jc的，保持rp，gmzd(光明正大)地说中文，写规范方块字！

草这个tmd网络世界我真的太恨缩写了。

随便点开一条微博，艺人名字要缩写，gzs工作室也要缩写，gc广场他妈的也是缩写，hgr老子猜了老半天，百度一下才知道是韩国人，拳头硬了。
讲个话开头也缩写，srds虽然但是，yjgj有句港句，bbl求求了。（这个谁看得出来你妈的）
夸人骂人也都缩写，yjjc一骑绝尘，wdcc弯道超车，yygq阴阳怪气，myss美颜盛世，rnb我也猜了半天，最后被告知是really牛b的意思，哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈哈又硬了呢。
最要命的还不是这些，我刚刚看到网友评价什么什么他jb的什么，我以为jb就是jb的意思吧，但联系上下文句子又读不通，想了一分钟，哇，原来jb是姜滨的缩写啊！
jb＝姜滨，我离开了。 😑