» Tag
programming
197 postsControl the Ideas, Not the Code
Antirez highlights the impact of AI on software development and the importance of focusing on ideas.
The Myth of Rust's Determinism: Cargo's Build-Time Chaos
Learn how decisions in Cargo's package management affect build-time stability for Rust developers.
Bashy: A Pure-Go Bash 5.3 for Linux, macOS, and Windows
Bashy is a pure-Go shell compatible with Bash 5.3 for Linux, macOS, and Windows, featuring Bash# for interactive programming.
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.comŻmij 1.2 Released: Full to_chars Implementation and Performance Boost
Żmij 1.2 introduces full to_chars implementation, formal verification, and enhanced performance.
Fluid CSS Values for Any Unit: A Fallback for Progress()
This new CSS technique enables fluid values for any unit, enhancing responsive design.
Understanding Go's Sync.Map: From API to Hash Trie
Explore the current implementation of Go's sync.Map and its hash trie design.
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.
Using Multiple Mouse Cursors in Wayland
Research and developments on using multiple mouse cursors in Wayland.
Why Lean Outperforms Rust in Compression Speed
Lean's lean-zip library outperforms Rust's miniz_oxide in DEFLATE compression speed, thanks to Lean's validation capabilities and AI-driven optimizations.