InfoQ Homepage News
-
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.
-
How Leaders Can Foster High-Performing Teams
A leader can act as a coach, provide opportunities for ownership, and find out what motivates people to foster high performing teams. It also helps teams if leaders have powerful and meaningful conversations with team members and give vocal feedback face to face to team members.
-
Building (and Re-Building) the Airbnb Design System - React Conf 2019
Maja Wichrowska and Tae Kim, engineers at Airbnb, explained how Airbnb’s design system evolved its architecture and implementation in response to business and technical challenges encountered.
-
Storybook 5.3 Released, Targets Design Systems, Supports Web Components
Storybook 5.3 was recently released and strives to allow developers to build production design systems faster. Storybook users can now document their components with MDX, have a documentation site automatically generated, and integrate with popular design tools like Sketch, Figma or Adobe XD. Storybook 5.3 also now officially supports web components.
-
OpsRamp Introduces AI-Driven Suggestions for Incident Remediation
OpsRamp, a SaaS platform for hybrid infrastructure discovery, monitoring, management and automation has launched OpsQ Recommend Mode, a capability for incident remediation. OpsQ Recommend Mode provides predictive analytics to digital operations teams with the goal of reducing Mean Time to Resolution (MTTR).
-
TCMalloc, Google's Customized Memory Allocator for C and C++, Now Open Source
Google's TCMalloc can be used as a replacement for C and C++ default memory allocators to provide greater efficiency at scale and better support for parallelism, says Google.
-
PyTorch 1.4 Release Introduces Java Bindings, Distributed Training
PyTorch, Facebook's open-source deep-learning framework, announced the release of version 1.4. This release, which will be the last version to support Python 2, includes improvements to distributed training and mobile inference and introduces support for Java.
-
Boosting Apache Spark with GPUs and the RAPIDS Library
At the 2019 Spark AI Summit Europe conference, NVIDIA software engineers Thomas Graves and Miguel Martinez hosted a session on Accelerating Apache Spark by Several Orders of Magnitude with GPUs and RAPIDS Library. InfoQ recently talked with Jim Scott, head of developer relations at NVIDIA, to learn more about accelerating Apache Spark with GPUs and the RAPIDS library.
-
Equifax Hackers Charged with Crime
The United States has charged four members of the Chinese military with hacking Equifax. The attack on Struts2 Deserialization can be detected by a suite of tools.
-
A Guide to Writing Properties of Pure Functions - John Hughes at Lambda Days 2020
John Hughes, co-designer of Haskell and Quickcheck, recently discussed property-based testing at Lambda Days 2020. Hughes presented in his talk five different strategies for coming up with properties and compared their effectiveness. Metamorphic and model-based properties reportedly show high effectiveness.
-
Microsoft Adds Virtual Network Support for Azure Firewall Manager, Enables Centralized Management
In a recent blog post, Microsoft announced Azure Firewall Manager now supports virtual networks. This new capability allows organizations to centrally manage security policies and route management for cloud-based security perimeters based on two network architectures, including secured virtual hub and hub virtual network.
-
Android 11 Now Available in Developer Preview
Google has released Android 11 as a preview for developers. The goals of doing this are to enable developers in adapting their apps to the upcoming Android release, and also for them to provide early feedback to help Google improve the release robustness. Android 11 includes many behavioural changes that could affect existing apps, as well as new feature and API and new privacy options.
-
NGINX Unit Adds Support for Reverse Proxying and Address-Based Routing
NGINX announced the release of versions 1.13 and 1.14 of NGINX Unit, its open-source web and application server. These releases include support for reverse proxying and address-based routing based on the connected client's IP address and the target address of the request.
-
VMware Details its Tanzu/Kubernetes Strategy after Pivotal Merger
After acquiring Pivotal at the end of last year, VMware has detailed in a Webinar how it will go about fulfilling its strategy aimed to help customers build their apps, run them using Kubernetes, and manage them from a single control plane.
-
GitHub Releases ML-Based "Good First Issues" Recommendations
GitHub shipped an updated version of good first issues feature which uses a combination of both a machine learning (ML) model that identifies easy issues, and a hand curated list of issues that have been labeled "easy" by project maintainers. New and seasoned open source contributors can use this feature to find and tackle easy issues in a project.