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