Go Back
You can't go any further
Choose this branch
meritocratic
regular
democratic
hot
top
alive
9 posts
Infra-Bayesianism
21 posts
Logic & Mathematics
Formal Proof
Domain Theory
Futarchy
29
Vanessa Kosoy's PreDCA, distilled
MartÃn Soto
1mo
17
57
Infra-Exercises, Part 1
Diffractor
3mo
9
98
Infra-Bayesian physicalism: a formal theory of naturalized induction
Vanessa Kosoy
1y
20
87
Introduction To The Infra-Bayesianism Sequence
Diffractor
2y
64
15
Infra-Miscellanea
Diffractor
8mo
0
36
Basic Inframeasure Theory
Diffractor
2y
16
21
Inframeasures and Domain Theory
Diffractor
1y
3
17
Less Basic Inframeasure Theory
Diffractor
2y
1
13
Belief Functions And Decision Theory
Diffractor
2y
8
27
Hessian and Basin volume
Vivek Hebbar
5mo
9
33
The Promise and Peril of Finite Sets
davidad
1y
4
75
Zoom In: An Introduction to Circuits
evhub
2y
11
83
Recent Progress in the Theory of Neural Networks
interstice
3y
9
54
Probability as Minimal Map
johnswentworth
3y
10
51
Complete Class: Consequentialist Foundations
abramdemski
4y
34
29
The Reasonable Effectiveness of Mathematics or: AI vs sandwiches
Vanessa Kosoy
2y
8
29
A Brief Intro to Domain Theory
Diffractor
3y
4
22
When Goodharting is optimal: linear vs diminishing returns, unlikely vs likely, and other factors
Stuart_Armstrong
3y
18
10
Infra-Domain proofs 1
Diffractor
1y
0
10
Infra-Domain Proofs 2
Diffractor
1y
0
8
Towards a Formalisation of Logical Counterfactuals
Bunthut
2y
2
14
No surjection onto function space for manifold X
Stuart_Armstrong
3y
0
11
Allowing a formal proof system to self improve while avoiding Lobian obstacles.
Donald Hobson
3y
4