[八卦] 据说Dropbox要试着在内部推广PyPy
去年年底的消息。就跟Pyston talk差不多时间吧。- "What about Pyston?"- "At least one of them works."还挺好玩。不过看着Pyston还不断在开发中,大概Pyston也不会就此挂掉吧…
10170 Sprague-Grundy定理是怎么想出来的
最近接触了两个双人组合博弈游戏。它们的解法都用到了Sprague-Grundy定理(见文末),利用这个定理,可以写出高效的记忆化搜索程序,以计算必胜策略。Sprague-Grundy定理如神来之笔一般为游戏的每个状态定义了一个Sprague-Grundy数(简称SG数),又同样匪夷…
[新闻] Azul Systems正式宣布32位ARM上的Zulu Embedded
新闻稿:Azul Systems enhances Zulu Embedded to support 32-bit ARM processors这是Azul Systems在OpenJDK的基础上做的ARMv7 / AArch32 port。目前已经有解释器以及完整的Client Compiler(C1)实现。贯彻Zulu产品线的一贯作风,这个ARM port的所有代码都…
[号外] Cliff Click大神也看上给Python加JIT了
Winds of Change - Cliff Click's BlogPython Go Fast: Do Unto Python as Thou hast Done Unto Java. I hack the guts of Python; add a high power JIT, a full-fledged low-pause GC, true multi-threading support, i.e. make Python as fast and as pa…
Pyjion的代码质量一例 [20160221]
上一篇文章简单介绍了一下Pyjion项目的目标与概况。相信很多同学都很好奇,目前的Pyjion到底效果如何对不对?那我们就从一个再简单不过的例子来一探究竟。非常感谢
[新闻] CPython / 微软 Pyjion / IBM Python+OMR
大背景 在进入主题前,请先看看IBM Research以前做过的类似项目的经验:Fiorano项目。Fiorano是IBM Research做的一次尝试,将IBM J9 JVM所使用的Testarossa(TR)编译器单独拿出来,插入到CPython运行时中为后者提供JIT编译服务。传送门:Adding Dynamicall…
[新闻][JavaScript引擎] WebKit JavaScriptCore用新的B3编译器后端替代FTL JIT中的LLVM
传送门: Introducing the B3 JIT Compiler <- 这篇介绍写得非常好,清晰的讲解了B3的设计目的、思路和效果。 B3文档:Bare Bones BackendB3 IR文档:
[新闻][小道消息] ART又要考虑用基于LLVM的编译器了…
如题。真就跟国内修公路一样,修了拆拆了修…>_< 还不知道这个传闻的准确性就是了。<- 结果这个消息看来是假的嗯。过了那么久都没有见到实际的动静。 另外一方面,ART在向着使用OpenJDK类库的方面倒是有扎实的进展。看这个 runtime/openjdkjvm/OpenjdkJvm.cc…
10130 《小幸运》歌词日文试译
去年CMU中秋好声音晚会上,有个妹子唱了一首《小幸运》,让我一下就迷上了这首歌。前一阵子在网上发现了两首日文版:https://www.youtube.com/watch?v=uxEjTLukDXU
[新闻] ART有了新的汇编写的解释器
Merge "Fast Art interpreter"觉得Android Runtime(ART)的解释器比不上Dalvik用汇编写的解释器的同学,你们得到了:汇编解释器卷土重来 ^_^——显然,ART还是有相当部分的代码要在解释器里跑,不然解释器性能再差又如何呢。而dex2oat对PGO的支持也如火如…
新手上路学习JavaScript引擎实现——路线图
最近在知乎接连看到几个相关的问题:如何阅读 ChakraCore 的代码? 新手应该如何读Google V8引擎源代码? Kinoma XS6 是一款怎样的 JavaScript 引擎? 这些问题都是试图从阅读源码着手去学习JavaScript引擎的实现的。然而,对新手而言,直接从一个复杂的实现…
[新闻] 微软如期开源ChakraCore JavaScript引擎
ChakraCore GitHub repository is now openMicrosoft/ChakraCore · GitHub
10109 坎昆游记
从12月22号到29号,我和6个小伙伴在墨西哥坎昆享受了一个星期的大海和阳光。 如果说北美洲的版图是一条美人鱼,那么坎昆就位于这条美人鱼的尾巴尖上。由此往东,是由古巴、海地、多米尼加共和国、波多黎各、维珍群岛等国家和地区组成的一串岛链,它们的北边…
[号外] 看图猜语言实现——答案
之前发的[号外] 看图猜语言实现帖大概也不会有新的跟帖回答,是时候放答案了。 其实答案就在这个回答里:如何评价 IBM 的 Ruby + OMR? - RednaxelaFX 的回答第一组图的关键字:J9 第二组图的关键字:Testarossa 第三组图的关键字:Modron 结合起来就是:IB…
10094 《施氏食狮史》中古汉语朗读
第一次上传中古音朗读视频,欢迎拍砖! 墙内地址:http://v.youku.com/v_show/id_XMTQxNDU3NTY2NA==.html 墙外地址:
[号外] 看图猜语言实现
结合这个专栏的主题以及我在知乎最近的动态,看下面的几张图猜一个编程语言平台的实现的名字。所有图结合起来都是指同一个实现(可能指其中的某个部分),不是每组图对应一个语言/实现啥的。把图片分组是因为同一组的图隐含的是同一个单词。猜的是语言的实…
10064 记第一次“黑客松”
昨天我参加了人生中第一场 hackathon ——连续 12 小时的编程竞赛。原来在出生 10000 天以后,还可以有第一次做的事情~ 这次比赛是由量化交易公司 Jane Street 主办的,题目就是写一个自动炒股机器人。我所在的队伍由三名博士生组成,除了我,还有数学系的…
10039 区分「は/는」「が/가」之道
日语中助词「は」「が」的区分,以及韩语中助词「는」「가」的区分,是一个从初级阶段到高级阶段一直都会困扰学习者的老大难问题:两个助词都可以用于标示句子的主语,那么它们有什么区别呢?网上有不少辨析两个助词的文章,但质量参差不齐,有些文章甚至总…
10037 赌徒的长征(6)——尾声
在这一系列专栏中,我们终于证明了阿聪策略的期望收益为0。证明过程充满了曲折:阿聪的赌局可以化归成带移动吸收壁的一维随机游走,利用谱分析法可以证明该游走的期望持续时间有限。根据这一点,以及赌本随时间线性增长的性质,仿照鞅的停时定理的证明过程…
10037 赌徒的长征(5)——靠谱的谱分析
上一篇文章中,我们把阿聪的策略转化成了一个一维随机游走Y_t,初始位置为Y_0 = 1,左侧有固定吸收壁y=0,右侧有移动吸收壁y = \sqrt{t+5}。我们的目标是证明粒子的期望存活时间有限。为了寻找思路,我首先模拟了一下粒子位置的分布随时间的变化情况。 用p_…