The Effort to Build the Mathematical Library of the Future

The Effort to Build the Mathematical Library of the Future

Over the summer, a group of experienced Lean users ran an online workshop called “Lean for the Curious Mathematician.” In the first session, Scott Morrison of the University of Sydney demonstrated how to write a proof in the program.

Scott Morrison needs a plan to cut emissions but all he has is a fairytale | Katharine Murphy

Scott Morrison needs a plan to cut emissions but all he has is a fairytale | Katharine Murphy

Morrison and the new energy minister, Angus Taylor, are currently fixated on conjuring up a short-term fix they can offer voters before the election – a noticeable reduction in power prices – never mind the obvious point that having a medium term roadmap would help deliver your short-term objective.

Scott Morrison contradicts energy advice, saying Paris targets can be met 'at a canter'

Scott Morrison contradicts energy advice, saying Paris targets can be met 'at a canter'

The prime minister used a radio interview on Wednesday afternoon to declare “the business-as-usual model gets us there in a canter” – which contradicts advice from the Energy Security Board that says business as usual will mean the electricity sector will “fall short of the emissions reduction target of 26% below 2005 levels”.

'No real appetite': former farmers chief lashes ministers over climate link to drought

'No real appetite': former farmers chief lashes ministers over climate link to drought

As Scott Morrison and his special drought envoy, Barnaby Joyce, toured south-west Queensland on Tuesday, Finlay described the former deputy prime minister and agriculture minister as the last in a long line of ministers who had “no real appetite” for national drought policy in a changing climate.

This government is not even pretending to act on climate change any more | Greg Jericho

This government is not even pretending to act on climate change any more | Greg Jericho

We have gone from a government under Malcolm Turnbull that at least tried to look like it was aiming to reduce emissions (even if it wasn’t) to one under Scott Morrison that is making no pretence about the fact it is beholden to the charlatans in the party who want to scam votes by lying about the facts of climate change.