堪萨斯州议会大厦“黑弥撒”事件引发冲突
堪萨斯州议会大厦发生一起冲突事件,起因是自称撒旦教徒的小团体试图在圆形大厅举行“黑弥撒”。该团体领导者迈克尔·斯图尔特被捕,其他三人也被逮捕。事件吸引了数百名基督教反示威者,双方发生言语冲突。州长凯利此前下令禁止在议会大厦内进行抗议活动。此次事件引发了关于言论自由和宗教自由的讨论,以及对州政府在处理宗教活动方面的偏袒争议。
阅读更多
堪萨斯州议会大厦发生一起冲突事件,起因是自称撒旦教徒的小团体试图在圆形大厅举行“黑弥撒”。该团体领导者迈克尔·斯图尔特被捕,其他三人也被逮捕。事件吸引了数百名基督教反示威者,双方发生言语冲突。州长凯利此前下令禁止在议会大厦内进行抗议活动。此次事件引发了关于言论自由和宗教自由的讨论,以及对州政府在处理宗教活动方面的偏袒争议。
阅读更多
Y Combinator孵化的开源计费平台Lago正在招聘技术客户主管。该职位位于巴黎和旧金山,要求候选人具备快速学习能力、清晰的沟通能力和解决问题的能力,能够向客户解释复杂的计费流程。Lago提供具有竞争力的薪酬和期权,以及混合办公模式。这是一个在快速发展的金融科技公司工作并对产品产生直接影响的机会。
阅读更多
本文挑战了流行的观点,即全球化和贸易逆差导致美国制造业衰落和中产阶级空心化。作者认为,尽管中国冲击确实损害了一部分制造业工人,但其影响被夸大了。美国中产阶级收入实际上一直在增长,并且制造业在GDP中的占比下降是多种因素共同作用的结果,而非仅仅是贸易逆差。作者呼吁理性看待贸易政策和产业政策,避免被错误的叙事所误导。
阅读更多
这是一本小型电子书,旨在教授一种名为Forth的编程语言。Forth不同于大多数其他语言,它没有类型检查,几乎没有语法。本书包含一个用JavaScript编写的Forth简单实现,并通过示例演示了Forth的核心概念,包括栈操作、词定义、条件语句和循环等,最终还实现了一个简单的贪吃蛇游戏。
阅读更多
arXivLabs是一个允许协作者直接在arXiv网站上开发和分享新功能的框架。参与arXivLabs的个人和组织都秉持着开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观,并且只与遵守这些价值观的合作伙伴合作。如果你有想法可以为arXiv社区增值,那就了解更多关于arXivLabs的信息吧!
阅读更多
本文讲述了童话大师安徒生传奇的一生。他出身贫寒,相貌奇特,饱受嘲讽,却凭借其非凡的才华和毅力,最终成为享誉欧洲的作家。从最初的戏剧表演到后来的诗歌、小说,再到最终名扬天下的童话故事,安徒生不断探索,最终塑造了他独特的文学风格。他的经历如同他的童话故事一般,充满了戏剧性与励志色彩,展现了其非凡的创造力和对人生的深刻理解。
阅读更多
Crimson 是一家专注于高风险诉讼的AI平台公司,正与英美顶级律师事务所合作,简化复杂纠纷的处理流程。他们开发的平台可以起草诉状和提交文件,分析判决和命令,几秒钟内总结笔录并定位关键证据。目前,Crimson 正在寻找一位优秀的全栈工程师加入他们的团队,参与平台的开发和维护,有机会参与到改变法律行业未来的工作中。
阅读更多
JOVE 是一款古老而强大的文本编辑器,本文档详细介绍了如何在 UNIX/Linux/macOS/BSD/Cygwin 系统上编译和安装 JOVE。安装过程涉及解压源代码、安装编译工具、运行构建脚本 `jmake.sh`(或手动配置 Makefile),以及根据系统选择合适的编译选项。文档还涵盖了多种系统的配置方法,包括 Debian、Alpine、macOS、FreeBSD 等,以及针对不同系统版本的特殊处理。此外,文档还介绍了 JOVE 的一些特性、使用方法和已知问题。
阅读更多
20世纪初,反向绘画在美国已过时,被视为女性化的工艺。然而,艺术家如Marsden Hartley和Rebecca Salsbury James却在1910年代对其进行了革新,拓展了传统主题,并探索了新的色彩、线条和空间表达方式,赋予了这项古老技法现代主义的活力。这与同时期波兰艺术家Janoszanka的创作不谋而合,展现了艺术创新对传统技法的再诠释。
阅读更多
Hestus公司,一家位于Peninsula的快速发展的AI驱动CAD初创公司,正在招聘一名经验丰富的机器学习工程师。你将参与设计、开发和维护基于Python的强大且可扩展的软件应用,创建和调整定制机器学习模型和嵌入,并与跨职能团队合作开发新功能。理想候选人应具备至少四年机器学习工程经验,精通Python,熟悉深度学习框架(如PyTorch),并能够在快节奏的环境中高效工作。公司提供具有竞争力的薪酬、股票期权和优厚的福利待遇。
阅读更多
冰岛在2019年率先实施了四天工作制,五年来的实践证明,这一举措不仅没有降低生产力,反而提升了员工的工作效率和幸福感。近90%的冰岛员工每周工作36小时,薪资不变,压力减少,工作与生活平衡得到显著改善。更重要的是,四天工作制促进了性别平等,男性更多地参与家庭事务。冰岛的成功经验,得益于其完善的数字化基础设施和年轻一代对新工作方式的快速适应,为其他国家提供了宝贵的借鉴。
阅读更多
最近发现的CVE-2025-7783漏洞利用了Node.js生态系统中axios或已弃用的request库的边缘情况。攻击者需要连续五个JavaScript Math.random()的输出才能预测未来的输出。作者认为,仅需两个完整的64位输出即可逆向Math.random()使用的Xorshift128+算法。文章详细介绍了一种高效的226操作算法,通过对Xorshift128+的分析,只需知道R1的低26位,就能确定L1和R2的剩余位。作者还讨论了如何将该算法应用于Math.random(),并分享了使用ChatGPT辅助研究的经验,指出虽然AI工具存在不足,但其潜力巨大。
阅读更多
一个新的提案建议为HTML Canvas添加API,以便在2D和WebGL Canvas中渲染HTML内容。这解决了现有Canvas在处理复杂布局、可访问性、国际化和性能方面的问题。新的API包括`layoutsubtree`属性、`drawElement`和`texElement2D`方法以及`setHitTestRegions`方法,允许开发者将HTML元素及其子树渲染到Canvas中,并处理命中测试。该提案目前处于开发阶段,并提供了开发者试用版本。
阅读更多
在AI辅助编程日益普及的今天,盲目依赖AI生成代码可能带来严重的风险。文章指出,不阅读AI生成的代码可能导致架构腐化、失去对代码实现的理解以及引入安全漏洞。作者建议开发者区分异步任务和同步任务,对核心功能采用同步协同编程模式,即时检查和修正AI的建议,确保代码质量和安全性。最终,作者强调AI是开发者的辅助工具,而非替代品,理解代码仍然是开发者的核心责任。
阅读更多
开发人员经常面临AI模型意外消耗大量API调用而导致高额费用的问题。AgentGuard是一个实时预算工具,只需添加两行代码,即可在你的AI项目中设置成本上限。当成本达到上限时,AgentGuard会自动停止进程,防止进一步的费用支出,并提供详细的报告,帮助你节省资金。它支持多种AI API,包括OpenAI和Anthropic,并提供多种保护模式,例如抛出错误、发出警告或强制终止进程。AgentGuard是唯一一款能够在运行时实时阻止AI成本失控的工具。
阅读更多
计算机科学领域,顶级学术会议已成为衡量研究价值的首要标准,但其日益严重的官僚化和形式主义却威胁着学术创新的活力。文章指出,会议已演变成一场年度“晋升考试”,评审更关注形式规范而非研究本身的价值,导致许多有潜力的创新性研究被扼杀。作者呼吁改变会议评审文化,将重点回归学术创新本身,并建议取消不必要的繁琐规定,将决策权交给该领域的资深专家,以促进学术进步。
阅读更多
尽管经常被嘲笑为完全过时的技术,但电视文本在许多国家至今仍很流行。这篇文章探讨了电视文本的全球历史,从英国的Ceefax和法国的Antiope标准开始,到北美呈现层协议语法(NAPLPS)的出现,以及亚洲(特别是日本和韩国)的独特发展。文章还讲述了电视文本在冷战时期东西方国家的不同发展轨迹,以及它如何在不同语言和文化背景下适应和演变。尽管面临来自互联网和个人电脑的竞争,电视文本仍然顽强地存在于一些国家,这篇文章探索了其持久性的原因,以及它在成人内容等领域的意想不到的应用。
阅读更多
作者讲述了他与脑部肿瘤抗争的故事。在手术前夕,他经历了非同寻常的体验,对时间、生命和爱有了深刻的理解。手术后,虽然身体经历了痛苦的恢复过程,但他更加珍惜生命,并领悟到“觉知”不仅仅是神经元的活动,更是关爱、爱和对生命的感知。这个故事充满了对生命意义的深刻思考,以及对爱的细腻描写。
阅读更多
Citybound是一款雄心勃勃的开源城市建设游戏,它使用微观模型来模拟由数百万个体互动而产生的城市有机体。游戏中,每个家庭或企业都被单独模拟,拥有自己的资源清单,并通过交易来满足需求,从而形成自然涌现的经济模式。该游戏还拥有微观交通模拟、基于行为的协同规划和创新的技术架构,例如基于Actor的分布式模拟引擎和Rust-WASM-JS桥接。Citybound的目标是模拟数百万人口的大型城市,并通过高效的实时交互编辑功能和社区合作实现。
阅读更多
RustCurious.com 推出一份 Rust 类型系统可视化指南,以交互式图表展示了 Rust 中所有类型的分类。该指南重点关注语言内置的 `lang_items`——用于支持特定语法的类型和特性,旨在揭示哪些功能可以纯粹用库代码构建。例如,`Vec`、`String` 和 `HashMap` 等类型并未包含在内,因为它们只是结构体。Rust 将平台无关的核心与依赖于标准库的功能清晰地区分开来,使得无标准库(no_std)的程序成为可能,这在嵌入式固件和其他系统级环境中非常有用。
阅读更多
位于马里兰州的美国国立卫生研究院下属埃博拉病毒及其他致命传染病研究机构——弗雷德里克综合研究中心,因“人员问题”导致的安全文化危机,被勒令停止所有实验工作。该决定由卫生与公众服务部下达,涉及包括拉沙热、SARS-CoV-2和东部马脑炎等病毒研究。中心主任已被停职,员工面临不确定未来,此次事件对美国传染病研究造成重大打击,也引发了对联邦科学机构管理的质疑。
阅读更多
本文列举了GitHub代码审查中应用建议时可能遇到的各种限制,例如代码未修改、拉取请求已关闭、只查看部分更改、每行只能应用一个建议、应用于已删除行、建议已应用或标记为已解决、来自待处理审查的建议、多行注释以及拉取请求已排队合并等情况,并提示部分操作当前不可用。
阅读更多
Echelon 公司最近的固件更新切断了其健身器材与第三方应用 QZ 的连接,引发用户强烈不满。QZ 应用允许用户连接到 Zwift 等平台,提供虚拟骑行体验和额外功能,许多用户正是因为 QZ 才购买了 Echelon 设备。Echelon 此举被认为是为了推广其自身付费订阅服务,增加营收。尽管 QZ 开发者表示无意损害 Echelon 的业务,但此事引发了关于设备厂商控制权和用户选择的讨论,用户社区也正在开发开源控制器以应对这一问题。
阅读更多
一位资深计算机科学家讲述了两个案例,都与家用路由器使用低功率电源导致性能问题有关。第一个案例发生在作者自己家中,使用太阳能逆变器供电的路由器表现异常缓慢;第二个案例则发生在基里巴斯,一个由ISIF Asia资助的项目中使用的路由器也出现了类似问题。通过示波器观察,作者发现路由器在电压下降时会抽取比电源所能提供的更多电流,导致性能不稳定。最终,通过添加电容来稳定电源解决了问题,这提醒我们,看似微不足道的电源问题可能导致严重的网络故障。
阅读更多
自特朗普重返白宫以来,美国政府利用人工智能(AI)大规模监控和迫害数千人,主要针对移民、过境外国人或学生,手段包括未经司法授权的社交媒体扫描、生物识别数据分析、电话窃听等。此举由特朗普及其顾问马斯克推动,私营部门如Palantir、Anduril和GEO Group提供技术支持。政府部门如国土安全部和移民及海关执法局使用Babel X和SocialNet等工具收集社交媒体信息,甚至将“反犹太主义活动”作为拒绝庇护或公民身份的理由。此外,“政府效率部”(DOGE)收集公民敏感数据,用于构建新的驱逐出境平台。专家们警告称,这种不受限制的监控侵犯人权,且其影响已波及欧洲。
阅读更多
GS-Calc 是一款重新定义了桌面软件“大数据集”含义的现代电子表格软件。它能够轻松处理包含数百万行和数万列的超大型 CSV 和 XLSX 文件,并支持无限数量的工作表和子文件夹。其强大的性能优化使其在加载文本文件、复制粘贴、执行 VLOOKUP 和 MATCH 等操作上显著优于其他电子表格软件。此外,GS-Calc 还提供了丰富的功能,例如强大的数据透视表、蒙特卡洛模拟、正则表达式支持以及 Python 集成等,使其成为处理大型数据集的理想工具。
阅读更多
一本新书《伍尔夫未收录信件》出版,收录了此前未公开的1400多封信件,展现了弗吉尼亚·伍尔夫鲜为人知的一面。这些信件不仅揭示了她与其他作家(如艾略特、福斯特)的交往,也展现了她作为一位友善的社交达人、精明的女商人以及热心公益的形象,打破了她长期以来抑郁隐居的刻板印象。书中信件内容丰富,涵盖了文学创作、社会交往、个人情感等多个方面,为研究者提供了宝贵的第一手资料。
阅读更多
本文评论了Nicholas Carr的新书《超级绽放》,该书以加州罂粟花事件为引子,探讨了科技尤其是社交媒体的负面影响。从早期的电报、电话到广播、互联网,Carr回顾了美国媒体监管的演变,指出缺乏有效的监管导致了社交媒体的失控,以及由此产生的社会问题,例如信息过载、隐私泄露和人际关系疏离。作者认为,仅仅依靠“摩擦设计”等温和措施不足以解决问题,呼吁对科技进行更积极的干预和反思。
阅读更多
十一年来,GNU Make的并行构建中一直存在一些难以重现的bug。作者受到启发,开发了`--shuffle`模式,该模式随机打乱makefile中目标的执行顺序,从而模拟非确定性构建,有效地发现了30多个软件包(包括gcc、vim、ghc等)中的隐藏bug。该模式已集成到GNU Make 4.4版本中,可以通过`make --shuffle`或设置环境变量`GNUMAKEFLAGS=--shuffle`使用。这个功能不仅能帮助开发者发现并解决并行构建中的问题,更体现了持续改进软件开发工具的重要性。
阅读更多
作者长期以来热衷于定制Linux桌面主题,尝试过各种面板、插件和主题,但最终因维护成本过高而放弃。后来,他发现了可引导容器技术(bootc),这允许用户将操作系统定义为Containerfile,从而轻松创建、测试和回滚自定义桌面环境。通过bootc,可以轻松创建和管理包含自定义主题、字体和应用程序的容器,避免了传统方法中配置文件漂移和系统损坏的问题。作者甚至创建了自己的基于Fedora的桌面环境Blue95,并将其发布到Hacker News,引发了关于“Linux发行版”定义的讨论。文章最终认为,bootc模糊了传统Linux发行版和可引导容器的界限,带来了一种更灵活、安全和便捷的桌面定制方式。
阅读更多