AI-Built Tool Checks Raspberry Pi HAT Pin Conflicts Before You Stack Boards

·2 views

A developer named Anurag used the AI coding agent Claude Code to autonomously build 'Will It Stack', a web tool that determines whether Raspberry Pi add-on boards (HATs) can safely share a 40-pin GPIO header. The tool cross-references structured pinout data from pinout.xyz to detect hardware conflicts such as shared GPIO pins or duplicate I2C addresses, rather than relying on generative text responses. For example, it identifies that a Fan SHIM and Inky pHAT both claim GPIO 17, while an ADC Pi and RTC Pi can coexist if one chip's I2C address is remapped. The checker runs deterministically without consuming AI model quota, and the live agent interface is available free at will-it-stack.vercel.app with no login required. The project's source code has been released on GitHub under the MIT license, with imported hardware data carrying a CC BY-SA 4.0 license.

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)

Dev Builds Theatre Prop Continuity Tracker to Catch Staging Errors

A developer created Prop Continuity Desk, a rehearsal planning web app designed to help small theatre productions track the physical movement of props across scenes. The app is built around a fictional six-scene play with twelve props and detects two key mistakes: placing the same prop in two locations within one scene, and moving a prop between scenes without a recorded transfer cue. It uses Next.js, React, TypeScript, and Sanity as its content backend, with scene reviews stored in separate documents to avoid overwriting the data being reviewed. A practice-copy feature lets visitors explore the rules without altering the live production plan, and any exported cue sheet from a practice session is clearly labelled as such. The project was built using Codex starting 26 September 2026, with the AI proposing the scenario, writing the code, and running the tests under the account owner's authorization.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Sekura JS Explores Sharing Software Verification Proofs Without Exposing Source Code

Sekura JS is developing an approach that separates a software module's source code from its verification contract (SJV) and proof artifact (SJP), allowing developers to share evidence of formal verification without disclosing proprietary implementations. The SJV document specifies the properties a module claims to satisfy, while the SJP carries the mathematical evidence produced during verification. A third-party verifier can replay the stored SMT obligations using tools like Z3 or CVC5 to confirm their validity without ever seeing the underlying source code. However, the project acknowledges a key limitation: replaying an SJP can confirm that the mathematical proofs are valid, but cannot independently verify that those proofs were actually generated from the specific private codebase the developer claims. This creates an explicit trust boundary between the private source code and the proof artifacts exchanged between parties.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Where Game Development Budgets Actually Go, Explained by Category

Game development costs are typically split across five core categories: engineering, art and audio, design, QA and testing, and project management. Engineering tends to consume the largest share, usually between 40 and 50 percent, covering gameplay systems, networking, platform work, and performance optimisation. Art and audio follow at 20 to 30 percent, while design, QA, and project management each account for roughly 5 to 15 percent. These ranges are based on agency-scoped projects and shift depending on genre, platform targets, team structure, and scope. When budgets are limited, understanding which category drives the most complexity for a given project can help teams prioritise spending more effectively.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Why Organisations Must Modernise Ageing Educational Games Before They Vanish

Thousands of educational games built between 2000 and 2015 are becoming inaccessible due to obsolete technologies such as Adobe Flash, discontinued in December 2020, and legacy platforms like Java applets and early Unity builds. The shift in classroom devices toward Chromebooks, iPads, and smartphones has further rendered older games unusable, as they were designed for desktop monitors with mouse-and-keyboard input. Accessibility gaps are another pressing concern, with many legacy games failing to meet WCAG 2.2 standards published in 2023, leaving learners with disabilities unable to engage with the content. Institutions in the UK, US, and elsewhere also face legal obligations under laws such as the Equality Act 2010 and the ADA, making non-compliant content a potential liability. Modernising these tools is presented not as a discretionary upgrade but as a necessary step to preserve past educational investment and meet current technical, legal, and pedagogical expectations.

0 comments Read more at DEV Community