Antx's Blog

德·摩根定律在计算机领域中的应用

德摩根定律由英国数学家奥古斯塔斯·德·摩根于19世纪提出，是命题逻辑与集合论中的核心规律。其逻辑形式为：¬(P∧Q) ⇔ ¬P∨¬Q，¬(P∨Q) ⇔ ¬P∧¬Q；集合形式为：全集补集的交集等于各集合补集的并集，补集的并集等于各集合补集的交集。该定律通过否定运算与合取、析取的转换关系，帮助简化逻辑表达式和集合运算，在编程中可提升代码可读性与效率。

技术知识

本文介绍了Java中安全输入密码的方法。通过System.console()获取Console实例，其readPassword()方法可隐藏输入内容，相比Scanner类更适用于密码输入。但需注意：IDE（如IntelliJ、Eclipse）的模拟控制台无法调用该方法，会导致空指针异常。示例代码演示了带提示的密码输入方式，并强调使用后需通过Arrays.fill()强制清空密码数组，防止内存泄露。

技术

GB和GiB的区别

GB和GiB都是计算机存储容量的计量单位，但它们源于不同的计数系统，导致表示的存储空间有差异。GB是十进制单位（1GB约等于0.931GiB），而GiB是二进制单位（1GiB约等于1.0737GB）。这种差异源于早期技术选择，导致硬盘容量宣称与实际显示不符。误解主要由Windows系统和硬盘厂商的不同规定导致。

实用知识

电脑版搜狗输入法彻底关闭右下角的广告弹窗

电脑使用时搜狗输入法频繁弹出广告弹窗，无法在应用或Windows设置中关闭。解决方法是通过编辑注册表，在路径HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Notifications\Settings下找到以Sogou开头的条目并删除。

实用

在Maven中央仓库中发布自己的项目

本文详细介绍了如何在Maven中央仓库中发布自己的Java项目，包括注册Sonatype账号、添加验证namespace、安装GPG并上传公钥、生成用户Token、配置pom.xml、上传Jar包等步骤。通过对各个环节的详细操作说明，帮助读者掌握在Maven中央仓库发布项目的全过程。

知识技术

Ubuntu中搭建PPTP服务

本文介绍如何在Ubuntu系统下安装和使用PPTP VPN。首先，安装PPTP软件包并编辑配置文件，包括设置本地和远程IP，DNSS和用户密码。接着，设置IP转发和NAT转换，启动PPTP并设置为开机自启。最后，指导如何通过系统设置连接PPTP VPN。文章还列出可能出现的问题及解决方法。

知识技术 Linux

常用正则表达式

本文介绍了正则表达式的基本表达方式，包括常用的匹配字符、数字、字符类型以及校验的具体示例，如校验整数、浮点数、邮箱地址、中国大陆手机号、URL和IP地址等，为读者提供了实用且全面的正则表达式知识参考。

知识技术

Linux 常用脚本

请提供你想让我生成摘要的文章。我准备好了！只要你提供文章，我就会为你生成简明扼要的摘要。

知识技术 Linux

Linux 链接

本文介绍了 Linux 中的两种链接类型：硬链接和软链接（符号链接）。硬链接通过相同的索引节点号 (inode) 将多个文件名指向同一文件，删除其中任何一个链接不影响其他链接，只有当所有硬链接都被删除后，文件才会被真正删除。软链接则类似于 Windows 的快捷方式，它是一个包含目标文件路径的特殊文件，与原始文件是“主从”关系，删除原始文件会导致软链接失效。`ln` 命令用于创建链接，通过 `-s` 选项创建软链接。文章通过实例展示了硬链接和软链接的不同行为以及它们在删除原始文件后的表现。总结来说，删除软链接不影响原始文件或硬链接，删除硬链接不影响原始文件或软链接，删除原始文件不影响硬链接但会导致软链接失效。只有当原始文件和所有硬链接都被删除时，文件才会被彻底删除。

知识技术

Linux 开启秘钥登录

本文介绍了如何配置Linux服务器使用SSH密钥登录，以提高安全性和便利性。服务端需要生成密钥，修改`/etc/ssh/sshd_config`文件，禁用密码登录并启用密钥登录，然后重启sshd服务。客户端也需要生成公钥，并通过复制公钥内容到服务端`~/.ssh/authorized_keys`文件或使用`ssh-copy-id`命令将其上传到服务器。配置完成后，客户端即可免密码登录服务器。

知识技术 Linux