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

    Adam Chlipala

    1 book · 25 recommendations on HN

    Cover of Certified Programming with Dependent Types
    2011–2022

    Certified Programming with Dependent Types

    Adam Chlipala
    25 recommend · 38