SShortSingh.
Back to feed

Estonia publishes source code of its online voting system on GitHub

0
·1 views

Estonia has released the source code for its internet voting system through a public GitHub repository. The project, named ivxv, makes the software behind the country's online elections available for public inspection. Publishing the code allows developers and security researchers to examine how the system works and to look for potential weaknesses. The release was highlighted on Hacker News, where it drew a modest level of attention from the community.

Read the full story at Hacker News

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

Discussion (0)

Log in to join the discussion and vote.

Log in

Related stories

0
ProgrammingDEV Community ·

Re-run of MCP tool-poisoning scanner benchmark adds two scanners and 14,933 npm/PyPI tool lists

The team behind the WARDEN MCP scanner repeated its earlier comparison, expanding it from three scanners to five and from 986 remote servers to 14,933 npm and PyPI tool lists. All scanners were run in a gVisor container with networking disabled. WARDEN's ruleset update from v10 to v12 produced identical verdicts on every test set, and the two other scanners reproduced their earlier results exactly. The authors also checked that no rules written after v10 had seen the held-out benchmark data, finding no overlap. Several hosted tools were excluded because they send servers to external services for scoring, which prevents an offline comparison.

0
ProgrammingDEV Community ·

Migrating ledgers: tying opening balances to bank statements and uncleared items

When a business moves its books to a new provider, the opening ledger starts from the old provider's closing balance sheet. Each bank and card balance must match the bank's printed statement for the cutover date, adjusted for uncleared items such as an uncashed check. The author's rule is that the difference must be zero, and any unexplained gap signals a problem in the old books. The approach uses Decimal arithmetic in Python to avoid rounding errors that could mimic real discrepancies. If a gap cannot be explained, the advice is to trace back month by month to find where it first appeared rather than plugging it to equity.

0
ProgrammingDEV Community ·

InboxWall: Local MCP Server Sanitizes Email HTML to Block Prompt Injection

InboxWall is an open-source Model Context Protocol server that cleans email HTML before an AI agent reads it, guarding against prompt injection. Attackers can hide instructions in emails using invisible CSS text, manipulative Unicode characters, or HTML comments that only appear in raw source. The tool exposes a single function that takes raw email HTML and returns plain text with styles, scripts, hidden characters, comments, and risky attributes removed. It runs entirely on the user's own machine, so email content is never sent to a third-party service, though the agent must manage the server as a separate process. The project's core design choice is to treat sanitization as a security boundary outside the language model's trust zone.

0
ProgrammingDEV Community ·

Akiflow's Time-Blocking Design Reveals Scheduling Primitives Useful for AI Agents

Akiflow, a tool that merges tasks with calendar availability, has drawn developer attention after its YC launch and a Hacker News discussion. The article argues that the infrastructure behind its drag-and-drop interface resembles what AI agents need to schedule their own execution windows. It highlights three challenges: orchestrating calendar APIs with differing sync latencies and rate limits, solving scheduling as a constraint-satisfaction problem, and structuring tasks with machine-readable metadata. The author proposes a layered architecture for agent scheduling that includes a scheduling engine, a task metadata store, calendar sync adapters, and an execution runtime.

Estonia publishes source code of its online voting system on GitHub · ShortSingh