3作者: william187223 天前
七个模块,教你如何构建安全关键型系统:数学 → 结构 → 代码 → 测试。 每个模块回答一个问题:它存在吗?(脉冲),它正常吗?(基线),它有规律吗?(时序),它有趋势吗?(漂移),应该相信哪个传感器?(共识),如何处理溢出?(压力),我们该怎么办?(模式)。 每个模块都是封闭的(无依赖),全面的(处理所有输入),确定性的,且时间复杂度为 O(1)。通过了 83 个测试。 在 UNIX 系统领域工作 30 年后构建了它。希望通过它来传授认证系统背后的严谨性,而无需先花十年时间在职学习。 MIT 许可。欢迎反馈。
3作者: brunaxLorax23 天前
代码助手速度慢。<p>显然,与最优秀的人类程序员相比,它们的速度已经非常快了,但对于成为我们一对一的增强型结对编程伙伴来说,它们的速度仍然太慢。我们目前的解决方案是多实例,在任务之间切换。然而,众所周知,多任务处理是一种效率低下的方法,生产力低下,并且由于它增加了认知负荷、压力和疲劳程度,会造成损害。<p>我相信这只是暂时的,我们很快就会拥有足够快的代码助手,可以让我们专注于单个任务。你觉得呢?
2作者: david-minaya23 天前
我想分享 Ask CLI,这是一个我开发的工具,用于直接从终端获取关于命令和编码的帮助。它是一个简单的应用程序,旨在出色地完成一件事:提供即时命令协助。它不像 Claude Code 那样复杂的编码助手,而是专门用于获取简短、快速的答案,无需上下文切换。 作为一名开发者,我一直很难记住每个命令及其特定选项。每当我需要使用 Docker、Git 或 psql 等工具时,我都会不得不离开终端去查阅文档,或者滚动浏览冗长的 --help 文本,仅仅是为了回忆一个特定的标志。我通常知道我想做什么,但我忘记了确切的语法。我不想浪费时间切换到 Google 或 ChatGPT,仅仅是为了找到一个单行命令。 我开发了 Ask CLI 来解决这个问题。它改变了我的工作流程。现在,当我忘记一个命令时,我只需在终端中提问。它会给我一个快速、精确的答案——正是我所需要的——而且不会打断我的思路。 它非常容易使用:只需选择一个 AI 模型,设置您的 API 密钥,然后开始在终端中自然地聊天。 示例: $ ask 如何使用环境变量运行 docker 容器 $ ask 如何设置我的本地 git 账户 您还可以使用 "what" 和 "how" 别名,以获得更自然的感觉: $ what 是 chmod $ how 打印所有环境变量 您可以将 Ask CLI 与流行的托管模型(Gemini、Claude、ChatGPT)或支持 OpenAI 兼容 API 的本地模型和外部提供商(Ollama、llama.cpp、LM Studio 等)一起使用。 Ask CLI 是免费且开源的。请在这里查看: https://github.com/david-minaya/ask
1作者: RCM723 天前
我一直在公开构建一个 bitly 的替代品,并构建了一个免费的辅助工具,用于将截图上传到 S3。我一直认为截图应用在这方面收费过高,所以能抽出时间来构建它,我感到非常高兴。<p>它会自动生成短链接,并上传到你拥有的任何 S3 兼容存储中。<p>这是链接: <a href="https:&#x2F;&#x2F;gofwd.to&#x2F;screenfwd" rel="nofollow">https:&#x2F;&#x2F;gofwd.to&#x2F;screenfwd</a><p>试用一下吧,欢迎提供所有反馈 :)
3作者: -__-23 天前
我正在开发一款基于 Webkit 的移动浏览器,其中包含无障碍功能,包括使用 OpenDyslexic 字体覆盖页面字体。我尝试了以下代码的各种组合: ```html <p>const style = document.createElement('style'); style.textContent = ` @font-face { font-family: 'OpenDyslexic'; src: url('data:font/opentype;base64,...') format('opentype'); } * { font-family: 'OpenDyslexic', sans-serif !important; } `; document.head.appendChild(style); ``` 这段代码在任何地方都有效。我从这个页面点击的每个链接,我能找到的每个 90 年代的网站,都有效。除了这里! 在 HN 上,`font-family` 的 CSS 属性生效(我可以在检查器中看到,元素显示 `font-family: OpenDyslexic !important`),但实际渲染的字体却回退到了 sans-serif。 `@font-face` 也在 DOM 中。 Base64 编码是有效的,这段代码在其他网站上也能正常运行。 我尝试了:使用 blob URL 替代 data URL,使用 MutationObserver 重新应用,针对特定元素(font, td, table),以及 setTimeout 延迟。还尝试了更多方法。但唯独在 HN 上无效。 HN 的标记或标头中是否存在某些特殊之处,导致 `@font-face` 默默地失败? 有没有人遇到过这个问题,或者知道为什么会发生这种情况? 内容安全策略 (CSP) 和跨域资源共享 (CORS) 似乎不是问题,因为 base64 编码已经在 DOM 中了。 我可能遗漏了什么?