RSS

Thomas Kehrenberg

Karma: 272

Vec­tor Plan­ning in a Lat­tice Graph

Apr 23, 2024, 4:58 PM
20 points
7 comments2 min readLW link

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

Thomas KehrenbergMar 1, 2023, 5:58 PM
77 points
5 comments2 min readLW link

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

Thomas KehrenbergJan 19, 2023, 10:36 PM
6 points
2 comments16 min readLW link

Set-like math­e­mat­ics 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 al­ign­ment research

Thomas KehrenbergDec 30, 2022, 10:05 PM
6 points
0 comments2 min readLW link

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

Thomas KehrenbergDec 28, 2022, 8:16 PM
5 points
0 comments16 min readLW link

Re­cre­at­ing logic in type theory

Thomas KehrenbergDec 21, 2022, 3:19 PM
18 points
0 comments13 min readLW link

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

Thomas KehrenbergDec 15, 2022, 2:54 PM
49 points
8 comments13 min readLW link

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

Thomas KehrenbergMar 19, 2022, 10:08 PM
55 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 KehrenbergMar 9, 2022, 3:30 PM
16 points
2 comments14 min readLW link
(tm.kehrenberg.net)