正在检查您的浏览器...需要启用JavaScript
每日HackerNews RSS
Hacker News
新
|
过去
|
评论
|
提问
|
展示
|
工作
|
提交
登录
大问题更难解决吗？
(
paulitaylor.com
)
8 分
由
andsoitis
23 小时前
|
隐藏
|
过去
|
收藏
|
1 条评论
帮助
RickJWagner
11 小时前
[–]
一篇有趣的文章。
无家可归是一个非常棘手的问题，因为许多修复努力只会让处境更可忍受，从而更持久。此外，试图“纠正”行为以解决无家可归问题的努力，往往无法避免重返不良行为，因此变成一种循环。
这是一个困难、困难的问题。更多钱不是有效工具。
回复
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入YC
|
联系
搜索：
自由职业承包商喜欢 Harvest 简单、实惠的时间追踪和发票功能。被 Bending Spoons 收购后，价格大幅上涨：从每月 13.32 美元涨到 133.98 美元的"企业"/"无限"套餐，而更便宜的灵活套餐在正常信用卡手续费之上还加收 2% 的费用。客户支持被替换为大语言模型。用户正在寻找发票和簿记的替代方案，并指出 QuickBooks Online 已经衰落。
该帖主要讨论 Harvest 被 Bending Spoons 收购后，基于使用量和企业套餐的新定价导致价格大幅上涨。Aphyr 表示其账单从每月 13.32 美元涨到 133.98 美元，促使他取消订阅并可能自行开发替代方案。评论者报告了类似的涨价、令人困惑的定价和暗黑模式，有些人面临巨额续费或意外收费。许多用户正离开 Harvest，转向 Clockify、Linear、Odoo、Mercury、Wave、FreeAgent 或自定义/vibe-coded 工具，尤其是在 AI 让简单的 SaaS 更易被替代的背景下。其他人指出，Bending Spoons 对 Evernote、Vimeo、Loom、Komoot 和 MileIQ 也采取了类似的涨价措施。讨论还涉及 SaaS 是否正变得更容易被替代、维护成本，以及 PE 式收购是否损害客户。多位评论者推荐开源或自托管选项，并强调信任已被破坏。总体而言，社区将 Harvest 的定价变化视为一种背叛，加速了从传统 SaaS 向更便宜或自建方案的迁移。
TACO 是一个用于多领域稀疏与稠密线性/张量代数的工具。它支持从稀疏矩阵向量乘法到复杂张量计算等操作，并以 CSR、COO 和 CSF 等格式存储张量。它采用基于编译器的方法生成优化内核，达到与 Eigen、Intel oneMKL 和 SPLATT 等库相媲美的高性能。TACO 提供 C++ 和 Python API，以及用于生成自定义内核的命令行和网页工具。文档、示例和源代码可在 GitHub 获取，欢迎贡献。它由斯坦福大学和麻省理工学院的研究人员开发，并得到多家资助机构的支持。
黑客新闻
最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Taco：张量代数编译器
（tensor-compiler.org）
15 点 由 measurablefunc 1天前
| 隐藏 | 过去 | 收藏 | 2 条评论
帮助
rerdavies 20小时前
[–]
我们大多数人无法/不愿查看没有有效证书的 HTTPS 网页。
回复
measurablefunc 20小时前 | 父评论 [–]
有一个 GitHub 仓库：https://github.com/tensor-compiler/taco
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
作者认为人工智能泡沫并非不可避免。尽管人工智能支出巨大，但其中很多是一次性的数据中心基础设施；建成之后，运营可以盈利，Anthropic的营收增长和利润率也支持这一点。人工智能需求仍大部分未被满足，即使没有持久的护城河，公司仍可通过品牌忠诚度和机构锁定获利。主要的上市人工智能公司拥有合理的市盈率和真实营收增长，不同于互联网泡沫时期的公司。风险包括债务、监管、反弹和安全，但崩溃并非确定。作者还表示，泡沫讨论部分反映了一种希望人工智能颠覆逆转的期待，而这不太可能。
Matteo Raso 认为 AI 行业并非明显的泡沫：大型企业市盈率适中，Anthropic 据报道每计算美元赚约 2 美元，基础设施成本基本是一次性的，使用量和收入可能大幅增长，品牌忠诚度可能减少切换。评论者对此提出异议。他们指出 GPU 和数据中心存在持续的折旧、维护和电力成本；AI 实验室面临巨额债务、垃圾级融资、需求不确定以及更便宜的开放权重模型竞争。一些人认为前沿实验室的护城河很弱，训练成本是持续性的，本地或开放模型可能使推理商品化。另一些人反驳称 AI 的效用是真实的，采用速度快，大型科技企业有盈利的核心业务来吸收冲击。总体而言，该讨论认为 AI 的长期变革潜力很可能存在，而当前估值、融资结构和盈利路径则存在争议且风险较高。
🛡️ 只是快速检查一下 我们正在检查您的连接以防止自动滥用 为什么我看到这个？ 遇到问题？联系支持
一篇文章描述了在硅晶圆中使用空气孔创建用于紧凑光学的平面紫外聚焦镜。Hacker News 评论者指出一篇相关的 2026 年关于硅中紫外米氏空洞反射超表面的论文，讨论了光学筛和波导等相关光学概念，并指出其与 EUV/XUV 光刻的潜在相关性。一位评论者提出硅晶圆短缺及可能与 RAM 制造竞争的供应链担忧。其他人推测将结构调谐至其他波长或射频，并质疑孔洞是否导致光损耗。该帖还包含文章链接。
一名安全研究人员及其协作者披露了某汽车制造商联网汽车系统中的漏洞。通过分析移动应用和网页资源，他们发现了一个暴露硬编码 API 密钥的管理工具，可按电子邮件查询账户。结合通过车牌进行的公开 VIN 查询，他们能够将车辆映射到用户账户和个人信息。
他们在某个 JavaScript 包中发现了该汽车制造商 ForgeRock OpenIDM 身份平台的硬编码管理员凭据。尽管 WAF 阻止了对敏感 OpenIDM 端点的直接访问，但路径遍历绕过（`/static%2f..%2fopenidm/`）授予了 API 访问权限。这允许重置任何用户的密码，并通过配置错误的多因素流程，在未进行 MFA 的情况下生成消费者应用令牌。
使用这些令牌，研究人员只需车牌号即可向澳大利亚的任何车辆发送远程命令，例如解锁车门。类似但更复杂的攻击链也影响了美国、加拿大和欧洲的车辆。所有测试均在他们拥有或获得授权访问的车辆上进行。
一篇 Hacker News 帖子涵盖了某篇安全分析文章，研究人员在其中发现了一个漏洞，允许对某未披露汽车制造商（涵盖澳大利亚、美国和加拿大等地区）的车辆进行远程解锁和发动机启动命令。评论者从视频线索中识别该品牌可能为丰田/雷克萨斯。帖子还包含大量关于四驱与全轮驱动术语、基于手机的远程解锁与启动的实际利弊，以及对联网汽车、数据隐私和安全的更广泛担忧的辩论。一些用户更喜欢老款、联网程度较低的车辆，而其他人指出联网功能可能便利但会引入漏洞。研究人员 reportedly 披露了问题，修复措施很快应用。
大卫·克拉考尔介绍了小说家、圣菲研究所思想家科马克·麦卡锡对意识的探索。麦卡锡的论文追问潜意识为何通过图像与梦境而非直接语言来交流，并以凯库勒的苯环梦为例。他主张潜意识是驱动动物的生物系统，而语言是人类最近获得、像寄生虫一样侵入大脑的文化工具。语言或许出现于十万年前并迅速传播，但潜意识在没有语言的情况下已引导行为数百万年。因为它习惯于图像故事式的推理而非语言指示，所以抗拒直接回答。梦境、隐喻与寓言反映了这一古老非语言模式，可能带有道德指引。麦卡锡还指出语言的进化代价，并暗示潜意识可能直接接触世界、同时处理许多问题、并把失败保持私密。核心张力在于古老潜意识生物学与新近有意识语言之间。
一个 Hacker News 帖子链接到 Cormac McCarthy 的散文《The Kekulé Problem》，内容关于无意识与语言。评论者反思意识与无意识过程如何互动：有人视它们为合作伴侣，有人视其为可能通过冥想加速的低带宽连接，其中无意识以原始方式思考。其他人将梦境描述为与无意识的持续对话，常与创伤和疗愈相关，并认为有意识注意可能有帮助。有评论者开玩笑说语言和解决问题类似下一个 token 预测，而另一人引用了《Blood Meridian》中的一句 McCarthy。该帖还提到 Walker Percy 是另一位探索类似主题的小说家。
启用 JavaScript 和 Cookie 以继续
Hacker News 的讨论聚焦于 C++26 contracts 争议：Bjarne Stroustrup 强烈反对拟议的 contracts 特性，且 C++26 投票失败。评论者争论 contracts 相比 assert 是否增加价值、实现成熟度，以及对大型半成品特性的反对。有人指出论文似乎部分由 LLM 生成，并讨论长破折号。Herb Sutter 的总结列出六种可能路径，包括移除 contracts、修订虚函数行为、保证执行、国家标准化或延迟特性。更广泛的评论批评 C++ 复杂性、指针与迭代选择、历史包袱和委员会驱动设计；其他人则捍卫现代 C++，并指出 LLM 可以提供帮助。讨论还延伸到并发、内存安全，以及与 Rust、Python、Java 等语言的比较，有些人认为由于安全问题和 LLM 辅助重写，C++ 正在变得过时。
SafeScript 是一种严格的、安全的 JavaScript 子集，用于运行不可信的计算。它移除了 eval、new、全局变量、原型访问及其他危险特性，可编译为普通 JavaScript 和 PHP。.safe 文件在头部声明所需的能力，使安全态势显式化。编译器强制执行允许列表语法、运行时属性守卫、安全全局变量以及执行守卫/钩子，以防止逃逸、无限循环和失控计算。它使用自动异步执行，因此注入的 Promise 会自动解析，脚本保持同步外观。SafeScript 提供确定性的安全全局变量和门面，支持用于方法白名单的类型注册表，并允许宿主以作用域能力加载和运行脚本。它体积小（约 48KB 压缩后），可移植，适用于处理程序、插件、公式、机器人和配置逻辑。宿主可以组合自包含的 .safe 文件，并通过钩子强制资源限制。
围绕 KEM、AEAD 和密钥派生工作流设计 Rust API Designing Rust APIs around KEM, AEAD and key derivation workflows
2 天前
NEXUS-Q v4.1.2 是一个可审计、MIT/Apache-2.0 许可的 Rust 密码安全引擎，面向数据、密钥与身份。它提供标准化的经典与后量子算法（ML-KEM、ML-DSA、SLH-DSA、AES-GCM、ChaCha20-Poly1305、Ed25519、Argon2id、HKDF、SHA-2/3）、加密保险库、信封加密、密钥生命周期、默认拒绝策略以及 HMAC 认证的审计日志。它包含核心库、CLI、服务器、C/Python/SDK 绑定以及可选的 PKI/HSM 模块。RustCrypto 是默认后端；原生 ML-KEM/ML-DSA 后端为实验性、需主动启用且未经审计。项目记录了安全 CI、模糊测试、威胁模型、零化和防篡改日志，但未声明外部审计、FIPS/通用准则、形式化验证、硬件隔离或生产就绪。RUSTSEC-2023-0071 仍是已记录的例外。v4.1.2 制品可在多个注册表获取，但部分辅助 crate 仍为 v4.1.1。请私下报告漏洞。欢迎附带测试与文档的贡献。
Hacker News
新
|
过去
|
评论
|
提问
|
展示
|
工作
|
提交
登录
围绕 KEM、AEAD 和密钥派生工作流设计 Rust API
(
github.com/lecodev-26
)
5 分
作者
lecodev
1 天前
|
隐藏
|
过去
|
收藏
|
讨论
帮助
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：