Hacker News Reader

Is there a connection to Leiden, NL?

yes, that's where a conference was held that kickstarted the group that drafted this declaration.

> In September 2025 the Lorentz Center at Leiden University in the Netherlands hosted a conference entitled Mechanization and Mathematical Research. The around 60 participants from 10 countries comprised mathematicians, computer scientists, philosophers, historians and social scientists, including those with experience in industry and in government.

These type of questions are the reason why LLMs will take your job :-)

Questions are in the spirit of community. It isn't listed on the about page. If you rely on LLMs for everything you will never interact with people.

Reply on news.ycombinator.com