The Thiele Machine: A Formal Proof of a New Computational Model

Comments (2)

ThieleMachine · 6h ago

Author here. This repository contains the formal specification and reference implementation of a new model of computation. The core of the work is the formal proof in thielecpu/coq/ThieleMachine.v. This file contains the machine-checked proofs for two main theorems: 1. Turing-Completeness: The machine can simulate any Turing Machine. 2. The Paradox-Cost Theorem: The machine operates under a formal law where a detected logical contradiction corresponds to a provable, infinite information-theoretic cost (cost_of_paradox_is_infinite).* The Python code is a reference implementation designed for empirical testing. The README.md serves as the technical paper explaining the model and its implications. I invite you to review the formal proofs and the experimental results.

nabla9 · 6h ago

aislop

Show HN: Splice – CAD for Cable Harnesses and Electrical Assemblies (splice-cad.com)

Show HN: OS X Mavericks Forever (mavericksforever.com)

Show HN: Using Common Lisp from Inside the Browser (turtleware.eu)

Show HN: ChartDB Cloud – Visualize and Share Database Diagrams (app.chartdb.io)

Show HN: GPT-5 vs. Claude 4 Sonnet on 200 Requests Benchmark (github.com)

Show HN: I replaced vector databases with Git for AI memory (PoC) (github.com)

Show HN: Luminal – Open-source, search-based GPU compiler (github.com)

Show HN: I was curious about spherical helix, ended up making this visualization (visualrambling.space)

Show HN: PlutoPrint – Generate PDFs and PNGs from HTML with Python (github.com)

Show HN: Playing Piano with Prime Numbers (nabraj.com)

Show HN: SIMD-Optimized Bloom Filters in Mojo for Large-Scale Systems (github.com)

Show HN: Claudable – OpenSource Lovable that runs locally with Claude Code (github.com)

Show HN: Project management system for Claude Code (github.com)

Show HN: Tool shows UK properties matching group commute/time preferences (closemove.com)

Show HN: Anchor Relay – A faster, easier way to get Let's Encrypt certificates (anchor.dev)

Show HN: Convosphere – Real-life proximity chat (convosphere.app)

Show HN: Chat with Your Wearables Data (getfast.ai)

Show HN: Nestable.dev – local whiteboard app with nestable canvases, deep links (nestable.dev)

Show HN: Tap – Interactive CLI Prompts for Go (Clack Port) (github.com)

Show HN: Typed-arrow – compile‑time Arrow schemas for Rust (github.com)

Show HN: Bizcardz.ai – Custom metal business cards (github.com)

Show HN: Strudel Flow, a pattern sequencer built with Strudel and React Flow (github.com)

Show HN: Whispering – Open-source, local-first dictation you can trust (github.com)

Show HN: OpenAI/reflect – Physical AI Assistant that illuminates your life (github.com)

Show HN: I built an app to block Shorts and Reels (scrollguard.app)

Show HN: I've made an easy to extend and flexible JavaScript logger (github.com)

Show HN: I built a toy TPU that can do inference and training on the XOR problem (tinytpu.com)

Show HN: HN – Hacker News in Your Terminal (github.com)

Show HN: What country you would hit if you went straight where you're pointing (apps.apple.com)

Show HN: Okapi – a metrics engine based on open data formats (github.com)

Show HN: 100% Free photo to drawing converter, No signup (picturetodrawing.org)

Show HN: Fractional jobs – part-time roles for engineers (fractionaljobs.io)

Show HN: Uprintf a universal stb-style printf implementation for C (no OS)

Show HN: A simple open-source CLI tool for generating invoices from the terminal (github.com)

Show HN: Weam – open-source AI collaboration platform for teams (github.com)

Show HN: We started building an AI dev tool but it turned into a Sims-style game (youtube.com)

Show HN: Database of >2M creators and brands grouped into categories (infldb.com)

Show HN: Chroma Cloud – serverless search database for AI (trychroma.com)

Show HN: MCP Server for PostgreSQL Monitoring/Operations (MCP-PostgreSQL-Ops) (github.com)

Show HN: Rubberduck – Open Source Tool to Emulate OpenAI/Anthropic APIs Locally (github.com)

Show HN: Hanaco Weather – A poetic weather SNS from the OS Yamato project (github.com)

Show HN: Mobile Use – Open-source agent that uses any mobile app like a human (github.com)

Show HN: Resignation Letter：I built a website can generate resignation letter (resignation-letter.net)

Show HN: OverType – A Markdown WYSIWYG editor that's just a textarea

Show HN: Infinite Tetris Grid (lazyblocks.xyz)

Show HN: Doxx – Terminal .docx viewer inspired by Glow (github.com)

Show HN: Edka – Kubernetes clusters on your own Hetzner account (edka.io)

Show HN: unsafehttp – tiny web server from scratch in C, running on an orange pi (unsafehttp.benren.au)

Show HN: Prime Number Grid Visualizer (enda.sh)

Show HN: Because I Kanban (taskstax.com)

The Thiele Machine: A Formal Proof of a New Computational Model

Comments (2)