A new C++ back end for ocamlc
Comments
每日科技圈精选资讯 · 北京时间早 8 点更新
Comments
Comments
Comments
Comments
Comments
Comments
Comments
Comments
On Wednesday morning, the Supreme Court heard arguments in Trump v. Barbara, a case challenging President Donald Trump's 2025 executive order banning birthright citizenship. Justices seemed skeptical of the administration's argument, but by taking up birthright citizenship at all, they showed how mu
NASA's Artemis II flight, which is set to take four astronauts toward the Moon for the first time in more than 50 years, successfully launched on Wednesday evening. The Artemis II mission, part of NASA's Artemis program that's intended to bring humans back onto the Moon as early as 2028, will bring
With NASA planning to launch four astronauts on Wednesday on its Artemis II mission, the race to return to the Moon is back on. The current mission will see astronauts aboard the Orion capsule travel around the Moon before returning to Earth in 10 days' time. They'll be testing out the hardware and
This is part of our package about Apple's 50th anniversary. Read more here. The thing about the iPhone is that everyone knew it was going to be a big deal, and then it was an even bigger deal than that. Hell, it's still the biggest thing going. It's hard to remember, but almost 20 years […]
Welcome to the worst day on the internet! As Chaim Gartenberg pointed out years ago, brands and a holiday dedicated to hoaxes are rarely a winning combo. If you’re a company with any kind of social media, internet, or AI chatbot presence in 2026, you really, truly only have four options on April Foo
At the New York International Auto Show on Wednesday, Kia announced that its compact electric SUV, the EV3, will be available in the US "in late 2026." The EV3 has been available overseas since 2024, when it launched in South Korea and Europe. The 2027 model coming to the US appears to have the same
As the days get warmer, it’s tempting to take your workouts outside. Bone conduction headphones let you listen while staying aware of your surroundings, making them ideal for runs, walks, and more. Through April 7th, Shokz is discounting several models during its spring sale, from the Shokz OpenFit
Ikea's $10 Kallsup Bluetooth speaker is fun and colorful and sounds better than its price suggests. It's not mind-blowing (it is a $10 speaker, after all), and there are no features to speak of, other than the ability to connect up to 100 of them together, but at that price, I don't really care. The
Blockchain trackers put the cryptocurrency heist in the hundreds of millions of dollars and is already on track to be the largest crypto theft in 2026 so far.
Anthropic executives said it was an accident and retracted the bulk of the takedown notices.
Delve faces new allegations that it violated the open source license of its customer, Sim.ai, by taking the customers's tool and passing it off as its own.
Passengers in Baidu's robotaxis were trapped for up to two hours.
Sonder profiles are completely unstructured, encouraging users to build something that looks like a mood board or a digital collage. Think MySpace rather than LinkedIn.
The record quarterly fundraise largely fueled four mega-deals into OpenAI, Anthropic, xAI, and Waymo. But it also indicates a generally hot market.
The security update protects a raft of older iPhones and iPads from attacks linked to leaked hacking tools called DarkSword.
Meta's upcoming Hyperion AI data center will be powered by 10 new natural gas plants.
After investors appealed to the governor, California again delayed the deadline for venture firms to disclose the demographics of startup founders they back.
The gorgeous Samsung S95F QD-OLED is on super sale ahead of the newest models hitting stores.
Eli Lilly’s once-daily Foundayo is the second obesity pill to receive FDA approval. It will compete with Novo Nordisk’s pill version of Wegovy.
A new study from researchers at UC Berkeley and UC Santa Cruz suggests models will disobey human commands to protect their own kind.
The HP OmniBook 5 is a better laptop than the MacBook Neo in almost every way. Right now, it’s also $100 cheaper.
Star Wars producer Kathleen Kennedy was one of the few skeptics at the Runway AI Summit, where AI was compared to fire and the printing press just a week after Sora’s death.
You can grab a nice discount on the Nothing CMF Watch 3 Pro for a limited time.
The militia movement in the US is undergoing a rebrand that trades counterprotests for expensive weapons, manly sweatshirts, and highly curated Instagram grids.
This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. The gig workers who are training humanoid robots at home When Zeus, a medical student in Nigeria, returns to his apartment from a long day at the hospital, he st
When Zeus, a medical student living in a hilltop city in central Nigeria, returns to his studio apartment from a long day at the hospital, he turns on his ring light, straps his iPhone to his forehead, and starts recording himself. He raises his hands in front of him like a sleepwalker and puts a…
In the early days of large language models (LLMs), we grew accustomed to massive 10x jumps in reasoning and coding capability with every new model iteration. Today, those jumps have flattened into incremental gains. The exception is domain-specialized intelligence, where true step-function improveme
This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. There are more AI health tools than ever—but how well do they work? In the last few months alone, Microsoft, Amazon, and OpenAI have all launched medical chatbot
For decades, artificial intelligence has been evaluated through the question of whether machines outperform humans. From chess to advanced math, from coding to essay writing, the performance of AI models and applications is tested against that of individual humans completing tasks. This framing is
Earlier this month, Microsoft launched Copilot Health, a new space within its Copilot app where users will be able to connect their medical records and ask specific questions about their health. A couple of days earlier, Amazon had announced that Health AI, an LLM-based tool previously restricted to
This story originally appeared in The Algorithm, our weekly newsletter on AI. To get stories like this in your inbox first, sign up here. Last Thursday, a California judge temporarily blocked the Pentagon from labeling Anthropic a supply chain risk and ordering government agencies to stop using its
This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. Inside the stealthy startup that pitched brainless human clones After operating in secrecy for years, R3 Bio, a California-based startup, suddenly revealed last
Liftoff of Artemis II with four astronauts occurred at 6:35 pm EDT (22:35 UTC) on Wednesday.
Microsoft, Intel are also working on their own solutions for the issue.
A persistent agent, stealth "Undercover" mode, and... a virtual assistant named Buddy?
Sperm gets lost in space; raccoons solve puzzles; the physics of folding a crepe; and more.
Did you know that Ohio is a hotbed of UFO activity?
Swiss finance minister filed a criminal complaint over Grok's "defamation."
Confidential SEC submission sets up largest IPO in history.
Judge invalidates Trump executive order, but Congress also cut off all funding.
作者丨欧雪 编辑丨袁斯来 硬氪获悉,仿生扑翼飞行机器人公司——深圳鹰瞰智翼科技有限公司(下称“鹰瞰智翼”)近期已完成千万元级别天使轮融资,由启高资本领投,奇绩创坛及上海交大母基金跟投。资金将主要用于产品量产、下一代具身智能飞行机器人研发,以及全球首个机器人流体仿真引擎搭建。 鹰瞰智翼2025年3月成立于深圳,是全球第一家专注于具身智能扑翼机器人的公司。创始人陈昊是上海交通大学直博生,博士期间发表四篇顶刊论文。团队核心成员均为上海交大本硕博,来自机器人、控制与机械等相关背景,全员均为00后。 目前,鹰瞰智翼已形成两条产品线: 一是消费级产品“丹丹(Dante)”:面向全球极客群体,支持二次开发,
文|李小霞 编辑|乔芊 杨轩 36氪独家获悉,近期抖音生活服务完成了浦燕子接任后的第二次大的组织架构调整。 此次调整根据商户规模重新分为线上部门和线下部门。 月GMV5万以上的客户被放到线上部门,分为KA(月GMV10万以上)、自助(月GMV在5-10万)、酒旅三个版块。其中前二者又分别按行业细分为餐饮、到店综合。 月GMV5万以下的客户被放到线下部门。线下则按照区域划分为北区、南区、东区。相比此前的区域划分,砍掉了上海大区、中区,增加了东区,中区相关商户被分流到北区、东区。 (36氪制图) 具体人员任命如下: 王雪芹,负责酒旅和KA餐饮,此前为抖音生活服务NKA业务负责人;吴嘉伟负责酒旅,向
今日热点导览 宇树科技被抽中首发企业现场检查 国家税务总局:2025年个税汇算已超7000万人申请退税 原特斯拉中国区高管孔艳双入职小米 特斯拉正式停产Model S和Model X两款车型 美国纽约市宣布撤销政府设备使用TikTok禁令 TOP 3大新闻 甲骨文凌晨6点突发邮件裁员3万人,约占全球员工总数的18% 全球软件巨头甲骨文(Oracle)于当地时间3月31日凌晨向员工群发邮件,宣布启动新一轮大规模裁员。多名收到通知的员工在社交媒体上披露,邮件措辞直白:“在认真评估甲骨文当前的业务需求后,我们决定取消您的岗位。今天是您的最后一个工作日。” 据多家媒体报道,此次裁员覆盖美国、印度、欧洲
文|邱晓芬 编辑|苏建勋 一家成立12年的两轮电动车厂商,在成功经历过中国的锂电化、智能化浪潮,并在纳斯达克上市后,决定加入AI时代全新的竞争。造AI时代的智能两轮电动车——被小牛电动称为:“下一个十年的护城河”。 在小牛电动不久前的发布会上,他们展示了初步的成果——在新发布的电动车NXT2和NX2上,搭载了自研的小牛灵犀AIOS、以及首个面向骑行的AI智能体。 当你开车上路时,小牛灵犀AIOS和智能体的搭配,将让你的电动车变成“会看路、懂说话”的骑行伙伴。 举个例子,当你在雨天转弯时,AI会识别到骑行状态,并自动开启防侧滑功能;你也可以让它“找附近人少的咖啡店”,电动车能听懂并导航…… △小
这不是一场传统比赛,是一次对话。 我们始终相信,AI 的使命不应是取代人类,而是帮助人类变得更强大。因此在这次选拔中,我们不会关注你的教育背景、融资规模或是使用了多么前沿的算法,唯一在意的是你的产品是否真正让个体变得更强。 行至决赛,你会站上WAVES的舞台,这是中国创投圈最重要的舞台之一,台下坐着投资人、产业伙伴、未来的用户,过去很多你叫得出名字的创业者,都是从这里被看见、被理解、被加速。2026年夏天,我们想把这个舞台分你一半。 大赛报名已开启,欢迎所有年轻实干家报名,等你来定义下一个—商业坐标! Part01- 赛道划分 赛道一: 智能体——"第二大脑"挑战赛 核心命题:设计一个能嵌入个
大公司: 李亚鹏名下公司成立麋鹿咖啡公司 36氪获悉,爱企查App显示,近日,云南麋鹿咖啡有限公司成立,法定代表人为杨凝,注册资本100万元人民币,经营范围包括咖啡豆种植、食用农产品批发、食用农产品零售、食品互联网销售等。股权穿透图显示,该公司由李亚鹏名下北京艺莲文化科技有限公司、罗毓藻分别持股90%、10%。 特斯拉正式停产Model S和Model X两款车型 据媒体报道,马斯克4月1日在X平台发文,宣布特斯拉正式停产Model S和Model X两款车型,目前已停止接受新车定制订单,消费者只能购买库存现车。此前马斯克表示,将在弗里蒙特工厂生产Optimus人形机器人,Model S和Mo
36氪创投研究院的朋友们: 新春好! 2026的整个春天,创投圈显得格外忙碌:大家或许在养虾、参加龙虾活动;或许在钻研技术、敲代码;或许在寻觅并肩作战的队友;亦或不断在各个AI APP中反复横跳.... 现在正是AI春暖花开之时,暗涌Waves的2026年度调研规划也随之官宣! 2025过去一年,我们见证了AI从实验室的静默代码,破土成为改变产业底座的显学。暗涌发布了96篇文章,不断追踪报道一级市场事件,记录了国资/产业投资机构的强势入场,陪伴AI从"概念验证"走向"商业闭环"的每一个关键节点。 今年,我们将继续追踪正在发生的事情、和新崛起的人群。 正如我们的Slogan:“钱的流向,人的沉浮
现场拍摄 文 | 阿至 我们似乎比以往任何时候都更相信技术本身的力量。 过去3年,在这场由AI所掀起的创业浪潮中,技术正以前所未有的速度,被赋予创造一切、解决一切的宏大叙事。参数在迭代,估值在飙升,钱的流动此起彼伏。 然而在这种高速的,甚至有些喧嚣的确定性之外, 那些勇敢做出选择、推动改变发生的、具体的人,才是创造变革的原点。 基于这一原点,我们组织了一场「离线聚会」 。作为36氪全新的超轻量线下沙龙IP,我们想做一次尝试,不要路演话术和商业互吹,创造一个让分享和对话不被审视的空间,记录那些未经修饰的直觉、未被折叠的想象、以及尚未达成共识却值得被听见的声音。通过人的连接、思想的碰撞,回归到创业
最近值得一试的新作汇总。 查看全文
Matrix首页推荐Matrix是少数派的写作社区,我们主张分享真实的产品体验,有实用价值的经验与思考。我们会不定期挑选Matrix最优质的文章,展示来自用户的最真实的体验和观点。文章代表作者个人观点 ... 查看全文
索尼将继续上调 PlayStation Plus 订阅价格,微软确认将为 Windows 11 开发纯原生系统应用等。 查看全文
时隔五年,Apple的头戴式耳机产品AirPodsMax终于迎来第二代升级。AirPodsMax2拥有与前代产品完全一致的外观:精致的阳极氧化铝金属耳罩、可以无级调节的不锈钢伸缩套杆、具备良好贴合度的 ... 查看全文
除了首页时间流和侧栏的精选展位,少数派Matrix社区还有很多优秀内容因条件所限无法得到有效曝光,因此我们决定重启Matrix周报,并在此基础上添加更多社区内容,将作者投稿的新玩意呈现给大家。上周社区 ... 查看全文
按:我们之前制作过一期题为《少数派编辑部怎么用AI打工?》的装了啥特别篇,其中介绍了AI工具在编辑部日常工作中的实际应用。本期中,编辑部成员们将根据最近使用AI工具的经验和心得,继续介绍一些自己认为有 ... 查看全文 本文为会员文章,出自 《单篇文章》 ,订阅后可阅读全文。
套还原 LUT 并不是处理 vivo Log——乃至所有 Log 画面——的最佳方式。在本文中,我就结合自己使用 vivo X200 和 X300 系列的拍摄及调色的经验,聊聊如何正确做 vivo Log 的色彩空间转换。 查看全文
如果只有 3 分钟紧急撤离,这两个逃生包能帮我活过 72 小时 查看全文