Falsify是一个受Hypothesis启发的Haskell属性测试库,它提供“内部”收缩功能,避免了QuickCheck手动收缩和Hedgehog集成收缩的局限性,尤其是在monadic bind中。它利用无限样本树,不同于Hypothesis的线性流,从而实现更可预测的收缩和通过选择性函子对生成器独立性的更大控制。Falsify的方法能够跨越monadic bind进行收缩,因为它收缩的是底层样本而不是生成器。该库提供了常用数据类型的生成器、用于控制数据分布的倾斜范围以及受QuickCheck启发的函数生成/收缩功能。`testShrinkingOfGen`和`testMinimum`等工具允许测试生成器收缩行为。Falsify还提供了与QuickCheck和Hedgehog收缩风格的兼容性。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Falsify:Haskell 的基于假设收缩 (well-typed.com) birdculture 13 分钟前 6 分 | 隐藏 | 过去 | 收藏 | 讨论 加入我们,参加 6 月 16-17 日在旧金山举办的 AI 初创公司学校! 指导原则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

颜色实验 点击颜色不同的圆盘。只用你的眼睛!第一轮:1/20 感谢您的参与!欢迎再次游戏,数据越多越好! 重新开始

这个Hacker News帖子讨论了一个名为“找出不同的圆盘”的在线色觉测试。用户分享了他们的分数和体验,一些人提到难以区分颜色,特别是红色。一些人质疑测试的准确性,因为屏幕校准差异,并建议添加一个“无法分辨”的选项以避免猜测。一位用户指出测试的创建者来自ScienceClic YouTube频道,该频道将此测试用于关于色觉的视频。用户表示有兴趣查看汇总统计数据,以了解他们的结果与其他人的结果相比如何,以及测试是否揭示了任何色盲指标。总体而言,人们认为这个测试很有趣,但可以从更多反馈和逐渐增加的难度中受益。

Beelay是一种新的RPC协议,旨在为Automerge(尤其是在Keyhive项目中)提供安全高效的数据同步。它旨在解决现有同步协议在处理大量文档和需要服务器端加密时的局限性。 Beelay使用Ed25519签名认证对等体,并通过结合受众验证(URL哈希)和时间戳来减轻中间人攻击和重放攻击。它分阶段同步数据:首先,使用无率可逆布隆查找表(RIBLT)协调Keyhive成员关系图以确定访问权限。然后,也使用RIBLT同步文档集合,以识别不同步的文档。 最后,同步单个文档,使用RIBLT进行BeeKEM(CGKA)操作,并使用一种新颖的“沉积树”(sedimentree)协议来高效传输加密的Automerge提交图。“沉积树”将提交图的范围压缩成块,形成树状结构,以最大限度地减少元数据开销并降低带宽使用率。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 同步 Keyhive (inkandswitch.com) 4 分,作者 erlend_sh,2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 加入我们,参加 6 月 16-17 日在旧金山举办的 AI 初创公司学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

arXivLabs是一个框架,允许合作者直接在我们的网站上开发和分享新的arXiv功能。与arXivLabs合作的个人和组织都已接受并认可我们开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观,并且只与遵守这些价值观的合作伙伴合作。 有一个项目想法能够为arXiv社区增值吗?了解更多关于arXivLabs的信息。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 通过线性定理突破大型语言模型量化极限 (arxiv.org) 11 分 felineflock 4 小时前 | 隐藏 | 过去 | 收藏 | 讨论 加入我们 6 月 16-17 日在旧金山举办的 AI 初创公司学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

19岁的美国公民何塞·埃尔莫西略(Jose Hermosillo)来自阿尔伯克基,到图森旅游时,被边境巡逻队官员错误逮捕,罪名是非法入境。尽管他自称是美国公民,但在边境巡逻队总部附近被发现且没有携带身份证后,他仍被关押在弗罗伦萨惩教中心。法庭文件称,他在亚利桑那州诺加莱斯附近被捕,并承认非法入境,但他否认了这一点,并表示自己从未去过诺加莱斯。 他的家人四处寻找他,并提供了他的出生证明和社会安全卡,他们认为这阻止了他可能被遣送回墨西哥。一位家庭成员无法在拘留中心获得信息或确保他获释。他的家人认为官员们驳回了他的美国公民身份声明。移民与海关执法局(ICE)对此未发表评论。图森的一位地方法官驳回了他的案件,他在延误后获释。这一事件凸显了移民官员错误拘留的模式,佛罗里达州发生的类似案件就是例证。

一位亚利桑那州的美国公民被移民官员拘留了十天,这在Hacker News上引发了激烈的辩论。评论员质疑了当前政治意识形态的状态,特别是关于小政府和个人自由的方面,认为其应用存在虚伪性。一些人认为,民主党和共和党都根据自己偏好的政策选择性地捍卫这些原则。另一些人指出,共和党目前的立场很大程度上是由唐纳德·特朗普决定的,并且往往服务于特定人群的利益,即白人基督教保守派,即使这意味着与之前的声明相矛盾。评论中还指出了ICE的种族定性问题,并呼吁对政府提起诉讼。普遍的情绪是对政治言论的不信任以及对权力滥用的担忧。有人呼吁废除普遍主权豁免权,以便让政府承担更多责任。

美国食品药品监督管理局(FDA)局长马丁·马卡里博士正在撤销制药公司代表在其咨询委员会中的成员资格,以减少行业影响,并提升公众信任。马卡里表示,虽然行业员工仍然可以参加会议,但他们的正式成员身份造成了许多人担心的“密切关系”。 此前,FDA的32个咨询委员会(包括那些专注于疫苗和医疗器械的委员会)中的每一个都包括一名行业代表,尽管他们没有投票权,但仍然可以影响讨论。前任委员金·维特扎克质疑他们的存在。 FDA澄清说,这项指令不会阻止行业员工参加会议或表达他们的观点,并且可以为独特的专业知识做出例外。然而,马卡里强调需要进行独立的科学评估,并避免在医疗行业公众信任度低的情况下出现潜在的利益冲突。

哈马斯武装分支卡萨姆旅发布了一段视频,视频中以色列人质埃尔卡纳·布胡布特与其美国妻子对话,呼吁唐纳德·特朗普确保加沙人质获释。布胡布特家人强调他在被囚禁535天后健康状况恶化,恳求内塔尼亚胡和特朗普优先考虑他的遣返。这段视频恰逢特朗普似乎支持内塔尼亚胡对哈马斯采取强硬立场,这一计划深深地令那些要求停火以确保亲人获释的人质家属担忧。 这并非布胡布特第一次出现在哈马斯的视频中,这导致一些人指责哈马斯进行宣传。虽然哈马斯声称在永久停火后随时准备释放所有人质,但巴勒斯坦官员坚持认为在建立巴勒斯坦国之前不会解除武装,这种情况令以色列担心会引发新的袭击。由于以色列致力于其军事行动并在加沙维持军事存在,重启停火的可能性渺茫。

请启用 JavaScript 和 Cookie 以继续

Hacker News正在讨论一种新的无激素男性避孕药进入人体试验阶段,据称有效率高达99%且可逆。一位评论者建议使用像Silodosin这样的α受体阻滞剂作为现有高效的非激素替代方案。99%的有效率说法引发了讨论,用户质疑其解读方式,并将其与女性避孕药的完美使用率和典型使用率进行了比较。一些人担心尽管有效率很高,但仍可能意外怀孕。另一些人则开玩笑说这可能会给制药公司带来持续的收入,并可能导致意外的广泛使用。讨论还涉及欧洲出生率下降以及普遍获得堕胎的必要性,一些人讽刺地评论说这种药物最终可能会进入供水系统。文章链接了发表在《自然》杂志上的相关研究论文。

本文探讨了利用大型语言模型 (LLM) 通过提示工程实现一种递归的方法。核心思想是设计包含状态的提示,并使其能够生成具有更新状态的后续提示,有效地模拟递归函数调用。这种方法利用 LLM 记忆中的知识,通过反复细化提示的状态,直到达到期望的最终状态(基本情况),从而进行计算或解决问题。 文中将此方法与人类心算进行了类比,我们利用记忆中的代数和算术规则进行简化。斐波那契数列的递归示例对此进行了演示,尽管也承认了由于模型记忆不完善而导致的不准确性。解决这些不准确性的潜在方案包括使用外部知识源或自检机制。探讨还扩展到非尾递归,其中提示也尝试模拟堆栈。最终目标是通过迭代更新提示中的状态来利用 LLM 固有的知识和推理能力,从而解决复杂问题。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 递归式大型语言模型提示词 (github.com/andyk) 15 分,来自 vlan121,2 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论 seeknotfind 5 分钟前 [–] 非常有趣。现在只需要创建一个提示词来证明迭代式大型语言模型是图灵完备的。 回复 加入我们,参加 6 月 16-17 日在旧金山举办的 AI 初创公司学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

电影错误,那些电影制作幕后一闪而过的瞬间,对影迷来说是令人兴奋的。它们揭示了创造电影幻象的技艺和艺术性。从在南北战争史诗《光荣》中出现的现代手表,到《好家伙》中掉落的车牌,这些错误常常被普通观众忽略,但却被那些欣赏电影制作过程的人珍视。 作者重点介绍了几个例子,包括《异形2》中意外暴露的“对半切”技巧,《决斗》中工作人员的倒影,以及《深渊》中的吊杆麦克风。他担心过度热情的修复项目正在抹去这些时刻,认为改变一部电影是一种修正主义历史。 然后,他深入研究了《西斯的复仇》中一个神秘的“原力幽灵”。在ILM分析原始绿幕素材后,他发现这个“幽灵”实际上是一个特技演员,在合成过程中意外地暴露了出来。这说明了视觉效果的手工性质,以及即使在数字驱动的环境中,错误也会发生并成为电影史的一部分。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 《西斯的复仇》中的电影错误之谜 (fxrant.blogspot.com) 15 分,来自 CharlesW,1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 加入我们,参加 6 月 16-17 日在旧金山举办的 AI 初创企业学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

Alon-Boppana界限激发了一场构建图(称为Ramanujan图)以达到此极限的探索。Sarnak、Lubotzky和Phillips利用Ramanujan在数论方面的成果取得了成功。这一成就导致Alon和Sarnak就Ramanujan图的普遍性打赌:Sarnak赌它们稀少,Alon赌它们常见。 几十年后,一项研究揭示了Ramanujan图和非Ramanujan图的混合,使问题复杂化。与此同时,Horng-Tzer Yau正在研究随机矩阵中的“普遍性猜想”,这源于Wigner的观察:各种随机系统中的特征值遵循相同的模式。 Sarnak挑战Yau将其应用于随机正则图的邻接矩阵,希望能确定它们的特征值是否服从普遍性猜想。Yau及其合作者开发了一种方法来调整邻接矩阵,计算特征值分布,然后证明这些变化微不足道,最终目标是通过确定Ramanujan图的比例来解决Alon-Sarnak的赌局。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 新证明解决了关于互联网络的几十年来未解之谜 (quantamagazine.org) 8 分,来自 rbanffy,41 分钟前 | 隐藏 | 过去 | 收藏 | 1 条评论 3np 17 分钟前 [–] 将其应用于点对点网状网络可能会有成效。 我想你应该能够建立一个模型来描述拜占庭节点比例与连通性概率分布之间的关系。然后你可以计算出什么算法参数可以让你在拜占庭容忍比例的期望范围内。 回复 加入我们 6 月 16-17 日在旧金山举办的 AI 初创公司学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

彼得·奇尔讨论了从关税威胁转向潜在贸易协议的转变,强调了政府宣称各国正排队等待达成协议。然而,其他国家的细节却很少,这让人质疑他们对达成协议的真正渴望程度。作者质疑贸易和关税政策的实际目标,因为它最终的影响有点混乱。等式中缺少两个重要因素——服务贸易平衡和贸易盈利能力。 奇尔概述了两种可能的协议情景:“体面协议”,包括少量减免关税和承诺购买美国商品;以及“真正的贸易平衡协议”,具有严格的合规要求和可能对与中国的业务进行限制。他认为美国最初追求的是后者,但如果谈判陷入僵局,可能会转向前者。他警告说,各国都意识到美国贸易政策的波动性和缺乏理性,美国的声誉将受到损害。 最终,他预计将转向侧重国内的政策,以促进国内产业发展,因为重新平衡全球贸易关系正被证明具有挑战性。他认为经济正在放缓,这一点将变得越来越明显。他预计债券将保持区间震荡,因为经济放缓和赤字担忧的压力相互冲突,而如果美国不缓和其贸易需求,股市将遭受损失。

请启用JS并禁用任何广告拦截器

《纽约时报》一篇文章报道了Lyft和Uber等平台注销的送货司机面临的经济困境。据报道,一名司机因客户投诉其开车时使用手机而被注销,一些人认为这种情况让公司进退两难——要么因忽视安全问题而面临批评,要么因可能站不住脚的证据而注销司机。 Hacker News上的评论员批评《纽约时报》的煽动性报道,并质疑零工经济的公平性,因为司机缺乏传统员工的保障。一些人认为司机知道自己在做什么,另一些人则指出缺乏替代方案以及权力失衡的问题。一位评论员指出,Uber只在《纽约时报》询问后才重新激活因欺诈而被标记的司机。其他人则对将就业与服务条款违规行为联系起来的后果表示担忧。

C64作品《信号狂欢节》(Signal Carnival) 创新地交换了音频和视频线缆,同时保持了有意义的输出。音频通过使用CIA定时器以高频(246kHz)操纵VIC芯片的寄存器来产生波形,并将这些波形发送到屏幕颜色寄存器。这有效地利用了屏幕颜色的亮度来产生声音,并通过使用光笔电路进行视频稳定来弥补定时器的不足。 视频由SID芯片的音量寄存器驱动,允许立即输出信号,尽管由于C64的模拟带通滤波器存在限制,导致像素模糊且宽大。演示通过利用模糊感来创建纹理并专注于垂直轴向效果来弥补模糊。视频同步是自定义生成的,使用略高于标准C64的水平频率。 自定义加载程序优先在加载过程中持续输出音频,采用动态GCR解码和千字节缓冲区。该加载程序是为这个特定的演示而定制的,缺乏更强大的加载程序的功能。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Signal Carnival (quiss.org) 14 分 adunk 42 分钟前 | 隐藏 | 过去 | 收藏 | 讨论 加入我们,参加 6 月 16-17 日在旧金山举办的 AI 初创公司学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

波士顿市长吴弭的庇护城市政策受到审查,批评人士认为这些政策通过保护犯罪的非法移民而损害了国家安全。每日来电新闻基金会的一项调查指称吴弭与中国影响力之间存在关联。她的2021年竞选活动从俞刚那里获得了超过30万美元的捐款,俞刚被认为是中国共产党(CCP)情报和影响力机构——统战部(UFWD)的官员。 专家称俞刚充当中国政府的招聘人员,中共利用像他这样的组织来影响地方政策制定者,收集情报,并将美国实体与中国的对外政策协调一致。章家敦建议执法部门应调查俞刚与中共以及吴弭的关系,并质疑她的“极左”立场是否是中共影响的结果。吴弭拒绝配合遣返犯罪非法移民的行为进一步加剧了人们的担忧,即她的政策有利于试图破坏美国稳定的外国对手。

虽然OAuth似乎是保护MCP集成的一个合乎逻辑的起点,但仅仅实现“标准”的OAuth部署会产生一种虚假的安全感,并留下关键的访问控制漏洞。OAuth本身并不能保证强大的身份验证,防止凭证重放,提供设备信息,启用基于属性的访问控制,或固有地限制横向移动。虽然可以监控OAuth日志,但这需要付出大量的额外努力。 核心问题在于,OAuth本身只提供基本的身份信息,并且本身并不适应MCP新的集成层的细微之处。这可能导致权限过度,因为现有的OAuth权限无法无缝地转换为LLM和代理与各种API交互的上下文。 为了真正保护MCP的安全,组织必须超越基本的OAuth实现。他们应该专注于构建强大的身份代理,并根据属性、角色、操作和语义调整访问策略,仔细地将这些策略映射到MCP暴露的新攻击面。本质上,OAuth提供了一个基础,但真正的工作在于根据MCP的具体需求和风险对其进行调整。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 OAuth 在 MCP 安全中的作用 (defensiblesystems.substack.com) mooreds 2 小时前 6 分 | 隐藏 | 过去 | 收藏 | 1 评论 gsibble 10 分钟前 [–] 我认为这篇文章不太好。MCP 的设计使得集成像 OAuth 这样的东西非常困难。你要使用什么回调 URL?你该如何传递令牌以避免被 LLM 提供商存储?等等。 回复 加入我们 6 月 16-17 日在旧金山举办的 AI 初创企业学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

上海复旦大学的研究人员在闪存技术方面取得了突破性进展,研发出了一种名为PoX的皮秒级器件,其编程速度为400皮秒(每秒250亿次操作)。这超越了现有的速度限制,使其成为已知速度最快的半导体电荷存储器件。研究人员表示,该器件在辅助超大型AI模型的超高速运行方面具有重要应用。 这项创新的核心在于其二维超注入机制,该机制允许超高速地将电荷注入存储层,理论上将非易失性存储器的速度推向了极限。目前像SRAM和DRAM这样的高速存储器是易失性的(断电后数据丢失),而非易失性闪存则速度较慢。这项新技术弥合了这一差距,兼具高速和低功耗的优点,这对于AI计算的需求至关重要。研究人员相信,这一突破能够重塑全球存储技术格局,推动产业升级,并支持中国在相关领域的领先地位。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 研究人员开发出皮秒级闪存设备 (fudan.edu.cn) 5 分,来自 croes,2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 加入我们,参加 6 月 16-17 日在旧金山举办的 AI 初创企业学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

WeaveAI是一家获得Y Combinator(W25批次)支持的初创公司,专注于构建软件以提升工程团队的绩效。公司资金充足,发展迅速,目前已实现盈利。WeaveAI 现招聘两个关键职位:创始AI工程师和创始产品工程师。这两个职位都位于加利福尼亚州旧金山或奥克兰,薪资范围为14万至20万美元,股权比例为0.50%至2.00%。他们寻求优秀的工程师加入他们的团队,帮助他们为工程团队打造最佳软件。鼓励应届毕业生申请创始产品工程师职位。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Weave (YC W25) 正在招聘创始工程师 (ycombinator.com) 30 分钟前 | 隐藏 加入我们,参加 6 月 16-17 日在旧金山举办的 AI 初创公司学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

美国卫生与公众服务部 (HHS) 停止了对 Geovax 公司下一代 COVID-19 疫苗的资助。该疫苗获得了拜登政府“下一代计划”(Project NextGen)的 2430 万美元拨款。Geovax 首席执行官 David Dodd 对此决定表示惊讶,称疫苗 GEO-CM04S1 的研发工作正在取得进展。HHS 将此举的原因归咎于 COVID-19 大流行的结束,并表示将优先将资源用于其他公共卫生威胁。此前,HHS 也曾对 Vaxart 公司发出了类似的停工令,后者也参与了“下一代计划”的 COVID-19 疫苗研发。在特朗普总统和卫生部长阿扎的领导下,HHS 一直在削减其认为的浪费性项目。“下一代计划”最初为下一代 COVID-19 疫苗和治疗方法拨款 50 亿美元。Geovax 仍打算继续开发 GEO-CM04S1,他们相信该疫苗可以产生更强的免疫反应。

`gh-gfm-preview` 是一个 Go 语言编写的程序,用于离线预览 GitHub Flavored Markdown (GFM) 文件。作为 `gh-markdown-preview` 的硬分支,它优先考虑离线功能和速度,通过使用 `yuin/goldmark` 和自定义扩展来渲染 Markdown,以模拟 GitHub 的渲染效果。它可以作为独立的二进制文件或 GitHub CLI 扩展使用。 主要功能包括:离线运行、速度快、零依赖、无需配置、实时重载、自动打开浏览器、端口查找以及优雅降级。使用方式很简单,只需在包含 Markdown 文件的目录中运行命令,或指定文件路径即可。它会自动打开浏览器窗口显示渲染后的输出。 配置选项允许强制使用深色/浅色模式,禁用自动打开/重载,指定主机名、端口或启用详细输出。该程序的静态二进制文件使其非常适合与 Neovim 等编辑器集成,以实现实时 Markdown 预览。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Show HN:一个独立/GitHub 命令行扩展程序,用于预览 GitHub Flavored Markdown (github.com/thiagokokada) 7 分 kokada 发布 3 小时前 | 隐藏 | 过去 | 收藏 | 讨论 加入我们,参加 6 月 16-17 日在旧金山举办的 AI 初创公司学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

近期选举失利后,盖洛普最新民调显示,民众对民主党国会领导层的信任度跌至创纪录的25%,远低于2023年34%的最低点。这一下降归咎于诸多因素,包括伯尼·桑德斯和亚历山德里娅·奥卡西奥-科尔特斯等知名人物的虚伪行为,以及克里斯·范霍伦参议员等民主党政客的争议行为。 文章指控民主党内部斗争加剧,公众对其日益不满,尤其对其与亿万富翁资助的非政府组织的联系,以及其涉嫌参与破坏性抗议活动甚至国内恐怖袭击事件。据报道,这些活动的资金已被削减,文章认为大型有组织的活动因此减少。 作者最后质疑民主党的忠诚度,将其与“美国优先”议程进行对比,暗示该党的行为可能与国家利益脱节。

在旧金山,科技产业的影响无处不在,造成了巨大的贫富分化。一小部分人推动着经济发展,但他们的财富和乌托邦式的愿景与大多数居民面临的现实形成了鲜明对比。人工智能的讨论和悄声谈论的净资产的派对,与城市破败的基础设施和住房危机形成了反差。 尽管科技产业承诺带来繁荣,但裁员却很常见,许多人担心会被人工智能取代工作。城市对科技公司税收的依赖是一把双刃剑,一方面提供税收减免,另一方面却未能解决根本性问题。 旧金山居民被昂贵的鸡尾酒和寻找经济适用房的困境所困扰,被迫在与科技世界的关系中定义自己。这座城市在乌托邦式的梦想和务实的担忧之间摇摆不定,等待着不可避免的清算。最终,旧金山的未来取决于科技繁荣是否惠及大多数人,还是仅仅集中在少数人手中。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 走向旧金山 (rachdele.substack.com) 10 分,来自 greenie_beans,2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 加入我们 6 月 16-17 日在旧金山举办的 AI 初创公司学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

经过多年对Linux桌面环境的调整,作者发现可引导容器(Bootc)是一种更好的定制方式。Bootc允许将操作系统定义为Containerfile,从而可以轻松地进行主题定制和系统范围的修改,而不会永久破坏系统。更改可以在一个临时容器中进行测试,并且可以轻松回滚。 作者还讨论了这些容器的集合是否可以被认为是一个单独的“发行版”,并指出Linux发行版和Containerfile之间的界限变得模糊。像Bluefin和Bazzite这样的流行项目展示了这种可能性。 虽然存在替代方案,但Bootc在定制方面提供了更好的灵活性和工具,以及更高的安全性和可靠性。从个性化容器创建和引导为作者带来了快乐。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 在可引导容器时代享受 Linux 主题定制的乐趣 (blues.win) dopple 2小时前 11 分 | 隐藏 | 过去 | 收藏 | 1 评论 OsrsNeedsf2P 0分钟前 [–] 有时候我在想为什么围绕主题定制的热情不高。Chicago95[0]很受欢迎,但我也很喜欢Garuda[0]如何为KDE定制主题。有一些小型网站可以下载各种桌面环境的主题,但大多数网站都比较粗糙,而且内置支持似乎超出了诸如强调色之类的基本功能[0]。 https://github.com/grassmunk/Chicago95 [1] https://garudalinux.org/editions (截图无法完全展现其魅力) 回复 加入我们,参加6月16日至17日在旧金山举办的AI创业学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入YC | 联系我们 搜索:

作者探索了使用Perplexity AI的API来追踪自己喜爱作家的新书。他们编写了一个简单的Emacs库(perplexity.el)来用作者姓名和已有的书单查询Perplexity,目的是找出缺失的书籍。虽然注册和获取数据非常简单,但结果却很不一致且不可靠。 LLM经常会幻觉出一些不存在的书籍,或者在多次查询同一个作者时提供不同的书单。响应时间也波动很大。尽管存在这些缺点,作者还是发现了一个用例:查询Perplexity以获取追踪作家的近期作品,尽管它难以同时处理多个作者,需要逐个作者进行查询。作者指出,Perplexity的回应似乎基于网络搜索,并且可能限制了搜索次数。虽然输出结果并非万无一失,但作者仍然认为这个项目是值得的。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 令人费解的博学 Emacs (ingebrigtsen.no) 6 分,来自 tmseidman,2 小时前 | 隐藏 | 往期 | 收藏 | 讨论 加入我们,参加 6 月 16-17 日在旧金山举行的 AI 初创公司学校! 指导原则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

人工智能的蓬勃发展使我们难以定义和衡量这些系统中的智能。测试以人为中心,人工智能的测试分数很容易操纵,突显了通用人工智能(AGI)的模糊性。虽然存在争议,但AGI通常与人类水平的能力相关联,这引发了对性能标准和任务多样性的质疑。 最近,像 Gemini 2.5 Pro 和 o3 这样的模型展示了进步,一些人,比如泰勒·考恩,认为我们已经达到了 AGI。o3 特别展示了“自主代理”的能力,能够通过单个提示完成创建网站和数据分析等复杂任务。然而,“参差不齐的前沿”突显了能力的不均衡,人工智能在复杂任务中表现出色,但在简单任务中却表现不佳,这表明人工智能是不可靠的。 尽管人工智能的自主代理能力可能导致快速变化,但其采用取决于社会和组织的适应。人们不确定特定的能力阈值是否会从根本上改变社会融合,或者改进是否会是渐进的。最终,对于那些寻求利用人工智能潜力的人来说,驾驭这片“参差不齐的领域”至关重要,无论未来如何。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 参差不齐的AGI:o3、Gemini 2.5及之后的一切 (oneusefulthing.org) ctoth 1小时前 5 分 | 隐藏 | 往期 | 收藏 | 讨论 加入我们,参加 6 月 16-17 日在旧金山举办的 AI 初创公司学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

大型语言模型(LLM)为工程师带来了巨大的潜力,可以自动化任务并加速开发。然而,过度依赖LLM会严重损害工程师基本的解决问题的能力。虽然LLM擅长根据现有数据提供解决方案,但其局限性,包括偏差和可能出现幻觉,都需要仔细审查其输出结果。危险在于工程师盲目接受LLM生成的解决方案,而忽略了其背后的“原因”。这种从理解基本原理到仅仅寻求答案的转变,可能会削弱解决真正新颖问题所必需的基础技能。与提供探索和利用之间平衡的搜索引擎不同,LLM鼓励立即利用,这可能会阻碍创新和长期的解决问题的能力。对快速解决方案的压力加剧了这种趋势,威胁着工程师对算法的关注和掌握。我们必须优先重视理解和批判性思维,避免未来复杂的解决问题仅仅依赖于AI,而牺牲人类的创造力。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 未来的技能不是“AI”,而是“专注力”(carette.xyz) 14 分 weird_trousers 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 加入我们,参加 6 月 16-17 日在旧金山举办的 AI 初创公司学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 加拿大各地的家庭画廊隐藏在显眼处 (cbc.ca) SirLJ 16分钟前 6 分 | 隐藏 | 过去 | 收藏 | 讨论 加入我们,参加 6 月 16-17 日在旧金山举办的 AI 初创公司学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式 搜索:

Zig 的编译时(comptime)功能,尽管存在一些限制,但仍然提供了强大的元编程能力。与某些语言不同,Zig 的编译时代码会考虑目标架构,确保在不同平台上行为一致,并防止主机特定细节泄露。 Zig 通过部分求值和专门化来实现元编程。通过将函数参数标记为 `comptime`,编译器可以在编译时部分求值该函数,根据已知值优化代码。这允许使用强大的技术,例如根据类型信息生成专门的打印函数。 虽然 Zig 缺乏动态代码生成和自定义语法扩展,但它通过轻量级数据描述进行了补偿。此外,你无法向生成的类型添加方法,类型的 API 始终是手写的,但它可以在内部使用编译时反射。 Zig 的编译时也优先考虑安全性和可重复性。它避免在编译期间进行输入/输出操作,保证了构建的密封性、可重复性、安全性以及可缓存性。对于数据库模式生成等任务,Zig 依赖于其通用的构建系统 `build.zig`。这种方法在表达能力和易于推理之间取得了平衡,使 Zig 的元编程方法简洁、优雅且符合人体工程学。

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Zig 编译时做不到的事情 (matklad.github.io) 8 分,来自 JadedBlueEyes,33 分钟前 | 隐藏 | 过去 | 收藏 | 讨论 加入我们,参加 6 月 16-17 日在旧金山举办的 AI 初创公司学校! 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索:

Turing-Drawings 是 Maximecb 使用 JavaScript/HTML5 开发的一个项目,它利用随机生成的图灵机在二维画布上创建图像和动画。该项目在修改后的 BSD 许可证下开源,可访问地址为 http://maximecb.github.io/Turing-Drawings/。 该网站展示了图灵机生成的各种视觉图案,包括分形、矩阵式显示、混沌设计和运动模拟。示例包括名为“分形”、“扫描”、“矩阵”、“运动”、“计算”等等的视觉效果。 GitHub 仓库包含源代码,包括 HTML、JavaScript 和 CSS 文件。该项目获得了极大的关注,拥有 334 个星标、35 个分支,并得到了 denilsonsa 等开发者的贡献。该仓库还包含指向一篇博文链接,该博文简要介绍了该项目。

Hacker News 上的讨论主题是 maximecb 在 GitHub 上发布的“Turing-Drawings”,该项目基于图灵机生成视觉图案。用户 iNic 发现这个项目很有趣,他特别提到一个例子,并指出其编程简单且具有多种变化的潜力。另一位用户 ramses0 观察到其中一张图画类似于电视雪花。这引发了一场讨论,iNic 解释说这些图画是由伪随机算法生成的,不同于真正的随机电视雪花。pvg 讽刺地说这幅画不像宇宙微波背景辐射。最后,pvg 链接到 11 年前的相关 Hacker News 帖子,表明人们对类似项目一直以来都感兴趣。

Racket新闻报道称,自2017年以来,美国政府已拨款约800项,总计超过14亿美元用于打击“错误/虚假信息”,其中拜登政府拨款超过600项。这些数据来自言论自由倡导组织liber-net新创建的数据库。虽然这项倡议在拜登政府时期获得了显著发展,但一些项目起源于特朗普政府时期,重点关注打击极端主义等问题。然而,在拜登政府时期,拨款似乎更明确地与民主党意识形态优先事项相符。在自由新闻(Free Press)的询问后,一些项目被终止或接受调查,而另一些项目仍在继续,其中包括国防部向Peraton公司拨款的巨额9.79亿美元。Liber-net的主管声称,这些项目被玩弄权术地用来对付政治对手,并且“解决方案不仅要向公众提供判断说法真实性的技能,还必须提供资源来应对错误信息造成的社会和情感影响”。

联系我们 contact @ memedata.com