墨干V1.1.0: 新一代结构化编辑器的雏形
大家好,我是沈浪熊猫儿,毕业于中国科学技术大学计算机系,从 2013 年开始参与 GNU TeXmacs。
GNU TeXmacs 是法国数学家 Joris van der Hoeven从上世纪九十年代开始研发的一个结构化编辑器,旨在利用直观的图形界面编写高质量的技术文档,目前主要用户集中于中小学教师(目前集中在法国)及高校科研人员。
2022年1月30号,我发布了墨干 V1.0.0,并创建了墨者实验室这样一个非盈利的松散自由的组织,是为了普及 GNU TeXmacs,让所有人都能享用 Joris 的软件作品。
点击这里可以观看墨干V1.1.0的发布会视频。
点击这里可以跳转到墨干 V1.1.0 的 Gitee 发布页面,提供 Windows/macOS 这两个系统的安装包。GNU/Linux 用户可以从源代码自行编译安装。
GNU TeXmacs 是什么
墨干是 GNU TeXmacs 的衍生版,下面是翻译自 GNU TeXmacs 官方网站首页的“GNU TeXmacs 是什么”:
- GNU TeXmacs 是一个免费的科技编辑器平台,提供了“所见即所得”的用户界面,可用于创建漂亮的技术文档
- GNU TeXmacs 为不同类型的结构化文档内容(文本、数学公式、图像、交互式内容、幻灯片)提供了一致且优化的编辑体验
- GNU TeXmacs 可用作各种系统的图形化前端,比如计算机代数系统、数值分析系统、统计分析系统
- 其文档以 GNU TeXmacs 的 tm 格式存储,可以导出为 PDF/Postscript 文档。内置 TeX/LaTeX 和 HTML/MathML 转换器。但 TeXmacs 并不是基于 LaTeX 的
- 其渲染引擎高质量的排版算法输出专业水准的文档,既可用于打印,也可用于在电脑屏幕上展示。
- 用户可以自定义排版样式,也可以使用 Scheme 扩展语言为编辑器添加新功能
- 可以在所有主流 Unix 平台、macOS 和 Windows 上运行
墨干 V1.1.0:更快更好的 GNU TeXmacs
墨干衍生自 GNU TeXmacs,做了大量合理的配置调优和“激进”的技术选型。德国波恩大学教授 Massimiliano Gubinelli 将 GNU TeXmacs 的底层执行引擎切换为小巧且高性能的 S7 Scheme,我们基于 S7 Scheme 的分支,做了大量细致的后续适配工作,终于在历时十个月的打磨中,发布了墨干 V1.1.0:更快的 GNU TeXmacs。
从墨干V1.1.0开始,我们将 tm 格式中的 Cork 编码切换成了 Unicode。以星球中《2022年第63届IMO试题》的标题对应的序列化内容为例:
- <doc-data|<doc-title|2022\<#5E74\>\<#7B2C\>63\<#5C4A\>IMO\<#8BD5\>\<#9898\>>>
+ <doc-data|<doc-title|2022年第63届IMO试题>>
我自己翻译的书**《Scala实用指南》**的 TeXmacs 版本(私有非公开文档)一共是 1904502(1.9M),采用新的格式,直接缩小到了 1272094(1.3M),体积降到了 66.8%。除了文档体积能够大大缩小,相应的软件内存占用和文档加载速度也能因此有大幅提升。此外,使用 Unicode,在用各种版本管理工具时,文档本身和所生成的 DIFF 对于中文用户是肉眼可读可搜索的。这就是为什么我们说墨干 V1.1.0 是更好的 GNU TeXmacs,而且对于我们中文用户而言更是如此。
助力教育与科研
墨者实验室主要由专业的软件工程师、数学专业的大学生、数学教育工作者和研究机构的研究员组成。我们启动了两个项目星球和百科,助力中国的教育与科研。
星球目前相对比较成熟,聚合了大量 TeXmacs 文档,清单如下:
- 2021 年各省市高考数学试卷
- 2022 年各省市高考数学试卷
- 2022 年第 63 届 IMO 试题
- LaTeX 符号大全(以及 TeXmacs 对应的输入方式)
这些文档都是可以编辑的,也可以导出为 PDF 用于打印。
百科还在探索阶段,我们在墨干 V1.1.0 做了大量 BibTeX 相关错误修复和功能增强,为后续建设专业的科学技术领域的百科奠定了坚实的基础。
对于教育,尤其是在线教育,墨干 V1.1.0 的另外一个重要变更是内置了大量幻灯片主题,这个变更由Gitee平台的用户 jingkaimori 为我们贡献。北京师范大学-香港浸会大学联合国际学院的教授使用了墨干进行学术论文和报告的编辑,并计划在大学数学课程的创新教学实验上使用墨干。
如何学习墨干
墨干内置丰富的中文文档(主要由我自2013年开始翻译完成),另外墨客星球也提供了不少原创中文文档的补充。
除了丰富的中文文档,我还在Bilibili制作了很多简短的教学视频。每次墨干重要版本发布,我都会制作发布会视频,详细讲解其中一些重要的功能。本次墨干 V1.1.0 发布会的视频,新用户第一次安装墨干,就可以在默认展示的帮助文档中点击视频集锦找到。
墨干V1.1.0: 新一代结构化编辑器的雏形相关推荐
- QQ靓号申请器v1.2.0.0【源码】
*1.再次调整优化工具的整个界面, 更换了控件皮肤. *2.软件逻辑优化, 增加内存释放功能. *3.修复验证码位数错误,改进程序框架, 异常处理更加完善. *4.增加了号码管理功能, 考虑准备添加自 ...
- 吉吉影音播放器 v1.6.0.1 官方安装版
吉吉影音播放器 v1.6.0.1 官方安装版 软件大小:19.9MB 软件语言:简体中文 软件性质:常用软件 软件授权:官方版 更新时间:2014-05-05 应用平台:/Win8/Win7/WinX ...
- 人人网相册批量下载器V1.1.0.3发布
人人网相册批量下载器V1.1.0.3使用说明 V1.1.0.3 Dbank下载地址:http://dl.dbank.com/c0pz5nlaph 天空软件站下载地址:http://www.skycn. ...
- Gitea v1.17.0 正式发布 | 集成软件包管理器、容器镜像仓库
我们自豪地宣布 Gitea v1.17.0 发布了.本次发布带来了诸多新特性和累积的更新,我们强烈建议用户在更新到最新版本之前仔细阅读发行注记. 在 1.17.0 版本的开发中我们一共合并了 645 ...
- 域控制器升级的先决条件验证失败新建_快应用开发工具升级v1.4.0
IDE v1.4.0 更新日志(Release Notes) 一.[新增]IDE编译配置项 二.[新增]语法插件增加template中方法自动补全 三.[优化]IDE web预览模块增加编译失败页面, ...
- Spark编程指南V1.4.0(翻译)
Spark编程指南V1.4.0 · 简介 · 接入Spark · Spark初始化 · 使用Shell · 在集群上部署代码 · ...
- 免费的可视化Web报表工具,JimuReport v1.5.0版本发布
项目介绍 积木报表,一款免费的可视化Web报表工具,像搭建积木一样在线拖拽设计!功能涵盖,数据报表.打印设计.图表报表.大屏设计等! 秉承"简单.易用.专业"的产品理念,极大的降低 ...
- Jboot v1.4.0 新增分库分表及 websocket 相关 demo
Jboot 是一个基于 JFinal 和 Undertow 开发的微服务框架.提供了 AOP.RPC.分布式缓存.限流.降级.熔断.统一配置中心.Opentracing 数据追踪.metrics 数据 ...
- Jeecgboot-Vue3 v1.2.0 版本正式发布,企业级低代码平台
项目介绍 Jeecgboot-Vue3 采用 Vue3.0.Vite. Ant-Design-Vue.TypeScript 等新技术方案,包括二次封装组件.utils.hooks.动态菜单.权限校验. ...
最新文章
- 通过define _CRTDBG_MAP_ALLOC宏来检测windows上的code是否有内存泄露
- 重写 View 的 Touch 方法,实现一个酷炫的九宫格图片
- 【Unix 网络编程】TCP状态转换图详解
- Spark广播变量使用示例
- JavaScript实现找出一个数的质因数primeFactors算法(附完整源码)
- RedOffice教你DIY环保小日历
- java超出gc开销_通过这5个简单的技巧减少GC开销
- 设置clion执行前的cmake命令,和CMAKELIST.txt不冲突
- 安装npm_微信小程序使用npm安装第三方库
- C++ newdelete
- 饿了么异地多活技术实现
- 大数据平台常用组件_京东大数据平台进化之路
- 最近在校园内发现暴风一号病毒(俗称1kb病毒),普及一下查杀和修复的方法
- 计算机视觉 --基于opencv实现证件照换底色、翻转
- cad卸载工具_「Windows」不足10M的卸载软件,卸载得可真干净啊
- 计算机添加本地安全组用户名和密码错误,win7系统访问远程共享文件夹提示未知的用户名或密码错误的解决方法...
- 个税计算公式excel_我月薪1万,为啥个税只交150块捏?
- js日期减一个月_正正正国庆!折上再减!三亚/香格里拉/稻城/拈花湾,最低499元…...
- WARN: Establishing SSL connection without server‘s identity verification is not recommended. Acco...
- 云桌面优缺点_相比传统PC,云桌面优缺点在哪里?
热门文章
- 跨境软体家具垂直供应链平台“品划算”获银河系千万级天使轮融资
- 一键加群android代码如何使用!
- 低分怎么上计算机专科学校,低分“首选”这四个专业,不仅给全家能争光,专科也能进国企...
- Macbook Air安装Win7与苹果双系统实操
- matlab ftt图像压缩,求助 fft图像压缩程序问题
- zTree单击展开节点
- Elasticsearch:创建 Ingest pipeline
- vim格式化html代码
- 练习下微信发红包测试用例
- 如何在macOS 中让Gatekeeper在任何地方允许应用程序