启用 JavaScript 和 Cookie 以继续。
启用 JavaScript 和 Cookie 以继续。
## ChunkHound:深度代码库智能
ChunkHound 是一款优先本地运行的工具,它超越了简单的代码搜索,能够深入理解代码库的架构、模式和机构知识——即使在巨大规模下也能实现。与仅仅*搜索*代码的 AI 助手不同,ChunkHound 使用基于研究的 cAST 算法进行语义分块和多跳语义搜索,从而*研究*代码。
它通过结构化解析(Tree-sitter)和基于文本的解析支持 30 多种语言,并通过 MCP 与流行的 IDE(VS Code、Cursor 等)无缝集成。你可以使用自然语言(“查找身份验证代码”)或正则表达式进行查询。
主要优势包括:仅本地运行以确保安全、实时索引以及混合语义/正则表达式方法,从而提供强大而准确的结果。ChunkHound 在大型复杂项目、多语言环境以及需要离线访问的情况下表现出色。
了解更多信息并开始使用,请访问 [chunkhound.github.io](https://chunkhound.github.io)。
## 儿童、屏幕与有缺陷的法案:KOSMA解读 华盛顿正在讨论如何应对科技对青少年心理健康的影响,重点关注一项名为《儿童远离社交媒体法案》(KOSMA)的法案。尽管该法案旨在“保护儿童并赋能家长”,但讽刺的是,它反而将控制权移交给大科技公司——正是这些公司一直受到议员们的批评。 尽管存在广泛担忧,各大平台已经禁止13岁以下用户使用,这主要是由于现有的隐私法律。然而,研究表明,大多数13岁以下用户的社交媒体使用并非秘密;大约90%是在父母知情甚至协助下进行的。KOSMA将*要求*平台监管家庭,如果发现未成年人使用“合理推断”,即使得到父母同意,也必须终止账户。 这意味着共享家庭账户——例如孩子与父母一起观看教育YouTube视频——可能会被锁定或需要进行侵入性的年龄验证(例如身份证扫描)。KOSMA不是尊重父母的指导,而是迫使平台根据算法推断来推翻家庭的决定。 批评者认为,KOSMA无法解决问题,反而会将权力集中在科技公司手中,阻碍正常的、受监督的在线体验。他们建议,更有效的方法是加强对*所有*用户的隐私保护,而不是授权科技公司来决定谁可以访问互联网。
适用于嵌入式设备的微内核操作系统。Xous是一个为中等规模嵌入式系统设计的微内核操作系统,具有清晰的进程分离。几乎所有内容都在用户空间实现,消息传递是基本的通信方式。您可以在Xous Book中了解更多信息。该项目由NGI0 PET基金资助,该基金由NLnet建立,并得到欧盟委员会下一代互联网计划的财政支持,受DG Communications Networks, Content and Technology的管辖,协议编号为825310。
四个月前,我辞掉了工作,与佩德里克共同创立Skald,最初的动力更多是追求独立,而非什么颠覆性的想法。我们获得了天使投资(包括前老板)和Broom Ventures的资金,优先考虑对创始人友好的条款,而非快速扩张。我最初的计划是不断尝试想法,直到找到一个有潜力的,但佩德里克的财务状况要求我们尽快融资。 融资后,我意外地承受了巨大的压力。尽管外部看起来很成功,但我感觉自己无法达到期望——这些期望既真实又源于过去对我的“创业潜力”的赞扬。这导致了无效的自我怀疑,以及将注意力放在增长指标上,而不是健全的战略。 我意识到我优先考虑向投资者展示成功,而不是建立可持续的业务,并且根据感知到的潜力而非真正解决问题来进行调整。最终,我认识到信任我们的流程、专注于创造价值以及记住投资者相信的是*我们*,而不是某个具体的想法的重要性。我现在重新集中精力,充满动力,并分享这段经历,希望它能引起其他创始人的共鸣。
明尼苏达州州长蒂姆·沃尔兹已调动国民警卫队,协助州和地方执法部门,以应对明尼阿波利斯市中心预计的周末抗议活动。国民警卫队目前尚未部署在街头,但将提供交通支持并帮助确保公共安全,允许公民和平集会。 此举正值司法部对沃尔兹州长和明尼阿波利斯市长雅各布·弗雷的调查,指控他们合谋妨碍联邦移民执法。调查细节有限,但据报道,调查的中心是官员们发表的言论以及在城市运营的一系列左翼非营利组织。 尽管存在潜在动荡,但极寒天气(目前华氏9度,最低华氏-3度)预计将影响抗议人数。当局已敦促民众“注意安全,保持和平”。
## DevOps 的演变与人工智能的影响
DevOps 的核心目标——将开发者直接连接到生产反馈——由于技术不足在很大程度上未能实现。现有的工具往往*增加*了工作量,而不是简化代码部署与实际影响之间的循环。虽然在理论上拥有无限资源的情况下可行,但实际的可观察性对于大多数团队来说仍然是一个挑战。
然而,人工智能改变了游戏规则。首次,现成的技术能够为普通的工程组织提供快速有效的反馈循环。但这同时也带来了一个新的挑战:现有系统无法应对人工智能辅助开发将产生的“代码冗余”。
关键在于从被动式运维循环(响应故障)转向主动式、价值创造循环:部署、观察、学习。人工智能现在允许将遥测数据*带给*开发者,并将其置于他们现有的环境中,从而消除了他们成为可观察性专家的需求。
这意味着开发者将花费更少的时间编写代码,而将更多的时间用于验证、实验和理解生产行为。瓶颈从代码*编写*转移到代码*理解*,将工程师转变为更像科学实验者。虽然 DevOps 本身并未消亡,但其最初的目标终于在人工智能的帮助下得以实现,这要求采用新的仪器化和分析方法。
乔纳森·图利的文章剖析了迈克尔·科恩一贯以自我为中心的行为,科恩是唐纳德·特朗普的前律师。科恩被描述为一名“法律恶棍”,有违反道德和威胁的历史,他一再改变忠诚,以谋取自身利益——最初帮助特朗普,然后为了认罪协议而背叛他,现在又批评他之前协助过的检察官。
图利强调了科恩长期不诚实的模式,指出他被指控向国会、法院和各种机构撒谎。即使在特朗普的审判期间,科恩也承认过去的虚假陈述,声称最初是为了*帮助*特朗普。
现在,在特朗普获得法律胜利后,科恩声称纽约州总检察长莱蒂蒂亚·詹姆斯和地区检察官阿尔文·布拉格向他施压,要求他捏造对特朗普的证词。图利将科恩描绘成一个根本不值得信任的人,将其比作经典寓言中的蝎子——受其天性驱使背叛他人,无论后果如何。文章暗示科恩再次寻求有利地位,可能正在“向出价最高者兜售自己的可用性”。
## Kip:一种受语言学启发的编程语言 Kip 是一种实验性编程语言,它独特地将土耳其语语法整合到其类型系统中。它利用土耳其语名词格——例如主格、宾格和与格——来定义函数参数之间的关系,从而实现灵活的参数顺序。该项目探索了语言学和类型论的交叉点,用作研究和教育工具,而非生产就绪的语言。 Kip 支持代数数据类型、用于泛型的类型变量、使用土耳其语条件后缀进行模式匹配以及命名常量。它包含用于整数和字符串的内置类型,以及基本的算术、比较和 I/O 操作。 该语言利用 TRmorph 工具包进行土耳其语形态分析,通过在编译过程中携带多个解析来处理歧义。Kip 使用 Haskell 实现,并提供 REPL、文件执行和基于浏览器的游乐场。它缓存类型检查的文件以加快执行速度,并在编译器更新时使缓存失效。 尽管仍在开发中,Kip 展示了一种新颖的编程语言设计方法,展示了自然语言结构如何影响代码结构和可读性。
抱歉,此网站需要 JavaScript。
启用 JavaScript 和 Cookie 以继续。
小型企业管理局(SBA)的8(a)项目,旨在扶持“社会弱势”小型企业,因普遍存在的欺诈和滥用行为正受到严密审查。战争部长皮特·海格塞斯宣布对战争部(DoW)进行重大改革,称该项目是一个充斥着“通道”计划的、历经数十年的多元化、公平和包容性(DEI)倡议。
经詹姆斯·奥基夫和彼得·施韦泽的报道引发的调查显示,许多8(a)企业在未完成合同工作的情况下收取高额费用(高达50%),并将合同外包给更大的公司——通常被称为“腰带强盗”。战争部占8(a)项目支出的最大份额,现在将审计所有超过2000万美元的单一来源合同。
目标是消除对国家安全无贡献合同的浪费性支出,并瓦解困扰该项目的欺诈行为。官员们旨在将联邦采购重新聚焦于 merit(能力)和成本效益,而不是DEI考虑因素,并认为战争部的审计只是一个必要的、全机构重置的开始。
## minikv:基于Rust的分布式键值和对象存储
minikv是一个健壮的、多租户的键值和对象存储,使用Rust构建,专为学习和生产使用而设计。它通过Raft共识和2PC提供强一致性,并通过预写式日志(WAL)确保数据持久性。
最近的更新(v0.7.0)引入了基于值的搜索的二级索引、多键事务、流式导入/导出以及持久化的S3支持的对象存储。之前的版本添加了企业级安全功能,如加密、配额和审计日志。
主要特性包括用于可扩展性的虚拟分片、可插拔的存储选项(内存、RocksDB、Sled)以及通过Prometheus指标和内置管理仪表板提供的全面可观察性。它提供HTTP REST和S3兼容的API,以及用于内部通信的gRPC。
minikv非常适合探索分布式系统的工程师、试验Rust基础设施的团队以及对构建可靠、可扩展系统中的权衡感兴趣的任何人。它在GitHub上可用,并高度重视测试、文档和持续集成。
大型软件公司经常因过度会议、强势高管和繁重官僚主义等问题而受到批评。然而,这种批评往往缺乏对这些特征*存在原因*的理解。作者曾在从初创公司到谷歌等公司工作过,认为这些不一定是失败,而是规模和责任的*结果*。
在大型组织中,协调成为首要挑战,这使得会议对于跨团队合作至关重要——并非功能失调,而是必要的。高管充当重要的客户代表,弥合开发者和用户之间的差距,鉴于层层隔阂,他们的意见是必要的。最后,严格的流程并非束缚,而是当软件支撑数百万用户依赖的关键系统时,至关重要的风险管理工具。
核心信息是,在批评大型组织之前,了解其中固有的复杂性和风险至关重要。被视为负面的行为,往往是对规模、可靠性和广泛影响需求的合理应对。
## 加拿大在美不确定性下调整与中国的贸易重点 加拿大最近与中国达成一项贸易协议,降低了对中国电动汽车(EV)的关税,以换取中国降低对加拿大农产品(如菜籽)的关税。卡尼总理将此举视为对不断变化的全球局势和与美国(加拿大最大的贸易伙伴)日益增加的不确定性的务实回应。他表示,加拿大必须“接受世界的现状”,甚至承认中国构成了安全威胁。 该协议包括放宽对加拿大游客的签证要求,被一些人视为多元化贸易和为应对美国-墨西哥-加拿大协议(USMCA)潜在中断做准备的战略举措,该协议目前正在特朗普政府审查中。虽然萨斯喀彻温省等省份欢迎这一协议,因为它使农业产品获得了新的准入,但安大略省对此表示批评,担心由于中国电动汽车竞争加剧而导致汽车行业失业。 专家预测,该协议将使中国汽车制造商占据加拿大电动汽车市场的大约10%。白宫的回应不一,一些官员表示担忧,而特朗普本人则称该协议“是一件好事”。 这一转变凸显了加拿大在与美国持续的贸易紧张局势中,努力争取自主权并确保经济稳定的尝试。
美国政府在特朗普政府时期,在试图推翻尼古拉斯·马杜罗之前和之后,都与委内瑞拉内政部长迪奥斯达多·卡贝略进行了秘密的幕后沟通——卡贝略是马杜罗政权的关键人物,并被指控犯有贩毒罪。这种沟通旨在确保“顺利”过渡,并防止混乱,因为卡贝略控制着委内瑞拉的安全部队和亲政府民兵。
尽管受到美国制裁和巨额赏金的追捕,卡贝略公开支持临时总统德尔西·罗德里格斯,美国认为罗德里格斯是其委内瑞拉石油储备计划的核心。据报道,该政府依靠卡贝略维持稳定,同时提高石油产量。
一些美国官员质疑为什么没有逮捕卡贝略,但持续的对话凸显了一种务实的做法,承认了他破坏国家稳定的能力。尽管一位前特朗普特使预计卡贝略最终会被清除,但美国仍在继续与他接触,即使在关于被用来为制裁辩护的臭名昭著的“太阳集团”贩毒组织的揭露出现后也是如此。
## 奥利维蒂的兴衰:摘要 奥利维蒂于19世纪在意大利伊夫雷亚创立,最初是一家纺织企业。在卡米洛·奥利维蒂的带领下,它发展成为工程和设计的先驱。凭借对创新和员工福利的承诺,奥利维蒂于1908年凭借打字机获得首次成功,确立了其质量和先进制造的声誉。 该公司扩展到计算器,并在20世纪中期进入计算机领域,其愿景是制造兼具功能性和美学价值的机器。奥利维蒂早期的计算机,如ELEA 9003和Programma 101(通常被认为是第一台个人电脑),具有开创性,吸引了NASA的关注并影响了整个行业。 然而,个人电脑市场的激烈竞争以及意大利的经济挑战导致了20世纪90年代的财务困境。随后进行了一系列领导层变更和重组工作,最终在2003年与意大利电信合并,从而结束了奥利维蒂作为独立计算机制造商的存在。 尽管最终转型,奥利维蒂仍然留下了创新设计、进步的劳工实践以及对技术进步的承诺的持久遗产,这些遗产塑造了意大利和全球的技术格局。
## 银价上涨与潜在“释放阀”
银价近期上涨6%,达到每盎司91美元,引发了关于这是否是空头挤仓或短暂峰值的争论。作者认为,一场重大转变正在进行中,由多年的货币政策——特别是过度印钞——最终体现在贵金属价格上。
此次上涨可能成为货币体系中积压压力的“释放阀”,可能类似于历史上的10倍涨幅(暗示银价可能达到150-200美元)。目前的涨势是突破价的3倍,仍有上涨空间,特别是考虑到纸质白银合约与实物供应之间的差距。保证金提高可能会暂停动能,但不会消除潜在需求。
虽然承认存在潜在的下行风险,作者仍然长期看好银和金。他们建议读者自行研究,并提醒读者他们的分析基于个人观点——而且他们过去有时也会犯错!
启用 JavaScript 和 Cookie 以继续。
启用 JavaScript 和 Cookie 以继续。
前总统特朗普威胁对几个欧洲北约盟国——丹麦、挪威、瑞典、法国、德国、英国、荷兰和芬兰——征收关税,加剧了他长期以来购买格陵兰的愿望。他宣布将对进入美国的商品征收10%的起始关税,到2026年增加到25%,直到丹麦同意出售该领土。
特朗普声称购买格陵兰对美国“国家安全”至关重要,理由是格陵兰需要优化一个关键的防御系统(“穹顶”)并防止中国和俄罗斯在那里立足。他声称美国对这些国家数十年的补贴理应换取出售,并将它们最近在格陵兰的活动描述为“危险的游戏”。
此举引发了格陵兰的抗议,居民表达了反对意见。一个美国两党国会代表团目前正在丹麦试图缓和局势。特朗普仍然坚决,表示美国已经寻求此次收购超过150年,并且由于现代武器,现在比以往任何时候都更加重要。
像Bartender、Ice和Barbee这样的应用旨在隐藏、整理和管理菜单栏图标。为此,它们需要系统级别的权限,允许它们录制你的屏幕并管理辅助功能。ExtraBar专注于功能,而非图标管理。它无需任何权限即可工作。只需下载、添加你的应用即可使用。可以选择启用辅助功能以增强键盘导航。
## M8SBC-486:自制486电脑
M8SBC-486是一款完全自制的486电脑,从原理图和PCB设计开始,于2025年4月启动。最初设计用于运行Linux和DOOM,尽管缺少辅助PIC和DMA控制器(影响声卡支持),但它却意外地变得“某种程度上兼容PC”。
该系统采用150x150mm四层PCB,配备PGA-168插座,用于5V 486 CPU(目前运行在24MHz FSB),4MB SRAM,256KB ROM,并使用Xilinx Spartan II FPGA作为芯片组(“仓鼠1”)。它包括两个ISA插槽,一个PS/2键盘端口,以及简单的CMOS RTC,这些都主要在FPGA中实现。一个ATMega128处理复位和位流加载。
目前,MS-DOS、FreeDOS和定制的Linux 2.2.26版本正在运行,以及DOOM和波斯王子等游戏。由于ISA驱动问题,VGA卡以8位模式初始化,兼容性测试仍在进行中。该项目文档位于GitHub ([https://github.com/maniekx86/M8SBC-486](https://github.com/maniekx86/M8SBC-486)) 和TheRetroWeb ([https://theretroweb.com/motherboards/s/maniek86-m8sbc-486](https://theretroweb.com/motherboards/s/maniek86-m8sbc-486))。
## 民主党与移民:超越“不要残忍”
近期“废除冰暴”的呼声日益高涨,揭示了民主党内一个令人担忧的趋势:优先考虑象征性姿态而非有效的移民政策。作者认为,民主党一贯专注于批评冰暴的内部执法——拘留和驱逐已在美国境内的人员——将其定性为天生“残忍”,而非将其视为合法的执法行为。
这种做法,受到“没有人是非法的”等进步口号的推动,忽视了移民的现实:进入美国的愿望往往超过了合法的途径,从而鼓励非法入境。像“废除冰暴”所建议的那样,仅仅停止执法只会加剧问题。
作者警告说,这与“废除警察”的闹剧如出一辙,表明缺乏对执法的承诺,并可能导致政治反弹。相反,民主党需要“移民现实主义”——承认对边境管控的需求,执行现有法律,并认识到移民能力的局限性。为了理想化的口号而忽视这些现实,很可能行不通且在政治上造成损害,重蹈管理边境和庇护系统失败的覆辙。
## 数字组织之术 高效地存储和检索信息是计算机科学的核心挑战,也反映了日常生活中整理物品的问题。就像书架可以按字母顺序排列(查找快,插入慢),也可以随意堆放(插入快,查找慢),数据结构在访问、添加、删除速度以及内存使用方面寻求平衡。 像**哈希表**这样的解决方案就像带有标签的箱子,使用“哈希函数”为数据分配存储位置。虽然高效,但分布不均会导致瓶颈。研究人员不断改进这些函数以优化性能,最近实现了理想的时空平衡,并挑战了关于搜索时间的长期假设。 然而,并非所有数据都同等重要。对于优先处理任务——例如待办事项列表——**堆**提供了一种不同的方法。堆结构类似于金字塔(通常使用二叉树),可以快速显示最高优先级的项目。新项目根据紧急程度“冒泡”上升,确保快速访问最重要的任务。堆设计的最新创新甚至带来了最短路径算法的突破。 最终,计算机科学表明,没有完美的组织系统。每种方法都涉及权衡,而优先考虑最重要的内容是关键——即使这意味着有点“混乱”。
## 特朗普威胁关税以回应未能购买格陵兰 特朗普总统宣布,他将对来自八个欧洲国家(丹麦、挪威、瑞典、法国、德国、英国、荷兰和芬兰)的商品征收逐步提高的关税——2月起征率为10%,6月起提高至25%——原因是这些国家反对美国购买格陵兰。他声称购买格陵兰对于导弹防御至关重要,并且可以防止中国或俄罗斯控制该岛的资源。 这一威胁严重紧张了与北约盟友的关系,引发了担忧和反击。虽然特朗普此前曾使用贸易压力,但这次升级尤其严重。预计将出现对征收关税的法律挑战。 与此同时,数千人在格陵兰和丹麦举行抗议活动,强调格陵兰的自治权,并喊出“格陵兰不是用来出售的”等口号。一个美国国会代表团试图向丹麦和格陵兰保证美国将继续提供支持,强调北约联盟的重要性。丹麦已加强在格陵兰的军事存在,并与北约盟友进行联合北极防御训练,但表示不预计来自北约国家的攻击。
哈德威克庄园非凡的设计由哈德威克伯爵夫人贝丝精心规划,通过巧妙利用自然元素来优先考虑舒适性。房屋精确地沿南北方向排列,决定了内部布局以最大化日照。 贝丝根据太阳的路径战略性地布置房间:长廊朝东,以获得早晨的阳光;卧室则享受西南下午的阳光;厨房则位于寒冷黑暗的西北方——自然地保存食物。 为了进一步提高热效率,设计在北侧采用了“盲”窗户以最大限度地减少热量损失,壁炉位于建筑极其厚(4.5英尺)的墙壁中心,以保持温暖。这种深思熟虑的建筑展示了对被动式供暖和制冷的深刻理解,几个世纪前就创造了舒适的生活空间。
司法部正在调查明尼苏达州州长蒂姆·沃尔兹和明尼阿波利斯市长雅各布·弗雷,涉嫌共谋妨碍联邦移民执法。调查的重点是他们关于移民局(ICE)和边境巡逻队在明尼阿波利斯(一个自我宣告的“避难城市”)行动中的公开声明。
消息人士透露,此次调查是由针对移民局特工的有组织压力活动引起的,这些活动由活跃在多个城市的左翼非营利组织推动。这些团体已经动员起来扰乱驱逐出境,一些批评人士称这些行动正在升级到危险程度,甚至接近叛乱。
核心论点是,地方政府不能凌驾于联邦移民法之上,积极阻碍执法——或煽动他人这样做——是非法的。人们担心存在一连串出于政治动机的破坏行为,将最近的事件与过去的动荡(如“黑人的命也是命”暴乱)联系起来,并指责民主党利用“抗议产业综合体”来制造混乱。 呼吁加强联邦应对,并明确阐明围绕移民执法的法律界限。
## 加拿大的数字主权:日益增长的必然性 美国最近的强硬行动——包括海外干预和对盟友的施压——加剧了人们对过度依赖美国利益的担忧。对于与美国关系密切的加拿大来说,这一点尤为重要。一个关键的脆弱性在于数字依赖,美国制裁国际刑事法院并随后影响对微软等服务的访问,甚至包括其官员,就凸显了这一点。 这展示了一种潜在的“数字关闭开关”,并促使欧洲国家重新评估对美国技术的依赖。加拿大面临类似的风险,由于其地理位置和现有的经济不平衡而加剧。虽然美国科技公司通过游说和政治结盟发挥影响力,但加拿大政府最近削弱了监管它们的努力,暂停了人工智能法规,并牺牲了数字服务税以取悦美国的贸易要求。 问题的根源在于一个历经数十年的模式,该模式优先考虑私营部门对互联网的控制,允许美国公司在全球范围内占据主导地位,并将利润从加拿大等国家转移出去。为了重获自主权,加拿大必须优先考虑“数字主权”——投资公共云基础设施,支持开源替代方案,并促进以公共利益为中心、而非仅仅以私人利益为中心的国内技术发展。这需要从单纯吸引投资转变为积极构建一个具有弹性和独立的数字未来。