Developer Unveils Pudu, a New Statically Typed Language Targeting Services and Native Apps

·2 views

A developer named Chris Michael has created Pudu, a statically typed, expression-oriented programming language designed for building services, developer tools, and native applications. The project is approaching its first 0.1.0 pre-release and already includes a standard library, testing infrastructure, editor integration, and documentation. Pudu is built around the principle that program uncertainty — such as potential failures or absent values — should be made explicit through the type system rather than handled implicitly. The language emphasizes exhaustive pattern matching, meaning the compiler flags cases where newly added type variants are not handled in existing code. The source code is publicly available on GitHub, and the creator has begun sharing the language's design goals and long-term vision more openly.

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)

Laramod: A Lightweight Laravel Module System Built for Large Applications

A developer has released Laramod, a Laravel package designed to organise large applications into self-contained feature modules, each holding its own routes, controllers, models, migrations, and views. The tool addresses a common pain point where growing Laravel projects end up with hundreds of loosely related files sorted by type rather than by feature or purpose. Laramod was built after the author found existing solutions such as nWidart/laravel-modules and Laramod's lighter alternative too heavy or insufficiently flexible for their workflow. The package aims to let developers register a module with a single line, keep module configuration transparent and readable, and treat installed Composer packages identically to local modules. It draws conceptual inspiration from Django's app-based architecture and is designed to work with plain Laravel conventions without introducing proprietary abstractions.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Short-Lived AI Agent Tokens Can Limit Damage From Leaked Credentials

A September 2026 VentureBeat report found that exposed AI agent credentials were used to breach 395 organizations, highlighting how long-lived machine-to-machine tokens create serious security gaps. Unlike human passwords, AI agent credentials often remain valid for hours or days, meaning a leaked token stays exploitable long after it is compromised. A developer tested two agent configurations against identity provider Kinde — one using a static token valid for 24 hours and another that automatically rotates its token every 120 seconds before expiry. The rotating agent ensures that any stolen copy of its token becomes useless within minutes, dramatically shrinking the window of exposure. Both agents use the standard OAuth client-credentials flow, with Kinde's per-application token lifetime settings — not the grant type itself — determining how quickly each token expires.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Developer Builds 227,000-Match Football Odds Analysis Pipeline Using LLM Architecture

A developer spent six months building an open-source football data analysis pipeline called PitchQuant, processing over 227,000 historical matches to study what signals exist within betting odds. The system combines de-vigging, ELO ratings, Dixon-Coles Poisson modelling, and Kelly criterion calculations, with an LLM coordinating a strict multi-step inference process governed by 34 knowledge files and 238 automated checks. By combining individually weak statistical signals with calibrated weighting and rigorous backtesting, the pipeline improved directional accuracy from 48% to roughly 55%. Key findings include that Asian handicap movement is a stronger indicator than European odds alone, and that low-odds favourites with shallow handicap shifts win far less often than assumed. The project, released under an MIT licence on GitHub, is intended solely for academic research and explicitly does not claim to predict match outcomes.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Automation gap exposed: manual browser step silently stalled a 7-post cross-publishing queue

A five-step content cross-posting pipeline stalled for 72 hours with seven unmirrored articles, even though all automated components remained fully operational. The bottleneck was step four — a human or agent manually pasting content into a browser editor — which had been deliberately kept manual after the target platform moved its write API to a paid tier in May. The team had built automation around every adjacent task, shrinking the manual step to its minimum, but the manual step itself was simply not being completed. A monitoring system correctly flagged the backlog in amber for days, yet each session reviewing the dashboard assumed responsibility lay elsewhere since the automated steps were all green. The incident highlighted a process failure rather than a technical one: an amber alert requiring human action was repeatedly deferred because no session owned the incomplete manual step.

0 comments Read more at DEV Community