Research at the boundaries
Research in computer science, critical theory and natural sciences
Unsuspicious Industries is a research collective working across computer science, critical theory and the natural sciences.
Research Divisions
Currently investigating
Research areas
Dynamic Formal Systems lab
Research on proof systems, strong normalization and applied type theory.
philosophy courses should teach how to use proof assistants
𝕏, @scheminglunatic
Axiomatic Elaboration team
Research on formal approaches to ethics and rational thought.
Ethics and æsthetics are one
6.421
Diffused Consciousness research
Research on 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.
MAPS
Macroeconomics formalization department
Formalizing economics research with high-performance computing and formal systems; modeling emergent market behavior from first principles.
In the long run we are all dead
A Tract on Monetary Reform (1923)
Automated Reasoning division
Developing automated tools to support human 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.
Grundrisse
LSH Department
Research on history, art and literature.
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.
Le joli Mai
Research statistics