Skip to content
HomeVideosBooks
AllTopicsTrends
BlogsPodcasts
HistoryListsWatch laterLiked videosFollowing

The videos, books, blogs and podcasts Hacker News keeps recommending, all in one place.

VideosBooksBlogsPodcastsAboutPrivacySettings

Data from Hacker News, HackerTube, HackerBooks, HackerBlogs and Open Library. Credits · Not affiliated with Y Combinator.

HomeVideosBooksBlogsPodcasts
Ctrl K

    Books

    Per Martin-Löf

    1 book · 1 recommendation on HN

    Intuitionistic type theoryPer Martin-Löf
    2016–2025

    Intuitionistic type theory

    Per Martin-Löf
    1 recommend · 6