InfoQ Homepage Safety Content on InfoQ
-
Building Cyber-Physical Systems with Agile: Learnings from QCon New York
In her QCon New York 2023 talk Success Patterns for building Cyber-Physical Systems with Agile, Robin Yeman explored how we can use agile practices at scale for large initiatives with multiple teams, building cyber-physical safety-critical systems with a scope that includes software, firmware, and hardware development.
-
Nvidia's NeMo Guardrails Enhances Safety in Generative AI Applications
Nvidia's new NeMo Guardrails package for large language models (LLMs) helps developers prevent LLM risks like harmful or offensive content and access to sensitive data, by providing an essential layer of protection in an increasingly AI-driven landscape.
-
Chromium to Allow the Use of Third-Party Rust Libraries to Improve Safety and Security
The Chromium Project is going to add a Rust toolchain to its build system to enable the integration of third-party libraries written in Rust, with the aim of improving security, safety, and speed up development.
-
Google Introduces Cloud Backup and Disaster Recovery
Google recently introduced Cloud Backup and Disaster Recovery (DR), allowing customers to enable centralized backup management directly from the Google Cloud console. The new backup and recovery service is designed to work with cloud storage repositories, databases, and applications.
-
Rust 1.59 Supports Inline Assembly, Extends Destructuring, and More
Rust 1.59 now allows developers to include machine-level instructions in Rust programs using asm!. Additionally, destructuring has been extended beyond bindings to include assignments, and generics now support the specification of default values for const parameters.
-
Rust at Six: New Language Edition and Growing Adoption
Rust has been growing at a steady pace in regard to both its capabilities and industry adoption across the last years. Now at six, Rust is close to a new edition that will introduce new syntax without hampering the Rust ecosystem stability.
-
Using Rust to Write Safe and Correct Linux Kernel Drivers
As part of the Rust for Linux project, aimed to make it possible to use Rust for Linux driver development, the Android team at Google is working on evaluating the benefits that using Rust would bring.
-
Rust Hyper HTTP Library Will Contribute to Make Curl Safer
Written in C, the popular curl and libcurl tools, which are installed in some six billion devices worldwide, are exposed to well-known security problems arising from the use of a non-memory safe language. A new initiative now aims to provide a memory-safe HTTP/HTTPS backend for curl based on Rust Hyper library.
-
C2Rust Aims to Enable C Transpilation to Rust
C2Rust is an open-source project that aims to make it possible to migrate C99-compliant code to Rust. Working on this relatively new tool has also allowed its creators to learn a few lessons about the way C code is written and to explore the current limits to Rust possibilities of replacing it at the ABI level.
-
ZetZ is a Formally Verified Dialect of C
ZetZ, or ZZ for short, is a Rust-inspired C dialect that is able to formally verify your code by executing it symbolically at compile time in a virtual machine. InfoQ has spoken with ZZ creator and maintainer Avid Picciani.
-
Swift 5 Will Enforce Exclusive Access to Memory
Swift 5 will improve memory safety of Swift programs by ensuring variables cannot be accessed using a different name while they are being modified by another portion of the program. This change has important implications both on existing apps behaviour and on the Swift compiler itself.
-
Checked C Extends LLVM to Bring Spatial Memory Safety to C
Checked C is an open, collaborative project led by Microsoft Research aimed to extend the C language so programmers can write more reliable programs free of errors such as buffer overruns, out-of-bounds memory accesses, and incorrect type casts. Checked C code can coexist with code written in standard C to ease porting.
-
Electric Cloud Launches Predictive Analytics for DevOps
ElectricFlow DevOps Foresight uses deep learning to identify patterns in release pipelines, gauge the likelihood of software release success and make recommendations in order to incrementally improve pipeline performance and application quality.
-
How Testers Can Become More Technical
Testers who are able to successfully apply technical techniques of the testing craft during testing are more valuable; they increase both the quality and productivity of their teams. To become more technical, testers can learn something about code, and they should know how to manipulate and parse text files and how to use the most important analysis tools for their application platform.
-
QConSF - Creating Awesome Teams
Alexandre Freire’s QConSF session focused on Modern Agile’s framework and suggested ways to implement them within an organization. He emphasized that the underlying culture must support these practices, or the practices will be forced and not lead to creating awesome teams.