Ironclad – formally verified, real-time capable, Unix-like OS kernel

Largest cargo sailboat completes first Atlantic crossing

Avería: The Average Font (2011)

Marko – A declarative, HTML‑based language

Opencloud – An alternative to Nextcloud written in Go

详讯｜清华大学人工智能国际治理研究院荣获首届“联合国教科文组织—乌兹别克斯坦比鲁尼人工智能伦理问题科学研究奖”

吐槽一下买车遇到的糟心事，也希望各位给点建议

Study identifies weaknesses in how AI systems are evaluated

iPhone Air 国行 eSIM 策略实测及分析 (2025 年 11 月 8 日， iOS 26.1)

为什么OAuth2与SSO经常混为一谈？

Firefox 发布新吉祥物 Kit，那只狐狸，长大了

Pandas缺失值处理完全指南：从基础操作到高级技巧

上海交通大学医学院药物学与人工智能交叉学系2026年博士研究生招生简章

数据孤岛、协同低效？AI+虚拟孪生如何破解建筑行业数字化难题

快手算法专家吴翔宇确认出席AICon北京站，分享快手直播的AI进化论