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

    Jean-Yves Girard

    2 books · 10 recommendations on HN

    Cover of Proofs and types
    2010–2026

    Proofs and types

    Jean-Yves Girard
    6 recommend · 14
    Cover of The blind spot
    2016–2024

    The blind spot

    Jean-Yves Girard
    4 recommend · 9