apply your knowledge
Appstract Inventions is a human knowledge application company, based in the US northwest.
We make innovative tools to explore and sculpt domain interaction.
We believe in using the power of human knowledge to make a better future.
Bring us your dream!
Appstract R&D is led by Stu B.
) known by his online handle:
=> "Stu Btwotwo"
Stu's tech blog is
Outside The Rectangle
Typesafe Composition => Authorable AI
Strong Types = Express invariant concepts as formal structures
Pure Functions = Scale reliably, using lazy streams of immutable data
Explicit Schemas = Define domain data clearly, aligned with public specifications
Symbolic Maths = Leverage equations (algebra, calculus, diff-eqs) across analysis ecosystems
Interactive Adjustments = Empower humans to filter, tweak, and experiment
Verified Proofs = Validate formal system constraints during builds, or even at runtime
OutRect blog highlights (2020-2023)
Functional Domain Design
Streaming Analytics, Cloud Deployment
Knowledge Graphs, Models and Apps
Symbolic Solvers, Formal Proofs, Knowledge Representation
(below) Preview of interactive asset exploder - fake test data, not investment advice
(above) Preview of interactive asset exploder - fake test data, not investment advice
Open Source Software Prototypes
Active open source research code (Scala, RDF, JS) is available on
github. These two projects contain feature prototoypes overlapping with the concepts discussed in the OutRect blog posts above.
GravAx - Example analytical apps in Scala using our #AxLam method. Some recent work includes
Pure math-enabled calculation using Typelevel and ZIO 2.x lazy functional streams
Deployment in AWS serverless applications using AWS SAM, Lambda and DynamoDb
Streamed approximations to joint probability distributions on high-D vector spaces
AxioMagic - Dynamic tools for knowledge exploration, composed thru functions over curated model spaces of nouns.
This page contents Copyright 2019-2023 by Appstract.com