Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

Category: Development

Red Hat Launches Free RHEL for Business Developers

2025-07-10
Red Hat Launches Free RHEL for Business Developers

Red Hat has released Red Hat Enterprise Linux for Business Developers, a free enterprise-grade Linux distribution designed to give developers fast, easy access to the same OS used in production environments for business development and testing. Developers get direct, self-serve access, bypassing IT approval, with up to 25 instance deployments. This aims to reduce friction between development and operations teams and address growing software supply chain security threats. It includes signed and curated developer content such as programming languages, open source tools, and databases, as well as Red Hat's container development tool, Podman Desktop.

(nerds.xyz)
Development

Tududi: Task Management, Simplified

2025-07-10
Tududi: Task Management, Simplified

Most task apps are dashboards of endless controls and micro-options. Creating a new task often involves navigating a maze of color pickers, priority levels, and repeat settings. Tududi offers a different approach: streamlined workflow. It prioritizes getting the task written, focusing on flow over features. Instead of presenting a toolkit, tududi offers efficiency.

(medium.com)
Development

Extreme Optimization of a Rust Math Expression Parser: From 43 Seconds to 0.98 Seconds

2025-07-10
Extreme Optimization of a Rust Math Expression Parser: From 43 Seconds to 0.98 Seconds

This article details the author's journey in optimizing a Rust-based math expression parser's runtime from 43 seconds to a blazing 0.98 seconds. Through a series of optimizations, including avoiding unnecessary memory allocations, directly processing byte streams, removing the `Peekable` iterator, utilizing multithreading and SIMD instructions, and employing memory-mapped files, a dramatic performance improvement was achieved. The article thoroughly explains the principles and implementation methods of each optimization step, supported by flame graphs and performance data. This is a compelling case study on performance optimization, showcasing meticulous programming and clever use of Rust's features.

(rpallas.xyz)
Development Math Expression Parser

Thunderbird 140 “Eclipse” Released: Darker, Smoother Email Experience

2025-07-10
Thunderbird 140 “Eclipse” Released: Darker, Smoother Email Experience

Thunderbird 140 “Eclipse”, the latest Extended Support Release (ESR), is here! Building upon version 128 and incorporating recent monthly updates, this release boasts adaptive dark messaging, improved visual controls, and a streamlined Account Hub. Users can easily customize appearance settings, leverage native OS notifications, and enjoy simplified account addition and folder sorting. Additional features include experimental native Exchange support, mobile QR code export, horizontal scrolling in table view, and thousands of bug fixes and performance improvements. Manual upgrades are available now for Windows, Linux, and macOS, with automatic updates rolling out soon.

(blog.thunderbird.net)
Development

cmdk: Your Terminal's New Best Friend (⌘-k Access to Anything)

2025-07-10
cmdk: Your Terminal's New Best Friend (⌘-k Access to Anything)

Tired of endless `cd` and `ls` commands in your terminal? cmdk revolutionizes file navigation! Press ⌘-k to instantly access any file or directory on your filesystem, with previews before opening. Leveraging fzf for fuzzy searching, cmdk intelligently opens files based on their type (text in vim, images in Preview, etc.). Simple installation, powerful functionality—experience Notion/Slack-like access in your terminal.

(github.com)
Development

CockroachDB 25.2: Row-Level Security for Enhanced Data Control

2025-07-10
CockroachDB 25.2: Row-Level Security for Enhanced Data Control

CockroachDB's 25.2 release introduces Row-Level Security (RLS), a powerful feature enabling fine-grained access control at the row level within the database. This addresses limitations of traditional table-level permissions, particularly crucial for multi-tenant and multi-region deployments. The article details RLS implementation through multi-tenancy and multi-region use cases, showcasing its benefits in data isolation, regulatory compliance, and simplified application logic. Combining RLS with CockroachDB's Regional By Row (RBR) functionality provides geographically based access control, ensuring compliance with data residency regulations.

(www.cockroachlabs.com)
Development row-level security

Improved CIELAB Color Quantization with the HyAB Distance Formula

2025-07-10

This article explores an improved CIELAB color quantization method using a novel distance formula called HyAB, replacing the traditional Euclidean distance. HyAB uses absolute difference for lightness and Euclidean distance for chromaticity, showing better alignment with human perception in experiments. The author applies it to the k-means algorithm, further optimizing results by replacing the mean calculation of the L component with the median. While HyAB can improve image quality in some cases, the author notes that overall system design and post-processing techniques like dithering have a greater impact on the final outcome.

(30fps.net)
Development

Branch Prediction: A Key to CPU Performance Optimization

2025-07-10
Branch Prediction: A Key to CPU Performance Optimization

Branch instructions are the core mechanism by which a CPU makes decisions in a program. This post explores the types of branch instructions (conditional/unconditional, direct/indirect), and how branch prediction affects CPU performance. While branch prediction techniques can significantly improve efficiency, frequent branches still create performance bottlenecks. The article suggests optimizing code by simplifying conditional statements, inlining functions, avoiding excessive nested calls, using indirect branches cautiously, and utilizing conditional move instructions to reduce the number of branch instructions and improve program performance.

(chrisfeilbach.com)
Development

From Permissive to Copyleft: A Shift in Open Source Licensing

2025-07-10

The author reflects on their evolution of open-source licensing preferences, shifting from a preference for permissive licenses (like MIT) to prioritize maximal adoption to now favoring copyleft licenses (like GPL). This change stems from three key factors: open source has gone mainstream, making enterprise adoption easier; the crypto space has become more competitive and mercenary, making 'friendly' sharing insufficient; and Glen Weyl's economic arguments suggesting that actively promoting open source is optimal with increasing returns to scale. The author argues that copyleft, by mandating source code sharing of derivative works, effectively promotes knowledge diffusion and technological sharing, preventing resource monopolization by a few.

(vitalik.eth.limo)
Development copyleft

Petrichor: A macOS Offline Music Player Built with Swift and SwiftUI

2025-07-10
Petrichor: A macOS Offline Music Player Built with Swift and SwiftUI

Petrichor is a powerful offline music player for macOS offering all the features you'd expect: organized library browsing, interactive playlist and queue management, folder view browsing, quick access to favorites in the sidebar, easy navigation, native macOS integration (menubar and dock controls, dark mode support), powerful search, and smart playlists. Created by a developer who missed the features of Swinsian and wanted to learn Swift and macOS app development, it's built entirely with Swift and SwiftUI and uses a SQLite database to manage music file information.

(github.com)
Development

Flexible Split Horizon DNS with Tailscale and Pi-hole

2025-07-10
Flexible Split Horizon DNS with Tailscale and Pi-hole

This post details configuring Pi-hole to achieve split horizon DNS using Tailscale. The author uses Tailscale's mesh network to provide different DNS resolutions for LAN and Tailscale clients. This solves access problems caused by services lacking secondary authentication and geo-blocking. The process involved troubleshooting Docker networking and Pi-hole interface binding, ultimately resolved by using host networking and adjusting Pi-hole settings. The solution enhances security and simplifies network management.

(www.bentasker.co.uk)
Development

Optimizing the Separating Axis Theorem with Gauss Map Traversal

2025-07-10
Optimizing the Separating Axis Theorem with Gauss Map Traversal

This article presents an optimized collision detection algorithm for convex polyhedra. Reframing the Separating Axis Theorem (SAT) as a sphere-based optimization problem, the author reveals that the minimum lies at the intersections of great circles on a Gauss map. A graph traversal algorithm avoids repeated support function calculations, requiring only one full evaluation initially. The algorithm then efficiently updates the support point by traversing the Gauss map, resulting in significant performance gains. Tests show a 5-10x speedup over traditional SAT.

(cairno.substack.com)
Development collision detection separating axis theorem Gauss map

Go Generics: The Clever Use of Generic Interfaces for Efficient and Adaptive Tree Structures

2025-07-10

This article explores advanced usage of Go's generic interfaces, particularly how to elegantly handle type constraints when building data structures like binary search trees using self-referential generic interfaces. Using a tree structure as an example, it compares three implementation approaches: using `cmp.Ordered`, a custom comparison function, and a self-referential generic interface. Finally, the article delves into combining `comparable` constraints to build ordered sets and avoiding complexities arising from pointer receivers, recommending prioritizing simplicity and readability in design.

(go.dev)
Development Go Generics

Clojure Code Snippet: Creating a Movie Genre Index

2025-07-10
Clojure Code Snippet: Creating a Movie Genre Index

This Clojure code snippet elegantly creates a movie genre index. Starting with a map containing movie information (title, genres, and Rotten Tomatoes score), it uses the `reduce` and `zipmap` functions to categorize movies by genre, ultimately producing a map where keys are genres and values are lists of movies belonging to that genre. This index facilitates looking up movies by genre and sorting them by rating. For example, it easily allows finding all thriller movies and sorting them by their Rotten Tomatoes score. The code is concise and efficient, showcasing the elegance of functional programming.

(jank-lang.org)
Development

Anna's Archive MCP Server: Search and Download Documents

2025-07-10
Anna's Archive MCP Server: Search and Download Documents

This is an MCP server for searching and downloading documents from Anna's Archive. It allows searching for documents matching specified terms and downloading specific documents previously returned by the search tool. The software explicitly disclaims endorsement of unauthorized acquisition of copyrighted material and should be considered solely a utility. Users are urged to respect intellectual property rights. Requires two environment variables: ANNAS_SECRET_KEY (API key) and ANNAS_DOWNLOAD_PATH (download path).

(github.com)
Development document search document download

Website Display Error Due to Disabled JavaScript

2025-07-10
Website Display Error Due to Disabled JavaScript

When visiting a website, a message appeared: "JavaScript has been disabled in your browser." This resulted in an abnormal display, showing only basic elements like navigation, search, content, footer, and contact information. The website relies on JavaScript for rendering and functionality. Enabling JavaScript in browser settings is recommended for a complete website experience.

(plf.inf.ethz.ch)
Development

LLMs Struggle with Right-to-Left Code: The Case of q/kdb+

2025-07-09
LLMs Struggle with Right-to-Left Code: The Case of q/kdb+

Large language models (LLMs) face challenges when writing code in q/kdb+, a language with a right-to-left, no-operator-precedence evaluation order. The author demonstrates that LLMs struggle to generate correct code adhering to these rules, often mixing Python and q syntax. The article explores why LLMs find right-to-left coding difficult and proposes Qython as a solution. Qython is a Python-like language that compiles to q, leveraging LLMs' Python expertise to circumvent the difficulties of q's unique syntax. A practical example showcases Qython's effectiveness.

(medium.com)
Development

Ruby 3.4: Gradual Transition to Frozen String Literals

2025-07-09
Ruby 3.4: Gradual Transition to Frozen String Literals

Ruby 3.4 initiates a multi-version transition towards frozen string literals by default. Currently, Ruby 3.4 offers opt-in warnings when deprecation warnings are enabled, ensuring backward compatibility. Warnings will be enabled by default in Ruby 3.7, with frozen string literals becoming the default in Ruby 4.0. This change promises performance gains through string deduplication, reducing garbage collection and memory usage. The article details how to enable warnings, fix issues, and migrate existing code, advocating a phased upgrade approach.

(www.prateekcodes.dev)
Development Strings

Astro: A Content-First Web Framework That Redefines Speed

2025-07-09
Astro: A Content-First Web Framework That Redefines Speed

Astro, launched in 2021, is a game-changer in web frameworks. It prioritizes content and server-side rendering, shipping zero JavaScript by default for blazing-fast load times. Its unique 'Island Architecture' loads JavaScript only for interactive components, leaving the rest as static HTML. This results in significantly faster sites, improving SEO and user experience. It's incredibly versatile, letting you integrate React, Vue, or other frameworks seamlessly. If you're building content-heavy sites, Astro offers a compelling alternative, prioritizing speed and developer happiness.

(websmith.studio)
Development web framework

API Platform Conference 2025: AI-Powered API Development Takes Center Stage

2025-07-09
API Platform Conference 2025: AI-Powered API Development Takes Center Stage

The API Platform Conference returns September 18th-19th, 2025, in Lille, France, and online! This two-day event showcases the latest trends, best practices, and case studies in API Platform and its ecosystem (PHP, Symfony, JavaScript, AI, FrankenPHP, performance, tools). Nearly 30 talks in English and French make it a must-attend for innovative companies, project leaders, and skilled developers. Developers, CTOs, and decision-makers specializing in these technologies are especially encouraged to attend. The call for papers is open until March 23rd, with final speakers announced from May 14th. Submit your pitch and be part of this special anniversary edition!

(www.php.net)
Development

The Truth About REST APIs: Beyond CRUD

2025-07-09

This article delves into the essence of the REST architectural style, revealing its core principle: Hypermedia as the Engine of Application State (HATEOAS). Many so-called "RESTful APIs" merely adhere to CRUD operations, neglecting the key constraint of HATEOAS, leading to tight coupling between client and server, hindering maintainability and scalability. Through Roy Fielding's arguments and examples, the article clarifies how true REST APIs guide client interaction through hypermedia links, enabling dynamic resource discovery and state transitions, ultimately building loosely coupled, evolvable distributed systems. The article also discusses the practical trade-offs often leading to simpler, RPC-like approaches.

(florian-kraemer.net)
Development

RN Maps Clustering: A High-Performance React Native Map Clustering Library

2025-07-09
RN Maps Clustering: A High-Performance React Native Map Clustering Library

RN Maps Clustering is a modern, performant, and fully-typed map clustering library for React Native. Built on top of supercluster, it provides a simple declarative API for adding beautiful and efficient marker clustering to your react-native-maps components. Customize cluster rendering, handle press events, and enjoy features like automatic marker spreading and high performance. It significantly improves developer efficiency.

(github.com)
Development Map Clustering

500 Mile Email: A Curated Collection of Absurd Software Bug Stories

2025-07-09

500 Mile Email is a curated list of bizarre software bug stories, updated weekly. From database servers mysteriously timing out to Wi-Fi only working in the rain, and applications crashing after drinking Coke, these anecdotes are both hilarious and thought-provoking. The site features contributions from developers, engineers, and users worldwide, showcasing the humorous and insightful moments of software development.

(500mile.email)
Development programming stories tech failures

Shopify's LLM Doc Bot: Guesswork Over Facts?

2025-07-09
Shopify's LLM Doc Bot: Guesswork Over Facts?

Shopify's LLM-powered developer documentation bot provided an incorrect Liquid syntax for detecting Shopify Collective items in order confirmation emails. While the bot provided a quick answer, the code didn't work in practice because the Shopify Collective tag is added after the email is generated. The author questions the value of this 'guessing' doc bot, arguing that the cost of bad advice far outweighs the benefit of quick help. He suggests relying on official documentation instead of a potentially inaccurate bot.

(www.robinsloan.com)
Development Doc Bot

Thunderbird 140 Released: Dark Mode, Easy Setting Sync, and Exchange Support

2025-07-09

Thunderbird email client version 140 is out, boasting several new features. A standout is "dark message mode," adapting message content to dark themes. It also features easy transfer of desktop settings to the mobile Thunderbird client, experimental Microsoft Exchange support, and global controls for message threading and sort order. This is an extended-support release (ESR) with 12 months of support, though Thunderbird encourages users to switch to the monthly Release channel. A staggered rollout to existing users helps catch bugs before widespread deployment, but manual upgrades are available via Help > About. Check the release notes for a complete changelog.

(lwn.net)
Development email client

Gmail's New Subscription Management Tool: Declutter Your Inbox

2025-07-09
Gmail's New Subscription Management Tool: Declutter Your Inbox

Google announced a new Gmail feature to help users manage subscriptions and clean up their inboxes. The "Manage subscriptions" tool, rolling out on web, Android, and iOS, lets users view and unsubscribe from unwanted subscriptions in one place. Gmail sends unsubscribe requests on the user's behalf. This builds on last year's one-click unsubscribe feature. The rollout begins July 10th, with full availability expected within 15 days.

(techcrunch.com)
Development Inbox Management Subscription Management

The 500-Mile Email Limit: A Curious Experiment

2025-07-09

A humorous tale of a university president unable to send emails beyond 500 miles sparked an experiment into network connectivity and email transmission distance. By writing simple network connection code and testing servers at various universities, the author discovered that actual connection distance is limited by server location and network infrastructure, not physical distance. The experiment ultimately revealed the impact of cloud computing and the geographical distribution of mail servers on email transmission, making the 500-mile limit more of a coincidence than a physical law.

(flak.tedunangst.com)
Development network connection mail server

Five Ways to Model Polymorphic Data in Relational Databases

2025-07-09
Five Ways to Model Polymorphic Data in Relational Databases

This article explores five approaches to modeling polymorphic data in relational databases: single table, nullable foreign keys, tagged union, child-to-parent foreign keys, and JSON. Each method has its pros and cons; for example, the single table approach is simple but can be slow, while JSON is easily extensible but lacks data validation. The author suggests choosing the method that's easiest to read, maintain, and debug, and avoiding premature optimization.

(www.dolthub.com)
Development polymorphic data relational databases

arXivLabs: Community-Driven Experiments on arXiv

2025-07-09
arXivLabs: Community-Driven Experiments on arXiv

arXivLabs is a framework enabling collaborators to build and share new features directly on the arXiv website. Individuals and organizations participating in arXivLabs uphold arXiv's values of openness, community, excellence, and user data privacy. arXiv is committed to these principles and only partners with those who share them. Got an idea for a project that benefits the arXiv community? Learn more about arXivLabs.

(arxiv.org)
Development

libpostal: A Global Address NLP Powerhouse

2025-07-09
libpostal: A Global Address NLP Powerhouse

libpostal is a powerful C library that parses and normalizes street addresses worldwide using statistical NLP and open data. Supporting numerous languages, it transforms free-form addresses into machine-readable formats ideal for geocoding applications. The library offers bindings for various languages and welcomes contributions to improve its accuracy and global reach. Sponsorship opportunities are available for organizations leveraging its capabilities.

(github.com)
Development address parsing
1 2 … 32 33 34 36 38 39 40 … 201 202