#python #functional #cs #statement https://t.me/py_zh_real/14351
依云:
看完了。是完全由函数构成的算术系统呢。
daquexian:
（没仔细看视频）就是 church encoding 吗
duangsuse:
church encoding 貌似是拿闭包做 data N=Zero|(P1 N) 皮亚诺 Peano 数来的
two=P1 (P1 Z) 和 two=(f,x)=> (f (f x)) 好像是，后者有没有x我忘了但记得是调用嵌套 类似 two(P1,Z)
纯函数构成计算嘛，其实就是 Abstract/Apply/Subst 三项构成的形式化模式，也即 Func/Call/ArgN
其实就是 lexical scoping 作用域下函数复用。什么语言不可以写成这种形式啊，反正 +-*/ 本质是利用 prim operation 的 operator 函数
这一块的基础没有什么 都是绕来绕去的无聊名词和没有用的旁枝概论，要学的话基本是元编程的扩充 有些学习价值。
这一边的理论和实践基本是脱节的，很多时候一大段变成代码只需十几行，当然也有简洁的理论，但很多人看不见。
有意思点的东西对工程完全没用，只和数学/逻辑有关，也很少看见有人拿这些东西写成实际软件 且基本都是 DOM。
DOM 不是不好，但是用法单调 不考验可移植性和程序序列复用力(基本都纯函数 无重赋值的)，要是能移植到其它地方算是 real-world 一点。
所以说比起这些东西 还是研究怎么复用、参数化好代码 比较有意义。
daquexian:
church encoding 没有闭包吧
duangsuse:
可能吧，不过只要有 \a. (\b. a+b) 这种形式 引用了 upvalue a ，就算是有闭包
因为 lambda 演算都是单参函数， curry 实现多参，所以只要有两个参数都是用了闭包 而不止是嵌套 apply
当然所谓存储可能也就是程序解释期间的一个结构表达法，不一定和真闭包有关。
依云:
看完了。是完全由函数构成的算术系统呢。
daquexian:
（没仔细看视频）就是 church encoding 吗
duangsuse:
church encoding 貌似是拿闭包做 data N=Zero|(P1 N) 皮亚诺 Peano 数来的
two=P1 (P1 Z) 和 two=(f,x)=> (f (f x)) 好像是，后者有没有x我忘了但记得是调用嵌套 类似 two(P1,Z)
纯函数构成计算嘛，其实就是 Abstract/Apply/Subst 三项构成的形式化模式，也即 Func/Call/ArgN
其实就是 lexical scoping 作用域下函数复用。什么语言不可以写成这种形式啊，反正 +-*/ 本质是利用 prim operation 的 operator 函数
这一块的基础没有什么 都是绕来绕去的无聊名词和没有用的旁枝概论，要学的话基本是元编程的扩充 有些学习价值。
这一边的理论和实践基本是脱节的，很多时候一大段变成代码只需十几行，当然也有简洁的理论，但很多人看不见。
有意思点的东西对工程完全没用，只和数学/逻辑有关，也很少看见有人拿这些东西写成实际软件 且基本都是 DOM。
DOM 不是不好，但是用法单调 不考验可移植性和程序序列复用力(基本都纯函数 无重赋值的)，要是能移植到其它地方算是 real-world 一点。
所以说比起这些东西 还是研究怎么复用、参数化好代码 比较有意义。
daquexian:
church encoding 没有闭包吧
duangsuse:
可能吧，不过只要有 \a. (\b. a+b) 这种形式 引用了 upvalue a ，就算是有闭包
因为 lambda 演算都是单参函数， curry 实现多参，所以只要有两个参数都是用了闭包 而不止是嵌套 apply
当然所谓存储可能也就是程序解释期间的一个结构表达法，不一定和真闭包有关。
Telegram
laike9m in Python 交流群
这个我在现场。。听到后面就不懂了
#school #课记
美术系来当网页设计者，十年前做过卡牌游戏插画
Full-stack UX&UI front-end
Unity小游戏
Adobe PS,AI 自动化程度变迁
程序员转 CG 插画 王画师
瀑布流和原型、验证，用户竞品数据分析
竟然会考web及前端岗位顺序？
#web 希望弄个能 verify或算分的问卷模板程序
填表导出学号到分数的kv组，如果不直接合并（没想到 草）也可以写VB宏 lines split 再赋 sheet colK,colV 成 r[0],r[1] 吧
而且还可以公式 LOOKUP() ... 看来还是经验之谈
交作业要带学号用 cp $fname $dname_$fname 应该就可以了，但感觉也有变式啊
#android 希望能弄个基于辅助功能和 IME 的录制重放工具，如果要即时操作又不知道怎么写了，大概不应该用 XML
开始就是想弄一个帮忙自动填表利用 tabOrder 的办法，如果基于 AutoJS 好不好，但 IME 录制才是最重要的，并不能复用太多东西，并且不知道它的工具有没有提供录制 API 。
点击点可选裸值或屏幕位置比率，是重放而不是数据格式的参数吧，录制文件里就存好宽高 不会损失信息
可是怎么录制输入内容呢？
#android 想想也可以做个课表，不需要提醒，能横纵转的 table 就可以了，分 week 有不同的安排，可以直接利用 SQL SELECT 解析条件 (i0,count) 的 week nums，还能缓存
Axure RP 8 的课上了两节，设计了个带 tab 个 nav 的女装商城 示例页面
刚开始美术系老师说用 XMind 做界面蓝图我还觉得很奇怪（为什么要用纯图表软件做 UI 可视化/所见即所得 设计呢 它也不能导出 HTML 吧，应该用 Sketch 什么的）
后来才知道他说的分界面线框、界面逻辑(其实是事件/关系)图、思维导图，是搞混了。
ARP8 的界面还算简洁，有工具栏光标工具选择、控件表、母版(套板)、树大纲和可拖放编辑器，后来我发现 F5 能打开浏览器预览，预览html也自带调试用面板。
ARP8 的快捷键基本不需要，滚轮 Ctrl Alt 都常用，参考线和对齐都支持。
可以编辑背景图像、颜色、border，快捷编辑边框模板和圆角程度，最重要的是事件编辑器支持分 case 执行操作序列（支持且/或并列逻辑条件），这些都是可视化编辑的（可惜一些基础操作比如加载视图代理数据都必须写代码 没有对应UI选项 但是它支持从控件树选择）
所见即所得的好处是可以随意调参，能立刻得到反馈，不这样的工具会麻烦很多。
我的同学基本都完成了，但我最后也没有完成，因为无法允许自己机械、类似做矢量图一样拖放添加分类、优惠、推荐 的商品视图，其实 ARP8 支持 fixed geometry 和 repeat template （通过代理器 而不是只能加文本的 table ， View Delegate 这个有意思的名词）
为了找到模板参数化子视图的方法(最开始还以为能在 text 里加变量 然后在 table 里每个 copy 能改变量 要不然怎么叫母版？误了) 就是在代理的 onLoadCell 设置文本 [[Item.Column0]] （展开时隐式 row[i][c0] ）花了太多时间
最后因为对母版和 delegate view 的理解不够好 布局 padding 都乱了，当然没有完成，看起来是我完全输给第一次接触的同学了。
但毕竟是因为我不认为纯 geometry x,y,w,h 的设计有使用意义，觉得必须抽象出数据集 forEach 才能套用，下次就明白怎么做了。
删除线通过富文本支持无法设计，但估计 HTML s,del 标签还有办法加
美术系来当网页设计者，十年前做过卡牌游戏插画
Full-stack UX&UI front-end
Unity小游戏
Adobe PS,AI 自动化程度变迁
程序员转 CG 插画 王画师
瀑布流和原型、验证，用户竞品数据分析
竟然会考web及前端岗位顺序？
#web 希望弄个能 verify或算分的问卷模板程序
填表导出学号到分数的kv组，如果不直接合并（没想到 草）也可以写VB宏 lines split 再赋 sheet colK,colV 成 r[0],r[1] 吧
而且还可以公式 LOOKUP() ... 看来还是经验之谈
交作业要带学号用 cp $fname $dname_$fname 应该就可以了，但感觉也有变式啊
#android 希望能弄个基于辅助功能和 IME 的录制重放工具，如果要即时操作又不知道怎么写了，大概不应该用 XML
开始就是想弄一个帮忙自动填表利用 tabOrder 的办法，如果基于 AutoJS 好不好，但 IME 录制才是最重要的，并不能复用太多东西，并且不知道它的工具有没有提供录制 API 。
点击点可选裸值或屏幕位置比率，是重放而不是数据格式的参数吧，录制文件里就存好宽高 不会损失信息
可是怎么录制输入内容呢？
#android 想想也可以做个课表，不需要提醒，能横纵转的 table 就可以了，分 week 有不同的安排，可以直接利用 SQL SELECT 解析条件 (i0,count) 的 week nums，还能缓存
Axure RP 8 的课上了两节，设计了个带 tab 个 nav 的女装商城 示例页面
刚开始美术系老师说用 XMind 做界面蓝图我还觉得很奇怪（为什么要用纯图表软件做 UI 可视化/所见即所得 设计呢 它也不能导出 HTML 吧，应该用 Sketch 什么的）
后来才知道他说的分界面线框、界面逻辑(其实是事件/关系)图、思维导图，是搞混了。
ARP8 的界面还算简洁，有工具栏光标工具选择、控件表、母版(套板)、树大纲和可拖放编辑器，后来我发现 F5 能打开浏览器预览，预览html也自带调试用面板。
ARP8 的快捷键基本不需要，滚轮 Ctrl Alt 都常用，参考线和对齐都支持。
可以编辑背景图像、颜色、border，快捷编辑边框模板和圆角程度，最重要的是事件编辑器支持分 case 执行操作序列（支持且/或并列逻辑条件），这些都是可视化编辑的（可惜一些基础操作比如加载视图代理数据都必须写代码 没有对应UI选项 但是它支持从控件树选择）
所见即所得的好处是可以随意调参，能立刻得到反馈，不这样的工具会麻烦很多。
我的同学基本都完成了，但我最后也没有完成，因为无法允许自己机械、类似做矢量图一样拖放添加分类、优惠、推荐 的商品视图，其实 ARP8 支持 fixed geometry 和 repeat template （通过代理器 而不是只能加文本的 table ， View Delegate 这个有意思的名词）
为了找到模板参数化子视图的方法(最开始还以为能在 text 里加变量 然后在 table 里每个 copy 能改变量 要不然怎么叫母版？误了) 就是在代理的 onLoadCell 设置文本 [[Item.Column0]] （展开时隐式 row[i][c0] ）花了太多时间
最后因为对母版和 delegate view 的理解不够好 布局 padding 都乱了，当然没有完成，看起来是我完全输给第一次接触的同学了。
但毕竟是因为我不认为纯 geometry x,y,w,h 的设计有使用意义，觉得必须抽象出数据集 forEach 才能套用，下次就明白怎么做了。
删除线通过富文本支持无法设计，但估计 HTML s,del 标签还有办法加
Forwarded from &'a ::rynco::UntitledChannel (Rynco Maekawa)
Flutter 2.0 发布，一套代码库同时支持移动端、桌面端、网页端
https://developers.googleblog.com/2021/03/announcing-flutter-2.html
https://developers.googleblog.com/2021/03/announcing-flutter-2.html
Googleblog
Google for Developers Blog - News about Web, Mobile, AI and Cloud
Forwarded from Solidot
华为高管声称鸿蒙V3 将不再基于 Android
2021-03-04 15:05 #Android
华为消费者业务软件部总裁王成录今年初曾表示，鸿蒙不是 Android 或 iOS 的拷贝。但对鸿蒙V2 的分析表明，它事实上是 Android 的拷贝，华为甚至连 Android 的名字都没有从系统中替换掉。对此王成录在接受采访时回应称，“并不是所有 Android 代码都是 Google 开发的，绝大部分代码来自开源社区。鸿蒙也会吸收社区的优秀技术和代码，用了 AOSP（Android 开源项目）的开源代码，就判断鸿蒙是 Android 换了皮，说明这类吐槽者没有太准确理解什么是开源。今年 10 月，鸿蒙第三阶段的开源代码会上线，来自 AOSP 社区的、由 Google 贡献的代码几乎没有了。”
2021-03-04 15:05 #Android
华为消费者业务软件部总裁王成录今年初曾表示，鸿蒙不是 Android 或 iOS 的拷贝。但对鸿蒙V2 的分析表明，它事实上是 Android 的拷贝，华为甚至连 Android 的名字都没有从系统中替换掉。对此王成录在接受采访时回应称，“并不是所有 Android 代码都是 Google 开发的，绝大部分代码来自开源社区。鸿蒙也会吸收社区的优秀技术和代码，用了 AOSP（Android 开源项目）的开源代码，就判断鸿蒙是 Android 换了皮，说明这类吐槽者没有太准确理解什么是开源。今年 10 月，鸿蒙第三阶段的开源代码会上线，来自 AOSP 社区的、由 Google 贡献的代码几乎没有了。”
https://t.me/c/1119363280/115431 #android #gui #drawing ConcatAdapter? 🤔
https://t.me/AndroidDevCn/185652 AsyncTask, os.Handler
感觉新时代可以用闭包换 onInit(), progess 和 done 都做成 receiver param
https://t.me/AndroidDevCn/185715 ASM apt
https://t.me/AndroidDevCn/185870 #flutter 🤔 跨平台 麻烦？
https://t.me/AndroidDevCn/185652 AsyncTask, os.Handler
感觉新时代可以用闭包换 onInit(), progess 和 done 都做成 receiver param
https://t.me/AndroidDevCn/185715 ASM apt
https://t.me/AndroidDevCn/185870 #flutter 🤔 跨平台 麻烦？
Telegram
Luke in [CN] Android Dev
我看到项目里面,有人暴力new thread 然后Handler post出来……各种嵌套 ,我感觉还不如用asynctask
智能工程学院2020_2021（2）班级课表（20200301）1.pdf
146.2 KB
分享 '智能工程学院2020-2021（2）班级课表（20200301）(1).pdf' #school 学院的课表🌝 不是隐私，高考录取单发了 已脱敏
https://github.com/avwo/whistle#certificate-installment 🤔 代理 HTTP 分析 这个是中国的
https://github.com/grid-js/gridjs 💭一个人也能 2k star... 迷
https://github.com/Sekai-World/sekai-viewer 三千 commit 也能保持原汁原味废话 README...
https://github.com/grid-js/gridjs 💭一个人也能 2k star... 迷
https://github.com/Sekai-World/sekai-viewer 三千 commit 也能保持原汁原味废话 README...
GitHub
GitHub - avwo/whistle: HTTP, HTTP2, HTTPS, Websocket debugging proxy
HTTP, HTTP2, HTTPS, Websocket debugging proxy. Contribute to avwo/whistle development by creating an account on GitHub.
嘛，这几天打算把那个直角座标系…… 不对，是 xy.html 给写一下
这次大概是重写了，我会把它作为「单页会有很多个」的函数图，以及 plot 控件去设计，这将规范化定义函数项的脚本语言，并且 class 化整个绘制后端(没错 已经有了变量绘制/交互分离计划)，全页估计就要手写配置 body clientRect 了。
最大的问题是 animation ，因为有些函数，首先我希望
目前已经有了一个比较好的方法解藕，就是在构造器支持
也可以选择暴露 animatedSet (notPureSet) 和 mutVars ，但我觉得不太方便，构造器要传两个变量；如果说同时支持另一个特性（变量组）也能解决，我觉得再加特性也没什么
然后 animation 也可以抽提为 class base ，需覆盖
fps counter 必须引入 t0, framecount 两个变量，基于 OOP 的优势以及性能上的考虑可以做成 private field 的形式，就不允许帧率限制 毕竟这个由浏览器决定最好(要做动画完全可以选择用帧号和gif回放帧率)
plot 的兼容已经考虑好了，
总而言之，我觉得在保证前后端分离后还是很有希望能做好的，子问题的切分必须设计好，把所有接口设计优雅，不然容易被搞糊涂。
关于这个函数图软件，除了移动和缩放、座标轴外 最重要的大概就是 UX/UI 的操作和调配置
但难点在于 要绘制的公式究竟以何种形式储存，肯定不能是 JSON dump/load，太冗了
于是决定做成改进数学函数定义语法的形式，那么就得有 交互配置/canvas绘制/脚本执行和重制 三层的分离
前两层我都算是有经验，DOM 和 color pick 什么的难不倒我，但是数据绑定当然麻烦些，目前的计划是新 textarea 用于输入代码，都以 id 和 scope 项挂钩，一次输入可定义多个函数。
我觉得用新建「脚本语言」去解决这个问题还是有价值的，毕竟它可以用来提供一个更广的 API 作为一个绘图平台去工作，而不仅仅是狭窄的函数图，这是值得尝试的。
这次大概是重写了，我会把它作为「单页会有很多个」的函数图，以及 plot 控件去设计，这将规范化定义函数项的脚本语言，并且 class 化整个绘制后端(没错 已经有了变量绘制/交互分离计划)，全页估计就要手写配置 body clientRect 了。
最大的问题是 animation ，因为有些函数，首先我希望
f(x)=sin(x*T) 这种基于时间的绘图是可用的，意味着要通过 requestAnimationFrame 来多次渲染动画帧，这需要项列表支持寻找函数的依赖变量，并且传递可变性(非纯函数性)。目前已经有了一个比较好的方法解藕，就是在构造器支持
get_vars: (Term|string) => Iterable<String> ， get_vars("mutable") 通过『变量归类』返回变动量为根，然后每个函数上也可以应用它。也可以选择暴露 animatedSet (notPureSet) 和 mutVars ，但我觉得不太方便，构造器要传两个变量；如果说同时支持另一个特性（变量组）也能解决，我觉得再加特性也没什么
然后 animation 也可以抽提为 class base ，需覆盖
animDrawNext() 后可用 animResume(), animResume(animPause()+1) 的这种操作，公式表更新后是要重扫描动画项集合的，这时带两个语义的 resume 就很贴切，也不过分暴露细节。fps counter 必须引入 t0, framecount 两个变量，基于 OOP 的优势以及性能上的考虑可以做成 private field 的形式，就不允许帧率限制 毕竟这个由浏览器决定最好(要做动画完全可以选择用帧号和gif回放帧率)
plot 的兼容已经考虑好了，
wtf() = (plot)data:\n1,10\n2,5 的这种形式，利用 func 缓存解析数据 可以试着给 scope 的调用提供补间，在绘制时直接按点画就好。 也能给未来内部支持绘制 stem/pie/hist/scatter 提供很好的数据表示接口总而言之，我觉得在保证前后端分离后还是很有希望能做好的，子问题的切分必须设计好，把所有接口设计优雅，不然容易被搞糊涂。
关于这个函数图软件，除了移动和缩放、座标轴外 最重要的大概就是 UX/UI 的操作和调配置
但难点在于 要绘制的公式究竟以何种形式储存，肯定不能是 JSON dump/load，太冗了
于是决定做成改进数学函数定义语法的形式，那么就得有 交互配置/canvas绘制/脚本执行和重制 三层的分离
前两层我都算是有经验，DOM 和 color pick 什么的难不倒我，但是数据绑定当然麻烦些，目前的计划是新 textarea 用于输入代码，都以 id 和 scope 项挂钩，一次输入可定义多个函数。
我觉得用新建「脚本语言」去解决这个问题还是有价值的，毕竟它可以用来提供一个更广的 API 作为一个绘图平台去工作，而不仅仅是狭窄的函数图，这是值得尝试的。
应用下载 – GeoGebra
https://www.geogebra.org/download
没想到 geogebra.org 竟然是完全自由开源的…… 😳再次感叹
虽然 LO 很废， KODI,Firefox/Chromium,Blender 这样的东西还是又好又开源啊
https://www.geogebra.org/download
没想到 geogebra.org 竟然是完全自由开源的…… 😳再次感叹
虽然 LO 很废， KODI,Firefox/Chromium,Blender 这样的东西还是又好又开源啊
GeoGebra
Calculatrices et applications GeoGebra - Téléchargements gratuits
Découvrez nos calculatrices gratuites et nos applications d'apprentissage pour les mathématiques et les sciences, disponibles pour tous les appareils et systèmes d'exploitation
#recommend #design #css #drawing 很值得思考的重构🤔
本来只是想复用 CSS anim 的 time function 乃至 scheduler (当然不可能)
看来挖到宝了
https://1stwebdesigner.com/15-fun-and-inspiring-examples-of-css-animation/
https://mzh.moegirl.org.cn/LexBurner
（狭隘的个人观点）感觉 SCSS 和 LESS 好废啊…… 就只有这些基础功能吗，比 CPP 好一点而已啊 SCSS 一个 $var: def 一个 for $i from 0 through n {} 语法贼奇怪
而且还有人在用 -webkit-keyframes ，明明都在用 SCSS 了，是嫌代码不够长
本来只是想复用 CSS anim 的 time function 乃至 scheduler (当然不可能)
看来挖到宝了
https://1stwebdesigner.com/15-fun-and-inspiring-examples-of-css-animation/
https://mzh.moegirl.org.cn/LexBurner
（狭隘的个人观点）感觉 SCSS 和 LESS 好废啊…… 就只有这些基础功能吗，比 CPP 好一点而已啊 SCSS 一个 $var: def 一个 for $i from 0 through n {} 语法贼奇怪
而且还有人在用 -webkit-keyframes ，明明都在用 SCSS 了，是嫌代码不够长
1stWebDesigner
15 Fun and Inspiring Examples of CSS Animation - 1stWebDesigner
CSS is a powerful coding language that can give style and personality to HTML. CSS animations, in particular, are created by transitioning between various CSS configurations over a period of time. There are a lot of extremely practical cases for CSS animation…
web 支持动画是一个很有魅力的事情，毕竟 DOM/CSS 可以说是集 UI 之大成（明明它没有任何完整 data model 的概念呵呵😒）
如果能做滚动平滑和背景色、缩放我会很高兴的。
明明就只是 tagName attributes children ，却能描述出那么多视图结构
我们这些人可能就是喜欢它的赤裸吧，正因简单，才有足够的空间展现自己对程序本身的理解。
或许 HTML 的简单就在于它只是纯纯的想描述「展现方式」，没有多余的思想和牵连吧。从世界上第一个网站到至今 Rust 新兴，DOM 的模式都被许多 GUI 借鉴，虽然它门中大多数不能做到web应用的如此易用易调试。
HTML 只有 paired,single,collapse 几种 tag，再深一点，内联 SVG namespace 描述矢量图
CSS 最主要的是
这么简单的十几个基元，不需要多余的术语名词，描述出了成千上万个色彩缤纷的 www 网站页面资源，这是复用性的真谛啊！
如果能做滚动平滑和背景色、缩放我会很高兴的。
明明就只是 tagName attributes children ，却能描述出那么多视图结构
我们这些人可能就是喜欢它的赤裸吧，正因简单，才有足够的空间展现自己对程序本身的理解。
或许 HTML 的简单就在于它只是纯纯的想描述「展现方式」，没有多余的思想和牵连吧。从世界上第一个网站到至今 Rust 新兴，DOM 的模式都被许多 GUI 借鉴，虽然它门中大多数不能做到web应用的如此易用易调试。
HTML 只有 paired,single,collapse 几种 tag，再深一点，内联 SVG namespace 描述矢量图
CSS 最主要的是
#id, .class, tagName, * 四种选择器和 :nth(1) 这种伪选择器；并列方式，空格是按层次、> 号是直接属从这么简单的十几个基元，不需要多余的术语名词，描述出了成千上万个色彩缤纷的 www 网站页面资源，这是复用性的真谛啊！