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

Category: Development

AI Coding Assistants Need More Context: Experiments and Insights

2025-02-10
AI Coding Assistants Need More Context: Experiments and Insights

Traditional AI coding assistants, while proficient in code generation, often lack crucial context about the broader system environment. This leads developers to spend extra time bridging the gap between code and various information sources. This article details experiments integrating operational context (call graphs, metrics, exception reports) into AI assistants to improve debugging accuracy. Results show structured performance data and error reports enhance AI analysis, but efficiently representing vast amounts of context remains a challenge. The future lies in a knowledge graph encompassing production behavior, system metrics, and more, enabling AI assistants to understand system behavior holistically.

(www.nuanced.dev)
Development AI coding assistants context understanding

Rebuilding ProseMirror's Renderer in React: A Tale of Two Libraries

2025-02-10

The author recounts their experience working on the New York Times' rich text editor, Oak, built with React and ProseMirror. The integration, however, proved problematic, leading to persistent bugs. After four years of grappling with the complexities of both libraries, the team opted to rewrite ProseMirror's renderer in React. This resolved issues like state tearing, resulting in a new library, @handlewithcare/react-prosemirror, boasting improved performance and compatibility.

(smoores.dev)
Development Rich Text Editor

LLMs Explain Linear Programs: From Side Project to Microsoft Research

2025-02-10

Back in 2020, while working in Google's supply chain, the author developed a side project to help understand linear programs (LPs). When LPs become complex, understanding their results is challenging even for experts. The author's approach involved interactively modifying the model and diffing the results to explain model behavior, finding that adding semantic metadata simplified the process. Recently, Microsoft researchers published a paper using Large Language Models (LLMs) to translate natural language queries into structured queries, achieving a similar outcome. The author believes LLMs are a great fit for translating human ambiguity into structured queries, processed by a robust classical optimization system, with results summarized by the LLM. While the author's early work remained unpublished, he argues that understanding explanations of simpler systems is crucial for explaining more complex AI systems.

(www.jeremykun.com)
Development linear programming supply chain optimization

PDFSyntax: A Dependency-Free Python PDF Visualization Tool

2025-02-10
PDFSyntax: A Dependency-Free Python PDF Visualization Tool

PDFSyntax is a self-contained Python library, requiring no dependencies, that visualizes the internal structure of PDF files as interactive HTML. It parses, decompresses, and pretty-prints PDF data, adding hyperlinks and indices to enable logical navigation through the PDF, including object traversal and revision tracking. A simple command-line operation generates static HTML viewable directly in a browser without requiring JavaScript. Features include reverse indexing, page indexing, a thumbnail map, object stream extraction, stream decompression, and syntax highlighting. Encrypted files are not yet supported.

(github.com)
Development

Python 3.14: Deferred Annotation Evaluation and a New Interpreter

2025-02-10
Python 3.14: Deferred Annotation Evaluation and a New Interpreter

Python 3.14 is here with exciting updates! PEP 649 and PEP 749 introduce deferred annotation evaluation, boosting performance and simplifying annotation writing. A new tail-call-based interpreter offers significant speed improvements (9-15% geometric mean on pyperformance) on specific compilers and architectures. Finally, PEP 741 refines the Python configuration C API, paving the way for future enhancements. These updates combine to make Python faster and more powerful!

(docs.python.org)
Development Annotations

K: A Concise, Fast, and Vector-Oriented Programming Language

2025-02-10

The k language family is a series of concise, fast, vector-oriented languages designed by Arthur Whitney. It's not a single version, but rather an evolving sequence of slightly incompatible iterations. This book focuses on open-source k implementations and the community around them, including ngn/k (k6) and oK (k5/6). It explores k's characteristics, learning curve, and relationship to APL and J. While known for conciseness and speed, k has a steep learning curve requiring dedicated practice.

(xpqz.github.io)
Development k language vector programming

Rust's Pursuit of Ada: A Battle in Safety-Critical Programming

2025-02-10
Rust's Pursuit of Ada: A Battle in Safety-Critical Programming

Ada has dominated the safety-critical programming landscape for over four decades. Rust, in the last ten years, has attempted to compete, with varying results. This talk will explore Ada's powerful features for ensuring bug-free code, particularly its robust subtype declarations and ease of use, and compare them to Rust's capabilities, highlighting where Rust falls short and its progress in catching up.

(fosdem.org)
Development Safety-Critical Programming

The Art of Global Variables in C++

2025-02-10

This article explores effective techniques for using global variables in C++. The author argues that global variables aren't inherently bad; the key lies in their proper application. The article presents advantages and disadvantages, outlining four rules: 1. Make it hard to misuse; 2. Restore original values after changing observable states; 3. Don't return references or pointers to internal state; 4. Don't make it hard to test. Through code examples, the author demonstrates correct usage and potential pitfalls, recommending thread-local variables for multi-threading.

(codestyleandtaste.com)
Development Global Variables

Verona's Process-Based Sandbox: Securely Running Untrusted Code

2025-02-10
Verona's Process-Based Sandbox: Securely Running Untrusted Code

This project details a process-based sandbox mechanism for Verona, designed to safely execute untrusted external code. Leveraging process isolation, it requires no OS modifications, running untrusted libraries in a shared memory region and communicating with a trusted parent process via a carefully designed IPC. The mechanism supports callbacks and system call emulation, ensuring parent process safety; even if compromised, the sandbox cannot access parent memory or system resources. Currently supporting Capsicum and seccomp-bpf sandboxing technologies, the project aims to improve efficiency and compatibility.

(github.com)
Development sandbox

Rust vs. Ada: A Memory Safety Showdown

2025-02-10

This article compares Rust and Ada's effectiveness in preventing common memory-related errors. Rust excels at preventing errors outright, but Ada's avoidance of dynamic memory allocation and support for formal proof of correctness help avoid many errors altogether. The article delves into common memory errors like leaks, buffer overflows, use-after-free, double-free, and race conditions, comparing how each language handles them. While Rust boasts stronger compile-time checks, Ada's static analysis capabilities and stricter pointer control offer a compelling alternative. Ultimately, the author finds both languages offer unique strengths: Rust prioritizes compile-time safety, while Ada emphasizes preventing errors from occurring in the first place.

(ajxs.me)
Development

Seven Deadly Sins of Technical Architecture Diagrams

2025-02-10
Seven Deadly Sins of Technical Architecture Diagrams

This article outlines seven common mistakes to avoid when creating technical architecture diagrams, offering solutions for each. These mistakes include: creating theoretical instead of concrete diagrams; mixing levels of abstraction; including too many overlapping concerns; unlabeled arrows; misleading composition; missing context; and missing accompanying explanatory text. The article stresses the importance of clearly and accurately conveying system information, suggesting the use of multiple diagrams to address information overload, and adding labels and explanatory text to improve the understandability and effectiveness of architecture diagrams.

(www.ilograph.com)
Development architecture design technical diagrams

Frupidity: The Silent Killer of Productivity and Innovation

2025-02-10
Frupidity: The Silent Killer of Productivity and Innovation

Frugality is good, but frupidity—the reckless pursuit of cost-cutting at the expense of productivity—is a silent killer. This article uses the example of a fictional company, PennyTech, to illustrate how penny-pinching on tools, infrastructure, and travel leads to significant losses in efficiency and morale. The author argues that true efficiency lies in smart spending, not blind cost-cutting, and emphasizes the importance of valuing engineers' time and avoiding short-sighted decisions that ultimately cost more than they save.

(selix.net)
Development

Saying Goodbye to Static Site Generators: My Blog is Now Raw HTML

2025-02-10

Tired of the constant updates and compatibility issues with static site generators, my blog has gone through numerous iterations, finally settling on raw HTML, using md-block for Markdown and highlight.js for syntax highlighting. Built-in browser audio and video players, and the longevity of HTML, free me from theme compatibility headaches and ensure long-term content availability.

(devpoga.org)
Development

Thank You Bootstrap: A Developer's Ode

2025-02-10

The author heavily relies on Bootstrap for CSS in personal projects like Anki Books and Larder. He praises Bootstrap's ease in creating interactive UI widgets. A key example details customizing Larder's theme using Bootstrap's color variables, adopting the colors of the transgender flag. The author expresses satisfaction with the result and highlights Bootstrap's efficiency in cascading color changes across the website, saving significant development time and simplifying complex color design.

(kylerego.github.io)
Development

py3-TTS-Wrapper: A Unified Cross-Platform Text-to-Speech Library

2025-02-10
py3-TTS-Wrapper: A Unified Cross-Platform Text-to-Speech Library

py3-TTS-Wrapper is a Python library offering a unified interface for seamless integration with various text-to-speech (TTS) services like AWS Polly, Google TTS, and Microsoft Azure TTS. It supports SSML for enhanced control, allowing customization of voice, language, volume, pitch, and rate. Features include streaming, file output, and offline engine support (eSpeak-NG, PicoTTS). Whether you need TTS in your project or want to explore different TTS engines, py3-TTS-Wrapper simplifies the process.

(pypi.org)
Development

arXivLabs: Experimental Projects with Community Collaboration

2025-02-09
arXivLabs: Experimental Projects with Community Collaboration

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

(arxiv.org)
Development

Terminal User Pain Points: Even Experts Struggle

2025-02-09

A survey of 1600 terminal users reveals persistent frustrations, even among seasoned users (40% with 21+ years of experience). Key issues include remembering command syntax (awk, jq, sed, etc.), keyboard shortcuts (tmux, text editors), and navigating inconsistencies across systems (OS differences, editor variations). Color configuration, copy/paste (across SSH, tmux, etc.), discoverability of useful tools, a steep learning curve, shell history management, and poor documentation also surfaced frequently. The results highlight the ongoing struggles even experienced users face with terminal minutiae, emphasizing the need for improved user experience.

(jvns.ca)
Development terminal UX command line interface learning curve

Three Days of Hell: From Python Utility to Web App

2025-02-09
Three Days of Hell: From Python Utility to Web App

The author spent three days trying to convert a simple Python utility into a web application. Initial attempts using Flask and Bottle frameworks failed due to CORS issues and the complexities of asynchronous requests. A foray into JavaScript's Fetch API and a Node.js REST API proved too cumbersome to maintain. Ultimately, the author reverted to the original Bottle app, accepting the user wait time for request completion in exchange for simpler, maintainable code. This highlights the importance of technology choices—sometimes the simplest solution is the best.

(rudyfaile.com)
Development

PostgreSQL Best Practices: Building a Robust and Reliable Database

2025-02-09
PostgreSQL Best Practices: Building a Robust and Reliable Database

This article outlines best practices for PostgreSQL databases, covering database design, performance optimization, security, backup and recovery, maintenance and monitoring, and development practices. From naming conventions and schema design to indexing strategies, query optimization, access control, password policies, backup strategies, and monitoring metrics, the article provides detailed guidance with code examples to help developers build a robust, efficient, and secure PostgreSQL database system. High availability configurations, including replication setup and load balancing, are also emphasized to ensure database system reliability and scalability.

(speakdatascience.com)
Development

Ada/SPARK Crate of the Year Awards Announced!

2025-02-09
Ada/SPARK Crate of the Year Awards Announced!

The results for the 2024 Ada/SPARK Crate of the Year Awards are in! Lionel Draghi wins the Ada Crate of the Year award for BBT, a command-line tool using easily understandable Markdown behavior specifications for automated testing. Kevin Chadwick takes home the SPARK Crate of the Year award for elogs, a memory-safe logging library (SPARK Silver certified) that allows users to specify maximum message length. Finally, Brent Seidel's embeddable Lisp interpreter, bbs_lisp, wins the Embedded Crate of the Year award, showcasing Ada's strengths in embedded systems.

(blog.adacore.com)
Development Crate of the Year

Rust's Long War for the Linux Kernel

2025-02-09
Rust's Long War for the Linux Kernel

Rust is making inroads into the Linux kernel, but the transition will be a long and contentious one. While Rust offers significant advantages in memory safety and is backed by companies like Google, its adoption faces strong resistance within the kernel community. Concerns about its steep learning curve and integration challenges with existing C code have sparked heated debates, even described as a “religious war.” However, proponents argue that Rust improves kernel stability and security, attracting more developers. Ultimately, Rust's complete replacement of C depends on technological maturity and community consensus.

(thenewstack.io)
Development

Conquering Steam Deck's Immutable Filesystem with Nix and Home Manager

2025-02-09
Conquering Steam Deck's Immutable Filesystem with Nix and Home Manager

The Steam Deck's immutable filesystem makes installing packages that persist across system upgrades tricky. This guide shows how to use Nix and Home Manager to elegantly solve this. Nix is a declarative package manager; simply list your desired packages in a configuration file, and it handles the installation. Home Manager simplifies using Nix. The guide details installing Nix and Home Manager on your Steam Deck, managing packages (installation, removal), and offers tips like creating desktop shortcuts and running garbage collection.

(chrastecky.dev)
Development

arXivLabs: Building New arXiv Features with Community Collaborators

2025-02-09
arXivLabs: Building New arXiv Features with Community Collaborators

arXivLabs is a framework that enables developers to collaborate with the arXiv community to build and share new features directly on the arXiv website. Participants must adhere to arXiv's core values of openness, community, excellence, and user data privacy. If you have an idea for a project that will add value to the arXiv community, learn more about arXivLabs.

(arxiv.org)
Development

API Request Signing: Pitfalls and Best Practices

2025-02-09

This article delves into the security challenges of API request signing, particularly the difficulties of signing JSON objects. The author points out that while simple HMAC signing is secure, signing directly within the JSON object can lead to various issues, such as multiple equivalent representations of JSON resulting in signature validation failures. The article compares and analyzes various signing methods, including canonicalizing JSON, adding redundant signature data, and using alternative formats. Examples from AWS and Flickr's signing schemes illustrate the security risks of flawed implementations. Ultimately, the author recommends prioritizing TLS and avoiding inline JSON signing, opting instead for external signing to ensure API request security.

(www.latacora.com)
Development API Security JSON Signing

Scaling PostgreSQL: Weird Issues and Solutions for High-Growth Startups

2025-02-09
Scaling PostgreSQL: Weird Issues and Solutions for High-Growth Startups

This post tackles common PostgreSQL scaling challenges faced by high-growth startups. It covers issues like lock contention, index bloat, TOAST storage inefficiencies, and the complexities of vertical vs. horizontal scaling, append-only vs. update-heavy tables, and multi-tenancy. For each problem, practical solutions are offered, ranging from database parameter adjustments and concurrency tools to rethinking data access patterns and utilizing features like advisory locks. The author also explores advanced topics such as schema migrations under load, zero-downtime upgrades, and efficient COUNT query strategies. This is a valuable resource for engineers striving to optimize PostgreSQL performance in demanding environments.

(www.shayon.dev)
Development Database Scaling

Kanata: Cross-Platform Keyboard Remapper for Enhanced Comfort

2025-02-09
Kanata: Cross-Platform Keyboard Remapper for Enhanced Comfort

Kanata is a cross-platform keyboard remapper for Linux, macOS, and Windows. It allows for multiple layers of key functionality and advanced customization (tap-hold, macros, Unicode). Inspired by kmonad but built with Rust, Kanata offers broader platform support and a more user-friendly interface. It aims to bring the powerful customization of QMK to any keyboard, regardless of hardware, enhancing comfort and productivity.

(github.com)
Development

The Puzzling Performance of Generational Garbage Collection

2025-02-09

The author conducted experiments to verify the performance benefits of generational garbage collection. Surprisingly, the results showed that generational garbage collection took longer than whole-heap garbage collection in various benchmarks. The article explores several potential causes, including write barrier overhead, nursery size selection, benchmark representativeness, and collection frequency. The author concludes that further investigation is needed to determine the root cause.

(wingolog.org)
Development

Understanding Cell-Based Architectures Through a Zombie Apocalypse

2025-02-09
Understanding Cell-Based Architectures Through a Zombie Apocalypse

This article uses a vivid zombie siege scenario to explain cell-based architectures. The author likens a city to a system, with each neighborhood acting as an independent 'cell'. Even if one neighborhood falls, the entire city doesn't collapse. This isolation strategy, mirroring the design principles of cell-based architectures, effectively reduces the impact of single points of failure, ensuring system stability. Through this analogy, the article clearly explains the advantages and importance of cell-based architectures.

(bencane.com)
Development cell-based architecture zombie apocalypse system design

GPU Conditional Branching: Myth vs. Reality

2025-02-09

This article debunks a long-standing misconception in computer graphics: ternary operators in GPUs are not conditional branches. The author uses code examples and assembly code analysis to show that ternary operators or if statements in GPUs implement conditional move instructions, not branch jumps that alter the instruction pointer. These conditional moves are more efficient, and the supposed 'optimization' using the `step()` function actually reduces performance. The article calls for correcting this 20-year-old misunderstanding.

(iquilezles.org)
Development Optimization

FlashLearn Examples Directory: Quickstart Guide to AI Models

2025-02-09
FlashLearn Examples Directory: Quickstart Guide to AI Models

FlashLearn provides a directory of example scripts for users to quickly get started with its AI models. Simply install FlashLearn, set your API key, and run the provided Python scripts (e.g., sentiment_classification.py) to experience functionalities like sentiment classification. Results are outputted to the console and a results.jsonl file.

(github.com)
Development Python scripts
1 2 … 164 165 166 168 170 171 172 … 214 215