GitHub - NX-AI/xlstm: xLSTM官方仓库

2024-06-05
GitHub - NX-AI/xlstm: xLSTM官方仓库

该项目是xLSTM的官方仓库,xLSTM是一种基于原始LSTM思想的新型循环神经网络架构。它通过使用适当的归一化和稳定技术的指数门控以及新的矩阵内存,克服了原始LSTM的局限性,并在语言建模方面展现出与Transformers或状态空间模型相比具有竞争力的性能。该仓库提供了xLSTM的代码实现,包括xLSTM块堆栈和xLSTM语言模型,并提供了使用示例和实验结果。

阅读更多
81
未分类 循环神经网络

Kumdor粉丝网站

2024-06-03

本文介绍了一款名为“Kumdor之剑”的NEC PC-98打字RPG游戏。作者将其翻译成英文,并详细介绍了游戏情节、玩法、特色,以及翻译过程中的技术细节和心得体会。文章还推荐了一些与游戏氛围相符的电子音乐。

阅读更多
未分类 RPG

利用 Pwndbg 恢复 GDB 中的调试信息

2024-09-09
利用 Pwndbg 恢复 GDB 中的调试信息

Trail of Bits 的 Jason An 通过将 Pwndbg 与 Binary Ninja 整合,实现了从 Binary Ninja 同步符号、函数签名、堆栈变量偏移量等信息,从而恢复大部分调试体验,增强了 GDB+Pwndbg 在调试过程中的智能性。此外,他还创建了 go-dump 命令,利用 Go 编译器的源代码作为参考,实现了对 Go 所有内置类型的转储,包括整数、字符串、复数、指针、切片、数组和映射,方便开发者进行调试。

阅读更多
未分类 GDB Pwndbg

强化学习 笔记

2024-05-06
强化学习 笔记

该网站是一个中文的强化学习笔记,内容涵盖了强化学习的基础概念、算法和应用。它由 Alessio D'Angelo 维护,并托管在 GitHub 上。

阅读更多
110
未分类

PCTattletale漏洞导致用户屏幕录制泄露

2024-05-27

本文揭露了监控软件PCTattletale存在严重漏洞,攻击者可轻易获取安装该软件设备的屏幕录制内容。作者详细分析了漏洞原理,包括API密钥泄露、客户端令牌生成缺陷以及缺乏身份验证等问题,并提供了漏洞利用脚本。由于PCTattletale开发者的不作为,该漏洞被进一步利用,导致整个数据库被泄露,凸显了监控软件行业安全实践的严重不足。

阅读更多
未分类

美国禁止卡巴斯基软件

2024-06-21
美国禁止卡巴斯基软件

美国商务部以国家安全为由,禁止向美国新客户销售卡巴斯基杀毒软件。该禁令将于7月20日生效,现有客户只能在9月29日之前获得软件更新。美国政府认为,卡巴斯基公司与俄罗斯政府关系密切,可能被利用进行间谍活动。卡巴斯基公司对此表示强烈否认,并表示将采取法律手段维护自身权益。

阅读更多
未分类 卡巴斯基

超越类型系统

2024-06-01
超越类型系统

本文探讨了在编程语言中实现静态效果系统的前景。作者认为,现有的动态效果系统无法完全捕捉程序状态变化的本质,而静态效果系统可以弥补这一缺陷。作者详细介绍了静态效果系统的概念、语法以及优势,并通过示例代码展示了其工作原理。文章最后还讨论了开发者体验和与传统类型系统的关系等实际问题。

阅读更多
未分类 效果系统

游戏驿站股票网红“咆哮小猫”或将失去E-Trade账户使用权

2024-06-06
游戏驿站股票网红“咆哮小猫”或将失去E-Trade账户使用权

因担心其社交媒体帖子存在潜在的非法市场操纵行为,E-Trade平台正在考虑限制网红“咆哮小猫” (Roaring Kitty) 基思·吉尔 (Keith Gill) 的股票交易。吉尔近期发布的迷因内容引发游戏驿站股票价格飙升,引发了监管机构和交易平台的担忧。E-Trade担心限制吉尔的交易可能会引发其支持者抵制,但同时也担心放任不管会带来法律风险。

阅读更多
未分类 网红 市场操纵

树莓派RP2350 E9 错误问题日益恶化

2024-09-08
树莓派RP2350 E9 错误问题日益恶化

树莓派RP2350微控制器出现严重GPIO硬件问题,导致Bus Pirate等项目延迟发布。该问题最初被认为与内部下拉电阻有关,但现在发现即使禁用下拉电阻,GPIO引脚也会出现软锁存问题。潜在的解决方案是添加外部下拉电阻,但这会增加功耗。该问题引发了广泛讨论,官方表示正在调查,但目前最好避免使用RP2350 A2版本。

阅读更多
未分类 硬件缺陷

参议院预算委员会主席发布联合报告,揭露大型石油公司的气候否认、虚假信息和模棱两可的言论

2024-05-30

美国参议院预算委员会主席Sheldon Whitehouse与众议院监督和问责委员会高级成员Jamie Raskin发布联合员工报告,揭露大型石油公司在气候变化问题上的虚假信息和阻碍行动。报告指出,石油公司明知化石燃料危害气候,却持续误导公众,阻挠气候行动,并通过绿色宣传掩盖其对化石燃料的持续投资和减排失败。报告还揭露了石油公司如何利用行业协会、智库和大学来传播虚假信息,并阻挠国会调查。

阅读更多
未分类 石油公司

Tiehm’s荞麦的奇怪案例

2024-05-07

本文讲述了在美国内华达州Rhyolite Ridge发现的一种珍稀植物Tiehm’s荞麦(Eriogonum tiehmii)的故事。这种植物生长在富含锂的Searlesite矿床上,而该矿床是澳大利亚矿业公司Ioneer的目标开采地。由于锂是电动汽车电池的重要成分,Ioneer计划开采该矿床以满足美国对锂日益增长的需求。然而,环保人士担心采矿活动会破坏Tiehm’s荞麦的栖息地,并最终导致其灭绝。文章探讨了在满足能源需求和保护生物多样性之间的两难境地,并质疑了以牺牲珍稀物种为代价发展绿色能源的代价。

阅读更多
104

CrowdStrike:阻止安全漏洞,推动业务发展

2024-07-19

CrowdStrike Falcon 是一个由人工智能驱动的网络安全平台,提供针对各种威胁(包括云安全、身份攻击和下一代SIEM)的全面保护。它拥有业界领先的检测时间和覆盖范围,在 MITRE Engenuity ATT&CK 评估中表现出色。CrowdStrike 还提供专家见解、创新解决方案和行业领先的威胁情报,帮助企业主动防御网络攻击。

阅读更多
未分类

NanaBox: 基于 XAML 的轻量级第三方 Hyper-V 虚拟化软件

2024-06-14
NanaBox: 基于 XAML 的轻量级第三方 Hyper-V 虚拟化软件

NanaBox 是一款基于 XAML 的轻量级第三方 Hyper-V 虚拟化软件,它利用了主机计算系统 API、远程桌面 ActiveX 控件和 XAML Islands 等技术。NanaBox 并非 Hyper-V 客户端,因为它使用的是 Hyper-V WMI 提供程序的低级 API,并且是无状态的,无法管理 Hyper-V 管理器中列出的虚拟机。NanaBox 选择主机计算系统 API 而不是 Hyper-V WMI 提供程序,是因为作者希望拥有可移植的虚拟机配置,并且不喜欢将虚拟机配置注册到系统中。NanaBox 选择定义自己的基于 JSON 的虚拟机配置格式,是因为 Hyper-V 的 VMCX 是一种二进制格式,Microsoft 没有提供文档化的格式定义。

阅读更多
81
未分类 XAML

我最喜欢的编程教学问题:数字长度

2024-06-06

这篇文章介绍了作者在卡内基梅隆大学担任编程入门课程助教时,最喜欢的一个教学问题:计算自然数的数字长度。作者首先介绍了学生容易想到的两种解法,并指出了它们的缺陷。然后,作者引导学生使用数学方法,利用对数函数来解决这个问题,并最终给出了一个简洁而正确的解决方案。在这个过程中,作者还强调了测试用例的重要性、规范定义的必要性以及代码与数学之间的关系等编程基础知识。

阅读更多
未分类

分布式快照:Chandy-Lamport 协议

2024-06-01
分布式快照:Chandy-Lamport 协议

本文回顾了Chandy-Lamport分布式快照协议,该协议用于记录分布式系统中程序的全局状态。文章解释了在缺乏全局时钟的情况下获取一致性快照的挑战,并详细介绍了该协议的工作原理,包括标记消息的使用和快照收集过程。此外,文章还列举了实际系统中使用该协议的例子,例如Hazelcast Jet和Apache Flink,并提供了一个使用TLA+规范语言编写的协议规范。

阅读更多

大型语言模型在财务报表分析中的应用

2024-05-24
大型语言模型在财务报表分析中的应用

这篇论文研究了大型语言模型 (LLM) 是否能够像专业分析师一样进行财务报表分析。研究人员向 GPT4 提供了标准化和匿名的财务报表,并指示其分析这些报表以确定未来收益的方向。结果显示,即使没有任何叙述或特定行业信息,LLM 在预测收益变化方面的能力也优于财务分析师,尤其是在分析师难以做出准确预测的情况下。此外,LLM 的预测精度与经过专门训练的最新机器学习模型相当。LLM 的预测并非源于其训练记忆,而是因为它能够生成对公司未来表现有用的叙述性见解。

阅读更多
未分类 财务报表分析

AlphaFold3开源实现

2024-09-05
AlphaFold3开源实现

Ligo Biosciences开源了AlphaFold3,这是一个旨在推进生物分子结构预测的持续研究项目。该版本实现了完整的AlphaFold3模型以及训练代码。该项目致力于为整个生物技术社区提供一个忠实、完全开源的AlphaFold3实现版本,供其免费使用。目前,该项目处于早期阶段,正在努力为社区准备一个稳定的版本。

阅读更多
69

全球最高效热泵争夺战

2024-07-04
全球最高效热泵争夺战

文章介绍了全球范围内追求更高效热泵的趋势。热泵作为一种节能环保的供暖设备,其效率近年来得到显著提升。工程师和安装人员通过优化系统设计、采用新型制冷剂和智能控制等方式,不断刷新热泵的性能记录。文章还探讨了不同类型热泵的优缺点,以及影响热泵效率的因素。

阅读更多
未分类

拒绝批准挑战者号航天飞机发射的艾伦·麦克唐纳去世,享年 83 岁

2024-06-21
拒绝批准挑战者号航天飞机发射的艾伦·麦克唐纳去世,享年 83 岁

艾伦·麦克唐纳,美国宇航局承包商莫顿·蒂奥科尔公司航天飞机助推火箭项目的负责人,曾在 1986 年挑战者号航天飞机爆炸前强烈要求推迟发射。他于周六去世,享年 83 岁。麦克唐纳坚持认为发射存在风险,并拒绝签署发射批准文件。在挑战者号爆炸后,他在总统委员会的听证会上勇敢揭露了 NASA 掩盖真相的行为,并因此受到公司的降职处分。最终,麦克唐纳的勇气和正直得到了认可,他被提升为副总裁,负责重新设计助推火箭。

阅读更多

FastHTML:用纯 Python 构建现代 Web 应用程序

2024-07-30
FastHTML:用纯 Python 构建现代 Web 应用程序

FastHTML 是一个用纯 Python 构建现代 Web 应用程序的库,它建立在坚实的 Web 基础之上,而不是最新的潮流之上。使用 FastHTML,您可以在几分钟内开始构建从简单的仪表板到可扩展的 Web 应用程序的任何内容。FastHTML 提供对 HTTP、HTML、JS 和 CSS 的完全访问,并将 Web 的基础带给您。FastHTML 应用程序快速且可扩展,并且易于部署,因为您可以使用任何支持 Python 的托管服务。

阅读更多
71
未分类 FastHTML

替代性实现问题

2024-05-12
替代性实现问题

文章探讨了软件开发领域的一个常见现象:替代性实现问题。作者指出,将项目定位为现有项目的替代性实现往往会导致失败,因为替代性实现必须不断追赶现有项目的更新,并且缺乏对项目发展方向的控制权。作者以PyPy、LuaJIT、TruffleRuby等项目为例,说明了替代性实现所面临的挑战。作者建议开发者在创建新项目时,不要试图创建现有语言或系统的子集,而是应该做自己的事情,以自己的节奏和方向发展项目。

阅读更多
未分类 替代性实现

“电子邮件即身份验证”模式

2024-09-08

这篇文章探讨了一种常见的但存在安全隐患的登录方式:用户点击“忘记密码”,通过电子邮件重置密码,并设置一个容易忘记的一次性密码。作者认为,这种行为模式根深蒂固,用户并未意识到其风险。文章呼吁设计更安全便捷的系统,引导用户改变这种习惯,以提升网络安全意识和实践。

阅读更多
未分类 行为模式
1 2 7 8 9 11 13 14 15 1084 1085