» Tag
programming
160 postsCreusot: A Deductive Verifier for the Rust Programming Language
Creusot is a deductive verifier for Rust, proving code compliance with formal specifications to eliminate errors.
Tracking Down a Zsh History Data Loss Bug
Learn how I tracked down a Zsh history data loss bug and its resolution.
bstr: A String Type for Rust That Is Not Required to Be Valid UTF-8
bstr allows the use of byte strings in Rust that are not required to be valid UTF-8, providing practical examples for I/O operations.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.comWorkIt Receipts: Transforming Async Lifecycles into Evidence
WorkIt receipts preserve async operation lifecycle data, aiding engineers in understanding process outcomes.
Ent: Exploring Linear Ownership in a Staged Quantum Language
Ent is an experimental quantum programming language that combines linear types and staged computation for enhanced usability.
What a 2019 API Client Teaches About Modern .NET
The 2019 .NET client from SerpApi reveals key lessons for modern application development.
Thinking Horizontally in CSS Layers
The horizontal thinking approach with CSS @layer simplifies style management for engineers.
Building a Video Thumbnail Generator Service in Go With FFmpeg
Explore the process of creating a video thumbnail service using Go and FFmpeg.
The Cost of AI-Assisted Development: Cognitive Fatigue
AI-assisted development enhances productivity but increases cognitive load. Developers must adapt their thinking habits to manage this new challenge.
DSLs Enhance Reliable Use of LLMs
DSLs play a crucial role in enhancing the reliability of LLMs in code generation.