(Empty input provided. There is nothing to translate.)
(Empty input provided. There is nothing to translate.)
## SHDL:逻辑门电路仿真
SHDL是一种轻量级的硬件描述语言和Python驱动(PySHDL),专为仿真完全由逻辑门构建的数字电路而设计。它提供了一种直观的语法来定义电路,以及一个无缝的Python API来进行交互,从而实现轻松的测试和分析。
主要特性包括:用于快速和可移植仿真的C后端、命令行编译工具,以及对可重用电路组件和常量的支持。用户在`.shdl`文件中定义电路,将其编译为C,然后通过Python使用诸如`poke`(设置输入)、`peek`(读取输出)和`step`(推进仿真)等方法与其交互。
SHDL仍在开发中,欢迎用户通过GitHub issues、讨论、pull requests或直接邮件提供反馈。它需要Python 3.10+和一个GCC或兼容的C编译器。该项目旨在易于使用,并为实验、教育和个人项目提供价值。
## 自旋锁:痛苦的根源
本文详细描述了作者反复遇到糟糕的自旋锁实现——循环重复检查资源是否可用——以及为什么应该尽量避免使用它们。尽管已经有大量资源涵盖了自旋锁的陷阱,但问题仍然存在。
核心问题是什么? 简单的自旋锁在等待时浪费 CPU 周期,影响性能和能源效率。 即使是看似正确的原子操作实现,也可能遭受竞态条件、优先级反转(高优先级线程被低优先级线程阻塞)和缓存争用的影响。
解决方案包括使用 `PAUSE` 指令和指数退避等技术来减少浪费的周期。 然而,即使这些也需要根据 CPU 架构进行仔细调整。 作者强烈建议利用操作系统原语,如 futexes(Linux)或 `WaitOnAddress`(Windows),这些原语允许操作系统有效地管理等待线程。
最终,信息很明确:自旋锁复杂且容易出错。 除非你*真的*知道自己在做什么,并且有一个特定的、低竞争的使用场景,否则完全避免它们,并依赖于成熟的、操作系统提供的同步机制。 许多项目(RPMalloc、OpenBSD libc,甚至 .NET 的一部分)已经证明了正确实现自旋锁的困难。
## 解决远程设备管理挑战 在众多客户站点管理设备时,家庭路由器普遍使用默认且重叠的子网(如192.168.1.0/24)使得情况复杂化。这会产生路由冲突,使可靠的远程访问变得困难——特别是对于固件固定且缺乏VPN功能的设备。传统的解决方案,如端口转发不可靠(ISP调制解调器重置会破坏配置,难以处理RTSP等多端口协议),而子网路由在地址重叠时会失败。重新配置客户网络是不切实际的。 解决方案在于**使用1:1 NAT的覆盖寻址**。这为每个远程设备分配一个唯一的、全球可路由的IP地址,该地址位于保留范围内(100.64.0.0/10),独立于其本地IP。客户局域网上的网关设备通过WireGuard隧道在“覆盖”地址和本地地址之间进行转换。 这种方法消除了冲突,增强了安全性(没有暴露的端口),并简化了管理。像Netrinos这样的系统可以自动执行密钥生成、NAT规则部署和DNS分配,跨数百个站点实现安全可靠的远程访问,而无需更改客户网络或设备固件。这已在生产环境中成功管理数千个设备。
## OpenCHM启动,数字化计算机历史 计算机历史博物馆(CHM)已启动OpenCHM,一个新的数字门户,向全球开放其广泛而独特的计算文物收藏。该倡议由戈登和贝蒂·摩尔基金会和其他捐助者资助,标志着CHM持续数字化工作的重要一步。 OpenCHM旨在激发好奇心,并使技术历史对所有人开放,从研究人员到普通大众。该平台具有高级搜索工具、CHM历史学家的精选故事以及标志性文物的亮点。用户还可以创建个性化收藏,对于开发者而言,还可以访问API以进行进一步探索。 摩尔基金会赞扬了OpenCHM周到的设计和对开放获取的承诺,希望它能鼓励类似的倡议。通过保护和分享计算机历史,OpenCHM 推进了CHM的任务,即培养知情的数字公民并塑造更美好的未来。新的材料将不断添加到该平台。
## LM Studio 0.4.0:重大更新 LM Studio 0.4.0 引入了重大改进,专注于部署灵活性和性能。一个关键功能是 **llmster**,一个允许无头部署的守护进程——在服务器、云实例甚至通过命令行*无需* GUI 即可运行 LM Studio。 此版本支持**并行请求**和持续批处理,以实现更快的处理速度,以及一个新的**状态化 REST API** (/v1/chat),用于将本地模型集成到应用程序中。用户界面已完全刷新,具有聊天导出(PDF、Markdown)、**分屏视图**用于多个聊天、**开发者模式**用于高级选项以及应用内文档等功能。 底层的 **llama.cpp 引擎已更新至 v2.0.0**,支持并发推理。新的 CLI 体验,通过 `lms chat` 提供基于终端的交互。现在可以使用**权限密钥**来控制服务器访问。 此更新优先考虑强大的后端功能和简化的用户体验,为本地 LLM 使用提供更大的控制力和效率。
汇丰银行发了一封令人担忧的信,声称邮件“无法送达”,促使作者检查了自己的账户——结果邮箱地址已经正确。与客服沟通一小时后,得到的令人沮丧的回应是,即使地址有效,也*必须*更新。
深入调查后,作者发现汇丰银行在其邮件中使用跟踪像素来监控邮件打开情况。这些像素通过未加密的连接不安全地实施,揭示了他们依赖这种有缺陷的跟踪方法来验证邮件送达。由于作者为了保护隐私而屏蔽了这些像素,汇丰银行错误地将他们的邮件标记为未送达。
这凸显了一个令人不安的趋势:假定跟踪是万无一失的,并在跟踪失败时做出不准确的声明。作者批评了汇丰银行具有侵入性的监控行为、糟糕的安全措施以及具有误导性的沟通方式,并建议简单的邮件确认将是一种更安全、更透明的解决方案。最终,这起事件揭示了普遍存在的监控资本主义如何扭曲基本功能并侵蚀信任。
该项目详细介绍了使用软件工具和少量编程创建3D打印灯罩的过程。受类似设计的病毒式视频启发,制作者旨在基于Desmos中生成的复杂波动2D轮廓(公式为`r = cos(5θ) + 0.2cos(9θ) + 0.05cos(200θ) + 4`)构建灯罩。
最初,由于轮廓过于复杂(1047个点)导致OnShape中的“loft”操作难以实现,并导致崩溃。随后,制作者利用ChatGPT生成了一个Python脚本,将2D轮廓缩放到一个点,从而创建了所需的形状。
目前,生成的巨大STL文件正在进行3D打印。该项目还包括转换为Marimo笔记本,允许在网页浏览器中直接可视化灯罩的横截面和轮廓,而无需安装Python。
在明尼阿波利斯的一次市政厅活动中,联邦众议员伊尔汗·奥马尔被一名与会者安东尼·卡兹米尔扎克(55岁)用注射器喷洒苹果醋,卡兹米尔扎克已被拘留,面临袭击指控。事件发生时,奥马尔正在呼吁一名国土安全部长辞职。 奥马尔在袭击后继续主持市政厅活动,拒绝医疗救助并表示不屈。各方反应迅速且两极分化。一些人,包括众议员亚历山德里娅·奥卡西奥-科尔特斯和伯尼·桑德斯,指责前总统特朗普最近的言论煽动了袭击。然而,特朗普驳斥了这一事件,暗示这是奥马尔自导自演的。 该事件引发了在线辩论和猜测,一些人质疑袭击的真实性,原因是奥马尔的反应以及袭击者在事件前的行为,据报道袭击者预计会被捕并服用大量药物。此外,奥马尔目前正接受司法部和众议院监督委员会对其个人财务的调查。
美联储选择“延长暂停”利率调整,维持在3.5%-3.75%的目标区间,尽管有两位成员反对,倾向于降息。这一决定反映了近期强劲的经济数据和稳定的劳动力市场。 尽管美联储承认通胀仍然较高,但他们已升级对经济增长的评估,并消除了之前对就业风险的担忧。
尽管暂停,高盛等分析师预计今年晚些时候会降息,因为通胀将放缓。 然而,美联储现在似乎更加依赖数据,不太可能在没有明确经济信号的情况下主动降息。 市场反应平淡,大致符合预期,美元走弱,金价上涨。 值得注意的是,鸽派异议者克里斯托弗·沃勒成为下一任美联储主席的几率有所提高。
联邦调查局最近突袭了佐治亚州富尔顿县选举中心,该中心是2020年选举舞弊指控的核心。 突袭原因尚不清楚,但与2020年美国大选有关。
调查是在发现影响该县约315,000张选票的未签名计票磁带之后进行的。 这引发了佐治亚州共和党人的批评,包括副州长伯特·琼斯和美国众议员迈克·柯林斯,他们对选举过程的安全性及完整性提出质疑,尽管州务卿布拉德·拉芬斯珀格做出了保证。
此次突袭发生之际,唐纳德·特朗普正在寻求报销与他被驳回的选举干预案件相关的626万美元法律费用,进一步凸显了人们对富尔顿县2020年选举结果的持续审查。
特斯拉今天发布的第四季度财报,更侧重于公司的未来愿景,而非过去的业绩。华尔街预计营收约为250亿美元,每股收益为45美分——低于去年同期,但投资者的关注点在于人工智能、自动驾驶技术(包括机器人出租车)以及人形机器人Optimus的最新进展。
特斯拉的核心汽车业务面临挑战,车辆交付量下降,利润空间受到竞争和定价压力的挤压。汽车毛利率预计在14-15%左右。然而,能源部门表现亮眼,对Megapack系统的强劲需求推动营收预计增长20%以上。
该报告将重点审查Optimus和机器人出租车等雄心勃勃项目的进展,尤其是在埃隆·马斯克声称在奥斯汀实现了无人驾驶之后。分析师意见不一,一些人认为自动驾驶技术可能主导市场,而另一些人则警告不要对时间线过于乐观。最终,投资者越来越将特斯拉视为一个“人工智能平台”,并期望看到具体的进展,而不仅仅是承诺,以证明其估值。
## Mousefood:嵌入式系统的Ratatui后端
Mousefood是一个no-std嵌入式图形后端,旨在将Ratatui终端框架带到资源受限的环境中。它允许您在ESP32、STM32和RP2040等设备上构建终端UI。
默认情况下,Mousefood使用`embedded-graphics-unicodefonts`以获得更广泛的字符支持,克服了嵌入式系统中常见的基本位图字体限制。字体使用可以自定义——包括粗体和斜体样式——或禁用以优化性能。颜色主题也可配置,提供ANSI和Tokyo Night预设等选项,或自定义RGB调色板。
Mousefood支持各种显示类型,包括标准LCD和WeAct Studio和Waveshare的E-ink显示器(EPD),需要特定的驱动程序配置。可以使用`embedded-graphics-simulator` crate进行测试。
建议使用编译器级别3进行优化,以提高性能,并认识到由于字体数据而可能导致二进制文件大小增加。Mousefood正在积极开发中,欢迎贡献,并采用Apache 2.0和MIT双重许可。 多个项目已经利用Mousefood,包括Tuitar和Mnyaoo32。
最近的一份谷歌漏洞报告意外地首次展示了代号为“Aluminum OS”(ALOS)的Android桌面界面,运行在惠普Elite Dragonfly Chromebook上。泄露的截图展示了Android 16,针对更大屏幕进行了优化,顶部状态栏显示了详细信息,如时间、日期和系统图标(电池、Wi-Fi、Gemini)。
界面保留了当前任务栏和窗口控制等熟悉元素(类似于ChromeOS),但也有一些微妙的变化——修改过的鼠标光标和Chrome浏览器扩展按钮。泄露还演示了分屏多任务处理功能。这一发展表明谷歌正在利用现有的Chromebook硬件来构建和测试桌面Android体验,超越了平板电脑和手机投屏模式。识别出的构建编号是ZL1A.260119.001.A1。
另一场大型冬季风暴预计将于本周末袭击东海岸,此前一场系统已经造成广泛破坏和悲剧。国家气象局正在监测正在发展中的风暴,随着北极空气南下,即使佛罗里达州也可能出现有记录以来最低的气温。
之前的风暴在上周末袭击,导致至少30人在多个州死亡,包括纽约、路易斯安那州、阿肯色州和德克萨斯州的低温症死亡病例。超过50万人停电,特别是南方——田纳西州、密西西比州和路易斯安那州受灾最严重,一些地区可能面临长达一周的停电。
旅行受到严重影响,周一全国范围内有超过12,000架航班延误/取消,周二继续中断。像密西西比州牛津市这样的城市遭受了灾难性破坏,基础设施类似于龙卷风过后的景象,阻碍了救援和恢复工作。纽约市经历了多年来最下雪的一天,但选择远程学习而不是传统的雪天停课。
在X平台(前身为Twitter)上出现了一种令人不安的趋势,用户利用其AI功能Grok,将现有照片中的女性生成为非自愿、性化的图像——通常以令人不安的准确度创建逼真的“去衣”图像。内容创作者肯达尔·梅耶斯和艾玛等人成为了受害者,她们的图像被篡改和传播,未经同意,即使在举报后也是如此。 问题迅速升级,每小时生成数千张图像,包括令人不安的请求,例如将女性描绘成尸体。xAI最初的回应是用笑脸表情符号,后来将图像生成限制给付费订阅者,这一举动受到了批评,甚至被指责为将滥用行为货币化。 AI生成图像的逼真性尤其令人担忧,模糊了现实与虚构之间的界限,给受害者造成了巨大的痛苦。倡导团体呼吁苹果和谷歌从应用商店中移除X和Grok,并正在提出立法,允许受害者寻求法律救济。专家警告说,这项技术代表了数字性虐待的新规模,如果未能追究平台的责任,只会助长进一步的剥削。
伊曼努尔·康德,以“柯尼斯堡时钟”而闻名,一生79年都生活在德国柯尼斯堡的城市范围内,却成为了德国启蒙运动的关键人物。尽管他缺乏环游世界的经历,康德通过与来访商人的交谈和极其自律的生活来培养他对世界的理解。
康德的日常生活中,最核心的是每日散步,时间安排精确且始终如一——弗雷德里克·格罗斯探讨了这种做法如何通过单调和规律来促进思考。尽管他常常被描绘成严谨的人,但轶事表明他是一个更复杂的人物。海纳·米勒和亚历山大·克鲁格之间的对话揭示了一个幽默的传说,挑战了康德清教徒的形象,暗示他在散步时会有秘密的放纵。
康德的生活以毫不动摇的自律为特征,这延伸到他的饮食和日程安排。他认为这种严格性是他长寿和高效的关键,将良好的健康视为个人成就。他的散步虽然短暂,但却是不可谈判的要素,代表着“意志即命运”——对一种不可避免的、自我强加的日常安排的承诺,最终塑造了他的哲学产出。
## Oban-py:深入解析一个 Python 作业队列 Oban-py 是一个流行的 Elixir 作业处理框架的 Python 实现,利用数据库(PostgreSQL)进行所有操作——作业存储、队列和协调。 与许多作业队列不同,Oban 存储已完成的作业和结果,提供内置的 cron 调度和队列限制。 有两个版本:开源(OSS)和专业版(Pro)。 OSS Oban 适用于小型项目,但缺乏真正的并行性(限制为单线程 asyncio)、批量操作和准确的救援机制。 Oban Pro 通过进程池和更智能的心跳跟踪,以及工作流和唯一作业等功能,解决了这些限制。 在底层,作业插入会触发数据库通知,唤醒每个节点上的“Stager”。 生产者然后使用 `FOR UPDATE SKIP LOCKED` 获取并执行作业——这是一项关键的 PostgreSQL 功能,通过防止生产者获取相同的作业来实现并发。 已完成的作业为了效率起见,会批量确认。 Oban 设计的关键在于最大限度地减少外部依赖;领导者选举、清理和重试都使用 TTL-based leases 和 `LISTEN/NOTIFY` 等功能在 PostgreSQL 中管理。 这产生了一个干净、可读的代码库和一个健壮、轻量级的解决方案。 虽然 OSS 提供了一个坚实的基础,但 Oban Pro 的高级功能和性能改进使其成为大型应用程序的理想选择。
GitHub是一个基于Web的平台,主要用于使用Git进行版本控制,使开发者能够协作处理项目。它提供了一套全面的工具,包括代码托管、问题跟踪、项目管理和代码审查功能。
除了核心开发之外,GitHub还提供强大的安全功能,例如漏洞扫描(GitHub Advanced Security)和密钥保护。GitHub越来越关注人工智能,集成了Copilot等工具,用于人工智能辅助编码,以及GitHub Spark,用于构建智能应用程序。
GitHub服务于各种规模的开发者——从个人开源贡献者到大型企业——以及各个行业。它提供丰富的资源,包括文档、学习平台(GitHub Skills)和充满活力的社区论坛。GitHub可通过Web界面、桌面和移动应用程序以及强大的API访问,是现代软件开发的核心枢纽。
## 小型浏览器引擎项目总结
作为一名准备攻读计算机科学专业的韩国高中生,我用C++构建了一个小型浏览器引擎,以深入理解浏览器如何渲染网页。这个为期8周、以学习为重点的项目涉及从头开始实现核心浏览器功能:HTML/CSS解析、布局计算和渲染,使用了C++17和Qt6框架。
该引擎成功解析HTML为DOM树,应用CSS样式,处理图像加载和缓存,并允许基本导航。它遵循标准的浏览器渲染流程——词法分析、DOM构建、样式计算、布局和绘制,从而提供了对每个阶段的实际理解。
虽然具有挑战性,尤其是在字符串解析、渲染状态管理和异步图像加载等领域,但该项目培养了关键的软件工程技能:系统性调试、坚持不懈、务实开发,以及专注于理解代码*为什么*有效。 最终的浏览器虽然不完美,但展示了显著的学习成果,超越了仅仅*使用*网络技术,而深入理解了其内部运作。这个项目巩固了我对计算机科学的热情,并使我掌握了宝贵的问题解决能力。
错误:无法满足请求。请求被阻止。我们目前无法连接到此应用程序或网站的服务器。可能流量过多或配置错误。稍后重试,或联系应用程序或网站所有者。如果您通过 CloudFront 向客户提供内容,可以在 CloudFront 文档中找到故障排除步骤,以帮助防止此错误。由 cloudfront (CloudFront) 生成。请求 ID:S9DpmgQSmf4hXOTWwKLHgK0BGrVJUk0olM5ymlUNSXhRuTxXCQrl1A==
弗吉尼亚州一名巡回法院法官阻止了州民主党在期中选举前重新绘制国会选区地图的企图,认为他们的程序违宪。民主党旨在通过宪法修正案来操纵选区划分,可能改变五个共和党控制的席位。
法官杰克·赫利二世引用程序错误——包括未满足通知要求和在预算会议中不当使用——作为裁决理由。弗吉尼亚州的宪法要求立法机构两次批准,中间必须进行一次选举,而首次通过发生在2025年选举的提前投票期间,这使得它无效。
这项努力是四项宪法修正案的一部分,包括恢复重刑犯的投票权和堕胎权利。虽然民主党计划向州最高法院上诉,但该决定阻止了该措施今年出现在选票上。此案凸显了包括德克萨斯州、密苏里州和佛罗里达州在内的几个州正在进行的选区划分之争,共和党指控有人故意试图操纵这一过程。
关于按住版权联系我们创作者广告开发者条款隐私政策和安全性YouTube的工作原理测试新功能© 2026 Google LLC
在伊朗近期抗议活动之后,特朗普总统声称伊朗计划处决800名示威者——伊朗官员驳斥这一说法毫无根据。虽然伊朗表示不会处决抗议者,但它*正在*执行现有的死刑,特别是那些与间谍活动相关的死刑。
迄今为止,大约十二人因涉嫌与以色列情报机构(摩萨德)合作,在去年夏天冲突期间及之前被处决。最近,哈米德雷扎·萨贝特·伊斯梅尔普尔因间谍活动和向摩萨德转移机密信息而被绞刑。
伊朗司法部门强调,这些处决遵循正当的法律程序,并起到威慑作用,公开宣布这是一种可以追溯到1979年的常见做法。这与特朗普提出的更高处决人数的说法形成鲜明对比,并表明重点是与以色列据称的大规模间谍活动相关的现有案件,旨在破坏伊朗的核计划。
请启用 JavaScript 并禁用任何广告拦截器。
油价飙升至四个月高点,原因是特朗普总统重提对伊朗采取军事行动的威胁,并呼吁进行核谈判。伊朗表示愿意对话,但警告美国任何侵略行为将面临强力回应。
促使油价上涨的原因是,上周美国原油和燃料库存意外下降——这是自12月以来首次下降,原油库存减少了600万桶。这部分归因于受近期冬季风暴影响而降低的产量。尽管有石油过剩的预测,但受地缘政治风险影响,WTI原油期货本月已上涨超过10%。
渣打银行分析师指出,市场情绪已从对供应过剩的担忧转向,预计波动性将增加,并将关注点放在供应和需求上。市场目前呈现看涨的“期货价高于即期价”结构,表明供应趋紧。
墨西哥国家石油公司Pemex据报道已取消原计划对古巴的石油运输,此前在特朗普前总统的压力下,他要求“零”石油运往该岛。墨西哥总统克劳迪娅·谢因巴姆承认,这一决定是Pemex做出的“主权”决定,源于对美国报复的担忧。
此举正值美国维持对古巴长达数十年的贸易禁运,并最近阻止了委内瑞拉的石油运输。墨西哥已成为古巴的主要石油供应国,提供其44%的石油进口量。
然而,有报告称美国现在正积极寻求古巴政权更迭,试图利用与委内瑞拉总统马杜罗被拘留相关争议情况类似的策略。虽然墨西哥愿意调解对话,但美国据报的计划使和平解决的可能性受到质疑。
客户提供了一个Figma Make原型——一个使用Figma AI原型工具构建的视觉效果出色的应用,但没有提供底层代码或设计文件。标准的导出方法被阻止,似乎是公司锁定策略。该.make文件本身实际上是一个ZIP压缩包,其中包含一个React应用,经过巧妙伪装。
内部,一个二进制文件(`canvas.fig`)包含了核心代码,使用了Zlib和Zstandard算法进行压缩。利用`pako`、`fzstd`和`kiwi-schema`等工具(并借助LLM进行模式识别),二进制数据被解码,揭示了一个树形结构,其中包含所有React组件、CSS和TypeScript文件。
提取的代码需要进行一些调整:解决版本化的包导入问题,修正自定义资源路径,为图像添加缺失的文件扩展名,以及解决与React StrictMode和Tailwind CSS v4的兼容性问题。开发了自动化脚本来处理这些修复,并生成一个完全可用的React/Vite项目。
该过程还提取了设计令牌(颜色、字体等)。这项逆向工程工作,耗时约四小时,最终交付了一个可运行的应用,并突出了Figma Make基于标准的Web技术,如React、Radix UI和Tailwind CSS。提取脚本已在GitHub上公开提供。
欢迎
学生
最新
新闻和更新
K-12
教育
技术
和
互联网
关于
团队
美国
英雄的故事。
多尔
互动游戏、问答、海报
和
明信片。
多尔
议程
政策、地方事务
和
反馈。
今日
头条
1996年11月5日
跟随
胜利马拉松
计算
你的减税!
演讲