Molly Molly 是一个基于Signal的Android独立分支,具有改进的功能:
完全FOSS,不包含专有blob,与Signal不同。
多设备配对:将多个设备绑定到同一个账户。
Material You 额外主题,跟随您的设备配色方案。
自动锁定:当您离开一段时间后自动锁定。
RAM粉碎:安全地粉碎敏感数据。
torbrowser Tor支持:支持通过Orbot使用SOCKS代理和Tor。
以及更多。
新的更好功能即将推出。
基础设施由Bahnhof赞助。
网站/Logo由jaim3提供。
## 虚假财富陷阱:摘要
尽管报告的财富创下历史新高,但世界正面临着迫在眉睫的金融崩溃——甚至正是因为这种财富。这种悖论源于不断萎缩的“实体”经济(物质商品和服务)与不断增加的货币总量之间的差距扩大。其中很大一部分财富是“虚假的”,意味着它无法转化为实际的物质价值。
政府试图通过货币工具刺激经济,但具有讽刺意味的是,这反而*增加了*这种虚假财富,制造了一种危险的幻觉。这得益于中央银行的干预——例如“美联储救市”,鼓励冒险行为并使资产价值膨胀到任何现实基础之外。
核心问题在于,货币仅仅是对实体经济的“索取权”。随着实体经济由于资源枯竭和能源成本(特别是能源成本上升 - ECoEs)而收缩,这些索取权远远超过了其基础。虽然崩溃会摧毁这些虚高的价值,但不会消除实际资源。
作者预测资产市场将在迅速崩溃之前达到最终峰值,强调了系统极端的交叉抵押。那些能够保值的人最终将有机会以大幅降低的价格获得必要的“效用”,但过渡将是混乱的。
## Imgur 屏蔽与自建方案
Imgur 最近屏蔽了英国用户的访问,作者对此几乎没有察觉,因为他们已经多年没有积极使用该网站了。然而,损坏的 Imgur 链接现在在互联网上经常被遇到——尤其影响 Minecraft 材质包预览。虽然 VPN 可以解决这个问题,但作者不喜欢性能下降以及在每台设备上配置它的需要。
相反,他们利用现有的自建服务器环境构建了一个网络层面的解决方案:Pi-hole、Traefik 和 NixOS。该系统拦截对 Imgur 的请求,通过连接 VPN 的 Docker 容器(Gluetun & Nginx)路由,并将图像透明地提供给网络上的所有设备。
这涉及 Pi-hole 的 DNS 拦截、Traefik 的路由,以及 Gluetun 建立的 VPN 隧道,Nginx 处理代理。敏感的 VPN 凭据由 Agenix 安全管理。虽然承认这有些“过度”,但该解决方案提供了一个干净、自动化的修复方案,性能影响最小,让作者终于可以查看那些难以找到的 Minecraft 材质包。
你感到无聊吗?我是说,真的非常无聊?达到“愿意做任何事来打发时间”的程度?你恰好又独自一人,而且没有网络连接吗?你可以玩石头剪刀布的单人游戏!你只需要一个骰子。骰子就是你的对手。用手掷出骰子,并在掷出后立即用手做出你选择的形状,然后查看骰子的结果。1-2代表石头,3-4代表纸,5-6代表剪刀。如果你不喜欢这些数字,可以更改它们。例如,我从小玩石头剪刀布(意大利语是Carta-Sasso-Forbici),对我来说,1-2代表纸,3-4代表石头更容易理解。就这些了。我有没有提到你需要非常无聊才能享受这个游戏?作者:Federico klez Culloca,分类:游戏,标签:游戏,单人游戏,游戏设计,石头剪刀布。Federico klez Culloca的作品采用知识共享署名-相同方式共享4.0国际许可。
## Susam Pal 关于计算、数学与更多:Lobsters 访谈摘要 本次访谈的对象是 Susam Pal,一位专注 Lisp 编程和终身学习者,探讨了他多样化的兴趣和对计算的 подхода. Pal 的旅程始于 Logo,进而深入研究 Lisp (目前使用 SBCL) 和 Emacs,这些工具他广泛用于个人项目,例如数学粘贴板 (MathB) 和静态网站生成。虽然他精通其他语言 (Python, Go, Rust, C++),但 Lisp 仍然是他工作的核心。 他强调“为了乐趣而计算”,由探索和分享驱动——这体现在交互式数学黑板 (Muboard) 和极简主义绘图语言等项目中。Pal 优先考虑领域理解而非工具,让问题决定使用的语言。他提倡通过清晰的词汇和小型、专注的函数进行可组合的设计,这与 Unix 哲学和 Forth 的分层方法相呼应。 作为一位终身数学爱好者,Pal 强调了严格证明的乐趣,并分享了有影响力的教科书 (Kreyszig, Apostol, Stewart)。他认为数学和计算之间存在着紧密的联系,从数论基础的密码学到数学思维对代码清晰度和正确性的影响。尽管生活繁忙,他仍然平衡探索与专注,优先学习并通过博客和在线论坛分享他的热情。虽然 MathB 最终因审核负担而关闭,但其存档仍然可用。
## LLM 反模式:经验教训
在与大型语言模型 (LLM) 合作了 15 个月后,出现了一些适得其反的模式。**首先**,避免冗余上下文;LLM 的“记忆”有限。发送重复的、几乎相同的信息(例如连续的截图)会浪费 token 并降低性能。
**其次**,发挥 LLM 的优势。不要要求它做它*不*擅长的事情——比如直接计数——而是利用它的编码能力来*生成*解决方案。通过代码进行工具调用也被证明比直接提问更可靠。
**第三**,避免用过多的上下文(超过约 128k token)使 LLM 不堪重负。随着模型难以管理信息,准确性会下降,可能会“忘记”关键细节。
**第四**,由于训练数据的限制,LLM 在处理晦涩或最近发明的课题时会遇到困难。预计准确性会降低,并相应地进行补偿。
**最后**,保持积极的监督——不要成为“感觉编码员”。密切监控 LLM 的输出,因为它可能会引入细微的错误或安全漏洞(例如泄露敏感数据),如果无人检查,则可能发生。
该项目详细描述了一个完全由继电器驱动的控制器设计,用于构建一种“站立马车”(本质上是悬浮滑板),采用1884年左右的技术——不使用半导体,而是依赖继电器、汞和黄铜。其目标是仅使用同期组件复制现代BLDC悬浮滑板控制器。
该系统采用48V电池为三相BLDC电机供电,转子位置通过霍尔传感器或簧片开关检测。一个六步继电器换向器控制电机方向(前进/后退)。倾斜由汞倾斜开关管理,提供缓和或全力扭矩的倾斜。安全问题通过脚踏断路开关来解决。基于继电器的DC-DC转换器为指示器提供5V。
**至关重要的是,该项目明确*不安全***,涉及高电流和潜在危险材料。 警告建造者自行承担风险,并鼓励他们通过公共存储库贡献改进,该存储库采用MIT/CERN开源硬件许可的组合——戏称为“最宁静的电流修士团执照(1884)”。
## JSON Schema:术语解析
JSON Schema 定义了 JSON 数据的结构和约束。其核心在于,**模式(schema)** 是一个 JSON 文档,描述了有效数据*应该*呈现的样子——指定类型、必需属性和允许的值。然而,模式本身也是 JSON,因此需要**元模式(metaschema)**——定义其他模式结构的模式,本质上是对模式本身进行验证。
为了管理不断演进的功能,JSON Schema 被组织成**方言(dialect)**,代表特定版本(如 Draft 2020-12),每个方言都由唯一的元模式定义。在较后版本中引入的**词汇表(vocabularies)** 通过将关键字分组为功能集合(核心、验证、元数据)进一步模块化模式,从而促进可重用性和可扩展性。
本质上:数据*由*模式验证,模式*由*元模式验证。方言捆绑词汇表,定义允许的关键字。
理解这些术语可以释放强大的数据验证和文档能力。虽然术语可能很复杂,但实际使用通常只需要掌握模式、`$schema` 关键字(指定方言)以及核心关键字,如 `type` 和 `properties`。通过词汇表扩展模式以使用自定义关键字,可以实现特定领域验证,使 JSON Schema 具有惊人的通用性。
## ClickHouse 实现语义搜索与生成式 AI 本文档详细介绍了一个使用 ClickHouse、Sentence Transformers 和 OpenAI 的 GPT-3.5-turbo 实现语义搜索和内容摘要的系统。Sentence Transformers 生成表示文本语义含义的嵌入向量,从而实现相似性搜索。使用 `all-MiniLM-L6-v2` 模型创建的这些向量与 Hacker News 帖子一起存储在 ClickHouse 数据库中。 一个 Python 脚本演示了使用用户定义的搜索查询查询 ClickHouse,将其转换为嵌入向量,并使用 `cosineDistance()` 函数找到最相似的帖子。 此外,检索到的内容随后使用 LangChain 和 OpenAI 进行摘要。该系统接受一个主题,通过向量搜索检索相关帖子,并使用 GPT-3.5-turbo Chat API 生成简洁的摘要,展示了生成式 AI 在情感分析或文档理解等任务中的实际应用。摘要步骤需要 OpenAI API 密钥。