Skip to content
View futhr's full-sized avatar
:octocat:
:octocat:

Organizations

@myDevicesIoT

Block or report futhr

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
futhr/README.md

futhr

Generating code is getting cheaper. Deciding what should exist, defining its boundaries, and checking whether it works still take judgement. The work here starts with those questions. Agents help with implementation; architecture, review, and release decisions remain human responsibilities.

Fast is now table stakes. Fast and correct is the edge.

Thesis

Trust, interoperability, and unit economics shape the architecture. A model can propose an action; explicit contracts, durable state, and policy determine whether the system can carry it out and recover when it fails.

The libraries isolate recurring problems: booking rules, notification templates, API descriptions, credential generation, tool authority, payment and shipping state, and interface interchange. Each has a defined boundary with the application that uses it. Tests and formal checks establish specific properties within that boundary; a consuming product still needs its own validation.

Projects

  • Elixir and OTP: application libraries, agent security, and Web of Things infrastructure. Each package documents its runtime and supervision needs.
  • Ruby and Solidus: payment and shipping extensions for existing shops.
  • Rust: NUIF research into interface interchange and measurable conversion loss.
  • Ventures: Refpath, Rivure, Diggymon, WoTEx, Orvane, Reloved, and Äger, all in development and described as direction rather than released solutions.

Method

Write the intent and constraints before implementation. Keep decisions replayable where possible, with time and external effects passed through explicit boundaries. Record uncertain outcomes so recovery has a starting point. Review generated code against the same requirements as any other code.

Documentation, contracts, and tests belong beside the implementation. Claims should name what was checked and where the evidence stops.

Bootstrapped by default, built for durable ownership.

Pinned Loading

  1. ex_maude ex_maude Public

    ExMaude provides a high-level Elixir API for interacting with Maude, a powerful formal specification language based on rewriting logic.

    Elixir 2

  2. ash_oaskit ash_oaskit Public

    AshOaskit generates OpenAPI specifications from your Ash domains, supporting both 3.0 and 3.1 versions.

    Elixir 2 1

  3. exk_passwd exk_passwd Public

    ExkPasswd generates strong passwords by combining random words with numbers, symbols, and various transformations. This creates passwords that are both cryptographically secure and easier to rememb…

    Elixir 2

  4. doc_shell doc_shell Public

    Extract Elixir module docs, Markdown guides, Livebooks, and OpenAPI into versioned JSON — render it with anything.

    Elixir 1

  5. refpath/sigil_guard refpath/sigil_guard Public

    Native Elixir security runtime for MCP and agent-tool boundaries: policy gating, credential scanning, attestations, trust bundles, and audit trails.

    Elixir 1

  6. ex_booking ex_booking Public

    Deterministic booking for Elixir—DST-safe availability, resource assignment, validation, and lifecycle decisions without infrastructure.

    Elixir 2