L∃AN together – live stream schedule
Article URL: https://leanprover-community.github.io/lt2026/schedule.html Comments URL: https://news.ycombinator.com/item?id=46711171 Points: 4 # Comments: 0...
13hHacker NewsTechnologyImpact
Article URL: https://leanprover-community.github.io/lt2026/schedule.html Comments URL: https://news.ycombinator.com/item?id=46711171 Points: 4 # Comments: 0...
Alex Karp, CEO of Palantir, said vocational skills will be in high demand in the AI era. Fabrice COFFRINI / AFP via Getty Images Alex Karp, the CEO and cofounder of Palantir, doesn't have a technical ...