Forwarded from 我和我的朋友们 (孔雀)
赞助商 又给了台机器让我搭建 MTProto，这次我们也不例外的对用户 IP 的进行了隐藏
tg://proxy?server=a5ff3a23cfa4e66d8.awsglobalaccelerator.com&port=443&secret=eef943b7565311a54cbda26087abd6e32f6a642e636f6d
Twitter: https://s.4a.hk/lrUpQ4I
tg://proxy?server=a5ff3a23cfa4e66d8.awsglobalaccelerator.com&port=443&secret=eef943b7565311a54cbda26087abd6e32f6a642e636f6d
Twitter: https://s.4a.hk/lrUpQ4I
Forwarded from ice learn agda
interleaved mutual
-- Declarations:
even : Nat → Bool
odd : Nat → Bool
-- zero is even, not odd
even zero = true
odd zero = false
-- suc case: switch evenness on the predecessor
even (suc n) = odd n
odd (suc n) = even n
#ai #game #web #algorithm #recommended 不是 canvas , 是 table grid event
彩球的绘制是 SVG (drawBall)、移动动画是 bfs 寻径+await sleep、弹框是 GitHub:xrr2016/tata
https://t.me/c/1243351201/14430 👈 还有高分截图
彩球的绘制是 SVG (drawBall)、移动动画是 bfs 寻径+await sleep、弹框是 GitHub:xrr2016/tata
document.write(eval(prompt("run something...","alert(\"meow\")"))); 草... 作者博客就这些https://t.me/c/1243351201/14430 👈 还有高分截图
Forwarded from AlPlank (Al Pt)
Forwarded from AlPlank (Al Pt)
另外如果你也想写一个五子连珠练手，请注意：
1. 珠移动速度不要太慢，70 ms 一格看起来很快但是实际上已经很慢了
2. 注意六消七消之类的情况，由于更难达成所以可以诱骗玩家多消刷分（就像诱惑玩家擦弹然后 biu 一样）
3. 生成新珠重新检查以防五连不消的神仙情况（这个最容易被忽略）
4. 双消（同时两个方向）不能只消一个
5. 移动珠子时把前端锁上保证线程安全。
1. 珠移动速度不要太慢，70 ms 一格看起来很快但是实际上已经很慢了
2. 注意六消七消之类的情况，由于更难达成所以可以诱骗玩家多消刷分（就像诱惑玩家擦弹然后 biu 一样）
3. 生成新珠重新检查以防五连不消的神仙情况（这个最容易被忽略）
4. 双消（同时两个方向）不能只消一个
5. 移动珠子时把前端锁上保证线程安全。
#pr #GitHub 收到几个回复，还有个作者说只有我贡献代码才会加特性，太草了
https://github.com/fork-handles/forkhandles/issues/6 #parser #Kotlin
https://github.com/jindrapetrik/jpexs-decompiler/pull/86 这个感觉是不是代码质量有点低吧，虽然只是小功能… 但也是因为原版质量没有太高，入乡随俗的原因
https://github.com/kelseyhightower/nocode/pull/2230/files #China #meme nocode 🌚
—
https://github.com/jindrapetrik/jpexs-decompiler/pull/86/files#diff-e22b65fd014072fcf1d474f1c7c47361a46747939f5187ac4ef46c264e35c870
https://github.com/fork-handles/forkhandles/issues/6 #parser #Kotlin
https://github.com/jindrapetrik/jpexs-decompiler/pull/86 这个感觉是不是代码质量有点低吧，虽然只是小功能… 但也是因为原版质量没有太高，入乡随俗的原因
https://github.com/kelseyhightower/nocode/pull/2230/files #China #meme nocode 🌚
—
https://github.com/jindrapetrik/jpexs-decompiler/pull/86/files#diff-e22b65fd014072fcf1d474f1c7c47361a46747939f5187ac4ef46c264e35c870
GitHub
[parser4k] Add by delegates for .with caching · Issue #6 · fork-handles/forkhandles
object MinimalCalculator { val cache = OutputCache<BigDecimal>() fun binaryExpr(s: String) = inOrder(ref { expr }, token(s), ref { expr }) val number = oneOrMore(oneOf('0&...
🤔 看看之前加的单项变多项扩展代码，
canReplace 和 if (singleSelect) 的if层次变化还有点没明白，但是看起来判断的语法结构没有太大变化。 但是果然还是有冗余代码和不一致性啊…… 要重视https://github.com/stevenjoezhang/live2d-widget #js es6 #web #acg #recommended #game 可爱～ 😋 Live2D 模型小挂件 ，按空格键支持一个绘制炮弹小游戏，可以打掉页面元素呢……
#life 虽然没有休息好（仅是不连续两天没熬夜）这几天还是会恢复程序🐒日常。
今天的计划可能是处理下 parse4kt 的 PR， #web 重写下铝板酱的五子棋，和页面元素打砖块，最好还有 #Python mvng 的 repo 创建一下，我挺想对上面给 JPEXS 贡献的代码做个点评(就一
#math 日常精神分裂:
A: 突然想起来数学老师之前问的一个逻辑问题，「有 A,B 二岛，A人说真话、B人说假话，若你降于一岛，只问一个是否问题，如何获知位置？」
B: 弄得我尴尬癌犯了，当时还以为之前作为趣提看到过，没想到除了「实际上A,B的命名没有作用因为二者的定义都是相对对方的」「没有对A/B的绝对指代引用」这种假大空论断
A: 原来你也有说话令人半懂不懂的时候（
B: 问题是我现在忘记答案了
A: 我们一起来推导下吧，记得当时老师是列了真值表
B: 表格就是由定长表头+表体构造出的多行(list) 结构，这里是按 问题\岛名 的
B: 开始还提了问题也变成关于命题 q 的 pipe (组合)，然后说只能用 and or ! 、代词、定语 什么的组织表达式，后来发现过分严谨也没太大意义
A: 举个例子吧，
A: 问「如果问对面岛的人他自己是A岛还是B岛，会给什么答案」这个问题（以Y/N编码A/B是可行的，为易懂手动映射了）
A: 应该还有更简单的，想了半天不记得当时老师是怎么做的，不能问自己也不能问本岛？对了！是问对岛
还是不对啊……
就没有一个问题不涉及对岛？还是要问是否说谎的？
B: 我看不下去了，搜答案吧 🌚
A: 🔎「AB岛问题」
B: 原来所谓「正确」是指 q == not (not q) 这样啊... 把假的抵消掉把
怎么就没想到用常量提取
今天的计划可能是处理下 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|BB: 分不出区别，这个问题就是要找出一种情况，我也说不明白，首先不同岛得有差别答案，其次它得「正确」…… 但到底什么叫正确？
这里是A岛|Y|Y
这里是B岛|N|N
对面是A岛|N|N
A: 问「如果问对面岛的人他自己是A岛还是B岛，会给什么答案」这个问题（以Y/N编码A/B是可行的，为易懂手动映射了）
.|A|BB: 只有串联一下，不然 -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参数吧…… 😫Duckduckgo
AB岛问题 at DuckDuckGo
DuckDuckGo. Privacy, Simplified.
duangsuse::Echo
#life 虽然没有休息好（仅是不连续两天没熬夜）这几天还是会恢复程序🐒日常。 今天的计划可能是处理下 parse4kt 的 PR， #web 重写下铝板酱的五子棋，和页面元素打砖块，最好还有 #Python mvng 的 repo 创建一下，我挺想对上面给 JPEXS 贡献的代码做个点评(就一 op_load(try {} catch(IOException ) {} ) 逻辑 尽是冗余)但还是算了 #math 日常精神分裂: A: 突然想起来数学老师之前问的一个逻辑问题，「有 A,B 二岛，A人说真…
Telegram
duangsuse in Java 编程语言
王者般的游刃有余