2021-3-11 15:41这些天我最喜欢的两件事是我被Pwned和家庭助理。前者是一个明显的选择,后者I'在我的家庭自动化旅程中开始爱情。所以,我很高兴能够最近看到这两个综合:
惊人的! PWNED密码是在以前的数据泄露中暴露的613米密码的存储库,这使得它们的选择非常糟糕。它们完全自由,它们具有一个非常酷的匿名API,可确保没......
2021-3-1 4:39我想与您分享3&#smart"可以帮助我与Dog一起完成某些日常任务的想法。
这就像那些长食谱之一。简介没人关心。但是,嘿,有一张小狗照!
我是Doc的骄傲拥有者,一个10个月大的搞笑Lagotto Romagnolo。 Doc在2020年8月刚满3个月大时就采用了。他确实是一个好男孩,@ WeRate......
2020-10-20 4:21谷歌正在以一种重要的方式更新其助手智能显示屏上软件的外观和功能。从本周开始,Nest Hub等智能显示屏和第三方公司生产的智能显示屏将更新为新的主屏体验:黑暗模式,最后,可以从多个谷歌账户查看日历事件。
最大的变化是新的主屏幕,它的设计是根据你的习惯和一天中的时间为你提供上下文信息。谷歌现在不再像以前那样无休止地滚动......
2020-10-17 6:46今天早上,该公司在谷歌助手、谷歌地图和谷歌搜索中推出了一些功能,这些功能都是为了在用户似乎在寻找投票地点的信息时发挥作用。
例如,在谷歌搜索中,搜索“我附近的选票投递箱”,现在就会出现一个专门的工具来查找它--输入你登记投票的地址,它会帮助你找到相应的投递箱或投票站。当你搜索“如何找到投票站”或“去哪里投票”之类的东......
2020-10-8 2:15然而,最有趣的新功能是谷歌品牌设备上的谷歌助手的新访客模式。例如,不要将其与允许访客访问您的Google Chromecast相混淆,这种新的访客模式更类似于浏览器中的隐姓埋名模式。打开访客模式(通过说“嘿Google,打开访客模式”来调用),助手将不会提供个性化的响应,您的互动也不会保存到您的帐户中。它会一直开着,......
2020-8-28 1:20后一项功能是由用户数据驱动的--具体地说,就是你最近的搜索历史,包括你在谷歌助手和其他智能设备上进行的搜索。
通过更新,谷歌助手将能够推荐你可能想要烹饪的食谱,流媒体播客,或者附近提供送货服务的餐厅。这些建议也可以在白天改变。例如,您可能会在晚上看到建议的晚餐食谱。
快照现在还将在屏幕顶部显示重要任务的摘要。这可能还......
2020-8-5 1:5随着远程教育在即将到来的开学季开始生效,至少在美国,谷歌助手正在添加一些功能来简化过渡。这包括“家庭钟声”、“精确广播”和其他针对儿童的异想天开的节目。
谷歌希望复制通常以钟表打点学校日的方式。除了对虚拟学习有用之外,它对任何想要遵守个人时间表的人来说都是很棒的:
我们可以在一天中添加铃声提醒,通知何时开始在线课程,......
2020-7-23 13:28在一个夏日的星期六,伊兹·贝纳索(Izy Benasso)和父亲打了一场休闲的网球比赛,突然她感到膝盖爆裂。她撕裂了一个半月板,这是膝盖上的减摩垫之一,以45度的角度将其锁定到位。
尽管她怀疑自己撕裂了什么东西,但这位21岁的科罗拉多博尔德大学(University Of Colorado Boulder)大四学生不......
2020-7-18 0:37据两名知情官员透露,一名年轻科技企业家的私人助理于周五早些时候被捕,预计将被控犯有这起可怕的杀人罪。这名年轻科技企业家本周在曼哈顿的公寓被发现被斩首并肢解。
警方称,33岁的企业家法希姆·萨利赫(Fahim Saleh)周二下午被他的妹妹发现死在他位于下东区一栋豪华建筑内价值225万美元的共管公寓内。在大约一天没有他......
2020-5-2 17:51一段时间以来,我一直在考虑举办一系列名为“万能证明助手”的研讨会,专门针对所有不同的证据助手。除了现有的助手(Isabelle/HOL,CoQ,AGDA,Lean)之外,还有其他有趣的实验验证助手,还有一些还在开发中,或者只是概念的证明。我想更多地了解他们,我想我不是唯一的一个。
让证明助理的作者前往卢布尔雅那,并在......