Developer tools news — AI coding assistants, IDEs, CLI tools, APIs, and productivity tools for software engineers. GitHub Copilot, Cursor, and more.
The article presents a Neovim v0.12 configuration stored in a single `init.lua` file. It includes plugin management via `vim.pack.add`, a custom Dracula color scheme, and configurations for LSP, diagnostics, autocompleti…
Lamport Agent**, an AI-assisted tool that uses large language models (LLMs) to automatically generate formal specifications and detect race conditions from production codebases. It demonstrates the agent's application on…
Bun version 1.3.2 fixes 287 issues and restores hoisted installs as the default for existing workspaces, while keeping isolated installs as the default for new projects. The update introduces a lockfile `configVersion` t…
The **nvidia-smi** (NVIDIA System Management Interface) is a command-line tool for monitoring, managing, and diagnosing NVIDIA GPU devices, providing data on performance, temperature, utilization, power, and memory. It s…
NixCon 2025 was held from September 5-7 at the Ostschweizer Fachhochschule (OST) in Rapperswil-Jona, Switzerland, attracting nearly 500 attendees—more than double the previous year's turnout. The conference featured two …
Vercel has added public beta support for the Bun Runtime, allowing developers to run applications natively on Bun by adding `"bunVersion": "1.x"` to their `vercel.json` configuration. This integration, which follows the …
The article explains that modern CSS now supports spring and bounce animations natively through the `linear()` timing function, which works by specifying a set of points on a graph to create custom easing curves. Unlike …
Bun v1.3.1 introduces significant performance improvements, including up to 2x faster builds for projects using isolated linkers or symlinks, and faster installs by removing an unnecessary sleep() call when no peer depen…
The article announces the launch of a rebuilt version of Deno Deploy, a hosting platform rebuilt from scratch for greater flexibility and power. New features include an integrated CI/CD build pipeline, simplified data ma…
The article provides a Windows batch script (asus-cleanup.cmd) designed to remove all ASUS software from a system. It includes step-by-step instructions for preparation, such as backing up the system and disabling ASUS a…
The article describes how the author used the MiniZinc constraint solver to solve the New York Times' daily Pips puzzle, where dominoes must be placed on a grid to satisfy specific conditions like sums and equality of pi…
The article provides instructions for flashing firmware on Marvell/Aquantia AQC113 network controllers using the `flashUpdate2.exe` tool on Windows, including steps to disable memory protection and allow unsigned drivers…
The article summarizes several open-source projects developed by the Deno team, all released under the MIT license. Key projects include **rusty_v8** (Rust bindings for the V8 JavaScript engine, now stable with over 3 mi…
Based on the provided script, this article provides a bash script for macOS that forces RGB color output and full range on M1 and M2 Macs for a selected external display. The script works by copying and modifying the sys…
Bun 1.3 is a major update that transforms Bun into a full-stack JavaScript runtime with built-in frontend development support, including hot reloading, React Fast Refresh, and a production bundler. The release adds first…
This article describes a set of scripts for downloading 3D model files from MyMiniFactory, including metadata and STL file retrieval. The scripts feature automatic error handling, rate limiting, and cross-platform compat…
The article explains that rsync is a widely available file synchronization tool, commonly used for system backups, and highlights the author's preferred flags: `-av` for archive and verbose modes, `--delete` to keep remo…
The article describes the successful migration of 12 specialized AI agents from Claude Code to OpenCode, completed in a single day. The migration revealed fundamental architectural differences between the platforms, with…
The article explains that Node.js and npm have a permissive default security model, allowing any installed package code, including malicious scripts, full system access. In contrast, Deno is designed with security as a d…
Bun v1.2.23 fixes 119 issues and introduces several new features. Key additions include automatic migration from pnpm-lock.yaml to bun.lock, new `--cpu` and `--os` flags for filtering optional dependencies, built-in Redi…