Ask HN: Book to get started in Type Theory

2023-01-13

Ask HN: What neglected jobs are necessary for continuity of human civilization?

2023-01-13

Google Says Supreme Court Ruling Could Potentially Upend the Internet

2023-01-13

The construction of Moscow's Big Circle subway line is completed

2023-01-12

Show HN: Podcast on timelines, implications & responses to AGI

2023-01-12

CarSherpas Launches Series A Funding Round to Accelerate Growth

2023-01-12

ChatGPT: What will the web look like if LLMs are successful?

2023-01-12

Ask HN: Services that should offer legacy management but don’t

2023-01-12

Ask HN: Does YC fund startups that don't plan to have a >$5M valuation?

2023-01-12

Next-Generation MacBook Pro M2 Pro and M2 Max Reportedly 'Delayed Once Again'

2023-01-12