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

Category: Development

Efficient German Language Learning: Is Anki the Answer?

2024-12-21
Efficient German Language Learning: Is Anki the Answer?

An engineer living in Germany for eight years confesses to still not knowing the language. To remedy this, they're trying Anki, leveraging spaced repetition to learn 10 new German words daily – aiming for C1 level proficiency within a year. They chose a frequency-ordered Anki deck, adding audio pronunciations themselves. The author invites readers to share their Anki experiences and German learning tips.

(www.argpar.se)
Development German learning Spaced Repetition

Saying Goodbye to C String Vulnerabilities: A Safer String Handling Approach

2024-12-21

Tired of C string vulnerabilities and insecurity? This article introduces a clever alternative: a custom string struct `struct str`, which contains a data pointer and length, avoiding the risks associated with null termination. The author's six-month experience in a bare-metal environment demonstrates that this approach effectively prevents errors such as buffer overflows. While using the macro `STR` is slightly verbose, the increase in safety and readability far outweighs this. Compiler optimizations also make the performance loss negligible, offering a new approach for developers prioritizing code security.

(thasso.xyz)
Development C language string handling

How an AI Code Review Bot Learned to Shut Up

2024-12-21
How an AI Code Review Bot Learned to Shut Up

Greptile's AI code review bot initially faced criticism for generating excessive comments. To address this, they experimented with prompt engineering and having the LLM evaluate its own comments, but these methods proved ineffective. Their breakthrough came from vectorizing past comments, clustering them in a vector database, and filtering out new comments similar to those previously downvoted. This approach boosted the developer address rate from 19% to over 55%, significantly reducing LLM noise.

(www.greptile.com)
Development Code Review

Aegisub Subtitle Editor 3.4.0 Released!

2024-12-21
Aegisub Subtitle Editor 3.4.0 Released!

Aegisub 3.4.0 has been released! This free, cross-platform, open-source tool makes creating and editing subtitles quick and easy. It features powerful styling tools and a built-in real-time video preview. Perfect for both seasoned subtitlers and newcomers.

(aegisub.org)
Development subtitle editor

Implementing Raft: A Deep Dive into Distributed Consensus

2024-12-21

This is the first post in a series detailing the Raft distributed consensus algorithm and its Go implementation. Raft solves the problem of replicating a deterministic state machine across multiple servers, ensuring service availability even with server failures. The post introduces core Raft components: the state machine, log, consensus module, leader/follower roles, and client interaction. It discusses Raft's fault tolerance, the CAP theorem, and the choice of Go as the implementation language. Subsequent posts will delve into the algorithm's implementation.

(eli.thegreenplace.net)
Development Distributed Consensus

Gazzetta: A New Mastodon News Reader

2024-12-21

Gazzetta is a revolutionary news reader designed specifically for Mastodon. Unlike other Mastodon clients that prioritize the social network experience, Gazzetta functions more like an RSS reader for the platform. It provides a separate interface, allowing users to focus solely on reading news and links. Features include following servers and accounts to see trending links, full-text search, integration with Safari's view controller, bookmark management, link exporting, and extensive customization options such as font styles, hiding thumbnails, and filtering links by domain, keyword, or language.

(primatology.xyz)
Development News Reader

S2: Revolutionizing Stream Data Storage in the Cloud

2024-12-21

Bandar Systems introduces S2, a novel stream data storage service designed to revolutionize data processing in the cloud era. Unlike traditional object-based storage, S2 centers around streams, offering efficient, scalable, and cost-effective real-time data ingestion and processing. It supports high-throughput, low-latency read and write operations and provides multiple storage classes to meet varying performance and cost requirements. S2 aims to replace systems like Kafka and Kinesis, providing users with a more powerful and flexible stream data management solution.

(s2.dev)
Development stream data storage cloud native serverless

Parasite SEO Operator Evaded Google Penalties with Finesse

2024-12-21

This article exposes how parasite SEO operator Finixio/Clickout Media swiftly and effectively evaded Google penalties. Following a Google algorithm update, several Finixio/Clickout Media websites faced severe penalties for violating Google's site reputation abuse policy, resulting in plummeting traffic and rankings. However, through clever use of redirects and cloaking techniques, they restored their operations within days and continued profiting from their parasite website network. They even expanded their operations after being penalized, leveraging new websites and existing high-authority sites (like CoinTelegraph) to continue promoting gambling and cryptocurrency. The article details their strategies, including using geolocation to hide content and placing content on various platforms. It points out that the root cause of this phenomenon is Google's weakening of topical authority in its algorithms, making domain authority the primary ranking factor.

(recleudo.com)
Development parasite SEO Google penalties site reputation

AP5 Reference Manual: A Logic-Based Extension to Common Lisp

2024-12-21

AP5 is an extension to Common Lisp that allows users to "program" at a more "specitional" level, focusing on what the machine should do rather than how. It combines aspects of Lisp and the Gist specification language, incorporating compilable parts of Gist and offering annotation mechanisms for performance tuning. AP5 uses a relational model to represent data and supports a first-order logic language for data access and manipulation. Programmers define relations, rules, and constraints, optimizing performance through annotations. The manual details AP5's syntax, database operations, rules, types, equivalence, and implementation specifics, providing numerous examples and explanations.

(www.ap5.com)
Development Logic Programming Relational Database

FindMy.py: An All-in-One Python Library for Querying Apple's FindMy Network

2024-12-21
FindMy.py: An All-in-One Python Library for Querying Apple's FindMy Network

FindMy.py is a Python library providing everything needed to query Apple's FindMy network. It unifies the fragmented Find My ecosystem, offering a cross-platform solution supporting various devices (AirTags, iDevices, etc.) and authentication methods (including SMS and Trusted Device 2FA). It features both async and sync APIs. Currently in Alpha, the API may change, but core functionality is stable.

(github.com)
Development

MarkItDown: Free Online Markdown Converter

2024-12-21
MarkItDown: Free Online Markdown Converter

MarkItDown is a free online tool that converts various file formats (like Word, PDF, HTML, etc.) into standard Markdown. Powered by Microsoft's open-source Markitdown project, it offers fast and reliable conversions, perfect for bloggers, note-takers, and technical writers. No downloads or installations are required; simply upload your file and get clean, organized Markdown output. It's a secure and efficient way to manage your content.

(markitdown.pro)
Development online tool

Technical Debt vs. Technical Assets: A Wise Investment Strategy

2024-12-21
Technical Debt vs. Technical Assets: A Wise Investment Strategy

This article explores the difference between technical debt and technical assets. Technical debt, similar to financial debt, represents code issues that must be addressed, such as bugs and poor code readability, hindering development efficiency. Technical assets, on the other hand, are proactive investments in known problems, like building high-quality SDKs, reducing future maintenance costs and increasing development freedom. The article advises prioritizing the repayment of technical debt before investing in technical assets, leveraging proven processes and technologies to avoid accumulating technical debt and ultimately achieving higher development efficiency and product quality.

(liblab.com)
Development technical debt technical assets

Rules to Avoid Common Extended Inline Assembly Mistakes

2024-12-21

This article isn't an inline assembly tutorial, but rather a summary of six rules to avoid common mistakes. The author emphasizes that inline assembly is treacherous and should be avoided whenever possible, as modern compilers offer intrinsics and built-ins for most use cases. If unavoidable, the rules are: use the `volatile` qualifier; use a `memory` clobber if accessing memory; never modify input constraints; never call functions from inline assembly; don't define absolute assembly labels; and use the assembler's local label feature to avoid label conflicts. The article concludes by encouraging readers to practice applying these rules by reviewing online tutorials and even LLM-generated code.

(nullprogram.com)
Development inline assembly compiler

NoDB: Processing Payments Without a Database

2024-12-21
NoDB: Processing Payments Without a Database

Alvaro Duran's "The Payments Engineer Playbook" introduces a revolutionary approach to payment system design: processing payments without a database. He argues that the prevalence of asynchronous programming stems from the assumption of database necessity. Using event sourcing, each step in the payment process is recorded as an event, not as a persistent state. These events are temporarily stored in memory, and the system reconstructs the payment status from the event stream, eliminating the need for persistent storage. This high-performance, high-reliability approach, inspired by high-frequency trading, allows for quick recovery from outages through hot backups. The article details this concept using a payment flow example and looks toward future applications in payment systems.

(news.alvaroduran.com)
Development Event Sourcing Databaseless Payments High-Frequency Trading

@celine/bibhtml v3.0.3: A Web Components-Based Referencing System

2024-12-21
@celine/bibhtml v3.0.3: A Web Components-Based Referencing System

@celine/bibhtml, a Web Components-based referencing system for HTML documents, has released version 3.0.3. It aims to provide a user experience similar to LaTeX/BibTeX referencing, using Citation.js under the hood and gracefully degrading when citations and references are malformed or JavaScript is disabled. Supporting BibTeX, unstructured text, DOI, and Wikidata formats, it offers three custom elements: ``, ``, and ``, simplifying reference management in HTML.

(maxbo.me)
Development Reference Management

Groundbreaking Advance: Safely Compiling C to Rust

2024-12-21
Groundbreaking Advance: Safely Compiling C to Rust

Researchers have developed a novel method for safely compiling C code into Rust. This technique utilizes static analysis and type-directed translation to avoid reliance on Rust's `unsafe` blocks, thus guaranteeing memory safety. The method has been successfully applied to code from the HACL* cryptographic library and EverParse libraries, resulting in an 80,000-line pure Rust verified modern cryptographic library—a first of its kind.

(arxiv.org)
Development C compilation

Programmer Creates Pseudo-3D Game in Bash

2024-12-20
Programmer Creates Pseudo-3D Game in Bash

A programmer, izabera, has developed a surprisingly impressive pseudo-3D game using the Bash scripting language. This project, a homage to the classic game Wolfenstein 3D, is open-source on GitHub. The code is concise yet the result is stunning, showcasing the power of Bash and the programmer's ingenuity. The repository includes the game source code and demonstration videos. Developers interested in learning more can check it out on GitHub.

(github.com)
Development Game Development

Monorepo Build Tools: Scaling Your Codebase

2024-12-20

Traditional build tools struggle with large codebases (100-10,000 active developers). Monorepo build tools like Bazel and Mill offer solutions by supporting multiple languages, custom build tasks, automatic caching and parallelization, remote caching and execution, drastically improving build speed and efficiency. They also feature dependency-based test selection and build task sandboxing, reducing testing time and non-determinism. While these features might seem unnecessary for small projects, they are crucial for large-scale collaboration and continuous integration in larger projects, preventing build times from becoming a bottleneck.

(mill-build.org)
Development build tools scalability

DOS APPEND Command: Bridging the Gap Between Old and New

2024-12-20

While reconstructing the DOS 2.11 source code, the author encountered a challenge: the ancient MASM 1.25 assembler lacked directory support, clashing with modern file organization using a tree structure. To avoid a monolithic directory, the author cleverly employed the DOS APPEND command. APPEND is a TSR (Terminate and Stay Resident) program that intercepts system calls like file opening and searches a predefined path list if the file isn't found in the current directory. This allowed MASM 1.25 to locate files within the hierarchical structure, resolving the incompatibility and highlighting APPEND's surprising utility in specific scenarios.

(www.os2museum.com)
Development

io_uring Gains New Process Creation Functionality

2024-12-20

LWN.net reports on the development of a new process creation feature for the io_uring subsystem. This functionality is implemented via two new io_uring operations: IORING_OP_CLONE, which creates a new process, and IORING_OP_EXEC, which performs an execveat() system call to load a new program. This promises increased efficiency and allows for more complex logic, such as path searching, to be executed asynchronously within the kernel. However, the feature is still in its early stages and has limitations, such as requiring synchronous execution of io_uring operations within the new process. Future development aims to increase flexibility and eventually merge the feature into the mainline Linux kernel.

(lwn.net)
Development process creation Linux kernel

Grayjay App: Follow Creators, Not Platforms

2024-12-20

Grayjay is a multi-platform video player that aggregates content from YouTube, PeerTube, Twitch, and more, eliminating the need to switch between different platforms. Prioritizing user privacy, it stores watch history locally and offers data import/export and auto-backup. Features include a personalized content feed, screen casting, and Harbor integration for connecting with audiences and monetizing content.

(grayjay.app)
Development video player cross-platform

Google's Gemini Code Assist Adds Third-Party Tool Integration

2024-12-20
Google's Gemini Code Assist Adds Third-Party Tool Integration

Google announced support for third-party tools in Gemini Code Assist, its enterprise-focused AI code completion service. This allows integration with tools like Jira, GitHub, and Sentry via plugins, reducing context switching and boosting developer productivity. Currently in private preview for Google Cloud partners, this feature directly competes with GitHub's Copilot Enterprise, though Google highlights advantages like on-premises codebase support. The addition of tools aims to streamline workflows and enhance efficiency for developers.

(techcrunch.com)
Development AI code assistant third-party tool integration

Sovereign Tech Fund Invests in OpenStreetMap

2024-12-20

The OpenStreetMap Foundation received a €384,000 grant from the Sovereign Tech Agency to ensure the stability, growth, and modernization of its core software. This funding will be used to update code, improve documentation and testing infrastructure, and enhance core infrastructure, including addressing vandalism and exploring new data interaction methods. Two new roles will be created, including an OSM Core Software Development Facilitator to coordinate developer efforts and foster community contributions.

(blog.openstreetmap.org)
Development Sovereign Tech Fund

Rerun 0.21 Update: Graph View, Drag & Drop, and Undo

2024-12-20
Rerun 0.21 Update: Graph View, Drag & Drop, and Undo

Rerun 0.21 introduces a highly anticipated Graph view, along with drag-and-drop functionality and undo capabilities. The new view, built using GraphNodes and GraphEdges archetypes, visualizes various graph structures like ROS graphs and semantic scene graphs. This release also implements time-travel-based undo and features a new force-based graph layout engine, Fjädra, significantly enhancing user experience.

(rerun.io)
Development Graph View

Open-Source Game Engine boardgame.io Simplifies Turn-Based Game Development

2024-12-20
Open-Source Game Engine boardgame.io Simplifies Turn-Based Game Development

boardgame.io is an open-source JavaScript game engine designed to simplify the development of turn-based games. By automatically handling complex aspects like state management, multiplayer networking, and AI opponents, developers can focus on writing game logic. The engine supports multiple game phases, lobbies for matchmaking, prototyping capabilities, and various view layer technologies (such as React and React Native). Its powerful plugin system and traceable game logs further enhance development efficiency and player experience.

(github.com)
Development turn-based game

WordPress.org Pauses Services for Holiday Break

2024-12-20

To give volunteers a holiday break, WordPress.org is temporarily pausing several free services: new account registrations, new plugin/theme submissions, and new photo directory submissions. Forums and localization remain open. Founder Matt Mullenweg explains that legal battles with WP Engine are consuming significant time and resources, hindering his work on WordPress improvements. He urges support for WordPress.org and suggests using alternative web hosts not involved in the litigation.

(wordpress.org)
Development Holiday Break Legal Battle

Visualizing Concurrency: A Guide to Understanding Program State Space

2024-12-20

Concurrent programming is notoriously complex due to the difficulty of enumerating all possible states. This article uses visualization to explain how to understand the mechanics of concurrent program execution. It begins by introducing the concept of program state, which is a combination of variable values and instruction location, and then demonstrates the transition process of program states and the generation of state space using a simple C-like program example. The article then introduces concurrent programs, and, using two concurrently executing programs, P and Q, it explains how to represent the state of a concurrent program and the construction of the state space. Finally, the article explores how to use the model checking tool SPIN and the LTL language to verify the correctness of concurrent programs, highlighting the important role of model checking in ensuring the correctness of concurrent programs.

(wyounas.github.io)
Development state space model checking

How Browsers Interpret 'chucknorris' as a Color

2024-12-20
How Browsers Interpret 'chucknorris' as a Color

This article explores how browsers handle invalid color values in HTML, such as interpreting 'chucknorris' as red. The author explains the browser's tolerance in parsing HTML, attempting to convert invalid values into valid ones. The process of how browsers parse invalid color values is described, with a CodePen link provided demonstrating the process. The author argues that this browser tolerance is a charm of the web, allowing even invalid code to run, showcasing the web's resilience.

(htmhell.dev)
Development HTML parsing color values browser tolerance

Python Weekly Roundup: Markitdown Released, Conda Package Management Debate Heats Up

2024-12-20

This week's Python news includes the release of Microsoft's Markitdown (a tool for converting files to Markdown), PDFMathTranslate (a scientific paper translation tool), and docling (a document preparation tool). Additionally, PEP 768 proposes adding a safe external debugger interface to CPython for real-time debugging. A heated discussion erupted regarding the complexities of Conda package management, analyzing its issues such as version conflicts, virtual environment management, and interactions with pip and setuptools. Finally, Markdown usage sparked a debate highlighting compatibility problems due to differences between various Markdown parsers.

(pyherald.com)
Development

GribStream: A Fast and Efficient Historical Weather Forecast API

2024-12-20
GribStream: A Fast and Efficient Historical Weather Forecast API

GribStream is a fast, efficient, and easy-to-use historical weather forecast API leveraging the National Blend of Models (NBM) and the Global Forecast System (GFS). It provides access to massive historical weather data; a single HTTP request can retrieve tens of thousands of hourly data points for months in seconds. The API supports various output formats (CSV, Parquet, JSON, etc.) and location queries. Its cost-effective pricing and powerful features allow developers to easily access the data they need without downloading and archiving.

(gribstream.com)
Development historical data
1 2 … 191 192 193 195 197 198 199 200 201 202