RSS

Thomas Kehrenberg

Karma: 223

Sun­light is yel­low par­allel rays plus blue isotropic light

Thomas Kehrenberg1 Mar 2023 17:58 UTC
76 points
4 comments2 min readLW link

Ex­ten­sion­al­ity and the uni­valence ax­iom of type theory

Thomas Kehrenberg19 Jan 2023 22:36 UTC
5 points
0 comments16 min readLW link

Set-like math­e­mat­ics in type theory

Thomas Kehrenberg3 Jan 2023 14:33 UTC
3 points
1 comment13 min readLW link

A few thoughts on my self-study for al­ign­ment research

Thomas Kehrenberg30 Dec 2022 22:05 UTC
5 points
0 comments2 min readLW link

Clas­si­cal logic based on propo­si­tions-as-sub­s­in­gle­ton-types

Thomas Kehrenberg28 Dec 2022 20:16 UTC
3 points
0 comments16 min readLW link

Re­cre­at­ing logic in type theory

Thomas Kehrenberg21 Dec 2022 15:19 UTC
12 points
0 comments13 min readLW link

Ba­sic build­ing blocks of de­pen­dent type theory

Thomas Kehrenberg15 Dec 2022 14:54 UTC
47 points
8 comments13 min readLW link

Ex­plor­ing Finite Fac­tored Sets with some toy examples

Thomas Kehrenberg19 Mar 2022 22:08 UTC
49 points
1 comment9 min readLW link
(tm.kehrenberg.net)

Effects are cor­re­lated, policy out­comes are not, and multi-fac­tor ex­pla­na­tions are hard

Thomas Kehrenberg9 Mar 2022 15:30 UTC
15 points
2 comments14 min readLW link
(tm.kehrenberg.net)