计网经典笑话

#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

当然所谓存储可能也就是程序解释期间的一个结构表达法，不一定和真闭包有关。

#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 标签还有办法加

#java #service #html #轻松一刻
https://t.me/Javaer/560626

#db #cs ACID🌝。 🌚 BASE （软态 拥抱并发 集群 数据不一致

他的贡献

#web #android #dev 🌝

Flutter 2.0 发布，一套代码库同时支持移动端、桌面端、网页端
https://developers.googleblog.com/2021/03/announcing-flutter-2.html

华为高管声称鸿蒙V3 将不再基于 Android

2021-03-04 15:05 #Android

华为消费者业务软件部总裁王成录今年初曾表示，鸿蒙不是 Android 或 iOS 的拷贝。但对鸿蒙V2 的分析表明，它事实上是 Android 的拷贝，华为甚至连 Android 的名字都没有从系统中替换掉。对此王成录在接受采访时回应称，“并不是所有 Android 代码都是 Google 开发的，绝大部分代码来自开源社区。鸿蒙也会吸收社区的优秀技术和代码，用了 AOSP（Android 开源项目）的开源代码，就判断鸿蒙是 Android 换了皮，说明这类吐槽者没有太准确理解什么是开源。今年 10 月，鸿蒙第三阶段的开源代码会上线，来自 AOSP 社区的、由 Google 贡献的代码几乎没有了。”

#life #tech #tools

小技巧： DeepCreamPy可以去马赛克去遮挡

#android pdf #java generic saf #tricks https://t.me/AndroidDevCn/185466

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 🤔 跨平台 麻烦？

官方给的tutorial都跑不起来（

分享 '智能工程学院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...

嘛，这几天打算把那个直角座标系…… 不对，是 xy.html 给写一下

这次大概是重写了，我会把它作为「单页会有很多个」的函数图，以及 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 这样的东西还是又好又开源啊

#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 了，是嫌代码不够长

web 支持动画是一个很有魅力的事情，毕竟 DOM/CSS 可以说是集 UI 之大成（明明它没有任何完整 data model 的概念呵呵😒）

如果能做滚动平滑和背景色、缩放我会很高兴的。

明明就只是 tagName attributes children ，却能描述出那么多视图结构

我们这些人可能就是喜欢它的赤裸吧，正因简单，才有足够的空间展现自己对程序本身的理解。

或许 HTML 的简单就在于它只是纯纯的想描述「展现方式」，没有多余的思想和牵连吧。从世界上第一个网站到至今 Rust 新兴，DOM 的模式都被许多 GUI 借鉴，虽然它门中大多数不能做到web应用的如此易用易调试。

HTML 只有 paired,single,collapse 几种 tag，再深一点，内联 SVG namespace 描述矢量图
CSS 最主要的是 #id, .class, tagName, * 四种选择器和 :nth(1) 这种伪选择器；并列方式，空格是按层次、> 号是直接属从

这么简单的十几个基元，不需要多余的术语名词，描述出了成千上万个色彩缤纷的 www 网站页面资源，这是复用性的真谛啊！

最近的一些 HTML 🧐 真是多呢 #listing #Web #JS
https://64f1aq.coding-pages.com/HTMLs/school/rev-table.html 表格翻转
https://64f1aq.coding-pages.com/HTMLs/lrud 《广度优先的染色，从下面看？从侧面看？》
https://64f1aq.coding-pages.com/HTMLs/deep.html 缩进<h1~6>深度解析
https://64f1aq.coding-pages.com/HTMLs/anim/ CSS 动画集
https://64f1aq.coding-pages.com/HTMLs/xy/xy.html 《关于我在群数学大佬的指点下完成了函数图，但是又没做好触摸屏并且等待重写这档事》

我看看…… 新html的 widget localStorage 和 loadConfig() 顺序要修一下， README 里 anim 的链接错字了。