最新

Ironclad - 正式验证的、具备实时能力的类Unix操作系统内核

36 分•作者: vitalnodo•大约 2 个月前•原帖

几个国家已经将空中交通管制私有化。美国应该这样做吗？

1 分•作者: JumpCrisscross•大约 2 个月前•原帖

是时候将美国空中交通管制私有化了——借鉴加拿大的模式

1 分•作者: JumpCrisscross•大约 2 个月前•原帖

从认证到行动：安全且可扩展的人工智能代理基础设施指南

1 分•作者: manveerc•大约 2 个月前•原帖

小鹏汽车准备在明年推出机器人出租车

1 分•作者: tromp•大约 2 个月前•原帖

最高法院暂时阻止全面的SNAP福利，即使这些福利已经开始发放。

1 分•作者: manveerc•大约 2 个月前•原帖

Copilot GIS Orchestra：以机器为先的地理信息系统开发框架

1 分•作者: pjhooker•大约 2 个月前•原帖

展示HN：我为Windows制作了一个MP3编辑器

1 分•作者: cutandjoin•大约 2 个月前•原帖

因肯塔基州致命坠毁事件，UPS和联邦快递暂停使用MD-11飞机。

2 分•作者: manveerc•大约 2 个月前•原帖

SID：经典的8位声音 [视频]

1 分•作者: ingve•大约 2 个月前•原帖

车队路线优化器 CVRPTW（带时间窗的容量限制车辆路径问题）

1 分•作者: walterwootz•大约 2 个月前•原帖

仅仅通过IP封锁英国并不足以遵守《在线安全法》。

10 分•作者: pinkahd•大约 2 个月前•原帖

使用嗅探器调试 BeagleBoard USB 启动：在现代 PC 上修复 omap_loader

9 分•作者: todsacerdoti•大约 2 个月前•原帖

卡西欧手表的历史

15 分•作者: qainsights•大约 2 个月前•原帖

展示HN：使用朴素贝叶斯的Go语言垃圾邮件分类器

9 分•作者: igomeza•大约 2 个月前•原帖

量子末日钟

1 分•作者: jonbaer•大约 2 个月前•原帖

十年后，突破性气候协议的现状如何

1 分•作者: mooreds•大约 2 个月前•原帖

摩尔石墨烯中节点超导能隙的实验证据

1 分•作者: westurner•大约 2 个月前•原帖

寻求Ruby中央委员会成员志愿者

1 分•作者: mooreds•大约 2 个月前•原帖

创业身份与成功退出的悲伤（2013）

2 分•作者: mooreds•大约 2 个月前•原帖

上一页 1...681 682 683 684 685...4079 下一页