BT

Facilitating the spread of knowledge and innovation in professional software development

Contribute

Topics

Choose your language

InfoQ Homepage Safety Content on InfoQ

  • 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.

  • Anti-Patterns of Agile Leaders

    Regina Martins talked about anti-patterns of agile leaders at the Agile Practitioners 2016 conference. InfoQ interviewed her about what makes leadership important for agile, the key attributes that can make somebody a great leader, examples of leadership behaviour that hinder agile teams and how to deal with them, and asked her to share stories of great leadership.

  • Leadership Fit for the 21st Century: Empowering People is Impossible

    This second post in the series on leadership fit for the 21st century covers the talk given by Jenni Jepsen from goAgile in which she explains that we cannot empower people, and provides ideas for creating an organization where people feel empowered.

  • C++ Core Guidelines will Help Writing Good Modern C++

    As announced at CppCon, Bjarne Stroustrup and Herb Sutter have started working on a set of guidelines for modern C++. The goal of this effort is improving how developers use the language and help ensuring they write code that is type safe, has no resource leaks, and is as much as possible free of programming logic errors.

  • Using Pairing for Experimenting in Presentations

    In the closing keynote of the Agile Eastern Europe 2015 conference Yves Hanoulle did an experiment together with his son Joppe in pair presenting. InfoQ interviewed Joppe and Yves Hanoulle about doing experiments, checking the safety of the environment and ways to make it safer, learning from failure, and presenting in pairs at conferences.

  • Step by Step Improvement Needs Relative Safety

    At the OOP 2015 conference Colin Hood talked about bridging the gap between requirements engineering process definition and successful iterative roll-out. He presented how the introduction of improvements to requirements engineering can be done better when done step by step, and how relative safety is needed to enable people to take the steps.

BT