土豆太烫

土豆太烫's avatar
土豆太烫
tudoutoohot@nostrcheck.me
npub1zef9...hurl
数字难民一枚,不过是随波逐流。Freedom like the air.
凡人打架请神仙帮忙是要非常小心的。 你不可能直接跟神仙说 “请您帮我揍他”,对吧?神仙能干那事儿吗?回头先把你给揍了。所以得有点技巧:“您看,他们家的高粱长得都快盖过您的庙了。” 神仙一看 —— 这还了得,削了!庄稼不得高过一丈! 于是他们家的高粱穗儿就都被削没了。你们家种的是玉米,没事儿。 但是啊,保不齐神仙从此就惦记上你们村的庄稼是不是碍着他的庙了。好日子开始了。
Shader Editor有点意思,可以让你自己写代码设计动态的安卓壁纸,内置一些sample可供参考修改。 官网介绍 Create and edit GLSL shaders on your Android phone or tablet and use them as live wallpaper. image
男生超级扣分的行为,快来看看自己中了几条: 1.不定积分结果不加常数 C 2.定积分换元时忘记更换积分上下限 3.滥用洛必达法则 4.求复合函数导数时遗漏链式法则项 5.判别级数敛散性误用判别法 6.计算行列式或逆矩阵时遗漏代数余子式的符号 7.混淆偏导数与全导数 8.分部积分法中u和dv选择不当 9.在加减运算中误用等价无穷小 10.解非齐次微分方程时遗漏特解
一些关于压缩的闲聊 很多年前就关注过PeaZip这款用free pascal开发的压缩软件了,可以说是free pascal最有代表性的实用产品,没有之一。PeaZip在格式支持广度、安全性、跨平台上非常优秀,但是有个缺陷导致一直没重度使用。PeaZip 在解压包含上万个文件的 .tar.gz(或 .tgz)归档时会非常慢,达到分钟级,而其它软件通常只是秒级。因为日常开发经常接触的都是tar文件,所以这个缺点影响非常严重不得不弃为备用。 今天又详细了解了下,算是有点眉目了。为什么 PeaZip 解压大数量文件的 targz 很慢,这是因为tar是“无索引”的线性归档格式,其文件本质是一个连续拼接的文件流,没有中央目录(不像 ZIP/7z)。要列出或提取第 10000 个文件,必须从头扫描到该位置。而PeaZip的 GUI 设计逻辑是:先完整解析归档内容 → 显示文件列表 → 用户选择 → 执行解压,这就必然需要全量解析,这个预解析过程非常耗时。而7-Zip这类软件的 GUI 更接近“命令行思维”,因此解压tar也更快。 PeaZip的模块化设计优点就是支持的格式特别的,缺点就是带来性能损失。 tar的优势在于可完整保留 Unix/Linux 文件系统语义(比如文件权限和所有者、符号链接)等,而且顺序流格式更适合管道(Pipeline)和流处理,比如可以直接跟ssh命令配合,因此几乎可以说是为Linux而生的归档格式。如果是经常使用文件预览和压缩文件提取这种场景,无疑zip格式更优秀。 另外,就是很多人搞不清tar.gz和tar的区别,搞不清归档和压缩的区别。归档是将多个文件/目录打包成一个单一文件,保留元数据,目的是为了方便传输和存储,最常见的tar/iso/cpio/img这些都是归档,然后为了缩小体积,也可选搭配压缩。前面说到Linux有tar这种关注元数据的归档,Windows上也有对应的wim归档。 早些年的Linux上还预留一个叫freeArc的压缩软件,ARC格式可谓是最早的压缩格式之一,现在最流行的zip格式就是基于ARC格式逆向破解而来的,由于ARC不够开放,90年代中期就被淘汰了。 目前主流的文件压缩格式就是zip/7z/rar/zst了,zip通用,7z压缩率高,rar文件损坏修复强,zst更平衡。