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

Category: Development

RainViewer API Sunset: A Migration Guide

2025-08-18
RainViewer API Sunset: A Migration Guide

After 10 years, RainViewer founder Oleksii Schastlyvyi announces the transition of its API services to limited operation throughout 2025. This isn't a marketing piece, but a genuine guide for developers who have supported RainViewer. The article presents five alternative API services: Rainbow.ai (closest technical match, providing past and nowcast radar tiles), OpenWeatherMap (developer-friendly, comprehensive data), Meteoblue (high precision, especially in Europe), Tomorrow.io (global coverage with satellite data), and Xweather (professional-grade accuracy, data from Vaisala). Migration strategy recommendations are provided based on technical requirements, budget, and geographic needs. The author expresses gratitude to the developer community.

(www.rainviewer.com)
Development API Migration Weather Radar Data

FFmpeg Assembly Language School: Learn to Contribute!

2025-08-18
FFmpeg Assembly Language School: Learn to Contribute!

Embark on an exciting journey into FFmpeg assembly language programming! This course requires C programming knowledge (especially pointers) and high school math. Lessons and assignments (coming soon) will equip you to contribute to the FFmpeg project. A Discord server is available for support: https://discord.com/invite/Ks5MhUhqfB

(github.com)
Development

ScrollGuard: Stop Doomscrolling

2025-08-18

Tired of endless scrolling on TikTok and similar apps? ScrollGuard is here to help! This app blocks Reels and Shorts videos on Instagram, Facebook, Reddit, and YouTube, and sets scrolling limits for any app, freeing you from endless scrolling and distractions. While the iOS version has slightly different functionality, the developer is working on an iPhone app to help users combat scrolling addiction.

(scrollguard.app)
Development anti-addiction

Blazing Fast Static Site Server Built with Neovim and Lua

2025-08-18

A developer built nvim-web-server, a Neovim plugin written in Lua that serves HTTP requests directly from Neovim buffers. Surprisingly, it's faster than Nginx! This is due to LuaJIT's efficiency and Neovim's integration with the libuv library. The author successfully deployed this server on an old ThinkPad, ensuring security through Docker, AppArmor, and seccomp. This is a creative and efficient example showcasing the powerful extensibility of editors.

(vim.gabornyeki.com)
Development

MCP Tools with Dependent Types: A Defold Editor Experiment

2025-08-18

This post details an experiment using a Large Language Model (LLM) within the Defold game editor. The author initially attempted to use Claude to directly manipulate Lua code, but faced low accuracy. The proposed solution involved using JSON Schemas to define tool inputs, but this ran into a limitation: the inability to implement dependent types within the Model-Code-Prompt (MCP) framework. This means the structure of tool input depends on runtime information. For example, editing 3D models requires different properties depending on the chosen material. The solution is a two-step process: the LLM selects a resource, the program looks up its data structure and constructs a JSON Schema; then, the LLM uses this schema to generate edits. The author suggests MCP should support dependent types to handle complex data more effectively.

(vlaaad.github.io)
Development

Your MCP Doesn't Need 30 Tools: Code Is Enough

2025-08-18
Your MCP Doesn't Need 30 Tools: Code Is Enough

This article explores a novel approach using a single-tool MCP server that accepts programming code as input. The author points out challenges with CLI tools, such as platform dependency, version dependency, and lack of documentation, making them difficult for agent tools to use. In contrast, an MCP server can maintain state and expose a single tool (e.g., a Python interpreter running eval()), allowing agent tools to better manage sessions and compose tools. The author demonstrates the effectiveness of this approach with pexpect-mcp, which transforms the MCP server into a stateful Python interpreter, simplifying debugging and improving efficiency. Furthermore, the author explores replacing Playwright's MCP with one exposing the Playwright API via JavaScript, reducing tool definitions and improving data transfer efficiency. While security concerns exist, the author argues this approach has significant potential and warrants further exploration.

(lucumr.pocoo.org)
Development Agent Tools

Sorting Fractions Under Uncertainty & Estimating the Number of Buses: Bayesian vs. Likelihood Approaches

2025-08-18

This article tackles two statistical problems: sorting fractions under uncertainty and estimating the number of buses based on limited observations. For fraction sorting, Bayesian (using Beta distribution) and likelihood approaches are presented and demonstrated in R. For bus estimation, a probability density function based on the multinomial distribution is constructed, and a likelihood approach is used to derive a confidence interval for the number of buses. Both problems cleverly combine statistical modeling and computational methods, showcasing the flexibility and practicality of statistical inference.

(emiruz.com)
Development Bayesian methods likelihood methods statistical modeling

Why I Prefer reStructuredText to Markdown

2025-08-18
Why I Prefer reStructuredText to Markdown

This post details why the author prefers reStructuredText (rST) over Markdown for writing technical books. rST, being a mid-weight representation of an abstract documentation tree, offers superior extensibility and customization compared to Markdown's lightweight approach. The author illustrates this with examples of image creation and exercise handling, showing how rST's custom directives and document tree transformations enable complex document structures and functionalities difficult to achieve in Markdown. While acknowledging rST's potentially less intuitive syntax, the author champions its power for large-scale documentation, especially when custom extensions and transformations are needed, as demonstrated in his book, "Logic for Programmers."

(buttondown.com)
Development Technical Writing

Unification Algorithm: Implementation and Applications

2025-08-18

This post delves into the unification algorithm, a process for automatically solving equations between symbolic terms. It finds extensive use in logic programming and type inference. Starting with pattern matching, the post builds up to the concept of unification, providing a Python implementation based on Norvig's improved algorithm. The implementation includes data structure definitions, the core `unify` function, helper functions `unify_variable` and `occurs_check`, along with detailed code examples and execution results.

(eli.thegreenplace.net)
Development unification

Tilus: A New DSL for Powerful GPU Programming

2025-08-18
Tilus: A New DSL for Powerful GPU Programming

Tilus is a powerful domain-specific language (DSL) for GPU programming. It offers thread-block-level granularity with tensors as the primary data type, explicit control over shared memory and register tensors, and low-precision types with arbitrary bit-widths (1 to 8 bits). Featuring automatic tuning, caching, and a Pythonic interface, Tilus simplifies GPU kernel development. Built upon research detailed in "Tilus: A Virtual Machine for Arbitrary Low-Precision GPGPU Computation in LLM Serving," it leverages insights from projects like Hidet, TVM, Triton, and Hexcute.

(github.com)
Development low-precision computing

Hardening Systemd Services: A Practical Guide

2025-08-18
Hardening Systemd Services: A Practical Guide

This article explores enhancing the security of systemd services and Podman containers. It starts by introducing the `systemd-analyze security` command for assessing the security posture of systemd units. The article then details various security options within systemd unit files and Podman configuration files, such as `ProtectSystem`, `PrivateTmp`, `RestrictSUIDSGID`, and explains how to use them to limit privileges and reduce attack surface. It addresses troubleshooting service failures after configuration changes and using audit logs for debugging. Finally, it offers best practices, such as prioritizing external-facing services and tailoring security settings to specific needs.

(roguesecurity.dev)
Development

IMDb Terminal App v1.1: A Complete Rewrite with Enhanced Features

2025-08-18
IMDb Terminal App v1.1: A Complete Rewrite with Enhanced Features

A powerful Ruby-based terminal application for discovering and managing movies and TV series from IMDb's Top 250 lists and trending lists. Version 1.1 is a complete rewrite using rcurses, boasting significant functional upgrades. It offers advanced filtering, smart search with preview, streaming info integration, terminal poster display, wishlists, and dump lists. The enhanced search experience and robust data management make finding and organizing your favorite movies and shows incredibly efficient.

(github.com)
Development movie management

Become a Web Archive Guardian: Run an ArchiveTeam Warrior

2025-08-18

Want to contribute to internet archiving? Now you can easily run the ArchiveTeam Warrior virtual machine! It will download and upload websites to the ArchiveTeam archive on your computer, without risking your computer's security; it only uses some of your bandwidth and disk space. Warrior supports Windows, OS X, and Linux systems and only requires virtual machine software like VirtualBox or VMware. After downloading the virtual machine image, import it into VirtualBox, start it, and then you can select a project to start contributing; your progress will be shown on the leaderboard!

(tracker.archiveteam.org)
Development

Optimizing GitHub Actions Static Analysis with Finite State Transducers

2025-08-18

The developer of the static analysis tool zizmor optimized its GitHub Actions template injection vulnerability detection using Finite State Transducers (FSTs). By mapping GitHub Actions context patterns to their logical "capability", FSTs reduced the representation size by an order of magnitude (from ~240KB to ~14.5KB) and proved faster and more memory-efficient than previous table- and prefix-tree-based approaches. Furthermore, the FST is pre-computed at compile time, eliminating startup costs. This improvement significantly reduces false positives and enhances detection efficiency.

(blog.yossarian.net)
Development finite state transducer

doxx: A blazing-fast terminal DOCX viewer

2025-08-18
doxx: A blazing-fast terminal DOCX viewer

doxx is a lightning-fast, terminal-native document viewer for Microsoft Word files, built with Rust. It offers beautiful rendering, smart table support, and powerful export capabilities (Markdown, CSV, JSON), eliminating the need for Microsoft Word. Features include full-text search, document outlines, multiple view modes, and planned AI integration for summarization and Q&A.

(github.com)
Development

Mangle: An Open-Source Deductive Database Programming Language Based on Datalog

2025-08-18
Mangle: An Open-Source Deductive Database Programming Language Based on Datalog

Mangle is an open-source programming language extending Datalog for deductive database programming. It supports features like aggregation, function calls, and optional type-checking, enabling uniform representation and querying of data from multiple sources and modeling domain knowledge. Mangle provides a Go library for easy embedding in applications. It supports recursive rules and demonstrates, through examples, how to use Mangle to find software affected by the log4j vulnerability, and how to perform grouping and aggregation. While sacrificing some performance, its ease of use and extensibility make it a powerful tool.

(github.com)
Development deductive database

A Year in Enterprise Software Development: Observations from the Trenches

2025-08-18

After a decade in startups, the author reflects on their first year at a large enterprise, $ENTERPRISE. The post humorously details the stark differences: inefficient communication, massive resource waste, inconsistent coworker competency, and the ubiquitous, often manufactured, sense of urgency. However, the author also acknowledges the positive aspects, such as a strong engineering community, career development opportunities, and the satisfaction of working on software used by millions. A candid and insightful account of the realities of large-scale software development.

(churchofturing.github.io)
Development enterprise culture

llama-scan: PDF to Text Conversion with Ollama

2025-08-18
llama-scan: PDF to Text Conversion with Ollama

llama-scan is a tool that leverages Ollama to convert PDFs to text files locally, eliminating token costs. It utilizes Ollama's latest multimodal models, enabling detailed text descriptions of images and diagrams. Installation is straightforward: install Ollama and then llama-scan using pip or uv. Features include custom output directories, model selection, options to keep intermediate image files, adjustable image width, and specifying page ranges for efficient PDF text extraction.

(github.com)
Development

Hyperclay: Single-File Web Apps Made Easy

2025-08-18
Hyperclay: Single-File Web Apps Made Easy

Tired of complex web development workflows? Hyperclay simplifies your app to a single, self-updating HTML file, allowing direct manipulation of the UI and logic. Say goodbye to config files, build steps, and deployment pipelines. It's as easy to edit as Google Docs, allowing live modifications, instant sharing, and offline use. Build and share web apps as easily as sculpting clay.

(hyperclay.com)
Development HTML apps

Clojure Flow: Building Highly Concurrent Dataflow Applications

2025-08-18

Clojure's Flow library offers a novel approach to building highly concurrent dataflow applications. It strictly separates application logic from deployment concerns such as topology, execution, communication, lifecycle management, monitoring, and error handling. Developers define processing logic using step-fn functions, while Flow manages process lifecycles and message passing. Step-fns have four arities: describe, init, transition, and transform, handling function description, initialization, lifecycle transitions, and message processing respectively. Flow also provides process monitoring and lifecycle management tools, supporting hot reloading and dynamic adjustments, simplifying the development of highly concurrent applications.

(clojure.github.io)
Development Flow library dataflow processing

Lappverk: A New Tool for Simplifying Git Patch Management

2025-08-18

In software development, we often need to modify code built by others. Traditional Git workflows become cumbersome when managing patches intended for long-term maintenance. This post introduces Lappverk, a new tool that leverages Git's `format-patch` and `am` commands, along with custom conventions, to streamline the creation, management, and application of patches. Lappverk allows developers to easily maintain and update patches locally, eventually integrating them into the upstream project, avoiding the overhead of large forks. Its core functionality centers around importing and exporting patch sets into Git, making patch management efficient and intuitive, similar to working with patch files directly within a Git environment.

(natkr.com)
Development Patch Management

The AI-Generated Code Illusion: False Mastery

2025-08-17

The author used AI to generate Go tests and a Svelte frontend, initially feeling highly efficient. However, they later discovered issues like mixed version syntax in the AI-generated code, requiring significant debugging time. This exposed a trap of AI tools: they generate seemingly correct code, creating an illusion of mastery, but fail to replace genuine understanding and thought. Over time, teams relying on AI experience declining code quality, ultimately leading to project failure. The author stresses that software development demands continuous effort and deep technical understanding; AI is merely a tool and cannot substitute a programmer's expertise and critical thinking.

(playtechnique.io)
Development

Exploring an ORM for OLAP Databases: The Moose OLAP Approach

2025-08-17
Exploring an ORM for OLAP Databases: The Moose OLAP Approach

Modern applications increasingly rely on user-facing analytics and AI powered by aggregations across large datasets, pushing developers towards analytical databases like ClickHouse. This article explores the possibilities and challenges of building an ORM for OLAP databases. Extending existing OLTP ORMs to OLAP is problematic due to semantic differences. Moose OLAP, an open-source project, attempts to provide an ORM-like interface for ClickHouse. It borrows from the strengths of OLTP ORMs but adapts to OLAP specifics, such as handling NULL values and uniqueness constraints differently. Moose OLAP emphasizes schema-as-code, provides OLAP-native semantics and defaults, and supports versioned migrations to handle the dynamic schema changes inherent in OLAP environments.

(clickhouse.com)
Development

Early Bird Gets the Worm: Pre-order App & Get Exclusive Early Access

2025-08-17

Pre-order now and receive all minor updates during the pre-sale period, including bug fixes, performance improvements, and minor feature tweaks—completely free! After the pre-sale, larger features and major upgrades will be developed, available to pre-sale buyers at a special discounted price. Join early for immediate access, influence development with your feedback, and secure the lowest price.

(fallinorg.com)
Development app pre-order early access discounted price

Derivatives, Gradients, Jacobians, and Hessians: A Deep Dive

2025-08-17
Derivatives, Gradients, Jacobians, and Hessians: A Deep Dive

This article provides a clear explanation of derivatives, gradients, Jacobian matrices, and Hessian matrices, four fundamental concepts in calculus and their applications. Derivatives describe the rate of change of a function, gradients point in the direction of the greatest increase, Jacobian matrices describe the warping of space for multivariable functions, and Hessian matrices contain second-order derivatives, describing curvature. These concepts are crucial in optimization algorithms (like gradient descent) and computer graphics (e.g., anti-aliasing rendering), providing a deeper understanding of machine learning and graphics rendering.

(blog.demofox.org)
Development matrices

Rust Macro for Batching Expensive Async Operations

2025-08-17
Rust Macro for Batching Expensive Async Operations

The `batched` Rust macro efficiently handles costly asynchronous operations in batches. Users define batch size, concurrency, and windowing parameters. It supports various return types and robust error handling, making it ideal for database inserts and other I/O-bound tasks. Designed for Tokio, it integrates with OpenTelemetry for tracing and monitoring.

(github.com)
Development

Stop the Back-and-Forth: Craft the Perfect AI Coding Prompt from the Start

2025-08-17
Stop the Back-and-Forth: Craft the Perfect AI Coding Prompt from the Start

When using AI coding assistants, instead of endless clarifications and corrections, revise your initial prompt. Think of it like giving instructions – constant changes confuse the recipient. AI assistants are similar; multiple edits lead to conflicting context, confusion, and degraded performance. Provide clear, complete instructions upfront, letting the AI start fresh for better results. A precise initial prompt avoids iterative refinement.

(elite-ai-assisted-coding.dev)
Development

Marginalia Search Index: A Significant Performance Boost

2025-08-17

The Marginalia search engine has undergone a significant index redesign to better leverage modern hardware. By employing memory-mapped B-trees and deterministic block-based skip lists, along with careful tuning of block sizes and I/O strategies, search speeds have been dramatically improved. The post details the new data structures and performance optimizations, exploring the idiosyncrasies of NVMe SSD read performance and how to maximize performance through block size and I/O mode adjustments.

(www.marginalia.nu)
Development

Nim: One Language to Rule Them All?

2025-08-17
Nim: One Language to Rule Them All?

Inspired by the "One Ring" from Lord of the Rings, this article explores Nim, a programming language aiming to be a 'do-it-all' solution. Nim boasts an elegant and simple syntax suitable for automation scripts, yet powerful enough for performance-critical tasks like operating systems and game engines. It blends the strengths of Ada, Python, and C, offering dynamic memory management, inline assembly, and even JavaScript compilation for front-end development. With strong safety features, C/C++ interoperability, and a powerful macro system (even class-based OOP is macro-driven!), Nim is used by organizations like Reddit and Exercism. It's considered ideal for systems development and computer science education.

(undefined.pyfy.ch)
Development systems development
1 2 … 22 23 24 26 28 29 30 … 214 215