Coccinelle for Rust
Explore Coccinelle's application in Rust programming, focusing on code analysis and transformation techniques for improved software development.
Giving Rust a Chance for In-Kernel Codecs
Explore Rust's potential for developing in-kernel codecs in Linux, examining its benefits and challenges for kernel development.
Introduction to Rust - Quality of Life Beyond Memory Safety
Explore Rust's features beyond memory safety, focusing on quality-of-life improvements and advanced programming concepts for enhanced development experiences.
Crafting a Linux Kernel Scheduler in User-Space Using Rust
Explore the creation of a Linux kernel scheduler in user-space using Rust, delving into innovative approaches for system-level programming and performance optimization.
AOSP - A Case Study in Writing a Custom Build System
Explore the custom build system of Android Open Source Project (AOSP) through an in-depth case study, gaining insights into its design and implementation.
Enhancing Spatial Safety: Fixing Thousands of -Wflex-array-member-not-at-end Warnings
Aprenda a corrigir avisos de -Wflex-array-member-not-at-end para melhorar a segurança espacial em sistemas Linux.
Regressions - Our Workflows Are the Biggest Enemy
Explore workflows in Linux development and learn strategies to prevent regressions, enhancing code quality and system stability.
Program Verification for the Linux Kernel - Potential Costs and Benefits
Explore potential costs and benefits of program verification for the Linux kernel, gaining insights into its impact on development and reliability.
Journey of a C Kernel Engineer Starting a Rust Driver Project
Explore a C kernel engineer's transition to Rust for driver development, gaining insights into challenges and advantages of this language shift.
Rust for Linux
Explore Rust's integration into the Linux kernel, understanding its benefits, challenges, and potential impact on system development and security.
Auto-detecting Sleeping Lock Calls in Non-preemptible Context via Static Analysis
Explore techniques for automatically detecting sleeping lock calls in non-preemptible contexts using static analysis methods in Linux kernel development.
A Little GitLab Won't Hurt You
Explore GitLab's potential in streamlining development workflows and enhancing collaboration within Linux projects.
Lazy Abstraction Refinement with Proof for an Enhanced Verifier
Explore advanced techniques in software verification using lazy abstraction refinement with proof, enhancing verifier capabilities for improved code analysis.
Kernel Function Tracing in the Face of Compiler Optimization
Explore advanced kernel function tracing techniques and overcome challenges posed by compiler optimizations in Linux systems.
AI Won't Take Your Job but It Will Help You Do It Better
Discover how AI tools like Github's Co-Pilot and ChatGPT can streamline code generation, automate tasks, and enhance productivity in Android development. Learn to leverage AI for efficient programming workflows.
Let's Shake the Flutter Tree: Understanding Tree-Shaking in Multi-Platform Development
Explore Flutter's Tree-shaking mechanism to optimize cross-platform code and ensure efficient platform-specific builds.
State of Bluetooth LE on Android in 2023
Explore Bluetooth LE on Android: learn APIs, avoid pitfalls, and master connectivity for seamless device integration in your apps.
Designing for Foldables in 2023 - Key Principles and Best Practices
Explore key design principles for adaptive layouts and best practices for optimizing apps on foldable and large screen devices, ensuring optimal user experience across different resolutions and states.
10 Years of Android Development: The Retrospective
Explore Android development's evolution over a decade, from Froyo to Jetpack Compose, with insights on key milestones, design changes, and coding advancements.
Git Help: Understanding and Mastering Git Commands
Explore git's inner workings, master Android Studio's git features, and learn tips to optimize git usage for improved development workflow and efficiency.
Exploring the Kotlin Multiplatform Ecosystem
Discover the depth of Kotlin Multiplatform's ecosystem for mobile development, covering networking, persistence, concurrency, and more. Gain insights to evaluate its suitability for your projects.