Skip to content
View ideatrino's full-sized avatar

Block or report ideatrino

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
ideatrino/README.md

Ideatrino

Offline-first, single-file tools and honestly-reported research prototypes.

I build small, self-contained things that do one job well — no build step, no dependencies, no network, usually one file you open and run. Plus the occasional research prototype whose write-up reports the failures as plainly as the wins.

Research

  • praxis — a unified free-energy cognitive architecture in pure NumPy. One quantity drives perception, action, memory, and self-monitoring; there is no reward function. Results are reported honestly: the causal structure-learning and continual-learning claims held up, the abstention and exploration claims were falsified.

Sterility & asepsis tools

Offline, zero-dependency browser tools that size a sterilization protocol from first principles and log the proof that the cycle worked. Three related takes:

  • asepsys — the full engine: minimum-sufficient dose, gentlest effective method, cheapest barrier stack, and a timestamped verification log.
  • aseptiq — the optimizer, distilled: the leanest protocol for a target sterility level, pricing in correlated barrier failures and over-treatment.
  • aseptica — the assurance toolkit: log-reduction and SAL calculations, a PASS/FAIL verdict, and an exportable cycle log.

Abstract strategy games

  • gyre — a two-player game on a hexagonal ring: bridge across or loop around. Zero luck, perfect information, and draws are mathematically impossible.
  • floe — a two-player game with no luck and no draws: spread your floe, freeze the water, and lock your opponent in.

Recurring themes: offline-first · single-file · zero-dependency · reproducible · honest about limits.

Pinned Loading

  1. sigil-lang sigil-lang Public

    A security-oriented programming language that enforces memory safety, information-flow, constant-time, and capability guarantees from one type discipline — with noninterference machine-checked in L…

    Python 1

  2. praxis praxis Public

    A unified free-energy cognitive architecture in pure NumPy. One quantity drives perception, action, memory, and self-monitoring — no reward function. Research prototype with honestly-reported resul…

    Python 1

  3. gyre gyre Public

    An original two-player abstract strategy game on a hexagonal ring — bridge across or loop around. Draws are mathematically impossible. Zero luck, perfect information, swap-rule fairness.

    JavaScript

  4. derivation-and-selection derivation-and-selection Public

    An exactly solvable coupled-map lattice as a case study in the limits of derivation — from spatiotemporal chaos to a Theory of Everything. A synthesis-and-perspective paper.

    TeX

  5. weft weft Public

    A conversation isn't a timeline — it's a partial order. WEFT is a working, tested messenger that keeps the structure.

    Python

  6. firewall-bridge firewall-bridge Public

    An orchestration-layer firewall that neutralizes LLM prompt injection (94.4% on a 20-attack red-team battery) and Ed25519-signs every turn — plus a ChatGPT-style chat app that runs locally with no …

    Python