» Tag
programming
40 postsProtecting the Rust Standard Library from Accidental Breakage
The Rust standard library now uses cargo-semver-checks to prevent accidental breakage.
Kotlin LSP 1.4.0-RC1 Ready for Testing: Key Improvements for Developers
Kotlin LSP 1.4.0-RC1 offers improved performance and reliability for developers. Test it and provide feedback.
Creusot: A Deductive Verifier for the Rust Programming Language
Creusot is a deductive verifier for Rust, proving code compliance with formal specifications to eliminate errors.
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.comTracking 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.
Data Races and the Memory Model in Go
Explore data races and the Go memory model. Learn about synchronization and safe coding practices in concurrent programming.
Chess Implementation in Rust and TypeScript Type Systems
A chess game implemented in Rust and TypeScript type systems showcases complex programming capabilities.
The Safest Solana Parser Is the One That Refuses Bad Bytes
A new approach in Solana combines parsing with validation to prevent data bugs.
A 57-byte x86-64 Linux ELF: A Valid Executable Process
A 57-byte x86-64 ELF file is recognized as a valid executable on Linux. Explore its structure and functionality.
Forcing an ARM64X Executable to Run as a Specific Architecture
Methods to force ARM64X executables to run as a specific architecture.