InfoQ Homepage Development Content on InfoQ
-
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.
-
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.
-
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.
-
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.
-
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.
-
Porting a Go-Based Face Detection Library to Wasm: Q&A with Endre Simo
Endre Simo, senior software developer and open-source contributor to a few popular image-processing projects, ported the Pigo face-detection library from Go to browsers with WebAssembly. The port illustrates the performance potential of WebAssembly today to run heavy-weight desktop applications in a browser context.
-
Algorithmia Adds GitHub Integration to Machine Learning Platform
Algorithmia, an AI model management automation platform for data scientists and machine learning (ML) engineers, now integrates with GitHub.
-
TypeScript 3.8 Adds Private Fields and Top-Level Await
The TypeScript team announced the release of TypeScript 3.8, which includes type-only imports and exports, private fields, and top-level await.
-
Elastic Stack 7.6 Released with Security, Performance, and Observability Improvements
Elastic announced the release of Elastic Stack 7.6. This release contains a number of security improvements including a new SIEM detection engine and a redesigned SIEM overview dashboard page. This release also includes performance improvements to queries that are sorted by date, enhanced supervised machine learning capabilities, and support for ingesting Jaeger trace data.
-
Visual Studio 2019 for Mac Adds ASP.NET Core Blazor Server Applications
In January, Microsoft released Visual Studio 2019 for Mac 8.4.3 with a handful of features and improvements that were a direct request from developers on their developer community forum. Visual Studio for Mac can target the latest platform capabilities, for Android, iOS, as well .NET Core application that can be hosted on Windows, macOS or Linux.