search
AGDAS
Trends
- 1Mixtape wins Australian Game of the Year amid bias accusations▼# Mixtape won GOTY in an australian astroturfing prize https:// agdas.com.au/2026-winner/ - Game of the Year - Excellenc
The game Mixtape took home Game of the Year at the Australian Game Developer Awards, along with awards for Excellence in Art and Excellence in Sound Design. The win is drawing criticism, with some gamers accusing the awards of astroturfing and noting that the list of professional judges is not publicly disclosed. Critics say the secrecy undermines the credibility of the result.
- 2A hands-on comparison of four theorem provers●A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda https://
A developer has published a detailed comparison of Isabelle/HOL, Lean, HOL4 and Agda, four leading interactive theorem provers, testing each on the same problem. The write-up offers an opinionated assessment of the strengths and weaknesses of each tool's language, tooling and proof style, and is drawing interest from programmers and formal methods researchers weighing which prover to adopt.