Bringing Types to Elixir - Set-Theoretic Types for Elixir Programs
Explore set-theoretic types and their potential for Elixir programming, including bug detection and code quality feedback. Learn about a type system tailored for Elixir's unique features.
Safer DB Migrations with Excellent_migrations
Discover how to prevent production downtime caused by unsafe database migrations using the excellent_migrations library, a static analysis tool for Elixir that detects potentially dangerous operations.
The Design Principles of the Elixir Type System
Explore set-theoretic types for Elixir, their benefits in bug detection and code quality, and the concept of gradual typing. Gain insights into potential new syntax and challenges in introducing a type system.
Standard C++ Toolset: Ecosystem and Evolution
Explore the evolving C++ ecosystem, from compilers and debuggers to build systems and code analyzers. Gain insights into standard tools for efficient C++ development and project management.
Tooling Intuition - Improving Development with Compiler and Static Analysis Tools
Explore compiler outputs, static analysis, and cross-platform best practices to enhance C++ development. Build intuition for interpreting and leveraging advanced tooling features effectively.
Why We Need to Adopt Static Analysis in Dependency Tools
Explore the importance of static analysis in dependency tools for enhanced security and efficiency in software development.
Writing Python Codemods for Fun and Profit
Explore Python codemods for automated code improvements, focusing on security enhancements, resource management, and performance optimization using open-source tools and custom plugins.
TypeScript Static Analysis Hidden Gems
Explore advanced TypeScript tooling for powerful code analysis and automation. Discover hidden gems like typescript-eslint, eslint-plugin-expect-type, ts-prune, and TypeStat to enhance your development workflow.
The Future of Understanding Ruby Code - Ruby 3.3 and Beyond
Explore the evolution of Ruby code parsing and the new unified API in Ruby 3.3, revolutionizing how developers understand and work with Ruby code.
The Efficient Path to Design System Implementation in Large React Native Applications
Explore efficient design system implementation in large React Native apps. Learn Hinge Health's approach using component libraries, custom tools, and refactoring for seamless integration.
Security Testing in the Age of Automation
Explore effective security testing automation techniques, tools, and best practices to detect and prevent vulnerabilities in your applications.
Achieving Cloud Maturity with Terraform and GitOps Workflow
Elevate cloud infrastructure deployment using Terraform and GitOps. Learn to leverage static analysis tools, overcome drift, and manage uncodified resources for efficient, secure, and cost-effective cloud operations.
Julia Compiler Secrets - Static Analysis - JuliaCon 2024
Explore advanced static analysis capabilities in Julia's compiler, including type inference, effect system, and escape analysis, to optimize code performance and enhance correctness.
Security Testing for Terraform Templates (IaC) - DevOps and Cloud Security
Learn security testing techniques for Terraform templates, challenging the notion that DevOps neglects security. Explore best practices for integrating security into Infrastructure as Code.
OpenScanHub - Static Analysis of a Linux Distribution
Explore OpenScanHub's journey from internal Red Hat tool to open-source static analysis service, its key features, and integration with Fedora-related services.
Generating Generators in Go - Static Analysis and Code Generation
Explore static analysis and code generation to create custom generators in Go, avoiding goroutine overhead while achieving yield-like functionality.
High-Assurance Go Cryptography
Explore techniques for ensuring safety and bug-free implementation of cryptography in Go, including testing, fuzzing, static analysis, formal proofs, and code generation. Learn about safe interfaces and readability in standard libraries.
Safe by Construction - Writing Secure Code Without Thinking About Security
Learn robust coding techniques to create secure software without actively focusing on security. Explore key concepts, address complexity, and discover real-world applications for writing safer code.
Eliminating C++ Undefined Behavior, Plug-in Contract Violations, and Intel Assumptions in Legacy Codebase
Eliminate C++ undefined behavior, plug-in contract violations, and Intel assumptions in legacy codebases. Learn strategies for supporting new platforms and improving code quality in audio plugins.
Decrypting the Directory - A Journey into Static Analysis of Active Directory NTDS
Explore static analysis techniques for Active Directory NTDS, uncovering security insights and potential vulnerabilities in this in-depth conference talk on IT security and network infrastructure.
Refactoring vs Refuctoring: Code Quality in the AI Age
Explore AI's impact on code quality, potential pitfalls of AI-assisted development, and strategies for leveraging AI to produce trustworthy software in the evolving landscape of software engineering.