dyoh5gizhz90的个人主页_电子工程师 - 电子技术论坛

dyoh5gizhz90

经验：积分：4

查看完整档案 >>

+关注发私信

他的动态

发布了文章 2022-11-9 11:16

SPARK 语言取代C语言是否可行？

SPARK 是一种编程语言和一组验证工具，旨在满足高保证软件开发的需求。SPARK 基于 Ada 语言，它既对 ada 语言进行子集化以删除无法验证的功能，又扩展了合约和方面的系统，进一步支持模块化、形式化验证。...

0

544次阅读

0条评论
发布了文章 2022-11-8 14:20

Linux Mint引入Windows风格的 “显示桌面” 按钮

Linux Mint 团队表示，他们将采用新的 “Corner Bar” 来取代 Cinnamon 桌面面板中的 “show desktop” launcher。根据官方的介绍，“Corner Bar” 类似于在 Windows 7 ...

0

729次阅读

0条评论
发布了文章 2022-11-8 11:27

基于Linux的嵌套监控程序（Hyper-V）或嵌套虚拟化

Hyper-V 是 Microsoft 的硬件虚拟化产品。它允许你创建和运行一个称为虚拟机的计算机的软件版本。每个虚拟机都充当运行操作系统和程序的完整计算机。...

0

568次阅读

0条评论
发布了文章 2022-11-7 11:39

比MP3小10倍，Meta公开全新音频压缩技术

至于应用，Meta 表示这种由人工智能驱动的 "超压缩音频" 可以在恶劣的网络条件下获得更快、更优质的通话效果。作为一家 “梭哈” 元宇宙的公司，这项技术还可以提供更加丰富的元宇宙体验（视频会议、影音流媒体、VR 游戏等...

0

536次阅读

0条评论
发布了文章 2022-11-7 11:32

重点介绍几种工作中常见且重要的数据结构和算法

稍微好一点的算法可以先把前k个元素读入数组并对其排序。接着，将剩下的元素再逐个读入。当新元素被读到时，如果它小于数组中的第k个元素则忽略之，否则就将其放到数组中正确的位置上，同时将数组中的一个元素挤出数组...

0

648次阅读

0条评论
发布了文章 2022-11-7 11:29

探究字符串模式匹配的高级数据结构和算法

在讲解算法之前，先定义两个概念，方便后面讲解。他们分别是主串（S）和模式串（P）。比如说要在字符串A中查找字符串B，那么A就是主串，B就是模式串。把主串的长度记作n，模式串的长度记作m，并且n>m。...

0

977次阅读

0条评论
发布了文章 2022-11-4 09:57

深入分析eBPF加速容器网络转发的原理

在 Node、Pod 网络 namespace 中，分别设置静态路由；其中，Pod 中静态路由网关为 br0，Node 中静态路由网关为对端 Node 接口地址。...

1

1101次阅读

0条评论
发布了文章 2022-11-4 09:36

说说Spring定时任务如何大规模企业级运用

定时任务是业务应用开发中非常普遍存在的场景（如：每分钟扫描超时支付的订单，每小时清理一次数据库历史数据，每天统计前一天的数据并生成报表等等），解决方案很多，Spring 框架提供了一种通过注解来配置定时任务的解决方案，接入非常的简单，仅需如...

0

696次阅读

0条评论
发布了文章 2022-11-4 09:33

Go语言躲坑经验总结

本文收集一些使用Go开发过程中非常容易踩坑的case，所有的case都有具体的代码示例，以及针对的代码修复方法，以避免大家再次踩坑。通常这些坑的特点就是代码正常能编译，但运行结果不及预期或是引入内存漏洞的风险。全文7866字，预计阅读...

0

459次阅读

0条评论
发布了文章 2022-11-2 13:18

关于React和Vue产生一定的认知

Vue2 相较 Vue3 版本而言牢牢占据着大部分 Vue 开发者的视野，但是因为 Vue 官方已经把 Vue3 作为默认的版本，所以在此同时把 Vue2 和 Vue3 作为对比对象。...

0

829次阅读

0条评论
发布了文章 2022-11-2 13:01

Webpack继任者Turbopack公布性能基准测试

此外，根据 Turbopack 的官方解释，它基于一个用 Rust 编写的增量计算引擎 Turbo，Turbo 可实现细分到函数粒度的结果缓存、支持内存缓存，未来还将有持久化缓存和远程缓存，以及支持按需编译，尽量减少计算量。...

0

902次阅读

0条评论
发布了文章 2022-11-2 11:49

深入理解函数式编程（下）

函数式编程是一种历史悠久的编程范式。作为演算法，它的历史可以追溯到现代计算机诞生之前的λ演算，本文希望带大家快速了解函数式编程的历史、基础技术、重要特性和实践法则。...

0

800次阅读

0条评论
发布了文章 2022-11-2 11:48

深入理解函数式编程的基础概念和特性

在λ演算中我们的表达式只有一个参数，那它怎么实现两个数字的二元操作呢？比如加法a + b，需要两个参数。...

0

766次阅读

0条评论
发布了文章 2022-11-2 11:48

深入理解函数式编程（上）

函数式编程是一种历史悠久的编程范式。作为演算法，它的历史可以追溯到现代计算机诞生之前的λ演算，本文希望带大家快速了解函数式编程的历史、基础技术、重要特性和实践法则。...

0

728次阅读

0条评论
发布了文章 2022-11-2 09:42

从wepy到uniapp变形记

进入互联网“下半场”，靠“人海战术”的研发模式已经不再具备竞争力，如何通过技术升级提升研发效能？前端通过Babel等编译技术发展实现了工程化体系升级，如何进一步通过编译技术赋能前端开发？或许我们 wepy 到uniapp 编译的转换实践，能...

0

831次阅读

0条评论