IT之家 5 月 26 日消息，科技媒体 Linuxiac 昨日（5 月 25 日）发布博文，报道称 KernelScript 0.1 首个公开版发布， 这是一个面向 eBPF 开发的开源新语言，采用 Apache 2.0 许可证。 IT之家注：eBPF（Extended Berkeley Packet Filter）是一项革命性的 Linux 内核技术，支持开发者在不修改内核源码或加载内核模块的情况下，安全地运行沙箱程序，动态扩展内核功能。 传统 eBPF 开发具备较高门槛，不只要写 eBPF 程序本身，通常需要理解验证器限制、BPF 辅助函数、映射机制、程序加载方式，以及基于 libbpf 的用户态协同逻辑。 KernelScript 的做法是从 1 个源文件出发，自动生成所需的 C 代码、用户态程序、Makefile，以及内核模块集成内容。 KernelScript 专门贴合 eBPF 工作流，用更高层语法覆盖这类复杂流程，当前版本已支持多种主流 eBPF 程序类型，包括 XDP 包处理、TC 流量控制、探针类内核函数追踪，以及基于 perf event 的性能计数程序。 在状态共享方面，KernelScript 内置支持多类 eBPF 映射，包括哈希映射、每 CPU 数组、LRU 映射和固定映射。这些映射可直接作为语言级变量使用，方便 eBPF 程序与用户态代码共享状态，减少手写 libbpf 样板逻辑。 它还支持自动尾调用编排、透明 dynptr 处理、程序生命周期检查、struct_ops 支持和内建 kfunc 集成，体现出对进阶 eBPF 能力的覆盖。 KernelScript 0.1 现阶段仍是实验性版本。项目仓库明确将其标注为测试软件，并提醒语法、API 和功能都可能在没有向后兼容保证的情况下变化。 参考 KernelScript
IT之家 5 月 6 日消息，据“市说新语”公众号今日消息，近日，市场监管总局批准筹建全国智能化医疗器械标准化工作组，由国家药监局负责管理。 据介绍，全国智能化医疗器械标准化工作组主要负责全国智能化医疗器械， 包括人工智能医疗器械、医用机器人、脑机接口医疗器械以及融合技术类医疗器械等领域 的标准化工作。 IT之家了解到，该工作组的筹建契合国家战略与产业发展迫切需求，顺应人工智能、医用机器人、脑机接口等新技术与医疗器械深度融合的发展趋势， 将有效填补我国智能化医疗器械领域标准化技术组织空白 ，进一步完善医疗器械标准体系布局。 下一步，市场监管总局将会同国家药监局，加快构建系统完备、科学规范、国际接轨的智能化医疗器械标准体系。
IT之家 4 月 29 日消息，据市说新语微信公众号消息，4 月 29 日上午，市场监管总局召开食品安全专题新闻发布会。 近日，市场监管总局正式印发《关于开展网络食品销售虚假宣传专项整治行动的通知》，决定从现在起在全国范围内开展为期半年的专项整治行动。 IT之家注意到，市场监管总局食品安全总监孙会川称： 这次专项整治，市场监管部门将实施精准锁定、靶向打击。检查对象涵盖 5 类主体：电商平台、平台内经营者、营销服务机构及人员、广告活动主体、食品生产经营者。重点整治 3 类违法违规行为： 一是虚假宣传行为 ，比如普通食品却通过各种手段明示暗示自己可以“治病、保健、防病”的；保健食品夸大功效、暗示自己可以“治病”的。 二是违法广告行为 ，比如对食品的产地、成分、功能等胡编乱造、张冠李戴的，利用所谓“专家、学者、白大褂”站台背书，误导消费者的。 三是平台机构违法行为 ，比如对于虚假宣传放任不管，甚至纵容造假、配合忽悠的。对于上述这些违法违规行为，我们都将从严从重查处。 在此，市场监管部门要向全社会释放一个鲜明的信号 —— 决不让消费者当“冤大头”！要真正做到这一点，前提是将各方的主体责任落实到位。首先， 平台决不能当“甩手掌柜” ，必须瞪大眼睛做好资质审查和内部管理；其次，生产经营者决不能当“局外人”，谁出的问题，谁就得负责，谁也别想跑；另外，主播决不能当“工具人”，直播间不是“法外之地”，“短期合作”不是“免责金牌”，只要是在你的直播间说过的话、带过的货，都必须要负责任。 接下来，我们要通过本次专项整治行动，清退一批违规主体，清理一批虚假信息，整治一批不法行为，有力遏制网络食品销售中的灰色地带和隐蔽乱象，让那些“打擦边球”的产品无处藏身，让那些“钻空子”的套路彻底失灵，从而进一步净化市场秩序，提升广大消费者的满意度和获得感。 此外，针对当前“网红食品”存在的虚假宣传、制假售假、资质缺失、“两超一非”等群众反映强烈的突出问题，市场监管总局今年还将在全国范围内开展为期半年的“网红食品”食品安全突出问题专项整治行动，我们坚持标本兼治、综合施策、全网联动、跨域协同，聚焦生产经营全链条、线上线下全过程，严厉打击各类违法违规行为，全面规范“网红食品”生产经营秩序。欢迎大家向市场监管部门提供网络食品和“网红食品”违法违规线索。
IT之家 4 月 19 日消息，“市说新语”公众号昨晚发文称，针对国家市场监督管理总局开出的惩治“ 幽灵外卖 ”巨额罚单，拼多多、京东、抖音等 7 家电商平台相继回应， 表示诚恳接受处罚，并落实整改 。 4 月 17 日，国家市场监督管理总局依法对拼多多、美团、京东、饿了么（淘宝闪购）、抖音、淘宝、天猫 7 家电商平台开出 35.97 亿元巨额罚单 ，对 7 家平台法定代表人和食品安全总监合计处以罚款 1968.74 万元。 拼多多表示对处罚诚恳接受，坚决服从。“我们将以此为戒，大力规范业务流程，完善升级。坚守初心，积极履行社会责任。” 京东称坚决拥护执行市场监管总局的食安监管要求，公司将持续升级技术手段，优化审核机制，压实主体责任，保障食品安全和品质。“感谢并欢迎各界持续监督，共同推动行业食安规范化、品质化发展。” 美团将深入落实各项整改措施，全面提升治理能力，在各级监管部门指导下，坚决打击餐饮转单、利用虚假资质上线等违法违规行为和黑灰产业链，进一步升级举措、强化治理力度，切实守护外卖食品安全。 淘宝、天猫、淘宝闪购（原饿了么）表示，将按照食品安全监管要求，全面排查，坚决治理，持续和常态化开展平台合规建设和落实整改工作，坚决铲除黑灰产孳生土壤，真正把守护舌尖上的安全落在实处。 “对此处罚，我司诚恳接受，坚决落实。”抖音表示，将继续强化依法经营，持续提升合规治理水平，切实履行社会责任，积极营造健康平台生态，携手平台内商家为广大消费者提供优质服务。
本帖使用社区开源推广，符合推广要求。我申明并遵循社区要求的以下内容： 我的帖子已经打上 开源推广 标签： 是 我的开源项目完整开源，无未开源部分： 是 我的开源项目已链接认可 LINUX DO 社区： 是 我帖子内的项目介绍，AI生成、润色内容部分已截图发出： 是 以上选择我承诺是永久有效的，接受社区和佬友监督： 是 以下为项目介绍正文内容，AI生成、润色内容已使用截图方式发出 话不多说，先上仓库 github.com GitHub - CloudWide851/veris: Veris is a verification-first, agent-oriented... Veris is a verification-first, agent-oriented language prototype. 这是一个什么语言呢？其实我也不太清楚，单纯是闲来无事写的东西，原本是我想着可以创造一个专门给LLM设计的语言，用来更好的执行Agent，后面在借鉴了各个语言之后就变成乱炖了 （ 人话：把各个语言特性抄了个遍 ） 目前的情况是可以勉强自举了，有很多开发扩展都是在二代的编译器上面了，现在测试也是使用的二代编译器，bug很多，但是也是不得不品的一环，真佩服当时手搓编译器的狠人了。有部分的问题在当前仓库还存在，我测试过后是不能正常使用的，然后在后面的版本我已经修复了，只不过还在本地未发布，因为还没完整的测试。 为了有想要学习的佬友（ 你的Agent真的想学吗 ），我专门写了一个语法书，请各位佬友自行查看，后面我有时间的话会用这个新的语言重写我之前的easy-agent项目（ 已经新建文件夹 ），详情可以看这一条 [开源项目] 0.3.4版本发布，但是没人告诉我测BFCLv4这么花钱啊... 如果有经验丰富的佬友，可以来私信一起探讨开发方向，目前就是我一个人，自娱自乐的属性比较多，如果有想要开发的标准库也可以来私信或者在本帖或者相关贴来说明。 求求别再说我设计的logo像某位落榜美术生了（ 当时设计的时候真没这个想法 ） 最初设计长这个样子，后面被吐槽多了就改成红色了 6 个帖子 - 4 位参与者 阅读完整话题