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

lrxiao

V2EX 第 217964 号会员,加入于 2017-02-28 15:39:37 +08:00
今日活跃度排名 22978
npm 这是在搞哪出?
程序员  •  lrxiao  •  2018-01-07 13:21:29 PM  •  最后回复来自 zachguo
13
MSVC 在接下来的 VS15.3 终于支持了 2-phase name lookup
C/C++/Obj-C  •  lrxiao  •  2017-09-27 22:33:16 PM  •  最后回复来自 yorTX9t
2
话说大家知道 MathJax 要关闭 CDN 了吗?
CDN  •  lrxiao  •  2017-04-28 08:16:15 AM  •  最后回复来自 cqcn1991
3
lrxiao 最近回复了
14 天前
回复了 xiangyuecn 创建的主题 程序员 如何理性对待:代码还在,人不在了?
有段时间我对着装配脑袋大牛的教程撸编译器...然后就看到了知乎问题
计算机架构 软硬件接口+量化研究方法
没讲 GPU
35 天前
回复了 qazaq408 创建的主题 程序员 这样做有没有违法的地方
没有软件外观 copyright 没有竞业 Trade secret 协议
重新实现不拷贝代码不侵犯 copyright
39 天前
回复了 szzhiyang 创建的主题 程序员 GitHub 成立 20 周年时该怎么办呢?
好像 20-100 1000 1e6 1e9 都有人注册了(
39 天前
回复了 szzhiyang 创建的主题 程序员 GitHub 成立 20 周年时该怎么办呢?
233333 脑洞清奇
45 天前
回复了 chaoxu 创建的主题 奇思妙想 一个算法问题的数据库的想法
感觉要定义一个问题和算法以及适用范围可能会比较困难,同时算法 /数据结构真的会有大量的通用结构吗?
最近的 Morning Paper blog 好像有几篇自动选择算法数据结构的
比如 https://blog.acolyer.org/2019/01/23/the-data-calculator-data-structure-design-and-cost-synthesis-from-first-principles-and-learned-cost-models/
type system 入门: TAPL 证明入门: Software Foundation
此外还有 PFPL ATTAPL Oregon summer school LambdaConf 美国大学的 Programming Language 课程,比如 UChicago CMCS 312, UMich EECS490

中文材料的话 TAPL 有中文版,此外有中文版的还有 Concepts in Programming Language 和 Programming Language Pragmatic

(上面都是我 xbb 的,我连门都没入)
@12101111 写'~'和'@'的在老 issue 里(<10000)看到不少
https://news.ycombinator.com/item?id=7687351

写'+'的我还真看过一篇找不到了,可能我记错了吧
关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   1059 人在线   最高记录 4385   ·  
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.3 · 11ms · UTC 18:29 · PVG 02:29 · LAX 11:29 · JFK 14:29
♥ Do have faith in what you're doing.
沪ICP备16043287号-1