0x01、在粒子物理学的发展过程中，有这样一个计算软件，它一度被视为粒子物理学研究的基础工具之一。它就是：FORM。众所周知，高能物理学领域中涉及很多超长且复杂的方程和公式，这时候就需要有一个能满足特定需求的计算软件（或者程序）来完成对应的工作。而FORM则是一个可以进行大规模符号运算的计算程序，可以计算伽...

早在今年4月份的时候，JetBrains为其多款IDE发布了2024年度首个大版本更新：2024.1。说时迟，那时快，这不JetBrains年度第二个大版本更新2024.2马上又要来了。不仅如此，这次官方还正式宣布：在即将到来的2024.2版本中，将为所有JetBrains IDE启用全新默认UI。这也意味着之前搞了好几年中间也放出来预览和Beta的新UI，现...

提到 MySQL 这个数据库软件，相信大家再熟悉不过了，不论是市场流行度还是占有率一直一来都非常靠前。那再提到 MySQL 5.7 这个具体的版本，大家是不是也同样感到非常熟悉？相信不少个人或者团队的生产环境所用的 MySQL 数据库也曾经是 5.7 这一版，而这版MySQL同样也陪伴了我很多年。然而大家也知道，MySQL 5.7这个版本...

最近GitHub上又一款热度很高的开源项目冲进了开发者们的视野。项目开源不久，现如今就已经收获了15000+的Star标星。这就是最近非常火热的“顶流” Web OS，名为Puter！github.com/HeyPuter/puter作者直言，这个项目开发了3年，用户数量也突破了100万，现如今正式开源了！Puter，作为一个基于Web的桌面操作系统，运行于浏览...

作为旗下重要的产品之一，IntelliJ IDEA当然也不例外。这不，现如今 IntelliJ IDEA 也来到了 2024.1 大版本了！

一个由国人开发者所打造的开源项目被 Redis 公司官方给收购了，作者自己也发了动态，表示感谢项目9年以来的陪伴，同时也希望她未来一切都好。

该项目采用Node.js编写，可以实现非官方的网易云音乐API调用，从而可以让其他开发者可以基于该项目来获取网易云音乐平台上的一些歌曲、歌单、歌词、专辑、电台等信息，方便开发者构建基于网易云音乐服务的应用程序。

所以今天我们就结合Devjobsscanner之前发布的「Top 8 Most Demanded Programming Languages in 2023」编程语言清单来聊一聊这个问题。

提起雷军，相信大家都非常熟悉了，90年代初毕业于武大计算机系，后来一路创业，现如今在相应领域的成就也有目共睹。之前咱们这里也分享过雷军早年间写的文字博客，他曾在早期博客中讲述了自己的编程之路，以及当年作为一名程序员的经历和想法。不得不说，他写的一些文字读起来还是非常务实的，同时也让人内心感觉颇为平...

众所周知，就在刚过去不久的11月12号，阿里云突发了一次大规模故障，影响甚广。以至于连咱们这里评论区小伙伴学校的洗衣机都崩了（手动doge）。这么关键的双11节点，这么多热门业务和产品，这么大规模的崩盘故障，不一会儿这个事情便被推上了热搜。而就在近日，阿里云官网上就该故障也给出了一份故障复盘报告，而报告中...

前段时间，“科大讯飞版”的 ChatGPT 正式上线了，全名叫做讯飞星火认知大模型，而如今它又迎来了一波升级，星火助手数量突破了4000+，今天再来分享一下使用感受。

最近，编程领域又一个黑马忽然冲进了开发者们的视野并正式开放下载。它的名字叫Mojo，相信有不少小伙伴最近也看到了。Mojo是为AI开发者所准备的编程语言，语法有点像Python。根据Mojo官网的描述，它结合了Python的易用性和C语言的高性能，解锁了AI硬件的可编程性和AI模型的可扩展性。Mojo看起来好像挺能打，它到底是哪个...

就在昨天，一个名为win12的开源项目一度冲上了GitHub的Trending热榜。而且最近项目的Star量也在飙升，目前已经获得了2.2k+的Star标星。出于好奇，点进去看了看。好家伙，项目README里写道这是一个14岁的初中生所打造的开源项目。即：在网页端实现了Windows 12的UI界面和交互效果。这里也放几张图片感受一下。登录页面开...

就在昨天，「雷军写的代码」相关话题先后上了一波热搜和热榜。出于好奇，第一时间点进去围观了一波。原来雷总马上要在8月14日举办他的2023年度演讲了，并且也放出了对应的演讲海报。这个海报可以说暗藏玄机，放大后仔细一看，好家伙，密密麻麻全都是代码这是！看一下代码细节，都是类似MOV、JMP、PUSH、LOOP等这些指令。...

作为一个经常使用IntelliJ IDEA来写代码的老用户，每次对于JetBrains软件的更新都是非常关注的。这不最近这段时间，JetBrains连发了多个软件的EAP版本：同时JetBrains的官博中也宣布了一个重要的新特性，那就是：在所有JetBrains IDEs和.NET Tools中都将集成一个名为【AI Assistant】的AI助手。也就是说，不管是像IDEA、...

上个月GPT-4发布时，我曾写过一篇文章分享过有关GPT-4的几个关键信息。当时的分享就提到了GPT-4的一个重要特性，那就是多模态能力。比如发布会上演示的，输入一幅图（手套掉下去会怎么样？）。GPT-4可以理解并输出给到：它会掉到木板上，并且球会被弹飞。再比如给GPT-4一张长相奇怪的充电器图片，问为什么这很可笑？GPT-...

最近这段时间，一个号称全球最大ChatGPT开源平替项目Open Assistant引起了大家的注意。这不最近还登上了GitHub的Trending热榜。[链接]根据官方的介绍，Open Assistant也是一个对话式的大型语言模型项目，可以理解任务，并且可以与第三方系统交互，并动态检索信息。截止到目前，该项目已经在GitHub上收获了29000+的star标...

最近在GitHub上发现了一个爆火的开源项目。好家伙，凑近一看，居然还是由微软开源，并且和最近炙手可热的ChatGPT息息相关。项目的名字叫做：Visual ChatGPT。[链接]这个项目最早是3月上旬微软开源的，项目宣布开源后仅用了短短一周，就斩获了2w+ star。到现在为止，距离当初项目开源大约过去了3周多，仓库star数则来到了...

就在昨天凌晨，OpenAI发布了多模态预训练大模型GPT-4。这不昨天一觉醒来，GPT-4都快刷屏了，不管是在朋友圈还是网络上都看到了很多信息和文章。GPT是Generative Pre-trained Transformer的缩写，也即生成型预训练变换模型的意思。OpenAI在公告中写道，GPT-4是一个多模态大模型，也是OpenAI努力扩展深度学习最新的里程碑...

果然，在JetBrains的官博里看到了这篇调价的公告新闻，标题是：IDE、.NET 工具和 All Products Pack 将上调订阅价格。

写在前面关于时间管理、如何做计划、如何提高执行力等等相关话题其实很早之前我就想写了，但一直拖着迟迟没有动笔。在之前的一篇文章曾详细聊过自己对于时间管理，如何提高执行力，以及如何摆脱那种没有灵魂的任务计划的一些思考和做法。还记得那张图嘛？一个看板+7个池子是灵魂。而今天这篇文章，则从具体工具的角度出...

其实今年一年一家人基本都没有怎么出去玩过，除了中间回了趟老家，其他像什么旅游啥的基本都雨我无瓜了，连家门口的夫子庙和老门东，大半年来也都没去过一次。

关于时间管理、如何做计划、如何提高执行力...等等相关的话题其实很早之前我就想写了，但一直拖着迟迟没有动笔。但是这次我想了又想，不能再拖了。

求职前，我们都会花很多的时间在自己的技术水平提升+笔/面试的准备之上，但往往却忽略了找工作第一步所需要的一个严谨且靠谱的简历。而程序员写简历，第一步就是需要注意严谨而规范地使用各种技术词汇。

当今市面上Linux操作系统的种类实在是太多了，各种各样的Linux发行版及其衍生系统数不胜数，常常让人看得眼花缭乱。在我们之前《常用Linux发行版操作系统大盘点》那篇文章里，我们曾经就以包管理器的角度，把当下使用比较主流的一些Linux发行版系统做过一个简单分类：包管理器名称常用代表性指令代表系统举例DPKGdpkg、a...

写在前面其实这篇我很早就想写了，但一直拖着，周末码几个字，一直拖到了现在。今年年初的时候，我就给自己定了两个今年必须长期坚持的大目标，一个是坚持锻炼，另外一个则是坚持读书，当然这里指的是非技术类的书。关于锻炼的事情一言难尽，先不聊了。今天不妨先来聊一聊关于读书计划（非技术篇）的事情。俗话说得好，...

Nginx是高性能轻量级WEB服务器的优秀代表，由于其提供HTTP代理和反向代理、负载均衡、缓存等一系列重要特性，从而广泛应用于当今的Web后端服务之中，而且各大互联网公司也都在重度使用，所以作为一个开发者，学会Nginx的使用和配置很有必要。

而另外一个小伙伴则填了省内一所一本，虽然一、二志愿都填的计算机相关专业，但是很遗憾滑档了，选了服从调剂，果然被投到了通信专业，可以说和我当年的情况有几分神似。

TIOBE编程社区大家应该都听过，它是一个查看各种编程语言流行程度和趋势的一个社区网站，每个月都有榜单更新，每年也会有年度的榜单和总结出炉。

我们都知道数据结构和算法一个比较难以掌握的原因就是很难形象地在脑海中形成一个结构化的画面，尤其是当一些结构和算法比较复杂时，对人的想象能力有一定要求。