Gemini provides automated feedback for theoretical computer scientists | Dark Hacker News