V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  aresyang  ›  全部回复第 1 页 / 共 1 页
回复总数  18
FastStone Capture 10.5, 注册码很多
华为
@amiwrong123 抽象机器 locate 值
亚朵一些城市早餐美食非常丰富, 省得探店功夫
191 天前
回复了 huohuang 创建的主题 职场话题 选工作,技术岗 成都电信 vs 深圳富途
电力电信等你 58 岁也不会裁员, 体制外就自求多福了
191 天前
回复了 stardustree 创建的主题 云计算 云计算的发展方向是不是出现了问题
XAAS 的本质是按需付费, 这类税收从电力到通信还是第一次落在私企头上
咸鱼 3060ti 1800
204 天前
回复了 chnsatan 创建的主题 生活 有多少老哥是五一请 3 休 9 的?
这么请怕调岗去测试
204 天前
回复了 54qyc 创建的主题 问与答 全平台的最强 PDF 阅读器是不是 WPS?
PDFgear
ocaml
农闲或大龄就业看一个产业外移, 工人师傅的就业市场要避免年龄大的不利影响的话应该在去上海附近启东找,在深圳去附近惠州找
328 天前
回复了 zhddd 创建的主题 旅行 体验过零下 20 摄氏度的进来
去过亚布力, 你需要羽绒裤以免腿落下毛病
352 天前
回复了 luomao 创建的主题 程序员 如何带一个 0 基础的女生接触编程呢
cs50
cs51
cs3110
cs61abc
cs61
windows 是最好的 unix os :( wsl2
2023-11-07 22:40:08 +08:00
回复了 WilliamColton 创建的主题 C 各位有什么深入了解 C 语言的书嘛?
@aresyang 细节在 Mechanized semantics for the Clight subset of the C language https://xavierleroy.org/bibrefs/Blazy-Leroy-Clight-09.html
2023-11-07 22:35:38 +08:00
回复了 WilliamColton 创建的主题 C 各位有什么深入了解 C 语言的书嘛?
深入到都看不懂的地步如何,Formal C semantics: CompCert and the C standard https://xavierleroy.org/bibrefs/Krebbers-Leroy-Wiedijk-2014.html
会不会因为非 985 连 od 都没机会了明年
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   2935 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 32ms · UTC 13:57 · PVG 21:57 · LAX 05:57 · JFK 08:57
Developed with CodeLauncher
♥ Do have faith in what you're doing.