新闻
【元宇宙】如何搭建元宇宙产品（上）——基于用户痛点与产品价值的逻辑篇
概要: 元宇宙在不同人的心里，可能有不同的解读。而关于搭建元宇宙产品的策略和逻辑，是否有一套规则和方法论呢？本文作者从技术层面切入，对元宇宙产品的搭建逻辑进行了分析，一起来看一下吧。元宇宙在所有人心里都有自己……
AI“入侵”短视频，慌了谁
概要: 输入文案，自动合成语音，AI已成为当下短视频批量生产的标配。除了语音，影像成为了AI入侵的主要方向，AI绘画火出圈，随即带动短视频发展。若将镜头交给AI，创作者该何去何从？“注意看，眼前这个男人正在X……
案例解析，我是如何进行交互设计的
概要: 有些时候，交互设计师在其他岗位的认知中，仅仅是一个只会产出黑白稿、低保真原型的工种。如何改变这种认知呢？本文通过对实际案例的解析，希望能带大家了解，交互设计师在产出交互方案时，是如何进行思考与设计的，……
OCR技术发展综述与达观数据的实践经验
概要: 光学字符识别OCR技术（Optical Character Recognition）是指从图像中自动提取文字信息的技术。这项技术横跨了人工智能里的两大领域：CV（计算机视觉）和NLP（自然语言处理），……
国际首次！我科学家“拍摄”到光生电荷转移演化全时空图像
概要: ◎本报记者 陆成宽……
10分钟教你写一个数据库
概要: 今天教大家借助一款框架快速实现一个数据库，这个框架就是Calcite，下面会带大家通过两个例子快速教会大家怎么实现，一个是可以通过 SQL 语句的方式可以直接查询文件内容，第二个是模拟 Mysql 查……
Wayne & New Research
概要: hi，我是Wayend又是停滞很久之后的更新，可能是工作不是很顺心，或者对于现状的不满，转变成我做个人练习的推动力。看过很多优秀设计师的长线练习，我也一直想找到能够坚持做下去的创作动力所以我做了一个以……
祝贺！我国成功发射5米S-SAR 01星，主要应用在这些场景
概要: 每经编辑 毕陆名……
字节跳动据悉计划继续在全球扩张音乐流媒体业务Resso
概要: 10月12日报道，知情人士称，字节跳动已开始与音乐公司谈判，讨论将其音乐流媒体服务扩展到全球，以与Spotify等公司竞争。目前谈判中仍存在重大障碍，但字节跳动希望这项服务最终被整合到TikTok中……
微软将推免费P图软件：向上叫板王者Adobe 向下打压新贵Canva
概要: 新浪科技讯 北京时间10月13日早间消息，据报道，美国微软公司周三宣布，将推出一款名为“Desinger”的图形图像设计软件，这一软件将提供免费版，同时推出高端版，并纳入微软“Office全家桶”……
Vscode中代码格式化时如何不换行
概要: 用vscode编辑器格式化代码时，会出现以下这种代码换行的问题，看起来代码堆积，开发体验非常不好。如何解决：1.打开Vscode,点击文件 —》首选项 —》设置—》搜索vetur —》 在settin……
房地产在剔除原罪
概要: 来源｜真叫卢俊（ID：zhenjiaolujun0426）作者｜真叫卢俊头图｜视觉中国房地产有原罪吗？这个行业当然是有原罪的，甚至在以前是很多项目和个人最大的红利来源。在行业20年非常强大的城镇化和经……
《电锯人》豆瓣开分9.2：作画超强、新代霸权
概要: 昨日，由藤本树漫画改编的动画剧集《电锯人》已正式开播，目前，该作豆瓣现已开分，已有7496人做出评价，目前评分为9.2分。
《大考》大结局！周博文田雯雯告白乌龙，同学唱歌送考梦回高中
概要: 《大考》大结局！周博文田雯雯告白乌龙，同学唱歌送考梦回高中
这十年 我们的电影生活 —— 影人齐溪 影迷王香果
概要: 这十年 我们的电影生活 —— 影人齐溪 影迷王香果
解决Rstudio启动时报错normalizePath：文件名、目录名或卷标语法不正确
概要: 问题描述最近重新装了win11系统，也重新配置了R和Rstudio环境，但是发现每次打开Rstudio会报错：Warning message:In normalizePath(path.expand(……
《海贼王》1063话情报：罗瞬间性转 罗团VS黑胡子团
概要: 《海贼王》1063话情报公开，本集中罗的海贼团被黑胡子伏击，因为黑胡子手下的能力，罗有一瞬间被变成了女性，场面相当精彩。
媒体如何吸引Z世代用户？
概要: 本文来自微信公众号：德外5号（ID：dewaiwuhao），作者：张春华，原文标题：《3个媒体“抓手”——锚定Z世代 | 德外视窗》，头图来自：纪录片《我是Z世代 I Am Gen Z (2021)》……
《Unusual Findings》EA发售 发售特惠56.5元
概要: 点击式解密游戏《Unusual Findings（不寻常探索）》现已在Steam平台EA发售，游戏支持简体中文，国区原价70元，发售特惠56.5元，感兴趣的玩家可以点击此处进入商店页面。游戏预告：游戏……
《追光者》定档10月14日！吴倩罗云熙二搭，高能预告曝光好期待
概要: 《追光者》定档10月14日！吴倩罗云熙二搭，高能预告曝光好期待
《追光者》定档，吴倩罗云熙主演，救援题材，有爆款剧可能性
概要: 10月13日，电视剧《追光者》官宣定档，10月14日晚间6点起，腾讯视频、芒果TV上线开播。这部电视剧由吴倩、罗云熙等青年演员主演，讲的是民间救援的题材内容。这一题材，以往的影视剧作品当中很少涉及，具……
动画人河野悦隆去世 曾担任《鬼灭之刃》等作原画
概要: 据日本媒体报道，动画人河野悦隆去世，享年57岁，疑似有心脏问题。
当代年轻人“脱发”图鉴：我“秃”了？我装的
概要: 写在前面：工作、生活两座大山压顶，年轻人的头发就像蒲公英，说秃就秃。于是催生了遍地开花的防脱方法，防脱洗发水、生发液、防脱精华、植发手术、激光生发、药物治疗……其中防脱精华作为高效且无副作用的代表品类……
洞察｜硅料巨头做组件，是鲶鱼乱市场，还是被逼上梁山？
概要: 光伏行业持续多年的专业化与一体化路线之争，因为这一标志性事件，貌似进入了终章……
完成D轮融资，德施曼估值10亿美金成智能锁行业唯一独角兽
概要: 近日，智能锁头部品牌德施曼低调完成D轮融资，据悉，德施曼已连续完成C轮、C+轮、C++以及D轮融资，两年内收获4次专业投资方——国美资本、经纬创投、初芯集团、轻联投资、栈道资本、滨江高新创投等资本的强……
《王者荣耀世界》软件著作权获批 上线日期待定
概要: 新浪科技消息，天眼查App显示，10月9日，腾讯科技（成都）有限公司“王者荣耀世界”软件著作权获得登记批准，当前版本号为V1.0.0.1，据报道，该作曾于2021年10月30日公布过演示视频。实录视频……
《Apex英雄》手游第三赛季至高之人 新英雄艾许
概要: 《Apex英雄》手游发布了第三赛季“至高之人”更新，这是该作迄今为止最大的一次更新，引入了新英雄、新活动、新核心系统和英雄平衡改动等等内容。第三赛季“至高之人”发布预告新英雄：艾许艾许主要英雄专属被动……
经纪人晒罗志祥录音背影照 透露新歌是催泪情歌
概要: 新浪娱乐讯 13日，经纪人晒出罗志祥录音的背影照，写道“好久没听到这么催泪的情歌，录音加油。”粉丝纷纷留言表示期待新歌。 稍早，有媒体报道称罗志祥确定加盟国际唱片公司华纳音乐，将于10月14日下午2……
模仿容易创意难，品牌借鉴要有“边界感”
概要: 模仿容易创意难，品牌借鉴要有“边界感”
中老年风，怎么又吹进了这届年轻人的时尚？
概要: 本文来自微信公众号：知著网 （ID：covricuc），作者：实初，原文标题：《这一届的年轻人，都迷恋上了“中老年风”？》，头图来自：视觉中国“不明白的是为何你情愿，让风尘刻画你的样子”，伴随着林志炫……
男子下班遇领导按住电梯要求加班 当事人不害怕被开
概要: 10月13日消息，据后浪视频报道，浙江杭州李先生反映，他下午6点半下班遇上领导，被按住电梯拦住要求回去加班。报道视频：李先生称，领导说他任务没完成，大家都在加班，质问他怎么好意思下班的。随后他坚持离开……
锂盐企业今年吸金能力有多强？前三季赚钱超过去九年总和
概要: 锂盐现货价格还在持续创新高。
视频：李宇春自曝患强直性脊柱炎 以患者视角创作新歌
概要: 视频：李宇春自曝患强直性脊柱炎 以患者视角创作新歌
契合国家战略，深耕品质农业，农银品质农业股票基金10月24日正式首发
概要: 民以食为天，稳住农业基本盘，促进农业高质高效才能夯实大国根基。中央一号文件已连续十九年聚焦“三农”，大农业未来发展空间巨大。为聚焦农业板块投资机遇，借基布局农业发展红利，农银汇理品质农业股票型证券投资……
【字幕】巴恩斯：人们质疑杜兰特的是没有库里他能夺冠吗
概要: 每日视频会同步至B站、微博等全平台账号（西海岸篮球或西海岸字幕）
斯嘉丽被认为过于成熟 曾感觉自己演员生涯结束了
概要: 新浪娱乐讯 北京时间10月13日消息，据外国媒体报道，斯嘉丽·约翰逊近日接受节目访问谈到事业，感叹她太早出来演戏，早早被定型为一个被过度性感化的古怪状态，那时她甚至曾感觉自己的演员生涯结束了。 约翰……
索尼汽车或2026年前交付，大通推出露营车|汽车日评
概要: 在智能汽车时代，软件和芯片取代了发动机和底盘成为汽车核心的竞争优势。
烧光270亿美元后，扎克伯格的新故事仍显乏力
概要: 出品 | 虎嗅科技组作者 | 丸都山编辑 | 陈伊凡头图 | Meta如果有一款产品，可以让你实现，戴上VR设备即可办公，你会为之买单吗？宣布All in元宇宙一年之后，被视为元宇宙风向标的Meta祭……
指数大小分化明显 小票指数能否阶段领先？
概要: 指数大小分化明显 小票指数能否阶段领先？
谷歌 Stadia 关停之后
概要: 本文来自微信公众号：触乐 （ID：chuappgame），作者：等等本文编译自：http://www.digitaltrends.com/gaming / google-stadia-dedicate……
十年，这十组数据发生哪些改变|数读中国
概要: 新华社的这篇报道，记录了5G信号抵达世界之巅的旅程。这也是过去十年，中国一项项重点工程、一个个国之重器、一次次突破创新的缩影。
暴雪调查《守望先锋2》bug 导致玩家PC关机或重启
概要: 暴雪表示正在调查《守望先锋2》的一个bug，该Bug会导致一些PC关机或重启。暴雪其中一个客服官推承认了这个Bug，这也是影响《守望先锋2》诸多游戏发行问题中的最新一个。暴雪呼吁遇到这个bug的玩家提……
12天8板彩虹集团回复关注函：电热毯等产品在手出口订单金额约133万元
概要: 公告称，截至6月底，电热毯等家用柔性取暖产品实现海外销售收入21万元。目前在手订单金额约133万元，合计占上一年度公司营业总收入比例为0.13%。
财经TOP10|踩雷恒大，老板电器“焦头烂额”，必胜客一餐厅被吊销许可证，度小满保险经纪被罚56万
概要: 【政经要闻】 NO.1 多地部署四季度稳经济工作 稳投资促消费仍是重头 9月28日召开的稳经济大盘四季度工作推进会议强调，四季度经济在全年份量最重…
英伟达云游戏为 ChromeBook “游戏本”推出 1600p 120fps 服务
概要: IT之家10 月 13 日消息，不久前，联想、宏碁等厂商和谷歌合作，推出了几款 ChromeBook “游戏本”，最高搭载了 1600p 120Hz 的屏幕。现在，英伟达 GeForce Now 云游……
上海“专精特新”起势：数量近五千 红利与瓶颈并存
概要: 21世纪经济报道记者张梓桐陶力上海报道 上海科技创业的热情正在不断向上攀升。 近日，上海市经济信息化工作党委副书记、市经济信息化委主任吴金城在新闻发布会上透露…
百万补贴开启汽车消费盛宴，广州加快充能基础配套设施建设
概要: 南方财经全媒体见习记者魏彤 广州报道 作为国民经济重要支柱产业，汽车产业链条长、涉及就业面广、拉动消费作用大。 今年7月，商务部…
决胜四季度收官战，地方密集部署扩投资促消费
概要: 四季度稳增长的重点在于稳内需、稳预期、提振有效需求。 四季度经济在全年分量最重，也是持续巩固经济回升向好趋势的窗口期、关键期。
决胜四季度收官战，地方密集部署扩投资促消费
概要: 四季度稳增长的重点在于稳内需、稳预期、提振有效需求。
两款未发布且“从未数字化”的任天堂 NES 游戏被拍卖，属于 1998 年的回忆
概要: IT之家10 月 13 日消息，任天堂红白机，即 FC 游戏机，是任天堂生产、发行和销售的 8 位第三世代家用游戏机，日本版称为 Family Computer；而欧美版称为任天堂娱乐系统（Ninte……
流言板谁是今天训练中表现最亮眼的球员？基德：我想说杰登-哈迪
概要: 虎扑10月13日讯 今天，独行侠主教练杰森-基德在训练后进行了采访。被问到谁是今天训练中表现最亮眼的球员时，基德回答：“我想说的是杰登-哈迪。不过，东契奇就是东契奇，他显然会在更高一级别的水准中竞争。
洪水末世生存游戏《Floodland》11 月发售，推荐配置 RTX 2060
概要: IT之家10 月 13 日消息，Steam 页面显示《Floodland》游戏将在 11 月 15 日发售。据官方介绍，这款社会生存题材游戏的故事，发生在地球遭到气候变化破坏后的末世中。你需要探索、搜……
赛场速递防守又没了！吴冠希篮下轻松扣篮
概要: 赛场速递防守又没了！吴冠希篮下轻松扣篮
流言板记者：勇士得有格林明年不跳出2800万美元球员选项的准备
概要: 虎扑10月13日讯 ESPN记者在NBA Today节目中谈到了勇士球员德雷蒙德-格林的前景。“勇士将面临一个严重的问题，那就是奢侈税，他们有格林、安德鲁-威金斯和乔丹-普尔需要续约，如果他们三人均留
小说
我有一个剑仙娘子
作者：阳小戎
标签：修真文明
简介：睁眼，是一间花烛红窗的洞房。眼前，婚床上，正端坐着一位凤冠霞帔的新娘，披着红盖头。赵戎揉了揉睡眼，我成了一个新郎？哦，还是个小小赘婿。懂了。他面部表情酝酿了一下，准备歪嘴一笑，等等……咦，不对劲。新娘与我青梅竹马！还暗恋我？哦，那没事了。这很对劲。赵戎上前，开心的掀开了红盖头，哎哎，娘子，你跑什么？——–大争之世，时代的浪潮扑面而来，儒生赵戎迎身而上，除了要追赶青梅竹马的剑仙娘子的脚步，还想要去亲眼见识下席卷了大半个修真界的诸子百家之争……—————【慢热】、【非套路文】、【非升级文】、【感情线】、【甜而不虐】本书又名《我有一个狐仙娘子》、《重生之我在异界送快递》、《歪嘴书生赵子瑜》……———剑娘书友Vip击剑群（全订）、剑娘书友普通二群（无限制）两群传送门在下方↓↓↓。好兄弟们欢迎加入，进出自由。（注：入Vip击剑群的兄弟，需将全订或粉丝值截图私发小戎或管理，然因私聊规则，需先加普群才可成功私聊。另，全订后粉丝值未达5000的书友，亦可先加普群，再私聊小戎入v群。任何书友信息，小戎都会回复）
章节总数：共732章
状态：完本
论文
IIITT@Dravidian-CodeMix-FIRE2021: Transliterate or translate? Sentiment analysis of code-mixed text in Dravidian languages | Papers With Code
概要: Sentiment analysis of social media posts and comments for various marketing and emotional purposes is gaining recognition. With the increasing presence of code-mixed content in various native languages, there is a need for ardent research to produce promising results.
Exploring Representation of Horn Clauses using GNNs | Papers With Code
概要: Learning program semantics from raw source code is challenging due to the complexity of real-world programming language syntax and due to the difficulty of reconstructing long-distance relational information implicitly represented in programs using identifiers. Addressing the first point, we consider Constrained Horn Clauses (CHCs) as a standard representation of program verification problems, providing a simple and programming language-independent syntax. For the second challenge, we explore graph representations of CHCs, and propose a new Relational Hypergraph Neural Network (R-HyGNN) architecture to learn program features. We introduce two different graph representations of CHCs. One is called constraint graph (CG), and emphasizes syntactic information of CHCs by translating the symbols and their relations in CHCs as typed nodes and binary edges, respectively, and constructing the constraints as abstract syntax trees. The second one is called control- and data-flow hypergraph (CDHG), and emphasizes semantic information of CHCs by representing the control and data flow through ternary hyperedges. We then propose a new GNN architecture, R-HyGNN, extending Relational Graph Convolutional Networks, to handle hypergraphs. To evaluate the ability of R-HyGNN to extract semantic information from programs, we use R-HyGNNs to train models on the two graph representations, and on five proxy tasks with increasing difficulty, using benchmarks from CHC-COMP 2021 as training data. The most difficult proxy task requires the model to predict the occurrence of clauses in counter-examples, which subsumes satisfiability of CHCs. CDHG achieves 90.59% accuracy in this task. Furthermore, R-HyGNN has perfect predictions on one of the graphs consisting of more than 290 clauses. Overall, our experiments indicate that R-HyGNN can capture intricate program features for guiding verification problems.