InfoQ Homepage System Programming Content on InfoQ
-
Safe C++ is a new Proposal to Make C++ Memory-Safe
The goal of the Safe C++ proposal is extending C++ by defining a superset of the language that can be used to write code with the strong safety guarantees similarly to code written in Rust. The key to its approach is introducing a new safe context where only a rigorously safe subset of C++ is allowed.
-
Rust 1.80 Adds Support for Lazy Statics, Extends Ranges in Patterns, and More
Rust 1.80 stabilizes LazyCell and LazyLock, two new types that can be used to delay initialization of data until the first time they are accessed. It also brings support for exclusive ranges as well as a couple of related lint warnings. Additionally, it allows variadic functions without a named parameter for compatibility with C23, stabilizes many APIs, and more.
-
Swift 6 Introduces Embedded Swift for Low-level Programming
Swift 6 brings a new compilation mode aiming to address the specific constraints of embedded devices as well as kernel- and other low-level code. Embedded Swift is a full-featured subset of Swift covering most of the language, including value and reference types, closures, optionals, error handling, generics and more.
-
Will C++ Become a Safe Language Like Rust and Others?
In a recent article, C++ expert and ISO C++ Committee Chair Herb Sutter expressed his views about what it takes to make C++ a safe language in the guise of Rust and other memory-safe languages (MSLs). His recipes include relying on tooling, as is the case with other MSLs, promoting safe language features, pushing unsafe features behind compiler flags, and more.
-
Cloudflare Open Sources Pingora, a Rust framework for Developing HTTP Proxies
Recently, Cloudflare open-sourced Pingora, their Rust-based framework to create HTTP proxy services. This framework has been open-sourced under the Apache License version 2.0. As a proxy solution, it seamlessly handles HTTP/1, HTTP/2, gRPC, and websocket traffic, featuring adaptable load balancing and failover mechanisms.
-
Swift 5.10 Brings Full Data Isolation Compile-Time Safety to Concurrent Code
The latest Swift release, Swift 5.10, includes just a few new proposals that nevertheless represent an important achievement for the language concurrency model, which is now able to ensure full data isolation at the compiler level, explains Swift team engineer Holly Borla.
-
Lapce is a Native Open-Source Code Editor Written in Rust and Supporting Remote Development
Written in Rust, Lapce sports a native GUI leveraging GPU acceleration and an extensible plugin system based on WASI. It comes with support for syntax highlighting, code completion, and code diagnostics using any LSP-compliant server.
-
Apple Open Sources Pkl, a Configuration as Code Programming Language
Recently, Apple open-sourced Pkl, pronounced "Pickle," a configuration-as-code language. Pkl has the the goal of streamlining configuration management, by serving as a command-line utility, software library, or build plugin.
-
The Creators of the Atom Code Editor Open-Source Zed, Their New Rust-Based High-Performance Editor
Nathan Sobo recently open-sourced Zed, a code editor that focuses on performance, integrates AI capabilities, and supports software teams’ collaboration out of the box. For performance, Zed leverages a Rust code base, multicore- and GPU-optimized code, with a custom Rust GUI framework. For collaboration, Zed relies on CRDTs and team channels. Zed is currently Mac only.
-
Loco is a New Framework for Rust Inspired by Rails
Loco is a new framework inspired by Rails, that allows developers to write MVC-style applications in Rust. Loco builds on the comprehensive Rust ecosystem to enhance the application development experience. Rust's language features, such as concurrency, safety, strong typing, and performance, are some of the advantages over Rails or its derivatives.
-
Cloudflare Foundations: a Comprehensive Rust Library for Building Robust, Scalable Services
Cloudflare announced the release of Foundations: a powerful Rust library for building distributed, production-grade systems. Initially developed as part of the Oxy proxy framework, Foundations has evolved into a versatile library designed to simplify the complexities of deploying and managing services at scale.
-
Mojo Language SDK Available: Mojo Driver, VS Code extension, and Jupyter Kernel
Mojo SDK is available for developers. It contains the mojo driver, the Visual Studio Code extension and the Jupyter kernel. For now, SDK is available for MacOS and Linux.
-
NGINX Modules Can Now Be Written in Rust
NGINX announced the availability of ngx-rust project which allows developers to write NGINX modules in Rust. The Rust programming language has emerged as a powerful and popular choice due to its stability, security features a rich ecosystem, and strong community support.
-
RustRover is a New Standalone IDE for Rust from JetBrains
JetBrains has announced its new standalone Rust IDE, RustRover, which is now accessible under an early access program and will bring Rust support on a par with other languages supported by JetBrains IDE, says the company.
-
Keeping Go "Boring" in Go 1.21: How Google Grants Backward Compatibility
In a recent article, Google engineer Russ Cox detailed what Google does to make sure each new Go release honors Go's backward-compatibility guarantee. This includes generalizing GODEBUG in Go 1.21 to cover even subtle incompatibility cases.