## Snail:Emacs 的 Julia 开发环境
Snail 是一个强大的 Julia 开发环境,旨在 Emacs 中复制 SLIME (Common Lisp) 和 CIDER (Clojure) 的体验。它提供了一种动态的、REPL 驱动的工作流程,利用 libvterm 或 Eat 等高级终端模拟器来实现高性能和稳定的 REPL 显示。
**主要特性:**
* **REPL 交互:** 桥接 Emacs 和 Julia 进程,实现代码加载、函数定义和内省。
* **远程 REPL:** 支持通过 SSH 和 Tramp 与远程机器上的 Julia 会话无缝交互。
* **多媒体与绘图:** 直接在 Emacs 中显示 Julia 图形。
* **代码感知:** 使用 Julia 解析器 (CSTParser) 进行准确的代码理解,从而实现诸如交叉引用和模块感知补全等功能。
* **可扩展性:** 支持可选扩展,用于实现 REPL 历史记录、代码格式化、Org-mode 集成和调试等功能。
**设置要求:** Emacs 26.2+(具有模块支持),安装 libvterm 或 Eat,以及 `julia-snail` 包。配置通常涉及将 `julia-snail-executable` 设置为指向您的 Julia 二进制文件,并可能调整显示设置。项目特定设置可以通过 `.dir-locals.el` 文件进行管理。
## 公民学习周与美国建国250周年
今年三月是公民学习周,并在费城举办以“自由与学习:250周年公民教育”为主题的全国论坛,与国家建国半五百年纪念日同时进行。倡导者强调公民教育是一生的追求——而不仅仅是死记硬背,对于一个运作良好的自治政府至关重要,尤其是在最近的NAEP成绩显示公民和历史水平低下的情况下。
“公民准备”的势头正在增强,各教育层级都进行了大量投资。美国教育部最近为K-12项目和教师培训提供了超过1.53亿美元的资金,重点是原始文件和文明讨论。卡内基公司、Stand Together和贝佐斯家族基金会也为“公民之星挑战赛”和教师奖励等倡议贡献了超过5600万美元。
杰克·米勒中心等组织正在支持学者和校园项目——包括讲座、辩论和读书会,围绕着美国的建国原则和《独立宣言》展开,覆盖33个州和哥伦比亚特区。五月份的全国公民教育峰会将进一步探讨基础文件的持久影响。呼吁优先为所有美国人提供公民教育,将其作为对国家未来的重要投资。
## 构建更好的编辑器:一次个人旅程
对现有的文本编辑器感到不满——即使尝试了 Helix、VS Code 和 Vim 等许多编辑器——一位程序员开始构建自己的编辑器。现有工具在对其工作流程至关重要的领域表现不足:高效的项目范围搜索、无缝的 SSH 访问以及功能完善的集成终端。
该项目优先考虑个人需求而非广泛的功能集,专注于为开发人员特定语言和习惯量身定制的简化体验。主要成果包括一个受 Howl 启发的快速文件浏览器、一个高度优化的正则表达式引擎,用于语法高亮和搜索,以及一个基于 Alacritty crate 构建的终端模拟器。通过诸如按需高亮和最小化终端重绘等技术来提高性能。
该开发者强调构建自定义工具的好处:完美适应个人工作流程、加深技术理解、提高生产力,最重要的是,重燃编程的乐趣。这个过程虽然具有挑战性,但却非常有价值,将重点从与工具作斗争转移到创造性问题解决,并重新点燃了对这项技艺的热情。最终,这段经历倡导工程师们拥抱构建自己的工具,在奋斗中找到乐趣,并获得由此带来的个性化力量。
## 重思多动症:超越“障碍”
传统上,注意力缺陷多动障碍(ADHD)被视为一种缺陷,但现在越来越多地被理解为“不同的神经连接”——一种具有内在优势的神经变异。虽然ADHD大脑可能由于控制注意力和动机的大脑区域之间协调不一致而难以保持持续的注意力,但它们通常在创造力、过度专注和认知灵活性方面表现出色。
像丹尼尔·阿门博士这样的专家强调,ADHD不是性格缺陷,而是一种大脑*模式*。诊断数量的增加(目前影响11.4%的儿童)也可能反映了环境对注意力的需求增加,而不仅仅是神经问题。
关键在于找到适合ADHD个体发展的环境。调整学校和工作场所以适应不同的需求——提供专注工作或刺激环境的选择——可以释放潜力。彻底的评估至关重要,以排除其他潜在原因,并且干预应侧重于通过冥想、锻炼和技能建设等方式来建立大脑健康,从而增强神经可塑性并持续发挥内在优势。最终,认识和重视神经多样性对所有人都有益。
在最近为期十一天的“史诗怒火”行动中,目标是伊朗军事设施,美国军方遭受了重大损失:十一架通用原子MQ-9收割者无人机。这些先进的侦察和攻击无人机价值约3000万美元每架,总损失超过3.3亿美元,由纳税人承担。
美国中央司令部(CENTCOM)报告称,打击了约5000个与伊朗伊斯兰革命卫队(IRGC)有关的目标,包括海军舰艇和导弹基地,但无人机损失约占美国总收割者无人机库存(424架)的2.6%。开源情报(OSINT)报告和在网上流传的影像资料证实了无人机的活动以及据称在伊朗坠毁的情况。该行动旨在摧毁伊朗的指挥控制基础设施和武器制造能力。
这个故事源于1994年的一封邮件,讲述了加利福尼亚州帕洛阿尔托市发生的一起怪异事件。一个城市变压器室,容纳着为市中心办公楼供电的一百万瓦设备,被发现装满了大约2000加仑的废弃食用油。
多年来,附近一家餐厅一直在非法将炸油倾倒进变压器室,错误地认为它通往雨水下水道。变压器的热量使油脂保持熔化状态,造成了严重的火灾隐患。如果变压器过热,可能会点燃油脂,导致一场巨大的“超级油火”。
问题浮出水面是因为餐厅顾客抱怨有腐臭味。城市公用事业部门最终发现了问题,切断了电源,移除了油脂,并更换了变压器。幸运的是,没有人受伤,一家餐厅暂时无法提供油炸食品。
特朗普总统关于伊朗的表态仍然模糊且不断变化,导致美国的目标令人困惑。 最初,他要求“无条件投降”,此后他的言论有所缓和,承认了伊朗人民,同时也批评了该政权。
白宫似乎已经放弃了将“政权更迭”作为任何军事行动的正式目标,似乎认识到空袭的局限性。 然而,出现了相互矛盾的报道——特朗普公开犹豫是否确认要打击新的伊朗领导人,而《华尔街日报》报道称,如果要求未得到满足,他已授权采取行动。
这种不一致性源于不同的观点;据报道,以色列官员支持清除新的阿亚图拉。 美国面临的核心困境是,是寻求彻底的政权更迭(冒着旷日持久的地面战争的风险),还是接受现行体制,从而可能导致伊朗拥有核武器。 随着局势发展,这一战略挑战只会加剧。
霍尔木兹海峡目前已对航运关闭,紧张局势升级,卡塔尔警告与伊朗的冲突可能摧毁全球经济,并可能导致海湾国家停止石油和天然气生产。情报显示,俄罗斯可能正在协助伊朗 targeting 美国军队,但特朗普总统正在抵制局势升级。
这场危机凸显了能源独立性的紧迫性,特别是通过核聚变。虽然中国大力投资这项技术,但特朗普政府正在优先发展核聚变,认识到落后的风险。最近的进展包括核管理委员会关于管理聚变副产品的草案指南,以及特朗普媒体和技术集团与谷歌支持的能源研究公司 TAE Technologies 之间的 60 亿美元合并。
聚变提供了一种无污染的能源,没有传统核裂变的放射性废物,研究人员的目标是在未来十年内产生商业电力。
乌克兰和韩国都对美国将防空系统——特别是爱国者导弹和“萨德”系统的部分组成部分——从朝鲜半岛重新部署到中东表示担忧,原因是与伊朗的紧张局势加剧。韩国总统李在明表达了反对意见,但承认自己无力阻止,尽管他认为这不会削弱对朝鲜的威慑力。
据报道,已经转移了几套爱国者导弹阵地,可能前往沙特阿拉伯或阿联酋,因为美国在对伊朗的行动中迅速消耗了先进武器——据报道,前两天就花费了56亿美元。虽然五角大楼将此视为预防措施,但重新部署凸显了全球军备供应可能面临的压力,直接影响乌克兰获得关键防空支持。美国系统在与伊朗冲突中的受损程度尚未公开。
## 年轻男性睾酮下降:日益严重的危机
一个令人担忧的趋势正在出现:30多岁和40多岁的男性正经历着显著降低的睾酮水平——通常出现在比他们大几十年的人身上。泌尿科医生报告,低性腺功能减退症的病例急剧增加,影响性欲、肌肉质量和整体健康。这不仅仅是与年龄相关的下降;下降的速度*更快*,而且年龄也比以前观察到的*更年轻*。
有几个因素正在导致这场“沉默的危机”,包括睡眠不足、肥胖、代谢综合征以及暴露于邻苯二甲酸酯和对羟基苯甲酸酯等环境化学物质(存在于塑料和个人护理产品中的内分泌干扰物)。过度的屏幕使用和数字刺激也是主要原因,扰乱睡眠并使唤起通路脱敏。
标准检测往往会遗漏这个问题,需要评估*游离*睾酮以及其他激素指标。随着睾酮水平的下降,前列腺癌的发病率也在上升,可能与共同的潜在原因有关,例如毒素暴露和营养不良。医生建议从40岁开始进行主动筛查,改变生活方式,并就数字习惯和环境因素进行公开讨论,以解决这一日益严重的健康问题。
## 日本战略转变:摘要
日本正经历重大战略转型,受到印太地区格局变化以及对中国、朝鲜和俄罗斯日益增长的担忧所驱动。 历史上,日本受到1854年被迫向西方开放以及二战后与美国的联盟影响。现在,日本正在加强其防御力量,不再仅仅依赖美国的“核保护伞”。
这种转变包括在台湾附近岛屿部署导弹系统——由于潜在冲突对日本海上通道和美国基地的影响,台湾是一个关键焦点——并增加国防开支。 东京正在加强其西南诸岛,增强导弹防御和反击能力,并加深与美国的军事规划。
这不是重返军国主义,而是对“地理的暴政”以及对地区稳定长期假设的侵蚀的回应。 前首相安倍为这一变化奠定了基础,现任领导层正在在此基础上建设,倡导更积极的防御姿态。
对于美国而言,一个强大而有能力的日本对于维持可信的威慑力量并在西太平洋投射力量至关重要。 这种不断演变的伙伴关系,根植于复杂的历史,对于维护稳定和在日益增长的专制影响面前促进民主价值观至关重要。
联邦大陪审团已传唤亚利桑那州参议院与“网络忍者”进行的2020年选举审计相关的记录,确认了对选举管理的联邦调查。这紧随佐治亚州类似调查之后,据报道,调查范围涵盖2020年和2024年的数据。尽管审计结果存在广泛争议,但它发现了影响超过57,000张选票的差异——超过了拜登在该州的获胜优势。
调查引发了党派反应。亚利桑那州司法部长克里斯·梅耶斯等民主党人批评这起调查是出于政治动机,而唐纳德·特朗普则支持这项调查。
与此同时,特朗普要求参议院通过“拯救美国法案”——一项要求投票者提供公民身份证明和照片身份证,并限制邮寄投票的立法,然后再签署任何其他法案。尽管公众对这些措施的支持率很高(民意调查显示,支持率在71-84%之间),但民主党人强烈反对该法案,将其称为压制选民,并威胁导致政治僵局。该法案在参议院面临60票的门槛,而且改变冗长辩论规则的意愿不高。
## Firetiger 现在可以连接到您的私有数据库
Firetiger 数据库代理旨在自动化数据库管理(Postgres、MySQL、ClickHouse),但大多数有价值的数据库都位于私有网络中,这带来了连接性挑战。传统的解决方案,如 VPC 对等互联或 VPN,复杂且容易出现问题。
Firetiger 通过 **网络传输** 来解决这个问题,首先是 **Tailscale**。Tailscale 简化了网络之间的安全连接,允许 Firetiger 代理访问您的数据库,*而无需*将其暴露到公共互联网。
操作方式如下:您使用 Tailscale 的基于身份的访问控制在您的 Tailnet 中授予 Firetiger 访问权限,创建凭据,并配置 Firetiger Tailscale 网络传输。这将建立一个安全加密的连接。
这意味着您现在可以利用 Firetiger 的自动化 DBA 和自定义代理来监控和管理您私有托管的数据库,消除盲点并简化操作——即使在复杂的网络配置下也是如此。提供了一个详细的指南,其中包含完整的设置示例。
一位联邦法官在特朗普政府的一项旨在大幅加快移民上诉程序的规则即将生效前叫停了该规则。这项来自司法部移民审查执行办公室(EOIR)的规则,旨在解决移民上诉委员会(BIA)的巨大积压案件——从37,000起增加到超过202,000起——通过缩短上诉提交时间并简化驳回程序来实现。
兰道夫·莫斯法官引用缺乏公众评论,撤销了该规则的核心条款,认为这些变化威胁到了正当程序权利。批评人士声称,该规则实际上将结束许多没有听证的上诉。
挑战该规则的诉讼是由五家左倾的非营利组织提起的。该规则的支持者认为,这是解决系统性延误和加强边境安全的一步,这是选民在2016年选举中表达的意愿。反对者认为,这项裁决是对移民权利的胜利,也是对他们认为过于激进的驱逐政策的制约。
## 学生性别转换与家长权利的日益冲突
一场全国性的争论正在加剧,焦点在于公立学校是否应该告知家长学生决定进行社会性别转换——采用新姓名和代词——或者应根据学生的请求将这些信息保密。这场争论受到缅因州和马萨诸塞州等地的诉讼推动,并且有几起案件已到达最高法院,核心问题是平衡家长指导孩子成长的权利与学生隐私权和自我表达权。
目前,大约有6000所公立学校可能制定了允许制定“性别支持计划”的政策,这些计划对家长保密。支持跨性别青年的倡导者认为,这可以保护易受伤害的学生免受潜在有害的家庭环境的影响,并肯定他们的身份,从而降低抑郁和自杀的风险。相反,挑战这些政策的家长担心学校越权,并在没有家长参与的情况下可能促成具有长期影响的决定。
最近的法院裁决不一,但最高法院已经发出了越来越严格的审查信号,并在相关案件中倾向于保守观点。各州正在通过立法来回应——佛罗里达州和十多个其他州颁布了家长通知法,而加利福尼亚州则采取措施*禁止*此类通知,该政策最近已被最高法院阻止。这场冲突凸显了人们对性别认同、家长权利以及学校在应对这些复杂问题中的作用的深刻信念。
佐治亚州法官驳回了富尔顿县地区检察官法尼·威利斯阻止追回唐纳德·特朗普及其共同被告因其现已撤销的选举干预案件而产生的近1700万美元法律费用的努力。法官裁定威利斯办公室无权干预,因为她之前因与检察官存在恋爱关系而因利益冲突被取消资格。
尽管威利斯辩称报销法违宪,且她的取消资格并未导致案件被驳回,但法院允许富尔顿县本身参与,因为它可能需要承担这些费用。特朗普个人寻求超过620万美元的报销。
该案件在取消资格后于11月被最初驳回,佐治亚州最高法院维持了这一决定。焦点现在转移到确定所请求费用的合理性上,这一过程预计需要数月时间,并可能涉及进一步的上诉。
## 人工智能转型与比特币矿工:一场冒险的赌注?
人工智能热潮正在重塑科技格局,企业大力投资基础设施,FAANG公司的股价也因此上涨。然而,炒作与利润之间的差距仍然存在。令人惊讶的是,多家公开的比特币矿工正在*远离*加密货币,*转向*人工智能,这源于比特币挖矿当前的盈利能力下降以及对潜在更高回报的吸引力。
像Cypher Mining和Bitfarms这样的公司正在重新品牌化并剥离比特币资产,甚至宣布自己“不再是比特币公司”。他们正在向微软和谷歌等超级规模者出租算力,利用当前的即时需求。然而,一个关键问题是人工智能领域的资本支出(Capex)不断上升,而收入有限——目前存在6000亿美元的差距。
专家认为,矿工本质上正在成为人工智能基础设施的房东,这类似于过去铁路和光纤等热潮,基础设施建设者往往无法获得长期回报。 越来越多的人倾向于自托管人工智能,OpenClaw这个流行的开源项目就是一个例子,这可能会进一步降低这种基础设施投资的价值。最终,这些矿工可能会优先考虑短期收益而非长期价值,并可能重蹈历史上过度投资和最终被大型企业整合的覆辙。