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

技术相干订阅~
另外有 throws 闲杂频道 @dsuset
转载频道 @dsusep
极小可能会有批评zf的消息 如有不适可退出
suse小站(面向运气编程): https://WOJS.org/#/
Download Telegram
duangsuse::Echo
千万千万不要爆炸啊...
没有爆炸... 但是... Glibc 版本不够... 是如何做到在 Fedora 只有打包 2.27 的时候需要 2.28 的... Angry!!!

于是又是失败,好讨厌的感觉~ 😿

https://fedora.pkgs.org/29/fedora-updates-x86_64/glibc-2.28-26.fc29.x86_64.rpm.html

这里有,不过是 Fedora 29 的... 原来我的系统发行版本落后于时代了么...
#Lua MoonScript.org ? (不是

Typed Lua? Maybe

我考虑的主要是它的语法扩展没有 MoonScript 那么明显
看起来貌似只扩展了 function (a: number, b: string) 这种类型定义
Forwarded from 羽毛的小白板
这是什么 Lua 方言?(代码来自文明 6)
不得不更新 Fedora 到最新的 29... #sysadmin 是更新!好耶!
准备按照这个文档更新,待会我会 Ctrl - Alt - F2 切到 TTY2 下 systemctl isolate multi-user; dnf update; dnf --releasever=29 --setopt=deltarpm=false distro-sync
貌似脚本自己给包办了(要下载这么多 G...
duangsuse::Echo
貌似脚本自己给包办了(要下载这么多 G...
那么这周又很失败喽(逃走
羽毛的小白板
这是什么 Lua 方言?(代码来自文明 6)
题外话,Lua 之前可以认为是前身的 [SOL]( https://www.lua.org/history.html#21 ) 语言里类型定义和 TypedLua 很像

type @track { x:number,y:number= 23, z=0}

type @line { t:@track=@track{x=8},z:number*}
t1 = @track { y = 9, x = 10, z="hi!"}
l = @line { t= @track{x=t1.y, y=t1.x}, z=[2,3,4] }
#recommended #zhihu #China #school #math 这个 NB 了,不过回答都有价值,推荐阅读。你们大概也看得到我们软件工程和各种信息技术包括计算机科学方面和数学上表述方式其实是有差别的,我们更需要描述过程,他们更需要描述复杂的关系,然后式子们都比较复杂难看,复杂度留在表示上无法封装,也是难免的。毕竟这就是数学嘛。计算机科学程序设计理论上面 PL 们要去描述的那些东西还是相对公式们比较 trivial 的,但如果去学静态分析、编译优化什么的,对学这个公式变换啊、分析啊都有很大帮助,其实平时大家写的程式码(代码)比起数学公式(而言)于物理公式也是差不多的,所以比起数学家更多计算机科学家都是物理学家。当然同时是数学家的也有。个人水平还不怎么样,说说自己的看法而已。求大佬多(我没说错)喷。
#JavaScript #Qt #desktop #dev #Google 同意,绝对同意。
Forwarded from 羽毛的小白板
除最后一句外都是槽点
#PL #JavaScript 虽然很失败,我觉得另外一个比较失败的可能是各种 implicit conversations(隐式类型转换)非常优秀地突出了弱类型语言的弱(智)势。真棒。
羽毛的小白板
能问出这种问题就已经反映出其水平如何 https://www.zhihu.com/question/306537777
This media is not supported in your browser
VIEW IN TELEGRAM
duangsuse::Echo
🍵 Sticker
五点共圆证明过吗?🐸
duangsuse::Echo
#recommended #zhihu #China #school #math 这个 NB 了,不过回答都有价值,推荐阅读。你们大概也看得到我们软件工程和各种信息技术包括计算机科学方面和数学上表述方式其实是有差别的,我们更需要描述过程,他们更需要描述复杂的关系,然后式子们都比较复杂难看,复杂度留在表示上无法封装,也是难免的。毕竟这就是数学嘛。计算机科学程序设计理论上面 PL 们要去描述的那些东西还是相对公式们比较 trivial 的,但如果去学静态分析、编译优化什么的,对学这个公式变换啊、分析啊都有很大…
自从我最近开始接触一些简单的数学后,我发现我不会再像以前一样吐槽他们对问题的表述方式那样无关紧要的东西了

数学真的是需要智商的,有的时候你的脑子不行就是不行,别人能 get 到的 implicit 的东西(或许是快速一点基于缓存的加法减法运算方式而不是掰手指、记录进位,或许是基数不为 10 的进位方式诸如 16 进制、二进制)

你或许就不行,这方面是没有办法的,智商不行就是不行。
没有什么鸡汤说,故事总是高于生活,如果某某孩子的底子不行,鼓励什么的、打什么的,也只能是『治标(努力程度)不治本(智力水平)』的


有些人记单词就是快,一些人就是能很快 get 到那些数学知识点 while 其他人连式子参数模式都没识别出来的时候,很好的例子就是我自己,我以前是连 log_n(x)_ 是说下标)都不理解然后疯狂吐槽他们为什么不把 logn(n, x) 两个参数颠倒一下... 这些非原则性的问题,大概就是所谓的幼稚。(我当时以为 log(8, 2) = 3 还比 log(2, 8) = 3 好看一些,但其实都是数学上 trivial 的不得了的东西,一点表面现象而已,羞于提这些事情... 算了,我现在就是这水平)

同样的学习,类似的熟悉度,一些人解题的时候就是能很快感知到可能的思路,而另一些人就是没有思路的,有天才,但一直很蠢的人可能还是比较少的。关键再于爱不爱学习
Forwarded from duangsuse Throws
#INFO duangsuse 更名:¯\_(ツ)_/¯ |学渣|你好世界 -> ¯\_(ツ)_/¯ |学渣 ∈ [E²PROM, 含幺半群)