duangsuse::Echo pinned «#emmm 这周我发的一些东西... 因为都是『超常发挥』（其实都是我不了解的东西，然后我暴力硬讲） 一些水平比较高的人可能可以注意到我讲得都有点民科感了（其实还不如民科///，比如那个『哥巴赫猜想证明』我就写不出来，这里无讽意味 👆 这里就体现出一个 trivial 和 nontrivial 的区别了，本频道会告诉大家他的证明为什么是错误的，while 一些关注此事的其他频道都只是发个链接而已，根本懒得去看什么证明原文，更不会拿 XeTeX 特地排版个 PDF 出来给大家看了 对于能看出我这次讲…»
duangsuse::Echo
#OI #dev 顺便问一下（提个有趣的问题等有趣的人来解答），谁对开发类似静态（就是按一下键刷新一帧）贪吃蛇游戏有算法思路？ duangsuse 还是今天才有的 LIFO 蛇表示法思路...
因为我之前对 BitMap 是无感的，现在就有感了（自从写那个简单的 Python FreeType 程序之后
其实对于大佬们来说，平时写点『短代码』，比如拿 Kotlin + JDK AWT
（实际上很多人哪怕写的是 Haskell，理解所基的也是非常 trivial 非常字面上而且浅薄的模式识别，他们根本没有一个清晰明了的思路，没有那么强的直觉，因为人类的本质... 是什么呢？）
？：{人类的本质是什么}
真的都不是事... 拿来讲讲而已... 包括 @kodamasakuno （Windows C# 开发者）也会拿 WMF（WindowsMediaFoundation）C# 去写代码剪辑视频
而不是用剪辑软件，虽然这种非常 trivial 的技能他们也不是没有
（实际上，这种技能都被我看作是『生来就有』『理所应当』的）（take for granted）
你会发现他们的学习能力真的很强，什么东西信息都是信手掂来的，技能也都是即学即用，从来不会在特定的某个领域，某个工程上停留太久
就是那种所谓的『天才』，而且很有研究能力，探讨问题起来也是口若悬河
但又着实有着长时间维护某些中型工程的能力，他们只是『学不饱』
这就可见他们的智慧了... 大佬 👍 #CS #statement
其实对于大佬们来说，平时写点『短代码』，比如拿 Kotlin + JDK AWT
JPanel 画函数图（而不是用 ZeGrapher 这种，或者拿 Python 库去写）（实际上很多人哪怕写的是 Haskell，理解所基的也是非常 trivial 非常字面上而且浅薄的模式识别，他们根本没有一个清晰明了的思路，没有那么强的直觉，因为人类的本质... 是什么呢？）
？：{人类的本质是什么}
真的都不是事... 拿来讲讲而已... 包括 @kodamasakuno （Windows C# 开发者）也会拿 WMF（WindowsMediaFoundation）C# 去写代码剪辑视频
而不是用剪辑软件，虽然这种非常 trivial 的技能他们也不是没有
（实际上，这种技能都被我看作是『生来就有』『理所应当』的）（take for granted）
你会发现他们的学习能力真的很强，什么东西信息都是信手掂来的，技能也都是即学即用，从来不会在特定的某个领域，某个工程上停留太久
就是那种所谓的『天才』，而且很有研究能力，探讨问题起来也是口若悬河
但又着实有着长时间维护某些中型工程的能力，他们只是『学不饱』
这就可见他们的智慧了... 大佬 👍 #CS #statement
Telegram
duangsuse::Echo
#Tool #CG #Python #Project 最终版... 权当玩具... 可是貌似花了我一些时间调试和了解，其实 PIL 封装得也是... 有好有不好
duangsuse::Echo
综上所述 #Learn #Haskell #FP #Algorithm 汉诺塔问题，问题的定义在这里 我对问题的抽象在这里 尝试使用递归算法求得可行解 我之前通过一̶长̶串̶失̶败̶的̶尝̶试̶总结出了规律 def naive-swap(dst, buf, src) = src(smaller) » buf; src(bigger) » dst; buf(smaller) » dst 这是一个较小规模的子问题 可以得知 + A=[] 时无需进行任何操作 + A=[1] 时进行 A » C + A=[1…
所以『天才』和『工程师』区别重点是在『独立思考』
这点淫王也提到过，自己脑子不用怎么能怪脑子不好使呢？
现在很多成年人的能力老够了，只不过是开始学习『如日出之阳』的时候没有尝试做太多的努力
去理解某些 nontrivial 的东西，而是一直发扬着『代码复用』的旗帜，写着不如小学奥数的代码，以至于有人入行五年可能都没有本质上的长进
最后成为技能树比较平凡比较窄的工程师，只能做了很多工程后才能做出一些还不错的库、框架，而且产量很低目光很短
有些人甚至最后成为一个单纯的翻译机一个码农，比起这样，我还是更愿意当数学爱好者吧...
虽然一切都要自己动手（如果不考虑那些计算机数学系统的话）但至少自己明白自己在干什么，不只是一个接口层面上的抽象
而是自己理解整个过程，自己手算 1+1=2
虽然最后这个 Hanoni 塔问题，我早知道可以递归解题但是还是没能等到独立解题的时候（熬夜分析了两个小时）
但最后我的确是开始走向问题解决办法了，而且我是独立思考的
独立思考很重要，最终的题解其实大家看了或许都有『恍然大悟』的感觉，但是独立推导归纳出来这些『简单』的东西之后，收获才是最大的。
这点淫王也提到过，自己脑子不用怎么能怪脑子不好使呢？
现在很多成年人的能力老够了，只不过是开始学习『如日出之阳』的时候没有尝试做太多的努力
去理解某些 nontrivial 的东西，而是一直发扬着『代码复用』的旗帜，写着不如小学奥数的代码，以至于有人入行五年可能都没有本质上的长进
最后成为技能树比较平凡比较窄的工程师，只能做了很多工程后才能做出一些还不错的库、框架，而且产量很低目光很短
有些人甚至最后成为一个单纯的翻译机一个码农，比起这样，我还是更愿意当数学爱好者吧...
虽然一切都要自己动手（如果不考虑那些计算机数学系统的话）但至少自己明白自己在干什么，不只是一个接口层面上的抽象
而是自己理解整个过程，自己手算 1+1=2
虽然最后这个 Hanoni 塔问题，我早知道可以递归解题但是还是没能等到独立解题的时候（熬夜分析了两个小时）
但最后我的确是开始走向问题解决办法了，而且我是独立思考的
独立思考很重要，最终的题解其实大家看了或许都有『恍然大悟』的感觉，但是独立推导归纳出来这些『简单』的东西之后，收获才是最大的。
Telegram
duangsuse::Echo
See Also:
+ 各种语言的算法实现
+ 某博客的教程
+ Haskell 图解，并且使用了 Haskell 可视化包
+ 一个延伸的汉诺塔问题
+ Wikipedia Hanoi
+ Wikipedia 递归
== Haskell 的副作用版解法
hanoni n (a, b, c)
| n == 1 = putStr (a ++ "->" ++ c) >> putStrLn ";"
| otherwise
= do
hanoni (n - 1) (a, c, b)…
+ 各种语言的算法实现
+ 某博客的教程
+ Haskell 图解，并且使用了 Haskell 可视化包
+ 一个延伸的汉诺塔问题
+ Wikipedia Hanoi
+ Wikipedia 递归
== Haskell 的副作用版解法
hanoni n (a, b, c)
| n == 1 = putStr (a ++ "->" ++ c) >> putStrLn ";"
| otherwise
= do
hanoni (n - 1) (a, c, b)…
23333 但其实我只是举个例子，因为平时这么做的人少 (hhh
当然补充一点，那次我看的好像是较早的 DirectShow API
这种对应到 GNU/Linux 系上就是用 ffmpeg 剪视频了，稍微简单一点因为不用写额外的 IO 代码
当然补充一点，那次我看的好像是较早的 DirectShow API
这种对应到 GNU/Linux 系上就是用 ffmpeg 剪视频了，稍微简单一点因为不用写额外的 IO 代码
Forwarded from 羽毛的小白板
过誉了，我没那么夸张。之前那剪辑是因为手头上没什么专门工具，加上要做的就只有简单的裁剪拼接操作，就用 AviSynth 了。就算是那样，调试预览都累死人的。我更多还是建议用专门的工具做剪辑……
https://t.me/dsuse/8781
https://t.me/dsuse/8781
Telegram
duangsuse::Echo
因为我之前对 BitMap 是无感的，现在就有感了（自从写那个简单的 Python FreeType 程序之后
其实对于大佬们来说，平时写点『短代码』，比如拿 Kotlin + JDK AWT JPanel 画函数图（而不是用 ZeGrapher 这种，或者拿 Python 库去写）
（实际上很多人哪怕写的是 Haskell，理解所基的也是非常 trivial 非常字面上而且浅薄的模式识别，他们根本没有一个清晰明了的思路，没有那么强的直觉，因为人类的本质... 是什么呢？）
？：{人类的本质是什么}…
其实对于大佬们来说，平时写点『短代码』，比如拿 Kotlin + JDK AWT JPanel 画函数图（而不是用 ZeGrapher 这种，或者拿 Python 库去写）
（实际上很多人哪怕写的是 Haskell，理解所基的也是非常 trivial 非常字面上而且浅薄的模式识别，他们根本没有一个清晰明了的思路，没有那么强的直觉，因为人类的本质... 是什么呢？）
？：{人类的本质是什么}…
duangsuse::Echo
bel.tar
duangsuse 这周剩下的时间里不讲笔记（又...
这周就先继续学习一下逆向工程。
不过，我不针对 liba.so，我这次练习自己归纳识别由 C/C in C++ 编译到 X86 汇编的能力
我会写点简单经典的 C 程序，然后对他们进行逆向分析
这周就先继续学习一下逆向工程。
不过，我不针对 liba.so，我这次练习自己归纳识别由 C/C in C++ 编译到 X86 汇编的能力
我会写点简单经典的 C 程序，然后对他们进行逆向分析
#recommended #blog Visitor Pattern 与 Finally Tagless：解决表达式问题 #Java #Kotlin #FP #PLT #dev
说到设计模式，大家一定会想到世界上著名的『面向对象编程语言』（棒读）Java。以及一大群认为动态类型编程语言比静态类型编程语言更『灵活』、设计模式解决的问题在动态类型编程语言里面都不是问题的人在各大娱乐网站发表的谜样の言论。 这篇文章虽然说是讨论设计模式，但是不是讨论这种问题的（2019 年了，同学）。我们站在一个更 PLT 的层次来看其中一个（我觉得还比较巧妙的）设计模式——Visitor 模式，以及它在函数式编程中对应的函数式编程的『设计模式』。
duangsuse::Echo
#recommended #blog Visitor Pattern 与 Finally Tagless：解决表达式问题 #Java #Kotlin #FP #PLT #dev 说到设计模式，大家一定会想到世界上著名的『面向对象编程语言』（棒读）Java。以及一大群认为动态类型编程语言比静态类型编程语言更『灵活』、设计模式解决的问题在动态类型编程语言里面都不是问题的人在各大娱乐网站发表的谜样の言论。 这篇文章虽然说是讨论设计模式，但是不是讨论这种问题的（2019 年了，同学）。我们站在一个更 PLT 的…
讲真，现在单单是知道 OO 还有这 Visitor Pattern 的工程师又有多少... 很多人简直要把 Java 写成 BASIC... 6
#Github 它那个 new isssue 功能有问题，Try Beta 直接给我输入的内容跳转丢了。丢人。
duangsuse::Echo
#recommended #blog Visitor Pattern 与 Finally Tagless：解决表达式问题 #Java #Kotlin #FP #PLT #dev 说到设计模式，大家一定会想到世界上著名的『面向对象编程语言』（棒读）Java。以及一大群认为动态类型编程语言比静态类型编程语言更『灵活』、设计模式解决的问题在动态类型编程语言里面都不是问题的人在各大娱乐网站发表的谜样の言论。 这篇文章虽然说是讨论设计模式，但是不是讨论这种问题的（2019 年了，同学）。我们站在一个更 PLT 的…
知乎专栏
幻想中的Haskell - Compiling Combinator
【東方】「みこみこ魔理沙」イラスト/相生青唯 [pixiv] abstract：利用Finally Tagless，我们可以把HOAS的变种编译上SKI Combinator，同时保留type safety还有extensibility。前置知识：HOAS如果你要写Lambda calc…
Forwarded from duangsuse Throws
#Kotlin #Blog #Haha Kotlin F**kUp
Google I/O 大会将 Kotlin 设为 Android 官方钦点的语言了。我昨晚上学英语去了，没注意看。 不过听说了这个消息之后还是很开心的。很多朋友也在说，千里冰封或成最大赢家。
我当时可能也觉得，作为一个已经接触 Kotlin 9 个月的人，我大概是赌对了。
Google I/O 大会将 Kotlin 设为 Android 官方钦点的语言了。我昨晚上学英语去了，没注意看。 不过听说了这个消息之后还是很开心的。很多朋友也在说，千里冰封或成最大赢家。
我当时可能也觉得，作为一个已经接触 Kotlin 9 个月的人，我大概是赌对了。
duangsuse::Echo via @vote
上面 Finally Tagless 和 Expression Problem 需要我专门讲吗？
public poll
你可以继续写，我有时间或许会看，不要那么激动，很多代码也是积累起来的，思维和分析的深度足够，你也能写出来，所以别管那些 – 4
👍👍👍👍👍👍👍 80%
@Rachel030219, @RainSlide, @KawaiiYxm, @junzki
如果你看得懂的话 – 1
👍👍 20%
@duangsuse
算了，反正我不看这类没用的东西
▫️ 0%
谢了，我不关心这类东西，你自己看懂了就好
▫️ 0%
什么垃圾玩意，Android 上的 Fragments、IDL、Navigation、RecyclerView、CoordinatorLayout 你都弄懂了吗？测试会写吗？你所谓的 trivial 都搞不懂硬装什么大佬
▫️ 0%
什么垃圾玩意，Web 后端的 Future、Observable、Json Serialization、RESTful、MVC、Timer 和 Jawa 里它的坑、Annotation 你都弄懂了吗？JavaEE 会写吗？你所认为的简单玩意都搞不懂硬装什么
▫️ 0%
👥 5 people voted so far.
public poll
你可以继续写，我有时间或许会看，不要那么激动，很多代码也是积累起来的，思维和分析的深度足够，你也能写出来，所以别管那些 – 4
👍👍👍👍👍👍👍 80%
@Rachel030219, @RainSlide, @KawaiiYxm, @junzki
如果你看得懂的话 – 1
👍👍 20%
@duangsuse
算了，反正我不看这类没用的东西
▫️ 0%
谢了，我不关心这类东西，你自己看懂了就好
▫️ 0%
什么垃圾玩意，Android 上的 Fragments、IDL、Navigation、RecyclerView、CoordinatorLayout 你都弄懂了吗？测试会写吗？你所谓的 trivial 都搞不懂硬装什么大佬
▫️ 0%
什么垃圾玩意，Web 后端的 Future、Observable、Json Serialization、RESTful、MVC、Timer 和 Jawa 里它的坑、Annotation 你都弄懂了吗？JavaEE 会写吗？你所认为的简单玩意都搞不懂硬装什么
▫️ 0%
👥 5 people voted so far.
duangsuse::Echo via @vote
上面 Finally Tagless 和 Expression Problem 需要我专门讲吗？ public poll 你可以继续写，我有时间或许会看，不要那么激动，很多代码也是积累起来的，思维和分析的深度足够，你也能写出来，所以别管那些 – 4 👍👍👍👍👍👍👍 80% @Rachel030219, @RainSlide, @KawaiiYxm, @junzki 如果你看得懂的话 – 1 👍👍 20% @duangsuse 算了，反正我不看这类没用的东西 ▫️ 0% 谢了，我不关心这类东西，你自己看懂了就好…
#vote 一个小调查，你们对本频道内容持什么态度呢？我要不要再去转行讲一些实际应用的工程的... 模式呢（当然虽然他们的代码量很大，也可能会使用一些好玩的技巧，理解起来会简单许多）？
Forwarded from duangsuse Throws
惊闻数位版邮寄到货，文画两开花… 上午特地拆箱测试 多多支持。😊