L∃AN together – live stream schedule

Published 3 hours ago

Source: hnrss.org

Article URL: https://leanprover-community.github.io/lt2026/schedule.html

Comments URL: https://news.ycombinator.com/item?id=46711171

Points: 8

# Comments: 0

Read Original Article

Related Articles from hnrss.org

Brain on ChatGPT: Accumulation of Cognitive Debt When Using an AI Assistant

Show HN: Grov – Multiplayer for AI coding agents

Jerry (YC S17) Is Hiring

Show HN: TerabyteDeals – Compare storage prices by $/TB

What if AI is both good and not that disruptive?

Devin Review: AI to Stop Slop