智能工程学院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 网站页面资源，这是复用性的真谛啊！
最近的一些 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 的链接错字了。
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 的链接错字了。
Coding-Pages
广度优先的染色，是从侧面看？是从下面看？
选择 LRUD,RDLR 等搜索次序，查看寻径着色过程动画！
Forwarded from mivik::channels::tech
#share #poly #math
把上面这个改了一下编了道题放到了多校联考里面，大概率并不会有参加联考的 OIer 在订阅这个 channel 于是贴份代码...
在 NTT 模域下于 \prod (1-a_i x) 形式的多项式的快速（应该）求根。可以在 20 秒内分解 50000 次的多项式（数据随机的情况下）
https://gist.github.com/Mivik/daf5f1a5705b511b919e23ef3f09e6d4
把上面这个改了一下编了道题放到了多校联考里面，大概率并不会有参加联考的 OIer 在订阅这个 channel 于是贴份代码...
在 NTT 模域下于 \prod (1-a_i x) 形式的多项式的快速（应该）求根。可以在 20 秒内分解 50000 次的多项式（数据随机的情况下）
https://gist.github.com/Mivik/daf5f1a5705b511b919e23ef3f09e6d4
Forwarded from Moxi 偶尔抖机灵的XI
发现一个好玩的项目 ws-scrcpy ，通过浏览器远程连接废旧安卓手机(需要装有adb的物理机)
云 手 机
云 手 机
#statement 动苏想想，也可以以这种方法描述我技术水平的改变
最初在 #Android 写不了几个东西的人，连数据UI都做不到。
数据：OOP struct
程序：复制粘贴，不能理解 API 和子程序、入口点概念，并不能编织二三层深的程序流程。
写多了 Rust,Ruby,JS 的动苏。
数据：1D、基础组行表、流
程序：自由编织的子程序和流程，能利用外部 API 实现略复杂的功能 甚至编写简易 GUI，但简洁性不够好，也不能结合数据结构进行应用编程
数据：2D、递归栈、队列顺序、链接图
程序：定义式编程，物理命名法，不拘泥于任何冗长的表达形式；自由决定值的 copy 或 assign、子程序输入输出和 OOP 变量作用域/赋值处/可变性；默认双向 from/into 转化数据，为程序和数据的统一及协调服务
但是数学不好 以及想要的项目一直没做，却被别人做了这点很草😥 其它领域无所谓、都可以、择日学， 但明明动苏那么喜欢，却没能快速做到呢
什么时候能再有机会啊，真的不想被比下去呢。
最初在 #Android 写不了几个东西的人，连数据UI都做不到。
数据：OOP struct
程序：复制粘贴，不能理解 API 和子程序、入口点概念，并不能编织二三层深的程序流程。
写多了 Rust,Ruby,JS 的动苏。
数据：1D、基础组行表、流
程序：自由编织的子程序和流程，能利用外部 API 实现略复杂的功能 甚至编写简易 GUI，但简洁性不够好，也不能结合数据结构进行应用编程
数据：2D、递归栈、队列顺序、链接图
程序：定义式编程，物理命名法，不拘泥于任何冗长的表达形式；自由决定值的 copy 或 assign、子程序输入输出和 OOP 变量作用域/赋值处/可变性；默认双向 from/into 转化数据，为程序和数据的统一及协调服务
但是数学不好 以及想要的项目一直没做，却被别人做了这点很草😥 其它领域无所谓、都可以、择日学， 但明明动苏那么喜欢，却没能快速做到呢
什么时候能再有机会啊，真的不想被比下去呢。
Forwarded from eW91dHUuYmUvZFF3NHc5V2dYY1EK
lwn.net
Alternative syntax for Python's lambda
The Python lambda
keyword, which can be used to create small, anonymous functions,
comes from the world of functional
programming, but is perhaps not the most beloved of Python features.
In part, that may be because it is somewhat clunky to use, especially…
keyword, which can be used to create small, anonymous functions,
comes from the world of functional
programming, but is perhaps not the most beloved of Python features.
In part, that may be because it is somewhat clunky to use, especially…
Forwarded from &'a ::rynco::UntitledChannel (Rynco Maekawa)
Ray Eldath | 计算机领域的三个重要思想：抽象，分层和高阶
https://ray-eldath.me/programming/three-important-ideas/
https://ray-eldath.me/programming/three-important-ideas/
Ray Eldath's Blog
计算机领域的三个重要思想：抽象，分层和高阶
昨晚看了点比较有意思的东西，于是决定写一篇文章简单讲一下。 本文致力于概括我对计算机界三个重要思想的体会和认识。我希望做的并不是简单的百科全书式的列举（“A 体现了抽象思想；B 体现了分层思想…”），而是从这些思想中选取几个我个人较有体会（或者是我单纯觉得十分有趣）的侧面拿来细讲。这些侧面仅仅能覆盖这些思想应用范围中十分微小的一部分，它们并不是最有代表性的、亦非最为重要的——仅仅因为，我个人对这点
Forwarded from 没有字的回音 ♪️
&'a ::rynco::UntitledChannel
Ray Eldath | 计算机领域的三个重要思想：抽象，分层和高阶 https://ray-eldath.me/programming/three-important-ideas/
咳咳， #ce #PLT #math
前章说了作者最开始的一些见闻和误解，比如抽象代数是PLT必须前置知识什么的。
50% 的篇幅是写作者和 PLT/FP 函数式领域一个学者（他的偶像）的一次来信，皆包含中英文本。总体而言记述性内容多
也谈了 Monad 是不是 operational semantic 的问题，学者的回答好像规避了具体的回答，只是说对高效的程序猿不必看得太重但理论联系也很值得学习。
后面讲了 compile/interpret, currying, partial application 等问题的相关侧面。
我记性比较差就不赘述了，提点关键词 爱看的看吧
动苏是相对较重视实践的，而我目前在这个领域可以说没有什么实质进步，必须先写点什么能用的才好啊。
前章说了作者最开始的一些见闻和误解，比如抽象代数是PLT必须前置知识什么的。
50% 的篇幅是写作者和 PLT/FP 函数式领域一个学者（他的偶像）的一次来信，皆包含中英文本。总体而言记述性内容多
也谈了 Monad 是不是 operational semantic 的问题，学者的回答好像规避了具体的回答，只是说对高效的程序猿不必看得太重但理论联系也很值得学习。
后面讲了 compile/interpret, currying, partial application 等问题的相关侧面。
我记性比较差就不赘述了，提点关键词 爱看的看吧
动苏是相对较重视实践的，而我目前在这个领域可以说没有什么实质进步，必须先写点什么能用的才好啊。