2018年11月14日-16日,“GNTC全球网络技术大会”在南京火热开幕。作为全球规模最大的网络技术盛会之一,本届GNTC将聚焦更多热门技术领域,吸引更多国际组织、产业权威专家,通过1次测试活动、1场颁奖典礼、2场全体大会、7场专题峰会及数十场Workshop,为现场观众奉上一场精彩绝伦的网络技术盛宴。
全球IPv6论坛主席Latif Ladid
在大会中,全球IPv6论坛主席Latif Ladid做了致辞,以下为Latif Ladid现场致辞实录:
Latif Ladid:大家早上好,欢迎大家来到南京。这次有机会受到了市长的一个接待和常委的接待。非常感谢我们能够去有正确的一个努力来去投入到我们最成功的技术,在过去20年一直推动技术进展,我们也会让中国成为技术最佳的集聚地,帮助本地人民通过技能能够实现更好一个地球上和平发展,所以欢迎大家参与到未来三天大会的活动,我们将会分享一个不同技术专题,我们是希望大家能够自己选择,自己感兴趣的话题,并且能够跟那些发言人深入交流,有一个更多机会跟大家进行交流,我们希望家能够利用这样机会多交流多交朋友,我们希望此次大会取得成功,也希望南京成为IPv6技术最好的城市之一,非常感谢。
好文章,需要你的鼓励
PDF协会在欧洲会议上宣布,将在PDF规范中添加对JPEG XL图像格式的支持。尽管Chromium团队此前将该格式标记为过时,但此次纳入可能为JXL带来主流应用机会。PDF协会CTO表示,选择JPEG XL作为支持HDR内容的首选解决方案。该格式具备广色域、超高分辨率和多通道支持等优势,但目前仍缺乏广泛的浏览器支持。
Meta研究团队发现仅仅改变AI示例间的分隔符号就能导致模型性能产生高达45%的巨大差异,甚至可以操纵AI排行榜排名。这个看似微不足道的格式选择问题普遍存在于所有主流AI模型中,包括最先进的GPT-4o,揭示了当前AI评测体系的根本性缺陷。研究提出通过明确说明分隔符类型等方法可以部分缓解这一问题。
Ironclad OS项目正在开发一个新的类Unix操作系统内核,面向小型嵌入式系统,计划支持实时功能。该项目的独特之处在于采用Ada编程语言及其可形式化验证的SPARK子集进行开发,而非常见的C、C++或Rust语言。项目还包含运行在Ironclad内核上的完整操作系统Gloire,使用GNU工具构建以提供传统Unix兼容性。
香港中文大学研究团队开发出CALM训练框架和STORM模型,通过轻量化干预方式让40亿参数小模型在优化建模任务上达到6710亿参数大模型的性能。该方法保护模型原生推理能力,仅修改2.6%内容就实现显著提升,为AI优化建模应用大幅降低了技术门槛和成本。