Daniel C

[Question] Can sub­junc­tive de­pen­dence emerge from a sim­plic­ity prior?

Jonothan Go­rard:The ter­ri­tory is iso­mor­phic to an equiv­alence class of its maps

What pro­gram struc­tures en­able effi­cient in­duc­tion?

My de­com­po­si­tion of the al­ign­ment problem