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连接条件索引失效 数据发布情况索引失效 指定使用…...
OpenClaw浏览器自动化：Qwen3-32B-Chat实现智能爬虫与数据分析
OpenClaw浏览器自动化：Qwen3-32B-Chat实现智能爬虫与数据分析 1. 为什么需要智能化的浏览器自动化？ 上个月我需要收集某个垂直领域的行业报告，手动复制粘贴了十几个网页后，突然意识到：这种重复劳动不正是AI该解决的问…...
别再只当开关用了！聊聊MOS管里那个‘多余’的体二极管，到底能帮你省多少事
解锁MOS管体二极管的隐藏技能：从电路保护到能量回收的实战指南 在电子设计领域，MOS管常被视为完美的电子开关——快速、高效且易于控制。但许多工程师可能没有意识到，MOS管内部那个看似"多余"的体二极管，实际上是一个被…...
基于PHP、asp.net、java、Springboot、SSM、vue3的高校课堂考勤系统的设计与实现
目录 可选框架 可选语言 内容 可选框架 J2EE、MVC、vue3、spring、springmvc、mybatis、SSH、SpringBoot、SSM、django 可选语言 java、web、PHP、asp.net、javaweb、C#、python、 HTML5、jsp、ajax、vue3 内容 随着教育的深化变革，成百上千的同学走进大学的…...
OpenClaw轻量化方案实测：nanobot镜像性能与成本分析
OpenClaw轻量化方案实测：nanobot镜像性能与成本分析 1. 为什么需要轻量化OpenClaw方案 第一次听说OpenClaw时，我就被它的自动化能力吸引了——能让AI像人类一样操作我的电脑，完成各种重复性工作。但当我真正尝试在本地部署标准版OpenClaw时…...
KITTI 3D目标检测评估工具evaluate_object.cpp编译与使用避坑指南（附修改代码）
KITTI 3D目标检测评估工具深度解析：从编译优化到实战技巧 在自动驾驶算法研发领域，KITTI数据集及其评估工具链已成为行业事实上的黄金标准。作为计算机视觉与自动驾驶研究的重要基础设施，KITTI评估工具的正确使用直接关系到算法性能评估的准确…...
--ajax)
JS知识点汇总(十九)--ajax
1. 说说ajax的原理，以及如何实现？ AJAX 全称(Async Javascript and XML) 即异步的 JavaScript 和 XML，是一种创建交互式网页应用的网页开发技术，可以在不重新加载整个网页的情况下，与服务器交换数据，并且更…...
Ubuntu常用的命令
ls -l # 输出当前文件夹下的所有文件的权限大小信息 ls -l 文件名 # 输出当前文件的权限大小信息 du -sh # 查看文件夹下所有文件的大小总和 df -h # 查看当前文件系统各分区的大小 hdparm -Tt /dev/sda1 # 查看分区磁盘的速度 ls -l | grep "^-" | wc -l # 当前目…...
OpenClaw本地模型成本对比：nanobot镜像vs商业API实测
OpenClaw本地模型成本对比：nanobot镜像vs商业API实测 1. 为什么需要关注OpenClaw的模型成本 上周我在尝试用OpenClaw自动化处理200份PDF文档时，意外发现账单上出现了三位数的API费用。这个数字让我意识到——当OpenClaw需要频繁调用大模型进行决策时&a…...
搞懂 SAP Fiori 前端服务器授权模型：从看得见应用，到真正拿到数据
在很多 SAP 项目里，权限问题最容易制造一种很迷惑的现象：用户明明已经拿到了角色，却还是打不开应用；或者磁贴已经能看见了，点进去却报错；再或者应用能启动，却一条业务数据都读不出来。要把这类问题讲清楚，关键不在于死记事务码，而在于真正理解 SAP Fiori 的授权是如何…...
用快马ai五分钟生成java学习路线可视化原型，清晰规划你的编程进阶之路
今天想和大家分享一个特别实用的Java学习路线可视化工具的开发过程。作为一个Java初学者，我经常被各种知识点搞得晕头转向，直到发现用InsCode(快马)平台可以快速搭建一个学习路线图，整个开发过程只用了不到半小时，效果却出奇地好。…...