items: 1547
This data as json
| id | item_hn_id | title | link | comments_link | points | comment_count | author | created_at | updated_at |
|---|---|---|---|---|---|---|---|---|---|
| 1547 | 44012418 | Programming in Martin-Lof's Type Theory: An Introduction (1990) | https://www.cse.chalmers.se/research/group/logic/book/ | https://news.ycombinator.com/item?id=44012418 | 42 points | discuss | todsacerdoti | 2025-05-17 09:30:59 +0300 EEST | 2025-05-17 09:30:59 +0300 EEST |