首页   注册   登录
 sadhen 最近的时间轴更新

sadhen

V2EX 第 36007 号会员,加入于 2013-03-17 09:48:16 +08:00
今日活跃度排名 10095
Github 挑战送书,涉及 Rust 等多种语言,周末消遣一下
  •  1   
    程序员  •  sadhen  •  3 天前  •  最后回复来自 sadhen
    20
    Github 挑战送书:在 GNU TeXmacs 中实现 Rust REPL
    问与答  •  sadhen  •  7 天前  •  最后回复来自 sadhen
    3
    SageMath Plugin for GNU TeXmacs
    程序员  •  sadhen  •  7 天前  •  最后回复来自 CuriousBull
    1
    用 Scala 在 V2EX 做抽奖活动
    程序员  •  sadhen  •  10 天前  •  最后回复来自 yishenggudou
    2
    送出几本《Scala 实用指南》
  •  1   
    程序员  •  sadhen  •  9 小时 36 分钟前  •  最后回复来自 chocolatesir
    479
    Contributing to TeXmacs: for guys who are tired of JVM languages
    程序员  •  sadhen  •  117 天前  •  最后回复来自 sadhen
    9
    《Scala 实用指南》上架啦!(附 Scala 相关图书简评)
  •  1   
    程序员  •  sadhen  •  21 天前  •  最后回复来自 tldzyx
    19
    几乎所有的同事都不支持用 python3 哎
    Python  •  sadhen  •  2017-04-26 17:14:50 PM  •  最后回复来自 Mitt
    34
    数据分析和机器学习用 Python 2 还是 Python 3
    Python  •  sadhen  •  2017-04-26 13:05:05 PM  •  最后回复来自 onelove
    21
    Spring Boot with Scala (TLNR)
  •  1   
    程序员  •  sadhen  •  2017-10-20 10:17:41 AM  •  最后回复来自 jack80342
    8
    sadhen 最近回复了
    @hourann Homebrew 的问题我已经修复了。有兴趣加一下我们的 QQ 群:934456971

    https://zhuanlan.zhihu.com/texmacs

    最近开始做一些科普的宣传,另外下周四晚上还会在 Shanghai LUG 做一个分享
    6 天前
    回复了 sadhen 创建的主题 程序员 送出几本《Scala 实用指南》
    @tamlok 我其实想花点时间鼓捣 VNote,学习一下 Qt,最后忽悠大佬过来折腾 GNU TeXmacs。

    不过人的精力还是有限的。
    这个 CMake 的构建是我在维护,但是不成熟,我是用来构建和阅读代码的。官方提供的包是用别的方式制作的,细节我不太清楚。如果只是鼓捣插件,可以不用构建整个 TeXmacs。
    @hourann OK, 过会儿我处理一下,后面有空我补充一点开发文档,以及整个软件的一些设计
    http://texmacs.org/tmweb/plugins/cas.en.html

    刚刚把这个页面上的 CAS 系统试了一遍,对这些欧洲的数学家,还是很佩服的。里面有好多官网(域名)已经从一个搬到了另一个国家,但是项目还一直在维护。
    @hourann 这个卡顿的问题已经修复了,see https://github.com/texmacs/GNUTeXmacs/commit/fe0b382070e8355426a1356a46bda7b372503cf5

    就是上面的 bad commit 里面最后那个 100ms 的延时有点莫名奇妙,反正删掉就好了。

    感谢!!!
    刚刚是在 Linux Deepin 的旧版上试的,现在又编译了一遍,发现是最新的代码有问题 :(

    git bisect 应该就能定位
    我在 Linux Deepin 上试了一下,没有这种感觉,可能是 MacOS 版本有点问题。
    @hourann 谢谢反馈,我研究一下怎么做 C++项目的性能优化

    之前用过 valgrind 试了一下,原理大概是用模拟器去跑整个应用,但是基本上卡得要命。所以只能把代码模块化之后,用专门的 benchmark 模块做 Profiling 和 Tuning。
    关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   1993 人在线   最高记录 3762   ·  
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.1 · 16ms · UTC 13:25 · PVG 21:25 · LAX 06:25 · JFK 09:25
    ♥ Do have faith in what you're doing.
    沪ICP备16043287号-1