昨天很多人都收到信息：中宣部授予王戟同志“时代楷模”称号。

一个年仅14岁就踏入国防科大校门的天才少年，师从名师，本硕博连读，一路成长为教授、领域专家，却在43岁那年被命运骤然按下了“暂停键”——主动脉夹层，双下肢高位截肢。

后来又被确诊肾衰竭，每周需要透析两三次，就在这十几年间，他却坐着轮椅、插着透析管，带着团队啃下了军用软件安全验证这块硬骨头。

前不久，中央宣传部授予他“时代楷模”称号，他叫王戟，看完他的故事，我想聊的不是简单的感动，而是这件事背后，为什么我们非要死磕“软件安全”不可，以及一个身陷绝境的人，靠什么还能继续“冲锋”。

很多人可能觉得，软件出bug顶多就是手机卡顿、电脑蓝屏，但在大国重器上，一行代码的错误，代价是毁灭性的。

公开报道里提到过一个细节：上世纪90年代末，某型火箭就是因为火箭飞行控制软件里一行代码的错误，升空仅仅40秒就解体爆炸了。

这不是电脑死机，是火箭坠毁，是几十亿的投入和无数科研人员的心血瞬间化为灰烬。

王戟做的，就是给这些装备的软件“找茬”，他国内最早倡导的“高可信软件技术”，说白了就是一套理论加工具，像做CT扫描一样，给导弹、卫星、战机的核心软件做深度体检，找出那些隐蔽极深、人工测试根本发现不了的致命漏洞。

王戟带领团队研发的工具体系，把代码检测能力从万行级提升到了千万行级，相当于把安检从扫个表面升级成了能看穿五脏六腑的核磁共振。

这套技术用在了咱们的主战装备和航天工程上，拿下了国家科技进步奖。

这才是问题的关键，西方在软件工程领域的积累比我们早得多，很多核心工具和标准都掌握在别人手里。

王戟他们做的事，不是简单地“查bug”，而是在构建中国自己的软件安全防线，用他的原话说，“别人的东西靠不住，关键核心技术必须掌握在自己手里”。

这背后的逻辑，不是争强好胜，而是生死攸关——未来战争打的是信息化、智能化，软件就是装备的“大脑”，大脑被对手摸透了、甚至被植入了“木马”，仗还没打就已经输了。

那么，王戟的价值就不仅是技术突破，更是一种精神和信念的标杆，他2013年截肢后，2015年就坐着轮椅回来牵头某国防973项目，这是当时全军唯一面向这个领域的纯软件项目。

后来又经历700多次透析，仍然坚持在教学一线，30多年培养了120多名国防软件人才。

我注意到一个细节：他截肢后，为了不麻烦别人，就自己练习从轮椅挪到车上，靠着双臂和腰腹的力量腾空平移，反复摔打、反复练习，硬是掌握了这门“手艺”。

一个失去双腿的人，还在拼命维护自己的独立和尊严，他能撑下来，除了个人意志，也离不开背后有一群人托举——学校为他改造无障碍通道，同事八年如一日接送他上下班，医院全力救治，妻子撑起整个家。

这说明，一个国家的强盛，不光看顶尖人才的超凡意志，还要看整个社会有没有尊重人才、爱护脊梁的“软环境”。

回看王戟的一生，14岁上大学是天才，43岁截肢是苦难，而在此后十余年的透析和轮椅上，他活成了一种象征。

这个象征告诉我们，所谓的“卡脖子”问题，不只在光刻机和芯片制造上，也在每一行看不见的代码里；所谓的“强国强军”，不只是装备更新换代，更是一代代科研人员拿命去拼的“可信”和“可靠”。

王戟身体被困住了，但他的代码和他的学生，正在替他在更广阔的战场上“冲锋”，这大概就是一个科技工作者能给出的，最好的答案。