最新

嗨，HN。我遇到了一个问题，我想知道我旅行的地方是什么样子的。和其他人一样，我查看了谷歌地图和Snapchat。但谷歌街景的图片通常比较旧，而Snapchat的照片缺乏控制。因此，我创建了GeoQuests，供任何想了解地球上发生什么的人使用。 你可以在一个真实的位置发布一个任务。其他人可以在地图上看到这个任务，前往该地点，并在靠近时拍照完成任务。应用程序会检查图片的GPS坐标、拍摄时间以及图片是否符合任务的描述。我使用Gemini来验证图片。 基本上，你可以标记一个地点 -> 其他人在地图上发现它 -> 他们前往该地点并用经过验证的照片完成任务。 你可以浏览地图，查看公开任务并创建任务。我希望能得到一些关于这个项目的反馈。

请访问以下链接： [https://archive.ph/VqSqj](https://archive.ph/VqSqj)

最初作为我在2008年的硕士论文而构建，Visual Lambda 是一个图形化环境，在这里，λ项被作为可拖动的二维结构（“气泡表示法”）进行操作，并且β归约过程以流畅的动画形式呈现。 我最近对这个项目进行了复兴和整理，并将其发布为一个互动网页版本： [https://bntre.github.io/visual-lambda/](https://bntre.github.io/visual-lambda/) GitHub 仓库： [https://github.com/bntre/visual-lambda](https://github.com/bntre/visual-lambda) 它还包括一个小型的“λ谜题”挑战，您可以通过构造正确的项来提取一个隐藏的自由变量（一个金色硬币）： [https://github.com/bntre/visual-lambda#puzzles](https://github.com/bntre/visual-lambda#puzzles)