#助手
2021-3-1 4:39
我想与您分享3＆＃smart＆＃34;可以帮助我与Dog一起完成某些日常任务的想法。
这就像那些长食谱之一。简介没人关心。但是，嘿，有一张小狗照！
我是Doc的骄傲拥有者，一个10个月大的搞笑Lagotto Romagnolo。 Doc在2020年8月刚满3个月大时就采用了。他确实是一个好男孩，@ WeRate......
Why do proof assistants use dependent type theory instead of set theory?(mathoverflow.net)
2020-11-21 23:15
\\ begingroup $在演讲中，凯文·巴扎德（Kevin Buzzard）博士指出，精益是唯一适用于形式化所有数学的现有证明助手。在演讲的“问答环节”（1:00:00）中，他提出以下理由：
我的问题是关于第一个问题的：为什么集合论（与从属类型论相比）很难实现自动化？
$ \ endgroup ......
2020-10-17 6:46
今天早上，该公司在谷歌助手、谷歌地图和谷歌搜索中推出了一些功能，这些功能都是为了在用户似乎在寻找投票地点的信息时发挥作用。
例如，在谷歌搜索中，搜索“我附近的选票投递箱”，现在就会出现一个专门的工具来查找它--输入你登记投票的地址，它会帮助你找到相应的投递箱或投票站。当你搜索“如何找到投票站”或“去哪里投票”之类的东......
Google Assistant gets an incognito-like guest mode (techcrunch.com)
2020-10-8 2:15
然而，最有趣的新功能是谷歌品牌设备上的谷歌助手的新访客模式。例如，不要将其与允许访客访问您的Google Chromecast相混淆，这种新的访客模式更类似于浏览器中的隐姓埋名模式。打开访客模式(通过说“嘿Google，打开访客模式”来调用)，助手将不会提供个性化的响应，您的互动也不会保存到您的帐户中。它会一直开着，......
2020-8-30 10:6
23摘要：可用性测试发现，仅语音和基于屏幕的智能助手都只适用于非常有限、简单的查询，这些查询的答案相当简单、简短。用户在任何其他方面都有困难。
可用性的圣杯是构建一个零交互成本的界面：能够满足用户的需求，而不需要他们做任何事情。虽然界面设计还远远没有读懂人们的想法，但Alexa、谷歌助手和Siri等智能助手就是朝着这......
Festo’s latest biomimetic robots are a flying feathered bird and ball-bottomed helper arm (techcrunch.com)
2020-7-3 7:55
费斯托已经有了一个飞鸟机器人--我差不多在10年前就写过了。他们甚至制作了一只会飞的蝙蝠作为后续行动。但BionicSwift比两者都更令人印象深刻，因为为了更接近它的鸟类灵感，它使用人造羽毛飞行。
“单个薄片(即羽毛)是由一种超轻、柔软但非常坚固的泡沫制成的，像带状疱疹一样层叠在一起。Festo在其对机器人的描述中......
2020-5-9 2:53
像Siri、Google Now和Amazon Alexa这样的助手问世还不到十年，它们已经变得令人难以置信地无处不在。人们喜欢一个聪明的助手，他可以做任何人要求的事情。但是，如果你曾经尝试过测试这些助手中任何一个的极限，你很快就会意识到，他们只是还没有完全做到这一点。正如JR·拉斐尔在“计算机世界”(Compute......