Analyzing the effectiveness of tools like YARPGen in exploring state space for finding missed alarm bugs in formal verification.
Explains how to compute specific entries of the inverse of a sparse symmetric positive definite matrix in C++ using Eigen and the Takahashi recursions.
A guide for software engineers on structuring technical presentations using a storytelling framework to engage audiences effectively.
A technical guide on building a block sparse matrix in C++ using the Eigen library, focusing on memory layout and performance.
A technical analysis using R and the DHBins package to visualize New Zealand's National Land Transport Plan expenditure data via hexmaps.
A technical analysis testing the performance impact of enabling caching in Amazon API Gateway, comparing response times with and without cache.
A developer shares insights and practical advice on using Java with the AWS Cloud Development Kit (CDK) for Infrastructure as Code.
Introducing GestureButton, a new open-source SwiftUI component for handling custom gestures in iOS development.
A guide on mocking HttpClient calls in .NET API tests using DelegatingHandler and WebApplicationFactory for stable, controlled testing.
Analyzes Paul Graham's 'Founder Mode' concept, exploring how founders maintain vision and avoid management pitfalls through writing-intensive culture.
A 3-hour coding workshop teaching how to implement, train, and use Large Language Models (LLMs) from scratch with practical examples.
A 3-hour coding workshop video covering the implementation, training, and use of Large Language Models (LLMs) from scratch.
Explores five key trends shaping the data lakehouse architecture, including storage evolution, table formats, and catalog competition.
The CompileSwift Podcast welcomes a new co-host, Geoff Pado, and discusses Apple's upcoming September event and iOS 18.1.
Explains how motor inertia and gearing affect robot safety and agility, using physics to show why lightweight, high-torque motors are key for advanced robots.
A guide on using the alexmerced/datanotebook Docker image for a quick data notebook environment with pre-installed libraries like pandas, Polars, and PySpark.
A retrospective analysis of the Rust-for-Linux project's progress, challenges, and developer burnout, two years after its initial proposal.
Explores how memory safety affects sandboxing in complex systems like browsers, challenging the view that they are purely complementary security approaches.
Explains how Apache Iceberg uses delete files for efficient row-level data deletions without rewriting entire datasets.
Announcing the 2024 Ihaka Lectures series, featuring talks on literate programming, data journalism, and using R in government.
