Forty-six folders of work in progress
This is a shelf, not a product catalogue. Some of it is result-bearing research with experiments and numbers. Some of it is a design document. Some of it is speculative and says so in its own README. Every folder now has a full write-up, drawn from the source papers rather than the folder READMEs, with every claim listed next to the evidence behind it — including the ones that report a negative result. All of it is published under the GNU Affero General Public License (AGPL-3.0+), with commercial terms beside it.
Filter the shelf
46 of 46 shown
100 W noise generator
Design documentOne SystemVerilog file supervising a Chua-circuit analogue core, a four-band PA chain, supply DAC, thermal ADC and a sub-microsecond hard-protection state machine.
Full write-up →Boolean n = 3…8
Result-bearingA dimension-by-dimension census of Boolean function space from three to eight variables, tracking the fraction of genuinely irreducible functions from roughly a quarter to a virtual ceiling.
Full write-up →ARIA
Reference implementationAuthenticated encryption that derives the nonce from the message and session key instead of transmitting it, making sender/receiver drift structurally impossible.
Full write-up →Ashby Optimiser
Result-bearingN isolated search units at geometrically spaced radii, round-robin scheduled, with homeostatic restarts on stagnation — benchmarked honestly against random search and a (1+1)-ES.
Full write-up →ARIA-INTEL
Reference implementationA PMBM random-finite-set tracker with pattern-of-life modelling, eight tradecraft detectors and Bayesian threat scoring — 2,363 lines, NumPy and SciPy only, 28 ms per scan.
Full write-up →Battle Sim
SpeculativeA short survey of modern mathematical combat models — Hughes-style discrete salvos, extended Lanchester formulations, Markov-state battle models — with their equations and their caveats.
Full write-up →Hemp Harmony
Design documentA three-phase botanical cosmeceutical with every ingredient class substantiated from peer-reviewed clinical, in-vitro and ethnobotanical evidence rather than asserted.
Full write-up →CPU
SpeculativeA heterogeneous many-core architecture discussion paired with a SystemVerilog sketch that moves operating-system primitives — context switch, syscall dispatch, page-fault handling — into hardware.
Full write-up →Bar operations
Reference implementationFour native-botanical bases driving every infusion, syrup and bitters on the menu, with explicit timings, batch ratios, QC checkpoints and shift rhythms.
Full write-up →Izaac · GRIA · NMP
Result-bearingShared-PRF coordination, graded reversibility, and neural networks treated as measurable compression operators — unified under one information-theoretic vocabulary.
Full write-up →Diamond batteries
SpeculativeFour design series extrapolating the 2024 Bristol/UKAEA carbon-14 diamond cell toward utility scale, with the 400,000-tonne spent-fuel inventory as the feedstock argument.
Full write-up →UCDW
Design documentElectrochemical ion migration, thermal diffusion and ultrasonic assistance combined in an ionic-liquid substrate, spanning 77% to 99% of parent-metal strength across five operating regimes.
Full write-up →Depot delivery
SpeculativeA genuine pharmaceutics playbook — PLGA tuning bands, phase-inversion gels, Higuchi release kinetics, ICH Q8 framing — paired with invented compounds that the folder banner-flags as fiction on every page.
Full write-up →EREM · SPX
Design documentTwo lines: recasting national wealth into physical energy units to break the circular dependency on monetary institutions, and five models converging on a 2028–2029 window for a gamma unwind.
Full write-up →Babbage · Antikythera · TDC
Result-bearingBabbage’s difference engine, the Antikythera mechanism’s epicyclic gearing, and the WWII Torpedo Data Computer — each reconstructed as a benchmarked algorithm rather than a museum piece.
Full write-up →GH-SR-IMM
Result-bearingA heavy-tailed multi-target tracker that decouples outlier robustness from manoeuvre handling, reporting a 51.6% average GOSPA improvement.
Full write-up →Fungal Network Algorithm
Design documentA bio-inspired self-organising network where edges and weights are the consequence of input history rather than the storage medium, growing and pruning by purely local rules.
Full write-up →Future C++
SpeculativeA long design conversation about a compiled language with C++ syntax and modern guarantees — which opens by arguing modern C++ already covers most of the wishlist, then works out what is left.
Full write-up →GF(2) Algebra
Result-bearingFrom an exhaustive enumeration of all 16 binary operations to permutation polynomials, circuit optimisation and differentiable logic gates — including a uniqueness theorem for AND.
Full write-up →HSA
SpeculativeA three-phase genetic-modification programme written as engineering speculation, with tiered evidentiary disclaimers, a cumulative adverse-event table, and an opening banner declaring it theoretical and worldbuilding only.
Full write-up →LCRP
Design documentA survey-and-framework paper arguing that a small set of mechanisms — divide and conquer, tree representation, information-theoretic limits — accounts for most quadratic-to-log-linear reductions across seven fields.
Full write-up →Izaac protocols
Design documentA compact shared cryptographic state σ acts as a free broadcast channel — and twelve concrete protocols, from Byzantine consensus to coordinated differential privacy, are derived from that one observation.
Full write-up →UHPM
Result-bearingLocality-sensitive-hash memory and hierarchical predictive coding unified under a single free-energy functional, reporting a 289× query-latency speedup over full attention at 100K tokens.
Full write-up →Math survey
Reference implementationA research-grade survey of number theory through financial mathematics — foundational theory, landmark results of the past decade, open problems, and the cross-domain connections between them.
Full write-up →Modelling AES
Result-bearingA paired study attacking AES-128 from both directions with neural networks, reporting that neither works — and quantifying exactly how far short each falls.
Full write-up →SGF · Algebraic Autopsy
Result-bearingEvery efficient deep-learning technique reduced to one primitive — an online sufficient statistic on a curved manifold — plus a post-hoc diagnostic that reads a trained network’s implicit algebra off its weights.
Full write-up →Neural Decompiler
Reference implementationAn encoder–decoder Transformer with hierarchical memory and a load-balanced mixture of experts, reframing assembly-to-source recovery as a sequence modelling problem.
Full write-up →NQD
SpeculativeQuantum nanodiamond sensors at single-neuron proximity, read optically by ultrasound-powered CMOS motes that backscatter to a wearable array — no wires through the skull.
Full write-up →Hybrid components
Reference implementationMemristors, Josephson junctions, GMR and phase-change elements simulated across six phases — with a self-audit that found and published seven bugs in its own framework.
Full write-up →NLFGN-UFT
SpeculativeA variational non-local gravity programme keeping causal messaging at speeds ≤ c, plus an essay arguing superluminal recession is an interpretational split, not a failure of ΛCDM.
Full write-up →AusDike™
Design documentAn open-bottom self-ballasting levee panel taken from concept to tooling quote — 28 simulations, a buckling-governed wall, and one adverse finding the programme did not bury.
Full write-up →Prime meta-pattern
Result-bearingSix MLPs trained to classify primes across five orders of magnitude, interpreted from weights alone — they rediscover trial division on the 6k±1 lattice, and then lose to it by 30–80×.
Full write-up →QDMP
SpeculativeEngineered NV-centre arrays in a metamaterial diamond lattice, proposed as a structured thought experiment — with seven named scientific barriers assessed against the current literature.
Full write-up →QGO
Reference implementationFive auditable layers — spectral compression, Chebyshev encoding, simulated QAOA, noise-weighted ranking, spectral lift-back — each with a named verification function and an explicit error term.
Full write-up →RNG portfolio
Result-bearingTranscendental-constant DAG, Boolean LCG, dual-attractor chaos and counter-rotating turbulence — four generators with genuinely different failure modes, benchmarked separately.
Full write-up →HX-70 GradePlex
Design documentA functionally-graded carbide substrate, a five-layer coating stack, and a forge-to-machine supply chain — targeting the gap between where conventional inserts fail and where CBN geometries exist.
Full write-up →USG
Result-bearingGenerators shown to form a mathematical category under composition, with hash-based context compression that breaks the state-explosion ceiling that capped n-gram and HMM methods at three to five tokens.
Full write-up →Statistical Scheduler
Result-bearingFairness from a statistical CFS variant, placement quality from a contextual bandit, load balance from a PID loop — with formal guarantees for each and sub-millisecond measured placement latency.
Full write-up →Threat assessments
SpeculativeHypothetical intelligence briefs on identity-replacement tradecraft, neurological interference and an explosive mixture — written from open sources in the register such documents actually use.
Full write-up →UCN AIs
SpeculativeAny Purpose Networks, General Purpose Networks, Signal AI and two learning primitives — worldbuilding artefacts written in the register of a mathematical-foundations paper.
Full write-up →UCN
SpeculativeEight numbered papers covering constitution, economy, defence, IP, drug policy and foreign relations — every claim sourced, every incompatibility with current law acknowledged in the roadmap.
Full write-up →UN reform
SpeculativeA standing UN Defence Force under an elected Security Commissioner, argued from Charter articles and treaty law, with a closing section on why it probably will not be adopted.
Full write-up →VDJ
Result-bearingV(D)J recombination abstracted into five modules for one-shot learning and combinatorial generation, profiled to the millisecond and the kilobyte for embedded deployment.
Full write-up →VERITAS
Reference implementationNine theorems over binary pattern spaces, with PAC and ALT guarantees checked at runtime rather than argued offline — and a composition result showing the guarantees add.
Full write-up →Defence portfolio
Design documentThirty-plus platform folders in defence-engineering register, with the unusual discipline that every ballistic, thermal and lifecycle figure is generated by a single shared physics engine and cited back to it.
Full write-up →Police equipment
Design documentBody armour at a third the mass of the incumbent and a reduced-energy service pistol, both run through the same shared physics engine as the defence portfolio and both costed as procurement cases.
Full write-up →Four evidence levels, used consistently
Every write-up carries one of these, and a claims ledger that marks each individual number as measured, synthetic, derived, projected or cited.
Theory or design only. No in-house measurement.
Specified in detail; implementation partial or absent.
Code exists and runs. Performance not independently checked.
Experiments were run and the numbers are reported here.