V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  pragmatwice  ›  全部回复第 2 页 / 共 2 页
回复总数  24
1  2  
2021-05-25 12:49:49 +08:00
回复了 Tony042 创建的主题 求职 求一个 1-2 周的短期实习
正常来讲,hr 不会接受只有两周的实习申请。
2019-01-30 20:28:10 +08:00
回复了 zanzhz1101 创建的主题 DNS 查 dns 污染的时候发现了一个有趣的事情
Wikipedia-zh 对此有比较详细的记录,位于「域名服务器缓存污染」条目。
@shikimoon QAQ 我竟然认不出你是哪个聚聚

另外 PL 的各种资料可以参考 https://steshaw.org/plt/
1. 和你目前看的 SF 同一个作者写的 TaPL (Types and Programming Language),之后还有一本 ATTaPL
2. 上面两本书作者整理的 Great Works in Programming Languages (一堆论文)
3. 不喜欢 Coq ( SF 标配)可以 Haskell -> Agda / Idris,可一看下 Wow-FV-zh / dt-programming-in-agda

* 不给链接的原因是你可以直接 Google 上面的关键词得到链接
* 我也才开始学 QAQ
1  2  
关于   ·   帮助文档   ·   自助推广系统   ·   博客   ·   API   ·   FAQ   ·   Solana   ·   3022 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 15ms · UTC 13:36 · PVG 21:36 · LAX 06:36 · JFK 09:36
♥ Do have faith in what you're doing.