2026-04-14

4/13/2026, 4:01:19 PM

Pro 预览 Pro 会补充更明确的行动建议

免费版先看核心内容,Pro 将解锁每条信息背后的重要性、风险、机会与下一步建议。

加入 Pro 等候名单
Hacker News
热度: 671 评论: 189

来自单个二元运算符的所有初等函数

单个两输入门足以满足数字硬件中的所有布尔逻辑。对于连续数学来说,还没有类似的原语:计算基本函数(例如 sin、cos、sqrt 和 log)始终需要多个不同的运算。在这里,我展示了一个二元运算符 eml(x,y)=exp(x)-ln(y) 与常数 1 一起生成科学计算器的标准指令集。这包括 e、pi 和 i 等常数;算术运算包括加法、减法、乘法、除法和指数以及通常的超越和代数函数。例如,exp(x)=eml(x,1)、ln(x)=eml(1,eml(eml(1,x),1)),对于所有其他操作也是如此。没有预料到这样一个运营商的存在;我通过系统详尽的搜索找到了它,并建设性地证明它足以作为具体的科学计算器基础。在 EML(Exp-Minus-Log)形式中,每个这样的表达式都变成具有相同节点的二叉树,产生像 S -> 1 | 一样简单的语法。 eml(S,S)。这种统一的结构还支持基于梯度的符号回归:使用 EML 树作为带有标准优化器 (Adam) 的可训练电路,我演示了从浅树深度高达 4 的数值数据中精确恢复闭式初等函数的可行性。相同的架构可以拟合任意数据,但当生成律是初等时,它可以恢复精确的公式。 arXivLabs 是一个框架,允许合作者直接在我们的网站上开发和共享新的 arXiv 功能。 与 arXivLabs 合作的个人和组织都接受并接受了我们开放、社区、卓越和用户数据隐私的价值观。 arXiv 致力于这些价值观,并且仅与广告合作伙伴合作

当前热评

"EDIT: please change the article link to the most recent version (as of now still v2), it is currently pointing to the v1 version which misses the figures. I'm still reading this, but if this checks out, this is one of the most significant discoveries in years. Why use splines or "

作者: DoctorOetker

查看原文
Hacker News
热度: 194 评论: 68

Servo 现已在 crates.io 上提供

今天,Servo 团队发布了 Servo crate v0.1.0。这是我们第一个 crates.io 版本的伺服箱,它允许将 Servo 用作库。 我们目前没有任何计划将演示浏览器servoshell 发布到 crates.io 。自 2025 年 10 月首次在 GitHub 发布以来的 5 个版本中,我们的发布流程已经成熟,主要的“瓶颈”现在是人工撰写的每月博客文章。由于我们对此版本感到非常兴奋,因此我们决定不等待每月博客文章完成,而是承诺在未来几周内提供每月更新。 从版本号可以看出,这个版本不是1.0版本。事实上,我们还没有讨论完 1.0 对 Servo 意味着什么。尽管如此,版本号的增加反映了我们对 Servo 嵌入 API 及其满足部分用户需求的能力越来越有信心。

当前热评

"Here's a vibe-coded "servo-shot" CLI tool which uses this crate to render an image of a web page: https://github.com/simonw/research/tree/main/servo-crate-exp... git clone https://github.com/simonw/research cd research/servo-crate-exploration/servo-shot cargo build ./target/debug"

作者: simonw

查看原文
Hacker News
热度: 86 评论: 60

让 Tmux 美观且可用

在我之前的博文中,我快速简单地介绍了 tmux,并解释了如何通过基本配置使用 tmux。 如果您遵循了该指南,您可能会有很多人第一次使用 tmux 时的感觉:“这些组合键真的很尴尬!”。请放心,您并不孤单。从 GitHub 上大量的博客文章和 dotfiles 存储库来看,很多人都渴望让 tmux 的行为有所不同;使其使用起来更加舒适。 实际上,定制 tmux 的外观和感觉非常容易。让我告诉您一些有关自定义 tmux 的基础知识,并分享一些我认为最有用的配置。

当前热评

"I gave up on it once I discovered https://zellij.dev/ Just even for how tab and panes are setup, and how it's good for scrolling and text selection with your mouse for copy pasting."

作者: ndr

查看原文
Hacker News
热度: 126 评论: 39

美国上诉法院宣布已有 158 年历史的家庭酿酒禁令违宪

周五,位于新奥尔良的美国第五巡回上诉法院宣布,已有近 158 年历史的联邦家庭酿酒禁令违宪。 美国一家上诉法院周五宣布一项已有近 158 年历史的联邦家庭蒸馏禁令违宪,称其是国会行使其征税权力的不必要且不当的手段。 位于新奥尔良的美国第五巡回上诉法院做出了有利于非营利性爱好蒸馏协会及其 1,300 名会员中的四名成员的裁决。 他们认为,人们应该可以自由地在家中蒸馏烈酒,无论是作为一种爱好还是为了个人消费,包括制作苹果派伏特加的配方。

当前热评

"Do this one next: https://en.wikipedia.org/wiki/Gonzales_v._Raich The Supreme Court somehow held that the feds can regulate what you do in your own home (in this case, growing marijuana for personal use) because it could have a butterfly effect on the interstate price. (Constitut"

作者: bsimpson

查看原文
Hacker News
热度: 6

什么都没有发生:Polymarket 机器人总是在非体育市场上买“不”

通过在 GitHub 上创建帐户来为 sterlingcrispin/nothing-ever-happens 开发做出贡献。 专注于 Polymarket 的异步 Python 机器人,在独立的非体育是/否市场上购买“否”。 仅供娱乐。按原样提供,不提供任何类型的明示或暗示的保证。使用风险由您自行承担。作者对任何索赔、损失或损害不承担任何责任。 该机器人扫描独立市场,寻找低于配置价格上限的条目,跟踪未平仓头寸,公开仪表板,并在启用订单传输时保持实时恢复状态。

查看原文
RSS

Vercel 首席执行官 Guillermo Rauch 表示已做好 IPO 准备,人工智能代理推动收入激增

Rauch 在 HumanX 会议上谈到 IPO 时表示:“公司已经做好准备,而且每天都在准备得更充分。” Rauch 在 HumanX 会议上谈到 IPO 时表示:“公司已经做好准备,而且每天都在准备得更充分。” 2026 年首届 StrictlyVC 将登陆旧金山。门票进展很快。立即注册。 购买 Disrupt 2026 通行证可节省高达 680 美元。晚上 11:59 结束今晚太平洋时间。立即注册。 尽管许多在 ChatGPT 出现之前成立的初创公司都在努力为人工智能时代做好定位,但拥有 10 年历史的开发工具和网站托管平台 Vercel 却受益于人工智能生成的应用程序和代理的爆炸式增长。

查看原文
YouTube
观看: 269.6 万 评论: 2150

周末更新:美国和伊朗和平谈判,梅拉尼娅特朗普否认与爱泼斯坦的关系 - SNL

周末更新主播科林·乔斯特和迈克尔·切报道本周最大的新闻,例如阿耳忒弥斯二号宇航员从月球任务中返回。 周六夜现场。立即在 Peacock 上直播:https://pck.tv/3n1IyzK 订阅 SNL:https://goo.gl/tUsXwM 串流当前完整剧集:http://www.nbc.com/saturday-night-live 观看过去几季的 SNL 谷歌播放 - http://bit.ly/SNLGooglePlay iTunes -

当前热评

"I knew the tweet was fake, asalam alaykum was spelled properly 🤣"

作者: @CCJJ160Channels

查看原文
YouTube
观看: 92.9 万 评论: 4303

警长:“我们故意撞倒他……不要向警察开枪!” #shorts #us #news #foxnews

加州一名警长表示,一名武装嫌疑人杀死了一名警员,并在收到驱逐通知后将自己封锁起来。 #fox #media #breakingnews #us #usa #new #news #breaking #foxnews #crime #crimenews #crimestory #criminal #police #california #shooting #suspect #deputy #law #justice #barricade #investigation #violence #incident #public #safety #america 不要只观看福克斯新闻——成为其中的一部分。是

当前热评

"Courage to speak truth-thanks for this sheriff"

作者: @taniawas5719

查看原文
YouTube
观看: 1380.9 万 评论: 29764

奥兰多妈妈呼吁停止超速驶过停止校车的汽车#新闻

当前热评

"That is actually insane! It’s a miracle that none of those kids have been hit or killed yet!"

作者: @rippinross3238

查看原文
RSS

Anodot 遭黑客攻击导致十几家遭到入侵的公司面临勒索

Anodot 的数据泄露事件影响了 Rockstar Games 等客户,这是旨在窃取大量企业巨头数据的最新黑客事件。

查看原文
RSS

Slate Auto 筹集 6.5 亿美元为其经济实惠的电动卡车计划提供资金

Slate Auto 最新一轮融资由现有投资者 TWG Global 领投,该公司由洛杉矶道奇队老板马克·沃尔特 (Mark Walter) 经营。

查看原文
RSS

随着量产的临近,Slate Auto 筹集了 6.5 亿美元资金

The Slate Truck will start in the "mid-$20,000s" when it goes on sale in late 2026.

查看原文
RSS

Meta spins up AI version of Mark Zuckerberg to engage with employees

The Meta chief is personally involved in training and testing his animated AI.

查看原文
YouTube
观看: 171.4 万 评论: 6058

HALF OF AI DATA CENTERS CANCELLED #shorts

HUGE W FOR GAMING #nvidia #steam #xbox #playstation #nintendo #gaming #skit #fyp #funny #shorts

当前热评

"“Happy to announce” has never been more true"

作者: @Dragonlord_11634

查看原文