Thomas Kehrenberg

Karma: 291

The optimizer won’t just guess your intended semantics

Thomas KehrenbergMar 6, 2025, 7:42 PM

20 points

1 comment6 min readLW link

Vector Planning in a Lattice Graph

Johannes C. Mayer and Thomas Kehrenberg

Apr 23, 2024, 4:58 PM

20 points

7 comments2 min readLW link

Sunlight is yellow parallel rays plus blue isotropic light

Thomas KehrenbergMar 1, 2023, 5:58 PM

77 points

5 comments2 min readLW link

Extensionality and the univalence axiom of type theory

Thomas KehrenbergJan 19, 2023, 10:36 PM

6 points

2 comments16 min readLW link

Set-like mathematics in type theory

Thomas KehrenbergJan 3, 2023, 2:33 PM

5 points

1 comment13 min readLW link

A few thoughts on my self-study for alignment research

Thomas KehrenbergDec 30, 2022, 10:05 PM

6 points

0 comments2 min readLW link

Classical logic based on propositions-as-subsingleton-types

Thomas KehrenbergDec 28, 2022, 8:16 PM

5 points

0 comments16 min readLW link

Recreating logic in type theory

Thomas KehrenbergDec 21, 2022, 3:19 PM

18 points

0 comments13 min readLW link

Basic building blocks of dependent type theory

Thomas KehrenbergDec 15, 2022, 2:54 PM

49 points

9 comments13 min readLW link

Exploring Finite Factored Sets with some toy examples

Thomas KehrenbergMar 19, 2022, 10:08 PM

55 points

1 comment9 min readLW link

(tm.kehrenberg.net)

Effects are correlated, policy outcomes are not, and multi-factor explanations are hard

Thomas KehrenbergMar 9, 2022, 3:30 PM

16 points

2 comments14 min readLW link

(tm.kehrenberg.net)