最新

你好。我正在寻找一款支持Wi-Fi的可编程手表。理想情况下，我应该能够为手表编写自定义程序/应用，以便在手表上显示我想要的内容（例如，让手表向服务器发起HTTPS请求，接收JSON并进行相应渲染；允许手表接收来自服务器的“通知”）。 此外，理想情况下，不需要智能手机来发送和接收数据（不过，初始设置手表时需要智能手机是可以的）。我知道Pebble手表，但它不支持Wi-Fi。我也了解一些支持Wi-Fi的Garmin手表，但对于我想要编写的应用，手表与服务器之间的通信必须通过手机进行。如果我理解错了，请纠正我，我不想每年支付100美元仅仅为了能够在苹果手表上使用我的自定义应用。我通常也不太信任谷歌（例如，他们会在一瞬间停掉所有产品）。 那么，我有哪些选择呢？

这是一个小型的副项目，名为 meMCP。它是一个“个人资料协议”，意味着它存储有关您的职业里程碑、教育背景、副项目以及您输入的其他信息的数据。它由两个部分组成： > 后端：包含抓取器、爬虫和处理器，用于从不同来源读取数据——主要是 LinkedIn 的职业历史，但也可以是 RSS 源甚至 Medium（前提是您导出故事概览中的原始 DOM）。目前，“连接器”相对有限，因为我专注于我实际使用的平台。您输入的所有信息都会被分类为技能、技术和一般标签。然后计算一些指标，以评估您的能力熟练度或相关性。 > 前端：为您最喜欢的 LLM/代理提供支持。它包含了让任何代理与这个 MCP 互动所需的一切。一个用例是为求职申请生成简历、撰写求职信，或者简单地展示您的成就。 查看实际效果： [https://mcp.nickyreinert.de/?lang=en](https://mcp.nickyreinert.de/?lang=en) 或者 [https://mcp.nickyreinert.de/human](https://mcp.nickyreinert.de/human) 我知道几年前有人做过类似的东西，但我找不到它，也不确定那是否也是 MCP？ 告诉我您的想法。

我厌倦了那些需要你费力寻找可用流媒体的广播应用。大多数目录充斥着无效链接、重复项和占位符图标——于是我创建了Receiver。 我从radio-browser.info扫描约5万条流媒体，验证每一条是否真实可达并正在播放，去重，获取正确的图标，并将结果打包成一个干净的SQLite数据库与应用一同发布。最终保留下来的有约3万条电台，全部正常工作。 该应用使用Vala和GTK 4构建，是原生的GNOME应用，不使用Electron。支持MPRIS集成、会话持久化，提供130种语言的翻译。无需注册，无广告，无追踪。 可通过Snap、.deb和AppImage格式获取。Flathub提交正在进行中。 欢迎询问有关数据管道、Vala/GTK 4开发或Linux打包的问题。

嘿，HN， 我创建Nexus是因为我一直在想，为什么开发者要在Twitter上分享他们的工作，而GitHub上已经有了所有重要的信息——贡献、仓库、活跃记录、技术栈。 Nexus使用GitHub OAuth，因此您的个人资料会自动生成。无需撰写个人简介，也不需要追随者游戏。目前的功能包括：项目展示和仓库预览、带语法高亮的代码片段在动态中显示、线程讨论以及一个趋势算法。 刚刚推出了社交动态（第3阶段）。目前非常早期，用户还很少。希望能从真正有创造力的人那里获得诚实的反馈。 是什么让您愿意使用这个，而不是仅仅在Twitter上发布关于您项目的内容呢？

大家好，我最近参与了一些复古游戏的项目，并在实验中遇到了一个问题：“是否可以绕过CPU/RAM，直接将GPU连接到NVMe来运行变换器模型？”<p>这是这个问题的结果，以及一些周末的编程实验（在自述文件中也有相关的库仓库链接），看起来是可行的，甚至在消费级GPU上也能运行，不过在专业级GPU上效果应该会更好。

嗨，HN，我是一名独立研究者。在过去的几个月里，我与一个神经符号AI助手合作，直接在Coq定理证明器中对克雷伊千年奖“杨-米尔斯质量间隙”问题进行了形式验证。 我们将有限格拓扑完全映射到ℝ⁴连续体，通过重构五个Osterwalder-Schrader公理，将千年问题的表述精确地分解为657个连续的Qed证明。 我们积极地消除了主拓扑中的每一个启发式承认间隙。整个框架现在完全基于4个标准教科书公理（例如，有限维Perron-Frobenius定理，标准统计力学）。 该代码库包含原始的coqc逻辑。正式的时间戳预印本已发布在Zenodo（DOI: 10.5281/zenodo.18726858）。 我决定将内核执行开源，而不是与arXiv的守门人争斗。欢迎就定理证明、物理学或AI方法论提出任何问题。