V2EX › xieyuheng 的所有回复 › 第 9 页 / 共 9 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

1 2 3 4 5 6 7 8 9

❮

❯

2022 年 1 月 16 日

回复了 xieyuheng 创建的主题 › 数学 › 「蝉语 / Cicada Language」一个可以用来辅助数学定理之证明的程序语言

@GeruzoniAnsasu 源码里有非常完备的测试哦。

详情请见这里的 `tests/`： https://github.com/cicada-lang/cicada/tree/master/docs

另外，其中的 `manual/` 和 `articles/` 也算是带有文档的测试，运行测试的时候会跑到的。

2022 年 1 月 16 日

回复了 xieyuheng 创建的主题 › 数学 › 「蝉语 / Cicada Language」一个可以用来辅助数学定理之证明的程序语言

@cmdOptionKana

为这个项目努力了很久很久了，还是第一次见到这样的这样的评价。

有点感动，谢谢你。

2022 年 1 月 16 日

回复了 xieyuheng 创建的主题 › 数学 › 「蝉语 / Cicada Language」一个可以用来辅助数学定理之证明的程序语言

@Ultraman 这里有对「加法交换律」的证明哦：

https://readonly.link/manuals/gitlab.com/cicada-lang/cicada/-/datatype/01.1-proving-theorems-about-nat.md

2022 年 1 月 16 日

回复了 Livid 创建的主题 › REWORK › 现在可以通过 github 获取 OLIVIDA 译本的 txt 格式

@Livid 请问现在不能在 https://www.v2ex.com/go/rework 创建新主题了吗？

我尝试了几次都是提醒我重试。

2022 年 1 月 15 日

回复了 xieyuheng 创建的主题 › 数学 › 「蝉语 / Cicada Language」一个可以用来辅助数学定理之证明的程序语言

欢迎大家转发给可能会感兴趣的朋友捏～

2022 年 1 月 12 日

回复了 xieyuheng 创建的主题 › 程序员 › 我用我设计的书籍渲染工具，渲染出了站长翻译的 REWORK

@Rorysky

我可以渲染对 markdown 的扩展： https://readonly.link/books/github.com/readonlylink/readonlylink-cookbook

之后会有交互相对复杂的扩展，不只是样式和排版。

2022 年 1 月 11 日

回复了 Livid 创建的主题 › 分享创造 › CodeLauncher · 我们做了一个 macOS 上的后端开发服务器进程管理工具

站长加油哇！

2022 年 1 月 11 日

回复了 hjue 创建的主题 › 程序员 › 有人用 ripgrep（rg) 吗？

还有两个类似的是 ambs ambr ，我经常用这个还有 ag 。

https://github.com/dalance/amber

2022 年 1 月 11 日

回复了 hjue 创建的主题 › 程序员 › 谁给推荐个手机上看 github 上的电子书的 App？

@stanjia 如果朋友们有用到我这服务的话，欢迎给我反馈，我会加油改进的！

2022 年 1 月 11 日

回复了 hjue 创建的主题 › 程序员 › 谁给推荐个手机上看 github 上的电子书的 App？

@hjue

我想书的特点是线性的阅读，所以可能会保持目前的 layout ，阅读的时候能专心，没有侧边栏。

另外，会有一个 `manuals/` route ，来专门支持带有侧边栏的，类似 gitbook 的效果，
想法是，这种 layout 适合读者查阅和探索。

2022 年 1 月 11 日

回复了 xieyuheng 创建的主题 › 数学 › 《我是如何开始关心数学基础的》

「只读链接」增加中文 UI 啦： https://readonly.link

2022 年 1 月 11 日

回复了 Kingfish404 创建的主题 › 设计 › 不知道为啥，最近好喜欢最极简的设计，有盆友了解相关网站么

「只读链接」是一个文档渲染工具，文字创作者的社区。

我觉得就是极简的设计： https://readonly.link

2022 年 1 月 6 日

回复了 xieyuheng 创建的主题 › 分享创造 › Readonly.Link 是一个 Markdown 渲染平台，可以给 Markdown 写扩展！

我刚刚加了一个 Dedication Page 的功能：

https://readonly.link/books/github.com/xieyuheng/cicada-monologues/-/00.0-dedication.md

这里是文档：

https://readonly.link/books/github.com/readonlylink/readonlylink-cookbook/-/03-dedication-page.md

2022 年 1 月 5 日

回复了 xieyuheng 创建的主题 › 分享创造 › Readonly.Link 是一个 Markdown 渲染平台，可以给 Markdown 写扩展！

这里是一个链接到 gitlab 的例子： https://readonly.link/articles/gitlab.com/xieyuheng/inner/-/translations/zh/

2022 年 1 月 5 日

回复了 xieyuheng 创建的主题 › 分享创造 › Readonly.Link 是一个 Markdown 渲染平台，可以给 Markdown 写扩展！

@Jinnyu github API rate limit 比较低。用 gitlab.com API 的时候比较好。

之后也会加上 OAuth 来突破 github API 的 rate limit 。

2022 年 1 月 5 日

回复了 xieyuheng 创建的主题 › 数学 › 《我是如何开始关心数学基础的》

@sillydaddy

我在写一本书，用来介绍我设计的辅助证明语言，
也是从自然数开篇的： https://readonly.link/books/github.com/xieyuheng/cicada-monologues/-/01-nat.md

不过我的书还正在写，写完之后我会回来向大家分享的！

2022 年 1 月 5 日

回复了 xieyuheng 创建的主题 › 数学 › 《我是如何开始关心数学基础的》

@lostberryzz 是的呢！感谢你的鼓励！这个工具的主页在这里： https://readonly.link/ 很快也会将 UI 中文化，并且写一些中文的文档。

2022 年 1 月 5 日

回复了 hjue 创建的主题 › 程序员 › 谁给推荐个手机上看 github 上的电子书的 App？

https://readonly.link/

2018 年 3 月 29 日

回复了 Feiox 创建的主题 › 程序员 › 如今还有多少活着的中文 IRC 频道 ~

还有 #archlinux-cn-offtopic

2018 年 3 月 29 日

回复了 Feiox 创建的主题 › 程序员 › 如今还有多少活着的中文 IRC 频道 ~

#archlinux-cn 最棒

1 2 3 4 5 6 7 8 9

❮

❯