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

Category: Development

Rust Dependencies: A 3.6 Million Line Code Nightmare

2025-05-09

The author loves Rust, but its dependency management is causing concern. A simple web server project, after depending on several crates, ballooned to 3.6 million lines of code, mostly from dependencies. This raises concerns about code auditing and dependency maintenance. The author tried code counting and vendoring, but the problem persists. The article explores the challenges of Rust's dependency management and how to balance performance, safety, and code size.

(vincents.dev)
Development code size

Sep 0.10.0: CSV Parsing Hits 21 GB/s with AVX-512 Optimizations

2025-05-09

Sep 0.10.0 achieves a blistering 21 GB/s CSV parsing speed on the AMD 9950X, a ~3x improvement since its initial release in 2023! This blog post delves into the suboptimal AVX-512 code generation in .NET 9.0 and how Sep's performance was boosted by circumventing mask register issues. The new AVX-512-to-256 parser outperforms both AVX2 and the older AVX-512 parsers. Multi-threaded benchmarks show Sep parsing a million rows in just 72ms on the 9950X, reaching 8 GB/s.

(nietras.com)
Development

arXivLabs: Experimental Projects with Community Collaborators

2025-05-09
arXivLabs: Experimental Projects with Community Collaborators

arXivLabs is a framework enabling collaborators to develop and share new arXiv features directly on the website. Individuals and organizations involved embrace arXiv's values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners adhering to them. Have an idea to enhance the arXiv community? Learn more about arXivLabs.

(arxiv.org)
Development

Linux Kernel PGP Trust Chain Crisis: The SHA-1 Retirement Fallout

2025-05-09

Linux kernel development relies on PGP signatures, requiring maintainers to submit signed pull requests to Linus Torvalds. Due to issues with keyservers, Konstantin Ryabitsev maintains a git repository of relevant keys. Removing SHA-1 signatures would leave 485 public keys without a trust path to Linus Torvalds, impacting many core developers. This threatens the kernel's development process, potentially excluding key contributors. A keysigning event at Embedded Recipes 2025 aims to rebuild the trust chain.

(blog.kleine-koenig.org)
Development

C++26 Reflection: Building a High-Performance Struct-of-Arrays Vector

2025-05-09

This article demonstrates how to leverage C++26 reflection to implement a high-performance struct-of-arrays vector (SoaVector). By storing struct members in separate arrays, SoaVector avoids memory waste and improves access efficiency. The article details the implementation of SoaVector, including memory management, element addition, reading, and referencing. A comparison with a similar Zig implementation highlights the power and potential of C++26 reflection.

(brevzin.github.io)
Development Struct-of-Arrays

Under the Hood of Python Asyncio: A Deep Dive into async/await

2025-05-09

This article delves into the inner workings of Python's async/await concurrency model. Starting with the concepts of concurrency and parallelism, the author progressively demonstrates building a highly concurrent TCP server, comparing the pros and cons of using thread pools and I/O multiplexing. The core of the article lies in explaining how async/await is implemented based on generators, coroutines, and yield/yield from mechanisms. It meticulously details the underlying implementation of generators and coroutines, ultimately contrasting asyncio with other asynchronous programming libraries.

(tenthousandmeters.com)
Development

WebAssembly Instruction Set: A Comprehensive Guide

2025-05-09

This exhaustive list of WebAssembly instructions covers everything from basic arithmetic operations to advanced vector operations. Each instruction includes its opcode, input/output types, and descriptions of the validation and execution phases, making it easy for developers to quickly look up and understand them. The list is clearly structured and serves as a convenient reference for WebAssembly development.

(www.w3.org)
Development Instruction Set

Escaping the React Pit: The 'Throwaway Code' Hack

2025-05-09

A programmer struggled with a React side project, spending more time debugging than developing. He described the situation using a Korean proverb, '배보다 배꼽이 더크다' (the belly button is bigger than the belly), highlighting a misplaced priority. After reading 'Pure React', he started writing numerous 'throwaway code' exercises to practice React, rapidly mastering the concepts. He ultimately built a prototype in 30 minutes, impressing a friend. The takeaway: use 'throwaway code' frequently to quickly improve skills and overcome challenges.

(www.sung.codes)
Development quick learning

eBPF, .NET 5, and the Mystery of IPv4 Disguised as IPv6

2025-05-09

This post details a debugging odyssey involving eBPF, .NET 5's DualMode sockets, and IPv4 masquerading as IPv6. The author used an eBPF program to redirect DNS requests on port 53, but encountered unexpected behavior with .NET 5 applications. .NET 5's SocketsHttpHandler uses DualMode sockets, sending IPv4 traffic over an IPv6 socket using IPv4-mapped IPv6 addresses. This tricked the eBPF program into blocking the IPv4 traffic as IPv6. The solution involved checking `skb->protocol` instead of `skb->family` to differentiate between true IPv6 and IPv4-mapped IPv6 addresses.

(blog.gripdev.xyz)
Development

Cogent Core: Write Once, Run Everywhere

2025-05-09
Cogent Core: Write Once, Run Everywhere

Cogent Core is a free and open-source framework for building powerful, fast, and elegant 2D and 3D applications that run on macOS, Windows, Linux, iOS, Android, and the web from a single Go codebase. This 'write once, run everywhere' framework boasts extensive documentation and interactive examples directly editable and runnable on its website, which is itself a Cogent Core app running on wasm. Installation instructions must be followed before development.

(github.com)
Development

Chromium Memory Leak: A Bug Report from a Construction Robot

2025-05-09

A construction robotics company, Monumental, discovered a memory leak bug in their Chromium-based Electron application. The app uses Rust WASM code, managing memory via wasm-bindgen. The issue is that the JS engine sometimes stops calling finalizers in FinalizationRegistry, leading to runaway WASM memory growth. The author created a minimal reproduction and filed a bug report. This bug manifests as persistent memory leaks after multiple refreshes, requiring window closure to resolve.

(bou.ke)
Development Memory Leak

Android 15 to Support 16KB Pages for Enhanced App Performance

2025-05-09
Android 15 to Support 16KB Pages for Enhanced App Performance

Google Play announced that Android 15 will support 16KB memory page sizes to improve app performance. Starting November 1st, 2025, all new apps and updates targeting Android 15+ devices must support 16KB pages. This change promises faster app launches, improved battery life, quicker camera starts, and speedier system boot-ups. Many popular SDKs and game engines already offer 16KB support. Developers can check their app's compatibility and make necessary updates using the Play Console's app bundle explorer.

(android-developers.googleblog.com)
Development 16KB pages app performance

Goodbye Port Conflicts: Podman Without Port Forwarding and Containerizing Dev Environments for CLI Addicts

2025-05-08

Frustrated by port conflicts, the author abandoned container port forwarding and instead uses Podman and a Rust-based SOCKS proxy called Podfox to enable direct browser communication with the Podman network. Podfox bypasses the need for host DNS configuration, resolving container hostnames and using Podman network information to locate the gateway address for DNS queries and proxying. The author also shares their experience streamlining command-line development environment containerization using Homebrew and a custom fish script called Podchamp. By mounting the Homebrew prefix and setting environment variables, the same development tools are readily available across different containers without rebuilding images or installing dependencies, boosting efficiency.

(val.packett.cool)
Development dev environment

fui: A Framebuffer-Based TTY UI Library in C

2025-05-08
fui: A Framebuffer-Based TTY UI Library in C

fui is a lightweight C library for interacting with the framebuffer directly within a tty context. It uses a layered drawing system, supporting pixel drawing, primitive shapes (lines, rectangles, circles), bitmap font rendering, keyboard and mouse event handling (via libevdev), and a basic ALSA-based sound system (currently sine waves and chords). The library is statically linked and includes examples and tests (using cmocka). A simple Asteroids game demonstrates the sound capabilities.

(github.com)
Development Graphics Library

req-update-check: Effortlessly Update Your requirements.txt

2025-05-08
req-update-check: Effortlessly Update Your requirements.txt

Tired of manually updating your `requirements.txt` file? `req-update-check` automates the process! This Python tool checks for updates to your dependencies, displaying severity (major/minor/patch), homepages, and changelogs. It supports caching, comments, and multiple installation methods, streamlining dependency management. Boost your development workflow today!

(github.com)
Development

How Cursor Got the Best Tab-Completion Model

2025-05-08
How Cursor Got the Best Tab-Completion Model

Cursor's code completion initially lagged behind Supermaven's Babble model, which boasted a massive context window and superior speed and accuracy thanks to its innovative edit-sequence-based training. However, Cursor acquired Supermaven, gaining Babble and leveraging its massive user data to solidify its leading position in code completion. This acquisition highlights the importance of AI model training methodologies and the crucial role of data scale in model performance.

(www.coplay.dev)
Development data advantage

Implementing State Machines in PostgreSQL for Data Integrity and Advanced Analytics

2025-05-08

This article demonstrates how to implement a finite-state machine (FSM) in PostgreSQL to manage order statuses. By creating an order events table, a state transition function, and a custom aggregate function, the author builds a system that ensures valid order state transitions and prevents invalid operations. Critically, this approach also unlocks advanced analytics capabilities, such as tracking order state history and generating daily order status reports, which is invaluable for applications with large datasets. The author uses an order management system as an example, detailing the implementation steps and showcasing how to leverage the system for data analysis. The resulting system offers both data integrity and powerful analytical tools.

(felixge.de)
Development

The Astonishing Stability of Clojure Libraries: A Secret Weapon Against Breaking Changes

2025-05-08

This article explores the remarkable stability of Clojure libraries and reveals that the secret isn't static typing, but rather a community-driven practice of avoiding breaking changes. The author argues for this through analysis of Clojure's codebase stability, popular library code retention rates, and a case study of fixing a bug. The article pinpoints Clojure's stability to its data structure design (immutability, EDN serialization), naming conventions (namespace elements), and a strategy of avoiding breaking changes like renaming or altering function signatures. Instead of relying on static typing to prevent problems caused by changes, the author suggests that fundamentally avoiding breaking changes is the key to maintaining library stability.

(potetm.com)
Development library stability dynamic language

Microsoft Engineer Creates Windows 11-like Linux Distro

2025-05-08
Microsoft Engineer Creates Windows 11-like Linux Distro

Anduin Xue, a Microsoft software engineer, has developed AnduinOS, a Linux distribution designed to resemble Windows 11. Built on Ubuntu with minimal modifications beyond the UI, AnduinOS is a personal project with no current plans for commercialization. Xue dedicates only a few hours monthly to maintenance. Despite its origins in China, the open-source nature of the code mitigates backdoor concerns. With Microsoft ending mainstream support for Windows 10 in October, AnduinOS offers a viable alternative for those unable to upgrade to Windows 11.

(www.neowin.net)
Development

Math Problem Solving Course: Sharpen Your Competition Skills

2025-05-08

Professor Darij Grinberg's Math 235 course is an accessible introduction to mathematical problem solving, designed to equip students with techniques and tools commonly used in math competitions. These include induction, the Pigeonhole Principle, modular arithmetic, and the Cauchy-Schwarz inequality. The course features weekly 50-minute video lectures and 40-minute online collaborative sessions, reinforced by weekly homework assignments. The course draws upon classic competition math texts like "Putnam and Beyond" and "The IMO Compendium," though the goal isn't solely IMO preparation; rather, it's to cultivate versatile problem-solving skills. Students gain hands-on experience and familiarity with standard mathematical problem-solving techniques.

(www.cip.ifi.lmu.de)
Development higher mathematics

Google's Systematic Approach to Tackling Technical Debt

2025-05-08
Google's Systematic Approach to Tackling Technical Debt

Google engineers faced the challenge of technical debt slowing down development. They systematically defined ten categories of technical debt through surveys, data analysis, and cross-functional team collaboration. A maturity model was developed to assess teams' debt management capabilities. Through education, tooling, and process improvements, Google significantly reduced the impact of technical debt on engineer productivity, highlighting the importance of systematic management rather than aiming for zero debt.

(newsletter.techworld-with-milan.com)
Development

Zero-Cost Static Blog with React Server Components

2025-05-08
Zero-Cost Static Blog with React Server Components

This blog post details how to deploy a completely static blog using Next.js's static site generation capabilities and React Server Components (RSC) on Cloudflare's free static hosting plan, costing exactly zero. The author explains the concept of 'hybrid' frameworks, capable of both server-side rendering and static site generation. By running RSC code during the build process and saving its output, a fully static deployment is achieved, eliminating server costs. A code example shows data being read from the local filesystem during the build, generating static pages. This demonstrates that 'static' is essentially a 'server' running ahead of time, with the code logic remaining the same, only the timing changes.

(overreacted.io)
Development

Reservoir Sampling: A Solution for Random Sampling with Unknown Data Size

2025-05-08
Reservoir Sampling: A Solution for Random Sampling with Unknown Data Size

This article provides a clear and concise explanation of reservoir sampling, an algorithm that elegantly solves the problem of fair random sampling when the total size of the data is unknown. Using the analogy of picking playing cards, the article progressively explains the algorithm's mechanics and illustrates its practical application with a log collection service example. Reservoir sampling ensures fairness while efficiently managing memory usage, preventing system crashes due to excessive data. The article also briefly touches upon algorithm extensions and applications, making it a highly recommended read for anyone interested in learning about this powerful technique.

(samwho.dev)
Development random sampling reservoir sampling

Void: The Open-Source Cursor Alternative

2025-05-08
Void: The Open-Source Cursor Alternative

Void is an open-source code editor designed as an alternative to Cursor. The full source code is available on this repository, welcoming contributions from all. A contribution guide (HOW_TO_CONTRIBUTE) and codebase guide (VOID_CODEBASE_GUIDE) are provided. The team is readily accessible via their Discord server and email ([email protected]). Void is a fork of the VS Code repository and encourages collaboration and suggestions.

(github.com)
Development Cursor alternative

Hypermode's Model Router: Seamlessly Switching Between AI Models

2025-05-08
Hypermode's Model Router: Seamlessly Switching Between AI Models

The explosion of AI models presents developers with the challenge of choosing and integrating multiple models. Hypermode's new Model Router feature provides a unified API allowing developers to seamlessly switch between open-source and commercial language models like LLaMA, GPT, Claude, and Gemini, and even embedding models. Model Router simplifies development, reduces costs, improves reliability, and offers flexible access through OpenAI SDK, Vercel AI SDK, and Modus SDK, empowering developers to build smarter, more adaptable AI applications.

(hypermode.com)
Development AI Models Model Routing

20% Productivity Boost: A Real-World Look at AI Coding Assistants

2025-05-08
20% Productivity Boost: A Real-World Look at AI Coding Assistants

A 12-year-old SaaS company with 40 developers experimented with AI coding assistants, Cursor and Claude Code. Eight developers use them almost exclusively, while 11 use them about half the time. Claude excels at writing entire features, while Cursor is better for smaller changes. The AI assistants boosted productivity, particularly in repetitive tasks and understanding unfamiliar code. However, AI-generated code sometimes needs careful review, and the consistent style sacrifices individuality. The author argues mastering AI coding assistants is a crucial future skill, but ultimately, human thought remains paramount in defining software functionality.

(ghiculescu.substack.com)
Development code assistants

Qtap: An eBPF Agent for Capturing Linux Kernel Network Traffic Without App Modifications

2025-05-08
Qtap: An eBPF Agent for Capturing Linux Kernel Network Traffic Without App Modifications

Qtap is an eBPF-based agent that captures network traffic flowing through the Linux kernel without requiring application modifications, proxy installations, or certificate management. It intercepts data before and after encryption by attaching to TLS/SSL functions, passing it to flexible plugins with comprehensive context (process/container/host/user/protocol, etc.). Qtap displays raw, unencrypted data with minimal overhead and zero latency, augmenting existing observability pipelines and enabling uses like security auditing, network debugging, API development, and troubleshooting third-party integrations. Currently in early development, some APIs may change, and documentation might be incomplete, but community contributions and feedback are welcome.

(github.com)
Development

Coalton Powers Quantum Compiler Breakthrough: Implementing Discrete Compilation

2025-05-08

Quilc, a state-of-the-art quantum compiler written in Common Lisp, faced challenges due to limitations of dynamically typed languages. Researchers leveraged the strictly-typed Coalton language to implement a new feature called discrete compilation. This feature improves the precision and efficiency of quantum computation by discretizing continuous quantum operations. Using the Ross-Selinger algorithm, arbitrary unitary matrices are decomposed into combinations of Clifford+T gates. Coalton's type class system simplified operations across different algebraic rings, making it an ideal tool for implementing this complex algorithm. This work successfully integrated discrete compilation into Quilc, paving the way for practical applications in quantum computing.

(coalton-lang.github.io)
Development

Microservices: Not a Silver Bullet for Startups

2025-05-08
Microservices: Not a Silver Bullet for Startups

This article explores the pitfalls of prematurely adopting microservices in startups. The author argues that premature microservices lead to increased developer cost, deployment complexity, fragile local development environments, duplicated CI/CD pipelines, and increased observability overhead, ultimately slowing down team velocity and hindering product iteration. The author recommends that startups prioritize monolithic architecture, only considering microservices when encountering real scaling bottlenecks. Microservices are only justified in specific scenarios such as workload isolation, divergent scalability needs, or different runtime requirements.

(nexo.sh)
Development monolithic architecture

QueryHub: AI-Powered Database Interaction Redefined

2025-05-08
QueryHub: AI-Powered Database Interaction Redefined

QueryHub is a groundbreaking AI platform revolutionizing database interaction. Using natural language processing, it lets users query databases with simple English, eliminating the need for complex SQL. It automatically generates optimized SQL queries, understands database schemas, and provides data visualization. QueryHub empowers developers and businesses to analyze data more efficiently and gain meaningful insights, even without specialized knowledge. A free tier allows connecting one database and running up to 100 AI queries, while a pro plan offers more connections and unlimited queries.

(www.queryhub.ai)
Development
1 2 … 93 94 95 97 99 100 101 … 214 215