Zeroed Budgeting App Uses Google Drive and AES-256 to Sync Data Without a Server

·1 views

Zeroed, a pay-once envelope budgeting app for Windows and Android, stores financial data in an encrypted SQLite database locally on the user's device, with the encryption key never transmitted externally. To enable cross-device sync without operating its own servers, the app uploads an AES-256 encrypted database to a dedicated folder in the user's personal Google Drive. Zeroed requests only the drive.file permission scope, restricting its access solely to files it has created. Because encryption and decryption occur entirely on the user's device, neither Zeroed nor Google can access the underlying financial data. The app's license verification also works through the same Google Drive folder, eliminating activation servers and device limits.

Read the full story at DEV Community

This is an AI-generated summary. ShortSingh links to the original source for the complete article.

Discussion (0)

CSS :focus-visible Makes outline:none Safe for Accessibility Since 2020

Removing the default focus outline with 'outline: none' may look cleaner visually, but it fails WCAG 2.4.7 by leaving keyboard users unable to identify which element is focused. Before 2020, developers relied on JavaScript workarounds to show focus rings only for keyboard navigation, which added overhead and could produce inconsistent results. The CSS pseudo-class ':focus-visible', introduced in Chrome and Edge in October 2020, solves this natively by using the browser's own heuristic to determine whether focus was triggered by a keyboard or a pointer. By pairing 'outline: none' on ':focus' with a custom outline on ':focus-visible', developers can suppress the ring on mouse clicks while preserving it for keyboard users — no JavaScript required. Full support across all major evergreen browsers was achieved by 2022, making the old JavaScript-based approach largely unnecessary.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

How to Build a Verification Pipeline for AI-Generated Math Solutions

Developers, students, and technical writers using AI math assistants face a core challenge: determining whether each step in a solution preserves the original problem's meaning. A practical verification pipeline covering algebra, geometry, calculus, probability, and word problems can address this, and is designed to work across notebooks, scripts, or browser-based tools. The process begins with accurately capturing the problem prompt — including transcription of images and resolving symbol ambiguities — before any solving begins. Solvers are advised to define an 'output contract' upfront, specifying required domains, units, and constraints, so intermediate results are not mistaken for final answers. Each solution should be treated as a candidate and verified through step-by-step traces, with attention to non-reversible transformations such as squaring both sides or dividing by unknown-sign expressions.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Developer Builds AI Agent That Investigates Bugs, Writes Fixes, and Opens Pull Requests

A developer has built Auto-Patch Agent, an AI-powered tool designed to automate the full incident response workflow from bug investigation to code fix and review. The agent uses TrueForge for orchestration and Google's Gemini model to analyze a repository, identify the root cause of a failure, and propose a targeted code change. To demonstrate the system, the developer set up a Node.js order service with a bug that caused HTTP 500 errors when an invalid customer ID was passed, which the agent successfully diagnosed and patched. The fix was committed to a separate branch and submitted as a GitHub Pull Request, where Qodo independently reviewed the changes and reported zero bugs before the PR was merged. The project aims to show how AI agents can integrate into real engineering workflows rather than simply generating standalone code suggestions.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Engineering a Crypto Trading Bot: The Complex Pipeline Behind Every Order

A software developer building an open-source cryptocurrency trading bot called CryptoBot has detailed the engineering challenges involved in automating trades beyond basic strategy logic. The project, shared on GitHub, evolved from a simple trading script into a multi-stage system covering data ingestion, processing, signal generation, risk management, and execution. A key architectural insight from the project is that tightly coupling market data retrieval with trading strategy logic creates testing and maintenance problems as the codebase grows. The developer highlights that real-time data feeds via WebSockets introduce additional complexity, including connection failures, stale data, and the need for automatic reconnection and state restoration. The article argues that separating these responsibilities into distinct pipeline stages is essential for building a reliable, production-grade automated trading system.

0 comments Read more at DEV Community