1 分•作者: Minhir•2 个月前
我想制作一个基于含义和联想的文字谜题，而不是重新排列字母或在网格中搜索。
返回首页
最新
3 分•作者: mdp2021•2 个月前
33 分•作者: mertbio•2 个月前
2 分•作者: wassimgr•2 个月前
Descript 每月收费 24 美元，所以我用 Fable 在一个周末就完成了这个项目！
隆重推出 Rescript：只需编辑文本记录即可编辑视频。导入视频后，它会在本地进行转录，并带有逐字时间戳和说话人标签。删除文本记录中的单词，视频中相应的片段就会被剪掉。
完全在浏览器中运行：本地、免费、离线且开源。
→ GitHub https://github.com/wassgha/rescript
→ 应用 https://wassgha.github.io/rescript
109 分•作者: nateb2022•2 个月前
2 分•作者: robalni•2 个月前
最近有没有关于计算机工作新方式的实验，这些新方式能让它们更容易被理解/构建/编程？
1 分•作者: versuchai•2 个月前
各位 HN 的朋友们，
在过去的一年里，我一直在开发 StatsKit。它将产品分析、功能开关、A/B 测试、会话回放和漏斗分析整合到一个单一平台中。
[https://statskit.ai](https://statskit.ai)
我很乐意回答任何问题。
1 分•作者: 8NobleTruths•2 个月前
2 分•作者: tosh•2 个月前
1 分•作者: tosh•2 个月前
1 分•作者: jandeboevrie•2 个月前
1 分•作者: yiweileng•2 个月前
1 分•作者: matt_d•2 个月前
1 分•作者: tosh•2 个月前
1 分•作者: maciekdebiec•2 个月前
1 分•作者: mrsamramirez10•2 个月前
1 分•作者: EvgeniyZh•2 个月前
1 分•作者: flitzofolov•2 个月前
3 分•作者: julienreszka•2 个月前
高经济增长很大程度上是由低政府支出造成的，而这在很大程度上是您无法控制的。因此，您为改善经济环境所拥有的唯一真正筹码就是移居到另一个国家。
1 分•作者: mf_kevintruong•2 个月前
大家好，
我是 Spur 的作者，我想分享一下 Spur solver。它基于 Z3，用于神经符号推理，将概率语言模型与数学约束求解相结合。
核心理念是：LLM（大型语言模型）输出约束，并将这些约束翻译成 Z3 SMT 语言，然后通过 LLM 模型和神经符号推理之间的反馈循环，实现更优的推理。
期待 HN（Hacker News）社区的反馈和评论。
谢谢！
Kevin