《接口》科幻小说 | Science fiction novel "Interface" Author: Felix
-
Updated
Mar 23, 2026
#
interface-theory
Here are 4 public repositories matching this topic...
This project studies whether evolution favors agents tuned to fitness rather than objective reality - a question central to Donald Hoffman's interface theory of perception. It extends the classic "Robby the Robot" problem (Melanie Mitchell) using genetic algorithms and neuroevolution in both 2D and 3D environments.
neuroevolution evolutionary-algorithms agents generic-algorithm interface-theory melanie-mitchell donald-hoffman evolution-of-perception evolution-of-representational-structures
-
Updated
May 25, 2026 - Python
A corrected implementation of correctness so that a correct predicate is understood naturally and also universally.
haskell haskell-library correctness correctness-evaluation formal-specification determinism existentialism correctness-proof formally-verified-systems interface-theory
-
Updated
Jul 8, 2026
Lean 4 formal library for interface-event theory, OLean boundary checking, claim passports, and TLFL proof-state self-modeling with Z3/Vampire/E mirrors.
theorem-proving proof-assistant lean z3 formal-methods tmi e-prover lean4 interface-theory vampire-prover formal-library
-
Updated
Jul 8, 2026 - Lean
Improve this page
Add a description, image, and links to the interface-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the interface-theory topic, visit your repo's landing page and select "manage topics."