High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM
Explores a hybrid fuzzing approach combining mutation-based fuzzing with formal methods (Alive2) to find bugs in LLVM optimization passes.
Explores a hybrid fuzzing approach combining mutation-based fuzzing with formal methods (Alive2) to find bugs in LLVM optimization passes.
A tutorial on creating an RSS feed for a blog or website using Blazor and the System.ServiceModel.Syndication package in ASP.NET Core.
A guide to unit testing applications that use the RavenDB document database in .NET, covering setup and repository patterns.
A deep dive into how the .NET Garbage Collector works, explaining its phases, generations, and impact on application performance.
Part five of a series on implementing differentiable sparse linear algebra in JAX, focusing on registering new JAX-traceable primitives.
A tutorial on implementing pagination using Strapi v4 for the backend and building the pagination UI with SvelteKit for the frontend.
Explains how to implement CancellationToken support in Blazor applications to cancel long-running tasks and manage resources when users navigate away.
Explains why using finalizers in C# is problematic and advocates for IDisposable for deterministic resource cleanup.
Using conditional compilation and deployment targets to manage SwiftUI version compatibility and remove outdated code shims.
Explains how to generate ioctl numbers for the Hare programming language using code generation, as Hare lacks C-style macros.
Explores challenges integrating sparse Cholesky factorizations with JAX for faster statistical inference in PyMC.
Explains tail-recursion using the Fibonacci series in C#, comparing performance and stack usage with regular recursion.
Explores the performance benefits of sealed classes in C#, focusing on virtual dispatch and type checking, with benchmark results.
A monthly update on TinyPilot, a tech hardware business, covering revenue, profit challenges, and development goals.
Explores the performance differences between passing by value and by reference in C#, focusing on structs, copying costs, and dereferencing overhead.
Explores proposed changes to pattern matching in Java, focusing on case refinement and null-handling in its third preview.
A presentation summary on deploying .NET applications on Kubernetes, covering platform independence and deployment considerations.
Explores the concept of 'CSS forces' as a design principle for creating balanced, fluid layouts by distributing pressure and relief across a composition.
A guide showcasing well-designed press kit examples for mobile apps, with analysis of their structure and content.
Final part of a series on migrating C# codebases to nullable reference types, covering practical techniques and tools for incremental adoption.