duangsuse Throws
我对这玩意的评价：除了可以拿来练习数学使用基本数论的公式模式识别外，没有啥卵用 如果排版得不好，不好看，你们会不明觉厉（比如看王淫博客上那些 Scheme 代码、forall 类型、intersection 类型表示什么的） ｛看不懂就觉得很厉害，当然啦，不是所有人都学过 Scala 写过 Clojure，很多产业界的（当然对于现在很多小应用开发者我觉得都不能算作工业界的开发人员）程序员都只写过 imperative （表述式）语言｝ 只要我们稍微排版得好看一点，再加上自己有点公式识别的能力，我相信…
对啦，我之前还有一个简单的非常非常 trivial 的定理证明学习中我自己因为智商原因踩到的坑，所以写了笔记，要不要看一下
Telegram
duangsuse::Echo
#PLT #Learn To #Proof 我也是刚刚注意到 (p -> q) 是一个单独的命题... 描述的是『由命题 p 成立可以推导出命题 q 成立』（p 『蕴含』 q）
命题 (p -> a) -> (q -> a) -> (p ∨ q -> a) 不一定要 p 和 v 都成立才成立... 可惜我现在才看得懂
写成 Agda 代码就是（基本是抄的，这里说了，所以不要喷我拿别人的代码『装饰』我自己的技能栈，至于前端和 PHP、JavaEE 系后端那一套我后来自会学不消吐槽）
data _∨_ (P…
命题 (p -> a) -> (q -> a) -> (p ∨ q -> a) 不一定要 p 和 v 都成立才成立... 可惜我现在才看得懂
写成 Agda 代码就是（基本是抄的，这里说了，所以不要喷我拿别人的代码『装饰』我自己的技能栈，至于前端和 PHP、JavaEE 系后端那一套我后来自会学不消吐槽）
data _∨_ (P…
#Learn #Proof 我后来又花了点时间总结（从知乎上）了一下为什么这个证明是不成立的... 🙁
准确的说，是非常 naive 🐸 的不成立，因为它是直接在逻辑上自相矛盾，而不是在一些基本数论的定理关系引用上面
而且，可以说是非常的省时了，因为它的第一个『猜想变式』就存在着谬误，它的证明引用的一个情况会试图证伪既成条件，可以说是非常喜感了 🎉
（差点比负质数还喜感...）
这一切都是因为作者自己根本没有水平，而且妄图使用一个命题和他自己的逆否命题等价来蒙骗大家的双眼。
.... 你们这些年轻人啊，总是喜欢搞一些大新闻，幼稚，Naive!
准确的说，是非常 naive 🐸 的不成立，因为它是直接在逻辑上自相矛盾，而不是在一些基本数论的定理关系引用上面
而且，可以说是非常的省时了，因为它的第一个『猜想变式』就存在着谬误，它的证明引用的一个情况会试图证伪既成条件，可以说是非常喜感了 🎉
（差点比负质数还喜感...）
这一切都是因为作者自己根本没有水平，而且妄图使用一个命题和他自己的逆否命题等价来蒙骗大家的双眼。
.... 你们这些年轻人啊，总是喜欢搞一些大新闻，幼稚，Naive!
Telegram
duangsuse::Echo
最后的不成立总结『前置知识』：
*** 如果把 −1 归到质数集中, 可得命题: ***
若 −1 是质数, 则 ∀n∈ℕ₊ → 2n∈A, 且 −1 为唯一的负质数
⑴
在这里，集合 A 为所有满足两个质数之和的偶数的集合, 且此时质数包括正质数和负质数（喜感的定义出现了！）
用更偏向自然语言的方法来说，就是：
如果 -1 是质数，则对于任一正整数 n，都有：
n 的二倍满足集合 A 的约束『元素为两个质数之和的偶数』
⑴
也即 n 的二倍是偶数，同时为两个质数之和
或者说（知乎用户的说法…
*** 如果把 −1 归到质数集中, 可得命题: ***
若 −1 是质数, 则 ∀n∈ℕ₊ → 2n∈A, 且 −1 为唯一的负质数
⑴
在这里，集合 A 为所有满足两个质数之和的偶数的集合, 且此时质数包括正质数和负质数（喜感的定义出现了！）
用更偏向自然语言的方法来说，就是：
如果 -1 是质数，则对于任一正整数 n，都有：
n 的二倍满足集合 A 的约束『元素为两个质数之和的偶数』
⑴
也即 n 的二倍是偶数，同时为两个质数之和
或者说（知乎用户的说法…
duangsuse Throws
#Learn #Proof 我后来又花了点时间总结（从知乎上）了一下为什么这个证明是不成立的... 🙁 准确的说，是非常 naive 🐸 的不成立，因为它是直接在逻辑上自相矛盾，而不是在一些基本数论的定理关系引用上面 而且，可以说是非常的省时了，因为它的第一个『猜想变式』就存在着谬误，它的证明引用的一个情况会试图证伪既成条件，可以说是非常喜感了 🎉 （差点比负质数还喜感...） 这一切都是因为作者自己根本没有水平，而且妄图使用一个命题和他自己的逆否命题等价来蒙骗大家的双眼。 .... 你们这些年…
This media is not supported in your browser
VIEW IN TELEGRAM
但是 Wine 下除了有 buffer 延迟的问题（勉强可以通过调整缓冲大小解决）外还有一些音高调整中清奇的问题... 所以算了（ #Windows
而且我这个是 Player，不是 Studio，功能差很多的... 虽然都够用
而且我这个是 Player，不是 Studio，功能差很多的... 虽然都够用
duangsuse Throws
#life duangsuse 又回来啦！ 🐱\再次
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from 空空如也
才意识到通过 iOS 内建的「文件」可以直接看到一堆睿智应用的部分内部存储文件，点名：
－微信
－腾讯视频
－追追漫画
－VSCO
像欧路词典也会在其中存储外部导入和应用内下载的扩充词库，以数字命名。而上面列出的应用在「文件」中暴露了一些完全用户不可读的应用内部存储文件。
－微信
－腾讯视频
－追追漫画
－VSCO
像欧路词典也会在其中存储外部导入和应用内下载的扩充词库，以数字命名。而上面列出的应用在「文件」中暴露了一些完全用户不可读的应用内部存储文件。
Forwarded from METO 的涂鸦板
⌨️ 聰明的輸入法 Rime 在 2019 年迎來了大更新，重新設計了輸入法介面，並精簡了安裝包預裝的輸入方案，更方便用戶定制。
https://t.iss.one/AppleUpgrade/28
https://t.iss.one/AppleUpgrade/28
Telegram
Apple Update
Squirrel
0.9.26.2 -> 0.10.0
0.9.26.2 -> 0.10.0
#statement 关于 @ohcnzz 人肉李先生（李宗阳）的一些看法 #statement #China #sb （撕逼）
（当然现在某羊分享机场场主也已经承认自己是李先生了，所以这里就称他为李先生
Oh CN ZZ （就是 Telegram 版恶俗维基）这个频道的一些背后的维护者、组织者... 怎么我突然有点感觉好像里面一些人好像我还认识怎么的...
如果真的是有这样的朋友在此频道里，建议以后对像李先生
我感觉 Oh CN ZZ 现在维护起来都有点像是为了搞笑（我想，在信息安全上，随便侵犯别人隐私，随便控制别人的东西一定很兴奋，因为我也这么干过，那可真的不是一般的爽）而维护
我想它大概就是创立来泻一些人公愤的频道，但说实话，虽然李先生的确很傻逼（真的）
我觉得，就比如这次的例子，李先生是在自己的免费机场（就是科学上网的梯子）声称要打所有收费机场
想必诸如 CloudHammer 这种梯子的维护团队肯定很生气，而且远远不止这一家，所以员工们就组织起来去举着『正义』的旗帜『侵犯』李宗阳先生
但这的确是侵犯，而李先生，我觉得其实为这点事（说了句气话，但他还的确没有去打什么商业机场，只是自己独自意淫商业机场被打的情况而已）而不断挑拨他，然后维持 @OhCNZZ 更新的这种行为
最后甚至把人家身份证、百度网盘、家庭电话号码等非常隐私的东西都公开，以至于使用此机场的吃瓜群众都难以幸免被碰库（当然手段不一定是碰库，反正这里就是指尝试得到用户设置的原始明文密码这种行为）
着实不是多么令人称道（暴论）
这条消息我知道由于 Oh CN ZZ 的特殊性，内部人员肯定是不应该回复的，或许我也有误解，不过如果我的确是误会了，而李先生就是可憎的，他所受的一切就是应得的，就请大家谅解。
为小鬼说句公道话，如果以后再有类似的小鬼，我想大家都看到的时候，可以稍微忍受一下，受不了了再去弄他们也不为过（当然是要类似天安门事件的『蕞大限度的容忍』，比如迫真 DDoS 而非 DoS），但自己没有实质性的损失就去弄这种小鬼着实不好
（当然现在某羊分享机场场主也已经承认自己是李先生了，所以这里就称他为李先生
Oh CN ZZ （就是 Telegram 版恶俗维基）这个频道的一些背后的维护者、组织者... 怎么我突然有点感觉好像里面一些人好像我还认识怎么的...
如果真的是有这样的朋友在此频道里，建议以后对像李先生
我感觉 Oh CN ZZ 现在维护起来都有点像是为了搞笑（我想，在信息安全上，随便侵犯别人隐私，随便控制别人的东西一定很兴奋，因为我也这么干过，那可真的不是一般的爽）而维护
我想它大概就是创立来泻一些人公愤的频道，但说实话，虽然李先生的确很傻逼（真的）
我觉得，就比如这次的例子，李先生是在自己的免费机场（就是科学上网的梯子）声称要打所有收费机场
想必诸如 CloudHammer 这种梯子的维护团队肯定很生气，而且远远不止这一家，所以员工们就组织起来去举着『正义』的旗帜『侵犯』李宗阳先生
但这的确是侵犯，而李先生，我觉得其实为这点事（说了句气话，但他还的确没有去打什么商业机场，只是自己独自意淫商业机场被打的情况而已）而不断挑拨他，然后维持 @OhCNZZ 更新的这种行为
最后甚至把人家身份证、百度网盘、家庭电话号码等非常隐私的东西都公开，以至于使用此机场的吃瓜群众都难以幸免被碰库（当然手段不一定是碰库，反正这里就是指尝试得到用户设置的原始明文密码这种行为）
着实不是多么令人称道（暴论）
这条消息我知道由于 Oh CN ZZ 的特殊性，内部人员肯定是不应该回复的，或许我也有误解，不过如果我的确是误会了，而李先生就是可憎的，他所受的一切就是应得的，就请大家谅解。
为小鬼说句公道话，如果以后再有类似的小鬼，我想大家都看到的时候，可以稍微忍受一下，受不了了再去弄他们也不为过（当然是要类似天安门事件的『蕞大限度的容忍』，比如迫真 DDoS 而非 DoS），但自己没有实质性的损失就去弄这种小鬼着实不好
#statement #tech #dev
然而因为自己跟不上大环境而咒骂大环境为什么不止步不前的人，也太过分了吧
对于现在的软件开发者来说，要么然就像一些计算机科学爱好者一样向下钻，学会那最朴素而守恒不变的真知而后能『知其变，守其恒』，要不然就乖乖跟着时代向前走，不要老想着『学』猝死学猝死，猝死不是学习的罪，是不会安排时间的过失。
我觉得很奇怪，为什么一些工程师终日都不愿意稍微学习一下，好像一次学习就管终身了一样，产业界的一些工程师都说即便是他们一两年也会遇到一个尴尬的情况：技能纯熟了，没有挑战了
以至于自己的技术数十年如一日还是那个熊样，或者完全没有踏出自己的『领域』半步，该是前端还是前端，该是设计还是设计
自己在自满于那点『相当了解』『十分清楚』的技能树（这是 LWL 的说法，我觉得技能栈还是技能树其实都差不多，板凳条凳问题，无可厚非）时，是否有看到于自己同道的人，已经走出了『看不到自己看不到的东西有多少』的阶段，开始写各种教程甚至出书，以至于开始创建一些崭新的东西呢？而此刻，自己还在打游戏？
我觉得喜欢的东西是打游戏其实没什么，认清自己，有最起码的自知之明就是好人。虽然不是优秀的工程师，但称职的工程师也是极好的。任何看不清自己的情况，一般都会被别人引喻为无知甚至幼稚。
比如某些在 node 的 TypeScript 版继任者（可以这么说） ry/deno 那里叫板不要再更新了再学要猝死了，其实他们都知道 deno 和 node 到底是干什么的吗？还是只是把它作为一个通用的运行环境，不知道 Node 这个『Async』是什么意思，或者是只知 Async，哪怕是很简单的一些协程、并发就不会了呢？
客观的大环境你是没法改变的，但是你可以找你自己可以做的事情，然后去解决自己的问题，不要在无用的地方空转太多时间。
自己技术不过关以至于无法跟上时代的步伐，反而咒骂时代走得太快，我不知道这是自己的错还是时代的过失。
以前，变化是生活的一部分；现在，变化成了生活本身。——和菜头环境在变化，时代在进步，不随着它向前，等于你落后
然而因为自己跟不上大环境而咒骂大环境为什么不止步不前的人，也太过分了吧
对于现在的软件开发者来说，要么然就像一些计算机科学爱好者一样向下钻，学会那最朴素而守恒不变的真知而后能『知其变，守其恒』，要不然就乖乖跟着时代向前走，不要老想着『学』猝死学猝死，猝死不是学习的罪，是不会安排时间的过失。
我觉得很奇怪，为什么一些工程师终日都不愿意稍微学习一下，好像一次学习就管终身了一样，产业界的一些工程师都说即便是他们一两年也会遇到一个尴尬的情况：技能纯熟了，没有挑战了
以至于自己的技术数十年如一日还是那个熊样，或者完全没有踏出自己的『领域』半步，该是前端还是前端，该是设计还是设计
自己在自满于那点『相当了解』『十分清楚』的技能树（这是 LWL 的说法，我觉得技能栈还是技能树其实都差不多，板凳条凳问题，无可厚非）时，是否有看到于自己同道的人，已经走出了『看不到自己看不到的东西有多少』的阶段，开始写各种教程甚至出书，以至于开始创建一些崭新的东西呢？而此刻，自己还在打游戏？
我觉得喜欢的东西是打游戏其实没什么，认清自己，有最起码的自知之明就是好人。虽然不是优秀的工程师，但称职的工程师也是极好的。任何看不清自己的情况，一般都会被别人引喻为无知甚至幼稚。
比如某些在 node 的 TypeScript 版继任者（可以这么说） ry/deno 那里叫板不要再更新了再学要猝死了，其实他们都知道 deno 和 node 到底是干什么的吗？还是只是把它作为一个通用的运行环境，不知道 Node 这个『Async』是什么意思，或者是只知 Async，哪怕是很简单的一些协程、并发就不会了呢？
宏观是我们必须接受的，微观才是我们可以有所作为的。——查理·芒格遇事找客观，越找越悲观，遇事找主观，越找越乐观
客观的大环境你是没法改变的，但是你可以找你自己可以做的事情，然后去解决自己的问题，不要在无用的地方空转太多时间。
自己技术不过关以至于无法跟上时代的步伐，反而咒骂时代走得太快，我不知道这是自己的错还是时代的过失。
凡我赶不上的，我就做好准备，到未来等它。