» Tag
programming
160 postsKill the Loop: Why `while true` Is Not Reliability
Loops ensure persistence but not correctness. A wrong direction compounds errors, leading to faulty outcomes.
Control the Ideas, Not the Code
Antirez highlights the impact of AI on software development and the importance of focusing on ideas.
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.
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.comChess 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.
The Lean Theorem Prover: Design and Evolution Overview
Lean plays a crucial role in formal verification and AI integration. Lean FRO was established in 2023.
log4k 2.3.0 — Kotlin IR Compiler Plugin for Tracing, Logging, and Metrics
log4k 2.3.0 is a compiler plugin for Kotlin that provides tracing and logging functionality.
Golang Maps: How Swiss Tables Replaced the Old Bucket Design
The Go 1.24 map redesign enhances memory efficiency by adopting Swiss Tables over the old bucket design.
Starting the Shooting Gallery Project for ZX Spectrum
Bumbershoot Software is starting the port of its shooting gallery program to ZX Spectrum. Learn about the project details and memory management.