Forwarded from 肃反委员会
Forwarded from RWTG9Y4's STDOUT
#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 美元。