Wandering in the close unknowns
Composing formal methods and mystical vibes
Unsuspicious Industries operates at the convergence of computer science, critical theory, and natural sciences.
Research Divisions
Currently investigating
Six areas where we focus our efforts
Dynamic Formal Systems lab
Investigating proof systems, strong normalization, and applied type theory.
philosophy courses should teach how to use proof assistants
Axiomatic Elaboration team
Finding good and beautiful bases for rational thinking. Gathering vibes for researchers.
Ethics and æsthetics are one
Diffused Consciousness research
Exploring non-atomic models of consciousness and learning
I think I might have been stupid in some respects, if it weren't for my psychedelic experiences.
Macroeconomics formalization department
Rewriting advanced economics research using High Performance Computing and formal systems. Modelling emergent market behavior from first principles.
In the long run we are all dead
Automated Reasoning division
Working on automated AI tools to help humans with reasoning and discovery
La connaissance est devenue force productive immédiate, et, par suite, les conditions du processus vital de la société sont elles-mêmes passées sous le contrôle de l'intellect général, et sont réorganisées conformément à lui.
LSH Department
Studying history, arts and litterature. Grounding our lab in human values.
Les Hommes ont inventé la Naphthaline de la Beauté, cela s'appelle l'Art. C'est quelque fois un peu erratique dans ses formes, mais c'est quelque fois très beau.
Research Stats