2024年对于LLM(大型语言模型)而言是充满突破的一年。在这一年中,我们学到了关于LLMs的许多新知识,这不仅推动了人工智能的发展,也为未来的技术应用奠定了基础。首先,我们发现LLMs的参数规模和训练数据量显著增...
Read MoreCurl-Impersonate是一种新型的网络攻击技术,它允许攻击者模仿Curl命令行工具的行为,从而在不引起目标系统警觉的情况下执行恶意操作。Curl是一款广泛用于数据传输的命令行工具,支持多种协议,包括HTTP、HTTPS、FTP...
Read More近期,一位开发者在技术论坛上分享了他使用Zig编程语言开发Game Boy Advance游戏的经历。Zig是一种注重性能与安全性的系统级编程语言,其语法类似于C语言,但更加现代化,提供更丰富的类型系统和内存管理机制。该开...
Read MoreLineageOS项目组宣布了最新的22版本操作系统的发布。LineageOS 22基于最新的Android 13系统,继承了Android Open Source Project(AOSP)的特性,同时引入了一系列社区驱动的改进。此次更新主要聚焦于提升系统性能、...
Read MoreSiyuan是一款注重个人隐私的自托管知识管理软件,它允许用户在本地服务器上部署和管理自己的知识库。与传统的云存储服务不同,Siyuan强调数据的隐私性和安全性,用户完全掌握自己的数据控制权。通过Siyuan,用户可以...
Read MoreELF(可执行与可链接格式)是UNIX系统V应用二进制接口(ABI)标准的文件格式,广泛用于Linux系统。一个简单的ELF文件包含程序所需的所有信息,如代码、数据和资源,具有可执行文件、可重定位文件、共享库和核心转储...
Read MoreWebAuthn是一项新兴的网络认证技术,旨在通过更安全的认证方式来替代传统的密码系统。WebAuthn允许用户使用生物识别信息、手机、硬件令牌等作为登录凭证,从而增强网络安全性。通过WebAuthn,网站无需存储用户的敏感...
Read MoreF*是一种面向证明的通用编程语言,它将形式化验证与编程实践相结合,为软件安全性提供了一个新的解决方案。这种语言的设计初衷是帮助开发者构建能够通过数学证明来验证其正确性的软件系统。F*语言的核心特性包括了类...
Read More