Forwarded from Newlearnerの自留地 (glaze c)
#GitHub情报 #Markdown
🗒 Slidev：用 Markdown 写 PPT
Github | 官网 | NPM
👉 Features：
- 基于 Markdown
- 支持代码高亮，内嵌 Monaco 编辑器
- 自定义主题
- 定制化开发，自定义 Vue 组件
- 使用手机控制幻灯片播放
- LaTex
- 图表
- Web 编辑器，VS Code 插件支持
- 支持录制演讲，包含录屏，摄像头以及麦克风
- 导出PNG，PDF，网站
这是一个属于开发者的 PPT 书写工具。如果想要一个简单的 PPT，开发者可以专注内容，埋头打字。如果想要一个花里胡哨的 PPT，Slidev 可以给予开发者绝对的自由。通过修改 CSS，自定义开发新的组件，任何效果都可以实现。比如官方就提供了 YouTube 和 Twitter 的小卡片组件。
除了 Slidev，还有其他许多用代码来写 PPT 的产品。比如在三四年前我用过 Reveal.js，用 HTML 进行PPT 的书写。相比 Slidev，Reveal.js 需要写很多尖括号。
💭 感想
如果不需要过多的排版，使用这些基于代码的 PPT 产品可以让用户专注于内容。如果使用公用电脑进行演讲，不再会遇到 PPT 软件兼容问题，打开浏览器，输入网址就可以进行演讲。目前来看，这些产品已经足够成熟，完全可以用来制作个人 PPT。但是如果你和其他人合作进行演讲，使用这些基于代码的 PPT 产品或许过于小众，不利于团队讨论和修改。
频道：@NewlearnerChannel
🗒 Slidev：用 Markdown 写 PPT
Github | 官网 | NPM
👉 Features：
- 基于 Markdown
- 支持代码高亮，内嵌 Monaco 编辑器
- 自定义主题
- 定制化开发，自定义 Vue 组件
- 使用手机控制幻灯片播放
- LaTex
- 图表
- Web 编辑器，VS Code 插件支持
- 支持录制演讲，包含录屏，摄像头以及麦克风
- 导出PNG，PDF，网站
这是一个属于开发者的 PPT 书写工具。如果想要一个简单的 PPT，开发者可以专注内容，埋头打字。如果想要一个花里胡哨的 PPT，Slidev 可以给予开发者绝对的自由。通过修改 CSS，自定义开发新的组件，任何效果都可以实现。比如官方就提供了 YouTube 和 Twitter 的小卡片组件。
除了 Slidev，还有其他许多用代码来写 PPT 的产品。比如在三四年前我用过 Reveal.js，用 HTML 进行PPT 的书写。相比 Slidev，Reveal.js 需要写很多尖括号。
💭 感想
如果不需要过多的排版，使用这些基于代码的 PPT 产品可以让用户专注于内容。如果使用公用电脑进行演讲，不再会遇到 PPT 软件兼容问题，打开浏览器，输入网址就可以进行演讲。目前来看，这些产品已经足够成熟，完全可以用来制作个人 PPT。但是如果你和其他人合作进行演讲，使用这些基于代码的 PPT 产品或许过于小众，不利于团队讨论和修改。
频道：@NewlearnerChannel
duangsuse::Echo
ac.k331.one, 朱子润
难怪看这个人文章我觉得亲切，记住他了，原来是一个流派的……
难怪看这个人文章我觉得亲切，记住他了，原来是一个流派的……
josh-hs-ko.github.io
看看程式語言學在幹嘛 — The trek goes on (Josh Ko’s blog)
程式語言學對符號有近乎偏執的愛好與要求：我們以符號為工具精準簡練地表達程式與相關概念，用符號做厲害的事（證明程式性質），設計易用的符號，並且特別喜歡有多重內涵 — 特別是具有數學和邏輯學意義 — 的符號。本文為科普向。
点朱子润resume里的头像，你会发现wow! 🥳
为什么这么wow呢？因为他协作于 章雍哲、柯向上 （除了Agda.. 柯擅长使用 bidirectional transform 解决两个变量树的一致性）
https://josh-hs-ko.github.io/blog/0006/ 这篇挺好读的
ps. 其实对于任何“PL人”之外领域的人，编译器都是随手都来么…… 这个是2010 ACM的成都#4
https://bitbucket.org/zyz915/palgol/src/master/doc/tutorial.md#markdown-header-112-indentation-rule
不过我不得不说，这和py+DSL区别也不大了…… 甚至语意上的优化不如numpy这些「准编程语言」，而且是 dsl2c++，甚至没有1:N port
但其实业界也就那样嘛…… 想起了 np.einsum() ，那才叫设计语言啊，我在国内看到实现语言工具链的都很少了，少数两三个人都是爱设计「艺术品」，中看不中用那种。
ps.😱 grok 支持执行py代码了？
为什么这么wow呢？因为他协作于 章雍哲、柯向上 （除了Agda.. 柯擅长使用 bidirectional transform 解决两个变量树的一致性）
https://josh-hs-ko.github.io/blog/0006/ 这篇挺好读的
https://x.com/i/grok/share/bHjJvTvsgL8KDNBhYIEzvemYo #ai探讨
我注意到BiGUL对一份代码，实现了 get, put 两个操作，组合函数的签名就像JQ，单向函数会validate结果(V)是否如f(S) 否则Err(adapt分支)
可是就 Reactive List 的场景而言，直接以length来"adaptive"或"skip"是很奇怪的，因为无论项是不是int，它肯定该有一个ID，然后，根据局部ID(key函数)来缓存strBiGUL的map结果就行了，就像普通的lru_cache或memo而已
push, splice 这些操作应该直接影响到id，而不是要写另外一堆“默认值”或截短的接口。另外，如果emb再复杂一点，不能是 String(Number(int)) 这样oneliner的正反函数，“魔法”抽象被击穿的代价会非常残酷，让库调用者试图理解整个 'Putback-based BX'，demo里都没做到。😅
ps. 其实对于任何“PL人”之外领域的人，编译器都是随手都来么…… 这个是2010 ACM的成都#4
https://bitbucket.org/zyz915/palgol/src/master/doc/tutorial.md#markdown-header-112-indentation-rule
不过我不得不说，这和py+DSL区别也不大了…… 甚至语意上的优化不如numpy这些「准编程语言」，而且是 dsl2c++，甚至没有1:N port
但其实业界也就那样嘛…… 想起了 np.einsum() ，那才叫设计语言啊，我在国内看到实现语言工具链的都很少了，少数两三个人都是爱设计「艺术品」，中看不中用那种。
ps.
Please open Telegram to view this post
VIEW IN TELEGRAM