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

Category: Development

operative.sh: Autonomous Web App Debugging with MCP Server

2025-04-28
operative.sh: Autonomous Web App Debugging with MCP Server

operative.sh introduces MCP Server, a tool leveraging a browser-based agent to autonomously debug web applications directly within your code editor. The 'Cursor agent' executes and debugs code, providing detailed reports including network traffic, console logs, and a chronological timeline. After installing and obtaining a free API key, developers can automate their debugging workflow, significantly boosting efficiency. Supports macOS, Linux, and Windows.

(github.com)
Development Automated Debugging Code Testing

AI Coding Assistants: Startups Lead the Charge, Automation Soars

2025-04-28
AI Coding Assistants: Startups Lead the Charge, Automation Soars

Anthropic's research reveals disproportionately high usage of AI coding assistants like Claude among computer-related occupations, particularly in startups. Analysis of 500,000 coding interactions shows Claude Code, a specialized coding agent, boasts 79% automation, significantly higher than the general-purpose Claude.ai (49%). This suggests that front-end development (JavaScript, HTML) is more susceptible to AI disruption. Despite high automation, 'feedback loop' patterns remain prevalent, requiring human intervention. The study also finds startups are primary early adopters of Claude Code, while enterprises lag. This raises questions about AI's impact on future developer roles and the job market, hinting that software development might be a leading indicator of how other occupations will change with increasingly capable AI models.

(www.anthropic.com)
Development

Autarkie: Instant Grammar Fuzzing with Rust Macros

2025-04-28
Autarkie: Instant Grammar Fuzzing with Rust Macros

Autarkie is a native grammar fuzzer written in Rust that leverages procedural macros to almost automatically generate grammar fuzzers. Supporting both AFL++ and cargo-fuzz, it can fuzz C/C++ and Rust projects. Autarkie's unique features include self-maintaining grammar, exhaustive grammar coverage, reusable corpus, and the ability to learn from other fuzzers (under development). Two examples demonstrate fuzzing SQLite3 and Solana's sbpf interpreter, highlighting its ease of use and efficiency. Currently in beta and requires a nightly Rust compiler.

(github.com)
Development grammar

tiny-llm: LLM Serving in a Week – A Hands-on Tutorial

2025-04-28
tiny-llm: LLM Serving in a Week – A Hands-on Tutorial

tiny-llm is a tutorial guiding you through building an LLM serving infrastructure in a week. It focuses on using MLX's array/matrix APIs, eschewing high-level neural network APIs to build from scratch and understand optimizations. The tutorial covers core concepts like attention mechanisms, RoPE, and grouped query attention, progressing to model loading and response generation. Currently, attention, RoPE, and model loading are complete. Future chapters will delve into KV caching, quantized matrix multiplication, Flash Attention, and other optimizations, aiming for efficient LLM serving for models like Qwen2.

(github.com)
Development Model Serving

PyXL: Running Python in Hardware, 480ns GPIO Roundtrip

2025-04-28
PyXL: Running Python in Hardware, 480ns GPIO Roundtrip

PyXL is a custom hardware processor that executes Python directly in silicon, eliminating the need for an interpreter or JIT compiler. It compiles Python code into custom assembly and runs it on a custom pipelined processor. Tests show a stunning 480ns GPIO roundtrip time, over 30x faster than MicroPython. This makes PyXL ideal for high-performance applications demanding real-time responsiveness and deterministic timing, such as real-time control systems, ML inference, and robotics.

(www.runpyxl.com)
Development Hardware Acceleration Real-time Systems

The Illusion of Theory in Large Programs: LLMs and the Limits of Code Comprehension

2025-04-28

Peter Naur's paper argues that the 'theory' of a large program isn't the code itself, but rather the deep understanding possessed by the programmers who built it. Using Ryle's analogy of a path, the code is the path, while understanding the program is like walking it. While LLMs can generate text that appears theoretically informed, this is merely surface-level; it lacks true comprehension. Naur emphasizes that understanding large programs requires continuous involvement in their development and maintenance—a knowledge that cannot be gained simply by reading code or documentation.

(ratfactor.com)
Development program comprehension

The Crisis of Academic Conferences: Formalism Stifles Innovation?

2025-04-28

In computer science, top academic conferences have become the primary metric for research value, but their increasing bureaucratization and formalism threaten the vitality of academic innovation. The article argues that conferences have devolved into annual 'promotion exams,' with reviews focusing more on formal rules than on the inherent value of research, stifling many promising, innovative works. The author calls for a change in conference review culture, shifting the focus back to academic innovation itself. Recommendations include eliminating unnecessary bureaucratic rules and entrusting decision-making to senior experts in the field to foster academic advancement.

(cacm.acm.org)
Development academic conferences

arXivLabs: Experimenting with Community Collaboration

2025-04-28
arXivLabs: Experimenting 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 partners only with those who share them. Got an idea for a project that will benefit the arXiv community? Learn more about arXivLabs.

(arxiv.org)
Development

The Great Average Performance Debate: Geometric vs. Harmonic Mean

2025-04-27
The Great Average Performance Debate: Geometric vs. Harmonic Mean

A long-standing debate in computer architecture centers around how to calculate average performance. Hennessey and Patterson's seminal work advocates for the geometric mean due to its desirable mathematical properties. However, a recent paper challenges the geometric mean's physical meaning, proposing the "Equal-Time Harmonic Speedup" as an alternative. The author argues that the harmonic mean better reflects real-world scenarios, equating to the total speedup when running workloads sequentially. However, this overlooks the uneven distribution of workload times in practice, rendering its physical meaning often irrelevant. The article concludes that unless the exact workload mix and weights are known, no single-number average perfectly compares machines, leaving the geometric mean as a reasonable choice due to its ease of comparison and widespread familiarity.

(dgsq.net)
Development performance evaluation geometric mean

The Angel and the Devil on My Shoulders: A Programmer's Dilemma

2025-04-27

A programmer recounts their internal struggle between the angel advocating for coding for fun and the devil urging pursuit of wealth and success. From childhood fascination with computer games to a college degree, their coding journey has always involved learning and exploration. However, influenced by the 'hustle' culture, they're often tempted by the allure of startups, torn between passion and profit. Ultimately, they realize the key is balancing both, avoiding burnout, and discerning when to heed the devil's advice for sustainable growth.

(www.zachbellay.com)
Development

arXivLabs: Experimental Projects with Community Collaboration

2025-04-27
arXivLabs: Experimental Projects with Community Collaboration

arXivLabs is a framework enabling collaborators to develop and share new arXiv features directly on our 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 partners with those who share them. Have an idea to enhance the arXiv community? Learn more about arXivLabs.

(arxiv.org)
Development

FPU Emulation Revival for NetBSD's i486SX

2025-04-27
FPU Emulation Revival for NetBSD's i486SX

This retro-computing project brings back x87 Floating-Point Unit (FPU) emulation to NetBSD's kernel, specifically for legacy 486SX processors lacking hardware FPUs. It reinstates the `MATH_EMULATE` option in NetBSD 10.x and later, reversing changes that removed this functionality. While many x87 instructions are emulated, some like `fyl2xp1`, `fxtract`, `fpatan`, and `fsqrt` remain unsupported. The project is a work in progress and may contain bugs; use at your own risk. Users need to compile the kernel themselves.

(github.com)
Development FPU emulation

AI Code Generation: More Hype Than Substance?

2025-04-27

This article critiques the limitations of AI code generation tools. The author argues that while AI-generated code might look plausible, it's fraught with hidden dangers. AI simply predicts patterns in language to generate code, lacking true engineering thinking and understanding of runtime environments. This results in code that is hard to understand, debug, and reuse. In contrast, modular programming, referencing excellent open-source projects and documentation, are more helpful in writing high-quality code. Ultimately, the author points out that the core of software engineering lies in thinking and understanding, not just writing code.

(www.doliver.org)
Development

iOS Zero-Day: Denial-of-Service via Darwin Notifications

2025-04-27

A security researcher discovered a critical iOS vulnerability allowing malicious apps to execute denial-of-service attacks, even causing system reboots, by sending Darwin notifications. Exploiting a lack of sender verification in the Darwin notification mechanism, the researcher created an app, "VeryEvilNotify," triggering a "Restore in Progress" loop, forcing restarts. Apple patched this in iOS 18.3 by introducing restricted entitlements for sensitive notifications.

(rambo.codes)
Development denial-of-service

OpenBSD 7.7 Installation Quickstart

2025-04-27

OpenBSD 7.7 installation varies depending on your hardware architecture. This document provides a brief overview of installation methods for different architectures (amd64, arm64, i386, etc.), including installation from CD, USB, or network. For dual-boot setups, consult the corresponding INSTALL.* files. Additionally, the document briefly touches upon the OpenBSD ports system; newcomers are encouraged to refer to the relevant documentation.

(www.openbsd.org)
Development Installation System Administration

Logchef: A Lightweight, High-Performance Log Analytics Platform

2025-04-27
Logchef: A Lightweight, High-Performance Log Analytics Platform

Logchef is a lightweight, powerful log analytics platform built on ClickHouse for high-performance log storage and querying. It runs as a single binary, offering an intuitive interface for exploring log data. Features include schema-agnostic log exploration, flexible query options (simple search and full ClickHouse SQL), high performance, and team-based access control. Deployable via a single Docker Compose command, Logchef is ideal for development teams needing a robust and scalable logging solution.

(github.com)
Development log analytics

Context Collapse in Performance Reviews: Why Your Calibration Meetings Are Failing

2025-04-27
Context Collapse in Performance Reviews: Why Your Calibration Meetings Are Failing

This article explores the phenomenon of 'context collapse' in performance reviews, where different managers interpret the same work differently, leading to unfair assessments and potential loss of talent. It analyzes various contributing factors, including domain-specific blind spots, technology bias, visibility bias, manager advocacy, anchoring bias, inconsistent rating scales, time constraints, and differing emphasis on growth vs. impact. Solutions are proposed, such as domain-specific calibrations, cross-functional pre-reviews, engineer co-authorship of performance narratives, standardized achievement formats, dedicated recognition tracks, continuous calibration, and decoupling feedback from evaluation. Ultimately, the article calls for rethinking the performance review system entirely, aiming for a fairer, more holistic process that accurately reflects engineers' contributions and prevents the loss of valuable talent.

(www.oldschoolburke.com)
Development talent management

Boosting Ruby Ractor Performance: Tackling the `object_id` Bottleneck

2025-04-27

Ruby's Ractor concurrency model suffers from performance limitations due to global locks. This post dives deep into a performance bottleneck caused by the `object_id` method, stemming from historical design choices and improvements to garbage collection. By optimizing `object_id`'s implementation, storing it directly within objects instead of using a global hash table lookup, the author significantly improves Ractor performance, resulting in a two-fold speed increase in JSON benchmarks. While challenges remain, such as handling special object types, this work represents a crucial step towards making Ractors truly parallel.

(byroot.github.io)
Development

snapDOM: Blazing Fast, High-Fidelity DOM Capture

2025-04-27
snapDOM: Blazing Fast, High-Fidelity DOM Capture

snapDOM is a high-fidelity DOM capture tool developed for Zumly, a framework for smooth zoom-based view transitions. It converts any HTML element into a scalable SVG image, preserving styles, fonts, backgrounds, shadow DOM, and pseudo-elements. Benchmarks show snapDOM dramatically outperforms competitors like modern-screenshot and html2canvas, especially with larger DOM structures. It's lightweight, dependency-free, and offers exports to SVG, PNG, JPG, WebP, and canvas. Ideal for capturing full-page views, modals, and complex layouts.

(github.com)
Development DOM capture

Wii Homebrew Channel Source Code Archived Due to Copyright Infringement

2025-04-27
Wii Homebrew Channel Source Code Archived Due to Copyright Infringement

The source code repository for the Wii Homebrew Channel has been archived and will no longer accept contributions. This is due to the discovery that libogc, a crucial library upon which the Homebrew Channel depends, contains significant portions of code stolen from Nintendo's SDK and the open-source RTOS RTEMS. The developers of libogc have refused to address the copyright infringement. This revelation exposes a long-standing issue of copyright violations within the Wii homebrew community, prompting reflection on ethical software development practices. The source code is now publicly released, but developers state they cannot guarantee its legality and that it has only been tested under the Dolphin emulator.

(github.com)
Development

OpenBenches' Address Conundrum: Geolocating 40,000 Benches Elegantly

2025-04-27
OpenBenches' Address Conundrum: Geolocating 40,000 Benches Elegantly

OpenBenches, a crowdsourced database of nearly 40,000 memorial benches, faces a challenge: converting latitude/longitude coordinates into human-readable addresses. Many benches lack formal addresses, residing in parks, etc. Existing geocoding APIs provide overly detailed or irrelevant information. The author explores using multiple APIs and Points of Interest (POIs) for automated address generation, but encounters issues with language localization, address formatting inconsistencies, and POI accuracy. Balancing address precision with user-friendliness and internationalization remains a key challenge.

(shkspr.mobi)
Development geolocation address resolution

Alisp: A Solo Open-Source Lisp Interpreter Nearing Common Lisp Compliance

2025-04-27

Alisp is a solo open-source project developing a Lisp interpreter aiming for Common Lisp conformance. It's already implemented a large portion of Common Lisp and includes a debugger and profiler. Written in C89 and licensed under GPLv3, the project is hosted on Savannah. Bug reports and suggestions are welcome, but patches are not currently accepted.

(savannah.nongnu.org)
Development

Elegant SQLite Multitenancy in Rails

2025-04-27

This article details the experience of building a multi-tenant application with Rails, where each tenant has its own isolated SQLite database. The author initially used traditional database connection management, leading to connection errors under high load. After much exploration, the author finally used the Rails 6+ `connected_to` method combined with a custom middleware to achieve safe and efficient tenant database switching, cleverly solving the problems of multithreading and connection pool management, and sharing tips for handling Rack streaming response bodies. This article is valuable for building high-performance, scalable multi-tenant applications.

(blog.julik.nl)
Development Multitenancy

Mind-blowing! These Unexpected Things Are Turing-Complete!

2025-04-27

From C++ templates to Magic: The Gathering, even PowerPoint—this article reveals a surprising array of seemingly simple systems that are, in fact, Turing-complete. The examples range from programming languages and hardware instruction sets to game mechanics and even image compression, showcasing the surprising ubiquity of Turing completeness and its unexpected applications. Some examples even leverage bugs or vulnerabilities to achieve unexpected computational power. Prepare to be amazed!

(beza1e1.tuxen.de)
Development

Elm Compiler Reminders: A Powerful Tool for Maintainable Code

2025-04-27
Elm Compiler Reminders: A Powerful Tool for Maintainable Code

Elm's compiler reminders, though often overlooked, are a crucial feature for maintaining code. They trigger compiler errors when code changes necessitate simultaneous modifications elsewhere, guiding developers to make the necessary adjustments. The article uses a simple counter example to demonstrate how following compiler hints leads to robust, working code, embodying the principle of "if it compiles, it works." This "compiler-driven development" approach, coupled with type checking and exhaustiveness checks, significantly enhances maintainability. The discussion expands to cover other types of reminders, such as linter hints, and how custom rules can create context-specific reminders. Ultimately, the article stresses the importance of leveraging various reminder mechanisms in highly maintainable codebases.

(jfmengels.net)
Development compiler reminders

Linus Torvalds Slams Case-Insensitive Filesystems

2025-04-27

Linus Torvalds, creator of the Linux kernel, unleashed a scathing critique on case-insensitive file systems. He argued that such functionality is fundamentally flawed, citing numerous security vulnerabilities stemming from poor implementations. Many programs rely on case-sensitive filenames for security checks, and flawed case-insensitive implementations can bypass these checks, leading to serious security risks. Torvalds urged filesystem developers to abandon this flawed approach, emphasizing that case-sensitivity is the correct design choice.

(www.phoronix.com)
Development

9front OS 11091 Released: Major Improvements and New Features

2025-04-27

The 9front operating system has released version 11091, featuring numerous updates. These include an improved snapshot scheduler, a new Intel i225 2.5 GbE driver, AMD Ryzen CPU temperature support, a Unicode 16.0 normalization interface in libc, and support for multiple architectures (x86, amd64, arm64). Furthermore, the release boasts extensive improvements to compilers, libraries, and programs, such as AWK's support for a new rc-quote format, and bug fixes and performance optimizations across various programs. Multiple installation media are provided for PC, Raspberry Pi, MNT Reform, and QEMU.

(9front.org)
Development

Seasoned Developer Seeking New Opportunities: Job Hunting & Consulting

2025-04-27
Seasoned Developer Seeking New Opportunities: Job Hunting & Consulting

After four years at Oracle, the author finds himself job hunting and exploring new avenues. He's a seasoned developer proficient in Ruby/JavaScript, product documentation, and developer relations, actively seeking employment while offering consulting services, particularly in Mac/Unix automation. He plans to relaunch blog sponsorships, leveraging his established readership and strong Google ranking to find a suitable role or consulting project.

(brettterpstra.com)
Development consulting

Free Interactive C Tutorial Launched

2025-04-27
Free Interactive C Tutorial Launched

learn-c.org has launched a free interactive C programming tutorial. Whether you're a beginner or experienced programmer, this website is designed for anyone who wants to learn C. No downloads are required; simply click on a chapter to begin. The site is still under construction, and contributions are welcome.

(www.learn-c.org)
Development

Dolt's go-mysql-server at Five: A Query's Journey

2025-04-27
Dolt's go-mysql-server at Five: A Query's Journey

This post reflects on five years of Dolt using go-mysql-server, detailing the inner workings of its SQL engine. It walks through a query's journey from parsing to result spooling, encompassing parsing, binding, plan simplification, join exploration, cost-based optimization, and execution. Dolt employs a left-recursive parser and bottom-up dynamic programming for query plan optimization, selecting the optimal execution strategy using a cost model. The post also discusses memory management and future optimizations, such as unifying intermediate representations and reducing memory churn.

(www.dolthub.com)
Development
1 2 … 102 103 104 106 108 109 110 … 214 215