Using formal methods and Alive2 to find bugs in LLVM's AArch64 backend by lifting compiled code back to IR for refinement checking.
Explores a protocol-based approach to extending types in Swift, improving versatility and discoverability compared to traditional type extensions.
Strategies for development teams to identify, plan for, and break the vicious cycle of accumulating technical debt.
An experiment implementing ultrasonic payments using inaudible sound waves to transmit Stripe payment links between devices.
Explains when and why to use React's useReducer hook over useState, with practical examples and decision criteria.
Explains how to implement leader election for distributed applications using Kubernetes' API and etcd as a consistent state store.
Introducing spiffe-vault, a CLI tool for secretless and keyless software supply chain security using SPIFFE and HashiCorp Vault.
Fixing Docker Desktop credential errors in CI by modifying the config.json file to remove the 'credsStore' key.
A guide to setting up unit testing for React applications using Node.js 18's built-in test runner and esbuild, instead of Jest.
A developer's technical evaluation of Firebase and AWS Amplify for building a wedding website with custom domain, auth, and email features.
Explains the key differences and similarities between regex patterns used in programming and glob patterns used in terminal file matching.
A talk on leveraging PostgreSQL's advanced features within Django projects, presented at PyCon Italia 2022.
A guide on transferring a Google Fi eSIM to a new iPhone, including steps and security considerations for travelers.
Lists the top nine essential technical skills for a successful .NET developer, including C#, ASP.NET MVC, and database knowledge.
Explains the .NET Garbage Collector's compacting phase, its performance benefits, and the Large Object Heap (LOH).
Guide to mapping Azure Files storage as a virtual directory in Azure App Service using XDT or the portal, with notes for ASP.NET vs. Core.
A Swift tutorial on how to fetch images from the AppKit NSPasteboard, making it behave more like UIKit's UIPasteboard.
How to specify a Node.js version for an Azure Static Web App GitHub Action by using the engines field in package.json.
Argues that well-written unit tests serve as the most reliable and up-to-date form of documentation for software code.
A talk from PyCon Italia 2022 on how developers can maximize their use of the Django web framework by engaging with and contributing to its open-source community.
