冰岛本周通过自然科学研究所的确认,正式记录了首次蚊子发现——三只*Culiseta annulata*。此前,冰岛被认为是地球上(连同南极洲)仅有的两个没有蚊子的地区之一。 这些蚊子可能通过货运抵达,并且能够适应冰岛的气候,这一因素日益受到全球变暖和国际运输增加的影响。昆虫爱好者比约恩·赫雅尔塔松在雷克雅维克附近发现了这个物种,它在欧洲和其他北欧国家很常见,以叮咬人造成骚扰而闻名,而非传播疾病。 这一发现凸显了气候变化的影响,因为气温升高使物种能够扩大其分布范围。虽然这些蚊子在该地区不携带已知感染,但它们的出现标志着冰岛生态系统的转变。
YASA,梅赛德斯-奔驰的子公司,打破了其自身在电动机功率密度方面的非官方世界纪录。最近对一款新的、更轻的12.7公斤轴向磁通原型电机进行的测试,实现了750千瓦(超过1000马力)的峰值功率——高达59千瓦/公斤,这超过了今年夏天稍早时他们用稍重电机创造的42千瓦/公斤的纪录。
重要的是,YASA估计该电机还将提供350-400千瓦(469-536马力)的持续功率输出。该设计未使用特殊材料,而是依靠精密工程和先进的热管理来实现其卓越的性能。
这一突破验证了YASA的轴向磁通技术,并有望为高性能汽车领域带来革命性的进步,提供紧凑、可扩展且高效的电动推进系统。该原型机目前正在YASA的牛津创新中心进行严格的测试和开发。
## InpharmD 招聘 NLP/ML 工程师
InpharmD 是一家创立于 2018 年的医疗人工智能初创公司,种子轮融资 605 万美元。公司正在寻找一名熟练的 NLP/ML 工程师加入其快速发展的团队。目前公司盈利,年收入约 500 万美元,收入增长率达 750%,专注于为医疗保健提供者提供数据驱动的临床决策支持。
他们正在寻找一位充满热情、积极进取的个人,拥有 5 年以上构建和扩展人工智能应用程序的经验,尤其是在医疗保健领域。关键技能包括精通 Python、Rust 或 Next.js,具有大型语言模型 (LLM) 和向量数据库的经验,以及对 AWS 的深刻理解。
该职位重点关注关键里程碑,例如提高人工智能准确性、自动化内容生成以及集成预测分析。InpharmD 强调以绩效为导向、以所有权为中心的文化,并致力于避免官僚主义。该职位提供 15 万美元的基本工资、股票期权,工作地点位于亚特兰大科技村或远程办公。感兴趣的候选人请发送邮件至
## SSA:编译器优化的一个简单基础
静态单赋值 (SSA) 是一种流行的中间表示 (IR),被现代编译器如 LLVM、GCC 和 V8 使用,并且由于其在程序分析和优化方面的有效性,很大程度上取代了旧的 IR。尽管看似复杂,SSA 从根本上很简单:每个变量只被赋值一次。这会将命令式代码(一系列变异操作)转换为更易于分析的、电路状结构。
关键在于将程序表示为有向无环图 (DAG),其中操作是节点,变量是边。这使得强大的图论工具能够识别优化机会,例如冗余计算。SSA 编译器在基本块(非控制流操作序列)上操作,这些基本块通过控制流图 (CFG) 连接。
为了实现 SSA 形式,会使用诸如引入“phi”节点(或块参数)之类的技术来合并跨基本块的值。然后,优化利用这种结构,例如通过依赖分析识别和消除冗余加载和存储。进一步的简化,如死代码消除和 CFG 重构,可以优化代码。
SSA 的强大之处在于它能够以解耦程序顺序和分析的方式表示代码,从而实现高效且积极的优化。它证明了一个简单、设计良好的 IR 可以显著提高编译器性能。