Explains how to verify if a large number is a Fibonacci number using a mathematical certificate, relating it to computational proofs.
Explores context engineering for AI coding agents, covering configuration features, reusable prompts, and tools like Claude Code to improve developer experience.
A technical guide on implementing AES-GCM encryption for property serialization using System.Text.Json in .NET.
A guide to automating AUR package updates using GitHub Actions, including SSH key setup and workflow configuration.
![[Video] Office Hours Aboard the Groove Cruise](https://crawljobs-blogs-media.s3.us-east-1.amazonaws.com/alldevblogs/thumbs/article-f9fade5cfd19-full-e09cf7ed.webp)
A video Q&A session on database administration topics, recorded during a music festival cruise, answering SQL Server and DBA questions.
Discusses the challenges of managing multiple AI development agents and context-switching in the current 'wild west' of AI tooling.
A daily digest of links covering AI tools, .NET, web dev, Windows, and cloud technologies, with updates on Visual Studio, Azure, and frameworks.
A tutorial on extracting clean shape perimeters from binary grids using greedy geometry algorithms, with a JavaScript implementation example.
Explores the differences between manual testing and automation, focusing on testability, tooling, and real-world challenges like infinite scroll.
A summary of a podcast interview discussing Selenium WebDriver, its comparison with Playwright, and best practices for test automation.
Explores the mathematical property that rounding up the gamma function of 1/n equals n, with a proof sketch and Python verification.
The author describes using an LLM (Codex) to rewrite the pycparser project, replacing its PLY-based parser with a hand-written recursive-descent parser.
A daily tech reading list covering AI trends, software engineering changes, cloud development, and the impact of AI on coding and open source.
Introducing Mermaid View, an Obsidian plugin that adds first-class file support for Mermaid diagrams, allowing dedicated .mermaid files.
A deep dive into the LazyConstants preview feature in JDK 26, exploring its API, the concept of laziness in Java, and its evolution from stable values.
A jsdom maintainer reflects on the project's purpose, its challenges, and questions its relevance in a world of headless browsers.
A software engineer's measured journey from AI skepticism to practical adoption, outlining six key steps for integrating AI agents into development workflows.
Claude Code introduces agent teams (swarms), enabling parallel AI agents with specialized roles to coordinate on complex coding tasks.
Kiro CLI now supports the Agent Client Protocol (ACP), enabling its AI agent to work within specialized IDEs like DataGrip for database tasks.
Mistral releases Voxtral Transcribe 2, a new family of audio-to-text models, including an open-weights real-time transcription model.
