#PLT #design 今晚散步的时候自我争论了下绝句的「恒事」编译期计算问题（内心：你倒是写啊 不管是作为py预处理还是PKT2……）
我觉得吧，编译期计算和符号化计算（不完全求值+枚举匹配简化）是0开销计算的必要特性，以小学生（确信）都能理解的方法进行高甜框架的设计，如UI树的铺平，是绝句的重要特性之一。
其实我也一直没搞懂 C++ 模板和 constexpr 的实现方式（Rust是隔离出了带模式匹配的子语言『宏』），在之前，我学 C++ constexpr 函数，表明「恒事」的两点：
1.恒事内只能调用标记恒事的函数，包括算符在内，但 val/var 不受限；恒事不能写入外部量
2.恒事的调用被编译期部分展开，这意味着预处理期会尝试执行依赖已知参数的表达式，保留未知参数的表达式
很快我发现了问题：编译期计算明明是为了方便，可现在，标准库的绝大部分 API 都要被标记为「恒」事！因为它们并不会产生预料外的行为(exitProcess 等)
C++ 对 constexpr 传递性(内部包含调用限制为 constexpr) 的要求是建立在它能随意 constexpr (2+1) ，有这样的「内部运算符」一说的，可是对绝句而言，我希望尽量多多行为是能内部定义的，Int +-*/ 都是动词定义。
开始我考虑提供【编译期API】，接着是为简化，只标记不许的 I/O 【非编译期API】，很快我发现其实本来就不该为让用户显写自己函数的「恒」一字而添加这种限制！
最后我决定， const (恒) 一字代表作用域不同，允许编译期访问的涵义，取消继承 Kotlin 的 const val 一说（反正那个也只是符号执行的特例——常量折叠）
于是就有「恒事」「恒量」「恒变」的写法了，而不再是「常数」「常参」😓
我觉得吧，编译期计算和符号化计算（不完全求值+枚举匹配简化）是0开销计算的必要特性，以小学生（确信）都能理解的方法进行高甜框架的设计，如UI树的铺平，是绝句的重要特性之一。
其实我也一直没搞懂 C++ 模板和 constexpr 的实现方式（Rust是隔离出了带模式匹配的子语言『宏』），在之前，我学 C++ constexpr 函数，表明「恒事」的两点：
1.恒事内只能调用标记恒事的函数，包括算符在内，但 val/var 不受限；恒事不能写入外部量
2.恒事的调用被编译期部分展开，这意味着预处理期会尝试执行依赖已知参数的表达式，保留未知参数的表达式
很快我发现了问题：编译期计算明明是为了方便，可现在，标准库的绝大部分 API 都要被标记为「恒」事！因为它们并不会产生预料外的行为(exitProcess 等)
C++ 对 constexpr 传递性(内部包含调用限制为 constexpr) 的要求是建立在它能随意 constexpr (2+1) ，有这样的「内部运算符」一说的，可是对绝句而言，我希望尽量多多行为是能内部定义的，Int +-*/ 都是动词定义。
开始我考虑提供【编译期API】，接着是为简化，只标记不许的 I/O 【非编译期API】，很快我发现其实本来就不该为让用户显写自己函数的「恒」一字而添加这种限制！
最后我决定， const (恒) 一字代表作用域不同，允许编译期访问的涵义，取消继承 Kotlin 的 const val 一说（反正那个也只是符号执行的特例——常量折叠）
于是就有「恒事」「恒量」「恒变」的写法了，而不再是「常数」「常参」😓
Forwarded from 咕 Billchen 咕 🐱 抹茶芭菲批发中心 (billchenchina | Nya!)
启用 WSL 后
https://devblogs.microsoft.com/commandline/per-directory-case-sensitivity-and-wsl/
fsutil.exe file queryCaseSensitiveInfo <path>可以使大小写敏感
https://devblogs.microsoft.com/commandline/per-directory-case-sensitivity-and-wsl/
Microsoft News
Per-directory case sensitivity and WSL
If you have used the Windows Subsystem for Linux, you’re probably aware that it allows you to treat your Windows file systems (mounted under /mnt/c, /mnt/d, etc.) as case sensitive. This means, among other things, that you can create files whose names differ…
Forwarded from 每日消费电子观察 (Dave Lin)
R星将采用民间大神的方法，来让《GTA Online》加载时间大大缩短
http://www.vgtime.com/topic/1117429.jhtml
Rockstar Games 在今日向外媒确认， t0st 关于 《GTA Online》PC 版加载速度为何慢的发现是正确的，他们将采用 t0st 这一缩短加载时间的方法，在未来的更新中进行改进。
而在 Rockstar Games 发表声明后，t0st 也更新了自己的博客，表示收到了来自 Rockstar Games 的 10000 美元奖励，表彰他们关于这一 BUG 的修复工作
————————
好消息，tx没法当专利申请了
http://www.vgtime.com/topic/1117429.jhtml
Rockstar Games 在今日向外媒确认， t0st 关于 《GTA Online》PC 版加载速度为何慢的发现是正确的，他们将采用 t0st 这一缩短加载时间的方法，在未来的更新中进行改进。
而在 Rockstar Games 发表声明后，t0st 也更新了自己的博客，表示收到了来自 Rockstar Games 的 10000 美元奖励，表彰他们关于这一 BUG 的修复工作
————————
好消息，tx没法当专利申请了
Vgtime
R星将采用民间大神的方法，来让《GTA Online》加载时间大大缩短 - vgtime.com
R星将采用民间大神的方法，来让《GTA Online》加载时间大大缩短,Rockstar 奖励了民间大神 10000 美元。
Forwarded from Solidot
Blender 网站因黑客攻击进入维护模式
2021-03-15 21:41 #安全
著名开源 3D 绘图软件 Blender 通过其 Twitter 账号宣布其网站进入了维护模式，原因是有黑客尝试入侵。绝大部分基础设施，包括 Wiki、开发者入口、git 库、blender.chat 等功能仍然正常。目前网站除了首页显示的内容，大部分链接指向的页面都显示“不可用（This page is not available）”。目前网站已经下线了 12 小时。暂时不清楚攻击者的企图。当前软件供应链攻击非常流行，对 Blender 的攻击可能也是通过它攻击其客户。
2021-03-15 21:41 #安全
著名开源 3D 绘图软件 Blender 通过其 Twitter 账号宣布其网站进入了维护模式，原因是有黑客尝试入侵。绝大部分基础设施，包括 Wiki、开发者入口、git 库、blender.chat 等功能仍然正常。目前网站除了首页显示的内容，大部分链接指向的页面都显示“不可用（This page is not available）”。目前网站已经下线了 12 小时。暂时不清楚攻击者的企图。当前软件供应链攻击非常流行，对 Blender 的攻击可能也是通过它攻击其客户。
Forwarded from 科技圈🎗在花频道📮
Telegram的所有者帕维尔·杜洛夫（Pavel Durov）没钱了，下个月待偿还债务约为7亿美元。——本消息来自《华尔街日报》@TestFlightCN
Forwarded from Solidot
北方遭遇近十年来最强沙尘暴
2021-03-16 11:28 #长城
本周一中国北方遭遇了近十年来最强的沙尘暴，“空气末日”的记忆重现。沙尘暴是上周末席卷蒙古国的狂风暴雪引发的。蒙古的暴风雪导致电力输送塔倒塌，切断了几个地区的电力供应，并导致至少九人死亡。沙尘暴影响了中国北方大部分地区，空气中与沙尘有关的颗粒物浓度超过了危险水平。以 PM2.5（即被认为特别有害的颗粒物）浓度来衡量的污染物也高到了危险水平。在北京，当局提示老人、儿童和疾病患者减少外出活动，提示其他人避免不必要的室外活动。沙尘暴将上午的空气变成橘黄色，下午变成了浓浓的灰色。
2021-03-16 11:28 #长城
本周一中国北方遭遇了近十年来最强的沙尘暴，“空气末日”的记忆重现。沙尘暴是上周末席卷蒙古国的狂风暴雪引发的。蒙古的暴风雪导致电力输送塔倒塌，切断了几个地区的电力供应，并导致至少九人死亡。沙尘暴影响了中国北方大部分地区，空气中与沙尘有关的颗粒物浓度超过了危险水平。以 PM2.5（即被认为特别有害的颗粒物）浓度来衡量的污染物也高到了危险水平。在北京，当局提示老人、儿童和疾病患者减少外出活动，提示其他人避免不必要的室外活动。沙尘暴将上午的空气变成橘黄色，下午变成了浓浓的灰色。
Forwarded from 《一天世界》博客 (Lawrence Li)
那么在现实世界做几乎所有事都是工程思维了。事实上无数艺术杰作也是在资源有限的前提下铸成，莫非这又能叫艺术思维？
https://twitter.com/lichuang/status/1371303540052746240
https://twitter.com/lichuang/status/1371303540052746240
Twitter
什么是工程思维？——永远以资源有限、条件不足为前提，去实现现实世界的目标。
很棒的一句话。
很棒的一句话。
Forwarded from AlPlank (Al Pt)
Telegram
tg生态观察
你对 Telegram 短期 (3年内) / 长期 (5年以上) 能否保持健康运行的预估?
都乐观 / 短期乐观 长期悲观 / 短期悲观 长期乐观 / 都悲观 / 信息不足以判断 / 不知道 不好说 / 看看别人怎么选
都乐观 / 短期乐观 长期悲观 / 短期悲观 长期乐观 / 都悲观 / 信息不足以判断 / 不知道 不好说 / 看看别人怎么选
🌝 好了， pointermove (准确是 touchmove) 的方法找到了……
https://seoi.net/penint/ #nsfw #js canvas 绘画 然后分段渐渐变化 女性勿入。
和之前的傅立叶 https://t.me/dsuse/15530 有异曲同工
https://seoi.net/penint/ #nsfw #js canvas 绘画 然后分段渐渐变化 女性勿入。
和之前的傅立叶 https://t.me/dsuse/15530 有异曲同工
Telegram
duangsuse::Echo
https://lab.xecades.xyz/Fourier/?img=5
感觉自己的智商严重需要重构了…… 看了下基本绘制结构我明白了，当时找 img= 参数引用的时候想当然查 (n + 1) 这个表达式，三次没找到后才在已发现 loadPageVar() 后明白编号到零基数组引数是 -1，明显没过脑子（或者记性不好/数性太差），就凭这？心理各种崩溃。
是用 setInterval (timer) 累积dt 更新的(缺点 dt 是常量)
generate(t) 基于 getSvgInfo() (load…
感觉自己的智商严重需要重构了…… 看了下基本绘制结构我明白了，当时找 img= 参数引用的时候想当然查 (n + 1) 这个表达式，三次没找到后才在已发现 loadPageVar() 后明白编号到零基数组引数是 -1，明显没过脑子（或者记性不好/数性太差），就凭这？心理各种崩溃。
是用 setInterval (timer) 累积dt 更新的(缺点 dt 是常量)
generate(t) 基于 getSvgInfo() (load…
#security #Linux #recommend #blog https://guyonbits.com/from-rodata-to-rwdata-introduction-to-memory-mapping-and-ld-scripts/
https://medium.com/@tr0id/working-with-stripped-binaries-in-gdb-cacacd7d5a33
https://stackoverflow.com/questions/23318837/gdb-and-assembly-how-to-examine-consts-variables-defined-in-heap
https://reverseengineering.stackexchange.com/questions/18922/how-can-breakpoint-be-set-using-offset-in-elf-file-not-virtual-address
https://medium.com/@tr0id/working-with-stripped-binaries-in-gdb-cacacd7d5a33
https://stackoverflow.com/questions/23318837/gdb-and-assembly-how-to-examine-consts-variables-defined-in-heap
https://reverseengineering.stackexchange.com/questions/18922/how-can-breakpoint-be-set-using-offset-in-elf-file-not-virtual-address
Medium
Working With Stripped Binaries in GDB
Debugging a stripped binaries can be really tedious (especially when one can’t even find out where to begin). I’ll talk a bit about the…