Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
RSS
Thomas Kehrenberg
Karma:
239
All
Posts
Comments
New
Top
Old
Effects are correlated, policy outcomes are not, and multi-factor explanations are hard
Thomas Kehrenberg
9 Mar 2022 15:30 UTC
15
points
2
comments
14
min read
LW
link
(tm.kehrenberg.net)
Exploring Finite Factored Sets with some toy examples
Thomas Kehrenberg
19 Mar 2022 22:08 UTC
49
points
1
comment
9
min read
LW
link
(tm.kehrenberg.net)
Basic building blocks of dependent type theory
Thomas Kehrenberg
15 Dec 2022 14:54 UTC
47
points
8
comments
13
min read
LW
link
Recreating logic in type theory
Thomas Kehrenberg
21 Dec 2022 15:19 UTC
12
points
0
comments
13
min read
LW
link
Classical logic based on propositions-as-subsingleton-types
Thomas Kehrenberg
28 Dec 2022 20:16 UTC
3
points
0
comments
16
min read
LW
link
A few thoughts on my self-study for alignment research
Thomas Kehrenberg
30 Dec 2022 22:05 UTC
6
points
0
comments
2
min read
LW
link
Set-like mathematics in type theory
Thomas Kehrenberg
3 Jan 2023 14:33 UTC
3
points
1
comment
13
min read
LW
link
Extensionality and the univalence axiom of type theory
Thomas Kehrenberg
19 Jan 2023 22:36 UTC
5
points
0
comments
16
min read
LW
link
Sunlight is yellow parallel rays plus blue isotropic light
Thomas Kehrenberg
1 Mar 2023 17:58 UTC
76
points
4
comments
2
min read
LW
link
Back to top