InfoQ Homepage System Programming Content on InfoQ
-
Every Truth Can Be Established Where It Applies: an Impossible Thing for Developers
Developers can face impossible things in their daily work. Not all preconditions can be checked in code due to the definitional constraints of the programming language. Kevlin Henney gave a keynote about Six Impossible Things at QCon London 2022 and at QCon Plus May 10-20, 2022.
-
GitHub Extends Its Supply Chain Security to Rust
GitHub has brought Rust support to its supply chain security feature. Aimed to ensure your project and its dependencies are free of vulnerabilities, GitHub supply chain security includes a database of advisories, a dependency graph analyzer, and Dependabot alerts and security updates.
-
Microsoft + Java = ♡: a Story Told by Martijn Verburg at Devoxx UK
Three years after Microsoft acquired jClarity, Martjin Verburg presented at Devoxx UK on how reliant Microsoft is on Java. If the two didn’t seem to fit on the same page, the reality is different: Microsoft runs 2 M JVMs in production for internal purposes, 50+ Android apps, and Azure’s internal systems and Minecraft are built in Java. Moreover, Microsoft is committed to moving Java forward.
-
11 Puzzles from JDK11: Hanno Embregts on Java Certification at Devoxx UK
As part of his talk given in front of Devoxx's audience, Hanno Embregts shares 11 crazy things he learned on his path towards Oracle Java 11 certification. Even though having a career spanning of almost one decade and a half, these Java curiosities still needed to be ironed out while preparing to become common practice afterwards.
-
Static Java Current State: Compiled Native Executables for Startup Speed and Small Footprint
Java’s long lasting motto of write once, run everywhere, seems to be adapting to the cloud native era. With the need for faster boot time and lower footprint, Static Java is gaining traction. To better understand the benefits and implications of adopting Static Java, InfoQ reached out to Dan Heidinga, principal software engineer at Red Hat.
-
On Go's Generics Implementation and Performance
On the heels of Go generics becoming stable in Go 1.18, PlanetScale performance engineer Vicent Martà dissected how they work and highlighted some performance limitations of their actual implementation. He also provided a few handy suggestions about their usage.
-
Rust 1.60 Released with LLVM-Native Code Coverage Along with Rust 2024 Roadmap
Rust 1.60 stabilizes source-based code coverage using LLVM native instrumentation, re-enables incremental compilation by default, and enforces Instant monotonicity guarantees. Additionally, the Rust team has formalized its roadmap for Rust evolution until 2024.
-
Swift 5.6 Enhances Type Inference, Introduces Existential Any, and More
Swift latest release, Swift 5.6, introduces partial type annotations that work as hints to the type inference engine, disambiguate the syntax for existential types, and improve pointer interaction.
-
Go 1.18 Stabilizes Generics, Fuzzing, Multi-Module Support, and Improves Performance
The Go team has announced the release of Go 1.18, which brings support for generics, fuzzing, workspaces, and performance improvements.
-
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.
-
AWS Finally Gets Official SDKs for Rust, Kotlin, and Swift
Previewed at Re:invent, the new AWS SDKs for Rust, Kotlin, and Swift provide idiomatic wrappers around AWS APIs that will allow developers to interact with AWS services in a more familiar and consistent way.
-
Go Generics Debut in Go 1.18 Beta 1
The latest beta release of Go, Go 1.18 beta 1, finally introduces support for generics programming using parametrized types, a long-awaited and highly-requested feature. Additionally, it also adds support for test fuzzing, a technique used to find inputs then uncover incorrect behaviour in a program.
-
Rust for Linux Progresses with New Abstractions and Infrastructure
A new patch for Linux advances support for Rust as a second language for kernel development. Besides updating the infrastructure and providing new abstractions around kernel features, the new patch sets the base for more frequent submissions, writes Rust for Linux project lead Miguel Ojeda.
-
Julia 1.7 Extends its Threading Capabilities, Improves Type Inference, and More
Julia 1.7 brings a number of significant enhancements, including new threading capabilities, new Package Manager features, improved type inference, and new syntactic features. It is also the first release to run natively on Apple Silicon.
-
JetBrains Launches Lightweight IDE Fleet, Cloud Workspaces for IntelliJ
Fleet is JetBrains' attempt to provide a polyglot, lightweight IDE, including support for remote workspaces. Additionally, the latest release of IntelliJ also brings support for remote development to JetBrains IDEs.