Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams? | Dark Hacker News