热门标签【tla】- 幻海软件

2013年图灵奖得主 Leslie Lamport 专访：程序员需要更多的数学知识
LeslieLamport可能并不是一个家喻户晓的名字，但对于计算机科学家们来说，他是一些耳熟能详的「名字」幕后的贡献者。比如Paxos算法、排版程序LaTeX、规格语言TLA+、「面包店算法」和「拜占庭将军问题」等等。LeslieLamport彻底改变了现代计算机之间的对话方式。2013年，他被授

推荐阅读

setTimeout的实现原理和使用注意

setTimeout，它就是一个定时器，用来指定某个函数在多少毫秒之后执行。setTimeout用法 复制var timeoutID = setTimeout(function[, delay, arg1, arg2, 

DevOps 和敏捷：究竟有什么区别？

两者之间的区别在于开发完毕之后发生的事情。早期，软件开发并没有特定的管理流程。随后出现了瀑布开发流程Waterfall，它提出软件开发活动可以用开发和构建应用所耗费的时间来定义。那时候，由于在开发流程中没有审查环节和权衡考虑，常常需要花费很长的时间来开发、测试和部署软件。交付的软件也是带有缺陷和Bu

折叠屏手机叫好不叫座，到底是为啥？

 前两年的时候折叠屏手机曾经火过一段时间，三星、华为、小米等等都推出过折叠屏手机。不过雷声大雨点小，发布的时候轰轰烈烈的，最后实际买的人却没几个。  最近，OPPO也发布了一款FindN折叠屏手机，再度引燃了折叠屏这个热点。不过估计销量还是不会太大，主要是为了引流和品牌

详解 APISIX Lua 动态调试插件 inspect

作者罗锦华，API7.ai技术专家/技术工程师，开源项目pgcat，lua-resty-ffi，lua-resty-inspect的作者。原文链接为什么需要Lua动态调试插件？ApacheAPISIX有很多Lua代码，如何在运行时不触碰源代码的情况下，检查代码里面的变量值？修改Lua源码来调试有如下

数据结构：堆的应用(堆排序和topk问题)

个人主页：个人主页个人专栏：《数据结构》《C语言》文章目录堆排序建堆堆的删除思想排序代码实现topk问题思路代码实现总结堆排序堆排序即是先将数据建堆，再利用堆删除的思想来排序。将待排序数组建堆将堆顶数据与数组尾部数据交换调整新的堆顶数据，使其保证堆的结构不变重复2,3步直到堆中没有数据结束。建堆降序

K8s 常见面试题，让你求职不迷路

前段时间在这个视频中分享了https://github.com/bregman-arie/devops-exercises这个知识仓库。这次继续分享里面的内容，本次主要以k8s相关的问题为主。k8s是什么，为什么企业选择使用它k8s是一个开源应用，给用户提供了管理、部署、扩展容器的能力，以下几个例子

深圳幻海软件技术有限公司