Research into logic, simulation, and machine reasoning.
We build practical tools for modeling logic and computation, alongside a longer-horizon research effort into AI systems that can reason about the physical world, using mathematics as their native language eliminating human bisa.
[ learn more ]Theta R&D is about discovery. We build real tools, including a circuit simulator, a systems utility, and hopefully more. Alongside that, we're doing research into models that learn physical intuition by using math as there language
lgsim
A browser-based logic gate simulator, built for speed.
Rust compiled to WebAssembly drives real-time simulation of logic circuits: drag gates, wire them together, and watch signals propagate instantly. Undo/redo and reusable blueprints are built in. Free to use, with a shared build gallery on the way.
Open the sandbox →theta-core
Asking whether a model can recover physical laws directly from raw measurement data, no equations given in advance. Early results are promising across a handful of classical and quantum benchmarks; still very much a work in progress.
Research prototypefs-explorer
A fast, native tool that scans a drive and visualizes what's taking up space: search by name or type, browse a heatmap file list, and flag old or oversized files.
Open →