Thomas Kehrenberg

Karma: 291

The optimizer won’t just guess your intended semantics

Thomas Kehrenberg6 Mar 2025 19:42 UTC

20 points

1 comment6 min readLW link

Vector Planning in a Lattice Graph

Johannes C. Mayer and Thomas Kehrenberg

23 Apr 2024 16:58 UTC

20 points

7 comments2 min readLW link

Sunlight is yellow parallel rays plus blue isotropic light

Thomas Kehrenberg1 Mar 2023 17:58 UTC

77 points

5 comments2 min readLW link

Extensionality and the univalence axiom of type theory

Thomas Kehrenberg19 Jan 2023 22:36 UTC

6 points

2 comments16 min readLW link

Set-like mathematics in type theory

Thomas Kehrenberg3 Jan 2023 14:33 UTC

5 points

1 comment13 min readLW link

A few thoughts on my self-study for alignment research

Thomas Kehrenberg30 Dec 2022 22:05 UTC

6 points

0 comments2 min readLW link

Classical logic based on propositions-as-subsingleton-types

Thomas Kehrenberg28 Dec 2022 20:16 UTC

5 points

0 comments16 min readLW link

Recreating logic in type theory

Thomas Kehrenberg21 Dec 2022 15:19 UTC

18 points

0 comments13 min readLW link

Basic building blocks of dependent type theory

Thomas Kehrenberg15 Dec 2022 14:54 UTC

49 points

9 comments13 min readLW link

Exploring Finite Factored Sets with some toy examples

Thomas Kehrenberg19 Mar 2022 22:08 UTC

55 points

1 comment9 min readLW link

(tm.kehrenberg.net)

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

Thomas Kehrenberg9 Mar 2022 15:30 UTC

16 points

2 comments14 min readLW link

(tm.kehrenberg.net)