ACM中国图灵大会专题 | 图灵奖得主Manuel Blum教授与仓颉团队交流 | 华为论坛：面向全场景应用编程语言精彩回顾
ACM 中国图灵大会（ACM Turing Award Celebration Conference TURC 2024）于2024年7月5日至7日在长沙举行。本届大会由ACM主办，in cooperation with CCF，互联网之父Vinton Cerf、中国计算机学会前理事长梅宏院士和廖湘科院士担任学术指导委员会主席，湖南省副省长、长沙市长周海兵和湖南大学副校长李肯立教授等担任大会共同主席。大会围绕“感联智信，数创未来！”主题，由包括 ACM 图灵奖获奖者在内的国内外学术专家和教授，分享他们对尖端技术和人工智能的看法，探讨计算科学的未来。
7月7日上午，图灵奖得主Manuel Blum教授亲临华为仓颉编程语言展台，同华为编程语言实验室专家徐潇、王学智、刘军，语言虚拟机实验室专家杨勇勇进行了深入交流和探讨。
在仓颉编程语言展台，Manuel Blum教授仔细聆听了仓颉编程语言相关特性介绍，以及鸿蒙生态下仓颉编程语言的应用场景进行了深入交流。
Manuel Blum教授对仓颉编程语言中所表现的高性能和强安全特性表示了高度的赞赏和肯定，对后续更多鸿蒙生态下智能产品表示期待。
7月7日下午13点30，华为论坛《面向全场景应用编程语言-仓颉》顺利举行，华为编程语言首席专家、仓颉编程语言首席架构师、南京大学教授冯新宇发表开场致辞，冯老师表示，自2019年立项研发以来，经过5年的研发沉淀，终于在华为HDC大会和广大开发者正式亮相，发布后得到了广大开发者的关注和讨论。仓颉作为新生语言在未来会有无限的发展可能与成长空间，同时对于新生语言的正式发布也仅是万里长征第一步，语言的特性的设计与实现以及语言生态建设，希望广大开发者可以多多支持仓颉编程语言，提供宝贵的建议，一起参与到仓颉编程语言生态建设中，将仓颉打造成开发者心中好用易用的编程语言。
随后华为中央软件院项目群总监 董鑫，华为编程语言实验室架构师 徐潇，华为编程语言实验室架构师 范长春，华为语言虚拟机实验室架构师 杨勇勇，华为软件IDE实验室智慧化专家 郭圆平 分享主题报告。
主题报告一： 面向全场景应用的新一代编程语言-仓颉
华为中央软件院项目群总监 董鑫
主题报告二：仓颉语言鸿蒙原生应用开发/并行并发/全并发 Compact GC 技术介绍及大模型辅助仓颉代码生成
华为编程语言实验室架构师 徐潇
华为编程语言实验室架构师 范长春
华为语言虚拟机实验室架构师 杨勇勇
华为软件IDE实验室智慧化专家 郭圆平
同时邀请到 湖南大学副教授 张羽丰，南京大学副教授 余萍， 北京大学博士研究生 张羿凡，北京航空航天大学教授 黎立，LeetCode移动端技术经理 叶海健 分别分享特邀报告。
特邀报告一： 约束求解增强的符号执行及仓颉语言应用实践
湖南大学副教授 张羽丰
特邀报告二：基于太阿的仓颉语言程序分析
南京大学副教授 余萍
特邀报告三：贝叶斯程序分析的发展及仓颉语言应用机会
北京大学博士研究生 张羿凡
特邀报告四：仓颉代码智慧化初探
北京航空航天大学教授 黎立
特邀报告五：力扣鸿蒙应用仓颉语言开发实践
LeetCode移动端技术经理 叶海健
会议现场
仓颉编程语言通用版本SDK Beta试用报名链接
相关文章：
ACM中国图灵大会专题 | 图灵奖得主Manuel Blum教授与仓颉团队交流 | 华为论坛：面向全场景应用编程语言精彩回顾
ACM 中国图灵大会（ACM Turing Award Celebration Conference TURC 2024）于2024年7月5日至7日在长沙举行。本届大会由ACM主办，in cooperation with CCF，互联网之父Vinton Cerf、中国计算机学会前理事长梅宏院士和廖湘科院士担任学术…...
k8s 公共服务
修改named.conf。修改第13行和第21行 下面是 named.rfc1912 修改位置，在最后 所以用cp -p 复制文件，保留权限 nslookup 回车，server是看哪个dns 在起作用 dns服务器要配置给所有公共服务节点和 k8s 节点 就在网络文件加个DNS2就行了&…...
【数据分析详细教学】全球气温变迁：一个多世纪的数据分析
全球气温变迁：一个多世纪的数据分析 1. 数据集选择与获取 数据可以从NASA的GISTEMP数据集获取，通常提供的格式有TXT和CSV。我们假设数据是以CSV格式提供。 2. 数据预处理 使用Python的pandas库读取数据并进行预处理。 import pandas as pd# 加载数…...
AV1技术学习：Reference Frame System
一、Reference Frames AV1 Codec 允许在其解码的帧缓冲区中最多允许保存 8 帧。对于一个编码帧，可以从解码的帧缓冲区中选择任意 7 个帧作为它的参考帧。编码端可以通过比特流显式地传输参考帧索引，范围从 1到 7。原则上，参考帧索引 1-4 为当…...
数学建模（7）——Logistic模型
一、马尔萨斯人口模型 import numpy as np import matplotlib.pyplot as plt# 初始人口 N0 100 # 人口增长率 r 0.02 # 时间段（年） t np.linspace(0, 200, 200)# 马尔萨斯人口模型 N N0 * np.exp(r * t)# 绘图 plt.plot(t, N, labelPopulation) plt.…...
“微软蓝屏”事件，给IT行业带来的宝贵经验和教训
“微软蓝屏”事件是指2024年7月19日发生的一次全球性技术故障，主要涉及微软视窗（Windows）操作系统及其相关应用和服务。 以下是对该事件的详细解析： 一、事件概述 发生时间：2024年7月19日事件影响：全球多个…...
QT总结——图标显示坑
最近写代码遇到一个神仙大坑，我都怀疑我软件是不是坏了，这里记录一下。 写qt工程的时候我们一般会设置图标，这个图标是窗体的图标同时也是任务栏的图标，但是我发现生成的exe没有图标，这个时候就想着给他加一个图标&…...
SQL 注入漏洞详解 - Union 注入
1）漏洞简介 SQL 注入简介 SQL 注入 即是指 Web 应用程序对用户输入数据的合法性没有判断或过滤不严，攻击者可以在 Web 应用程序中事先定义好的查询语句的结尾上添加额外的 SQL 语句，在管理员不知情的情况下实现非法操作，以此来实现欺骗数据库服务器执行非授权的任意查询，…...
Qt创建自定义组件并且promote to之后导致编译错误（CMake）
创建自定组件并且加入到全局(勾选"Global include"选项)后，重新编译，元对象编译器生成的ui_xxxx.h文件中会新加入自定义组件的头文件： 如图所示，编译器提示找不到自定义组件的头文件： Solution: 在CMakeL…...
告别写作瓶颈，4款AI协作工具助你迸发灵感
想要一个可以理解你思路，捕捉你灵感，并且帮你将这些内容转化为高质量文本的工具吗？现下大火的ai智能写作就能做到。 1 宙.语AI 传送门：https://ailjyk.com/pc 这个工具也是一种在线的AI工具。他可以写的文章种类非常多&#…...
java30-Shiro
概述 解决认证和授权 基本使用 package com.xpc.simple;import org.apache.shiro.SecurityUtils; import org.apache.shiro.authc.UsernamePasswordToken; import org.apache.shiro.mgt.DefaultSecurityManager; import org.apache.shiro.realm.SimpleAccountRealm; import o…...
【linux驱动开发】卸载驱动时报错:Trying to free already-free IRQ 0
【linux驱动开发】free_irq时报错:Trying to free already-free IRQ 0 卸载驱动时报错Trying to free already-free IRQ 0 第一次加载卸载驱动没有任何问题。第二次加载驱动，按键中断触发失效，卸载驱动时报错:Trying to free already-free IRQ 0 看了…...
SpringBoot如何解决yml明文密码问题
博客主页: 南来_北往 🔥系列专栏：Spring Boot实战 前言 在现代的软件开发中，安全性是一个重要的考量因素。对于使用SpringBoot框架开发的应用程序而言，敏感信息如数据库密码、API密钥等通常存储在YAML配置文件中…...
SDL常用结构体和函数接口
1. 结构体 SDL_Window：SDL库中用于表示应用程序窗口的结构体。它封装了一个操作系统窗口的所有属性和功能，是创建图形用户界面的基础。通过创建一个SDL_Window，开发者可以定义窗口的初始大小、位置、是否全屏、是否具有边框等属性࿰…...
【数据结构】AVL树(图文解析 + 代码实现)
目录 1、AVL树的概念 2、AVL树结点的定义 3、AVL树的插入 4、AVL树的旋转 4.1 左单旋 4.2 右单旋 4.3 右左双旋 4.4 左右双旋 5、AVL树的验证 6、AVL树的性能 前面对map/multimap/set/multiset进行了简单的介绍，会大仙，这几个容器有个共同点是…...
HTML（六）——HTML表单和框架
HTML 表单 HTML 表单用于收集用户的输入信息，是一个包含表单元素的区域 HTML 表单表示文档中的一个区域，此区域包含交互控件，将用户收集到的信息发送到 Web 服务器。 HTML 表单通常包含各种输入字段、复选框、单选按钮、下拉列表等元素。 …...
【Qt 】JSON 数据格式详解
文章目录 1. JSON 有什么作用?2. JSON 的特点3. JSON 的两种数据格式3.1 JSON 数组3.2 JSON 对象 4. Qt 中如何使用 JSON 呢？4.1 QJsonObject4.2 QJsonArray4.3 QJsonValue4.4 QJsonDocument 5. 构建 JSON 字符串6. 解析 JSON 字符串 1. JSON 有什么作用? &#x…...
路由表与IP数据报转发：基础小白指南
目录 1. 路由表的基本概念 2. 路由表中的默认路由 3. IP数据报的转发流程 4. 路由聚合 5. 最长前缀匹配 总结 在网络世界中，IP数据报的转发是如何进行的？ 这篇文章将带你深入了解路由表的基本概念和IP数据报的转发流程。我们会用简洁明了的语言和实…...
python—selenium爬虫
文章目录 Selenium与Requests对比一、工作原理二、功能特点三、性能表现 下载对应驱动1.首先我们需要打开edge浏览器，打开设置，找到“关于Microsoft Edge”，点击进入查看浏览器版本。2.查找版本之后，搜索edge驱动下载，…...
Mysql - 索引
目录 一、存储引擎 二、索引 索引结构 索引分类 索引语法 联合索引 前缀索引 索引使用规则 最左前缀法则 范围查询使索引失效 字段做运算操作索引失效 字符串字段不加单引号索引失效 字段做前模糊查询索引失效 or连接条件索引失效 数据发布情况索引失效 指定使用…...
遍历 Map 类型集合的方法汇总
1 方法一 先用方法 keySet() 获取集合中的所有键。再通过 gey(key) 方法用对应键获取值 import java.util.HashMap; import java.util.Set;public class Test {public static void main(String[] args) {HashMap hashMap new HashMap();hashMap.put("语文",99);has…...
【Redis技术进阶之路】「原理分析系列开篇」分析客户端和服务端网络诵信交互实现（服务端执行命令请求的过程 - 初始化服务器）
服务端执行命令请求的过程 【专栏简介】【技术大纲】【专栏目标】【目标人群】1. Redis爱好者与社区成员2. 后端开发和系统架构师3. 计算机专业的本科生及研究生 初始化服务器1. 初始化服务器状态结构初始化RedisServer变量 2. 加载相关系统配置和用户配置参数定制化配置参数案…...
服务器硬防的应用场景都有哪些？
服务器硬防是指一种通过硬件设备层面的安全措施来防御服务器系统受到网络攻击的方式，避免服务器受到各种恶意攻击和网络威胁，那么，服务器硬防通常都会应用在哪些场景当中呢？ 硬防服务器中一般会配备入侵检测系统和预防系统&#x…...
如何在最短时间内提升打ctf（web)的水平？
刚刚刷完2遍 bugku 的 web 题，前来答题。 每个人对刷题理解是不同，有的人是看了writeup就等于刷了，有的人是收藏了writeup就等于刷了，有的人是跟着writeup做了一遍就等于刷了，还有的人是独立思考做了一遍就等于刷了。…...
dify打造数据可视化图表
一、概述 在日常工作和学习中，我们经常需要和数据打交道。无论是分析报告、项目展示，还是简单的数据洞察，一个清晰直观的图表，往往能胜过千言万语。 一款能让数据可视化变得超级简单的 MCP Server，由蚂蚁集团 AntV 团队…...
基于matlab策略迭代和值迭代法的动态规划
经典的基于策略迭代和值迭代法的动态规划matlab代码，实现机器人的最优运输 Dynamic-Programming-master/Environment.pdf , 104724 Dynamic-Programming-master/README.md , 506 Dynamic-Programming-master/generalizedPolicyIteration.m , 1970 Dynamic-Programm…...
【数据分析】R版IntelliGenes用于生物标志物发现的可解释机器学习
禁止商业或二改转载，仅供自学使用，侵权必究，如需截取部分内容请后台联系作者! 文章目录 介绍流程步骤1. 输入数据2. 特征选择3. 模型训练4. I-Genes 评分计算5. 输出结果 IntelliGenesR 安装包1. 特征选择2. 模型训练和评估3. I-Genes 评分计…...
佰力博科技与您探讨热释电测量的几种方法
热释电的测量主要涉及热释电系数的测定，这是表征热释电材料性能的重要参数。热释电系数的测量方法主要包括静态法、动态法和积分电荷法。其中，积分电荷法最为常用，其原理是通过测量在电容器上积累的热释电电荷，从而确定热释电系数…...
保姆级教程：在无网络无显卡的Windows电脑的vscode本地部署deepseek
文章目录 1 前言2 部署流程2.1 准备工作2.2 Ollama2.2.1 使用有网络的电脑下载Ollama2.2.2 安装Ollama（有网络的电脑）2.2.3 安装Ollama（无网络的电脑）2.2.4 安装验证2.2.5 修改大模型安装位置2.2.6 下载Deepseek模型 2.3 将deepse…...
MFC 抛体运动模拟：常见问题解决与界面美化
在 MFC 中开发抛体运动模拟程序时，我们常遇到 轨迹残留、无效刷新、视觉单调、物理逻辑瑕疵 等问题。本文将针对这些痛点，详细解析原因并提供解决方案，同时兼顾界面美化，让模拟效果更专业、更高效。 问题一：历史轨迹与小球残影残留 现象 小球运动后，历史位置的 “残影”…...