6作者: ZJChen5 个月前原帖
嗨,HN!<p>我们刚刚推出了Verdent,一个AI编码助手,它在编码之前会进行规划,测试自己的工作,并提供无需您后续清理的生产就绪结果。<p>简而言之,查看网站[1]并阅读故事[2]。<p>- 问题:目前的AI工具往往直接生成代码,留下您去调试。您请求“构建一个登录端点”,却得到一个不适合您项目的无密码JWT混乱。我们与数百名工程师进行了交谈,他们对必须微观管理AI输出感到沮丧。<p>- 我们的解决方案:Verdent的工作方式更像是一位高级工程师。它首先会提出澄清问题,分解复杂任务,编写代码,然后运行自己的测试并修复错误,直到一切正常。我们称之为计划→编码→验证循环。<p>使用方式有两种:VS Code扩展,方便您紧贴代码,或Verdent Deck桌面应用程序,用于并行处理更大规模的多组件任务。<p>- 背景:我曾是TikTok的算法负责人,在此之前在百度担任首席技术架构师长达9年。构建那些庞大的推荐系统让我们明白,需要数百个专业模型协同工作,而不仅仅是包装一个大型语言模型(LLM)。我们将相同的系统工程方法应用于AI编码。<p>- 尝试一下:现在可以使用,付费计划起价为每月19美元。我们是一个小团队,所以没有免费层,但我们希望您能体验到自主编码的实际效果,而不是对有限版本感到沮丧。<p>- 更大的图景:我们认为AI编码只是更大转变的开始,AI将成为整个软件生命周期的协调者,而不仅仅是一个打字助手。<p>您怎么看?<p>您会信任AI助手处理哪些任务,做到端到端?<p>[1] <a href="https://www.verdent.ai/" rel="nofollow">https://www.verdent.ai/</a> [2] <a href="https://thenewstack.io/tiktoks-ex-algorithm-chief-launches-verdent-ai-coding-tool/" rel="nofollow">https://thenewstack.io/tiktoks-ex-algorithm-chief-launches-verdent-ai-coding-tool/</a>
2作者: accelerationa5 个月前原帖
嗨,HN, 我是Yongcong Luo,Quantum Lings的创始人。 我对量子计算一直很感兴趣,但学习曲线总是让我觉得异常陡峭。大多数资源要么是内容密集的学术论文,要么需要复杂的本地设置,比如Qiskit或Cirq等SDK,才能写出第一行量子代码。 没有一个简单、互动的方式可以像LeetCode或HackerRank那样,让你动手实践量子算法。 因此,我创建了Quantum Lings。这是一个基于浏览器的平台,提供一系列编码挑战,旨在带你从基本的量子门到更复杂的算法,如Grover搜索。我们的目标是让学习量子概念变得更容易和互动。 目前的主要特点包括: * 浏览器内量子模拟器——无需本地安装。你可以在几秒钟内开始编码。 * 不断增长的指导性问题库,配有教程和提示。 * 电路可视化,帮助你理解每一步对量子比特发生了什么。 这是一个试点发布,因此平台仍然很新,我有一长串想要添加的功能和问题。我今天发布它是因为我希望能得到社区的反馈。 我很想听听你的想法。这个平台有用吗?你希望看到哪些问题被添加?有没有什么bug或者让你感到困惑的地方? 我会在这里待一整天,回答问题并倾听所有反馈。感谢你来看看!
1作者: velyan5 个月前原帖
我在自己的工作流程中经常遇到这些情况: • 将 Notion 页面导出为 Google Docs/Word,因为审阅者坚持使用 .docx 格式,然后再附上 PDF 发送邮件。 • 将 Slack 中的决策复制粘贴到 Jira/Asana,或者将聊天记录总结到 Notion,以免丢失上下文。 • 在月底手动从邮件中下载收据并输入到电子表格中。 • 在 Gmail/日历/文档/Slack 中翻找信息,为会议做准备,因为上下文分散在各处。 我很好奇其他人是如何处理这些问题的。你们会使用自动化工具(如 Zapier/Apple Shortcuts 等),还是只是忍受这种摩擦?应用程序过多和不断的格式转换是否让你们感到拖慢了工作效率,还是这只是个小烦恼? 如果有一个可以在设备上运行的助手,能够处理文件(例如,将 GDocs 转换为 PDF 并草拟邮件)、将上下文同步到你的笔记中,并准备会议资料,这真的有帮助吗,还是说这个问题被夸大了? 我很想听听具体的例子,哪些地方让你感到痛苦,哪些方法有效,以及你希望有什么样的工具。
1作者: simpnoza5 个月前原帖
嘿,HN, 简而言之:这个工具自动化了整个过程。无需编写脚本,无需训练语音模型,也没有生产上的烦恼。只需粘贴一篇文章,就能得到一个由彼得和斯图伊讲解的视频。 我是一名自学的开发者(坦白说水平一般),目前在找工作,最近一直在刷新闻和阅读大量复杂的文章。持续的信息轰炸让我感到非常焦虑!! 我创建这个工具是为了: - 通过幽默使复杂话题更易于理解 - 在我和不断更新的新闻周期之间创造一个缓冲区 - 让学习变成我真正期待的事情 我通常使用大型语言模型来解析复杂话题,但我想要一些更具吸引力且压力更小的方式。一个可以在不消耗精神的情况下获取新闻的方法。 我的愿景是最终建立一些熟悉角色的组合,以他们独特的风格辩论复杂话题(想象一下海绵宝宝乐观地应对气候变化)。 这个工具完全免费!我是为自己开发的,但觉得其他人也可能会觉得它有用。 期待你的反馈, 罗布