EXPLAINED: Lean - The Real Truth

Chris Hsu on How One Programming Language Rewrote Mathematics and Why Software Is Next

Chris Hsu explores how Lean transformed mathematics through machine-checked proofs—and why formal verification could become essential as AI generates more of the world's software.

International Business Times · Aug 31

C.H. Robinson's CEO is running AI transformation on Lean principles

Also: All the news and watercooler chat from Fortune.

Fortune · Jul 6

Coal companies to reap billions more in taxpayer diesel subsidies as Labor approves new mining

Albanese government under pressure to wind back fuel tax credit scheme for multinational miners as analysis shows cost to budget

The Guardian - AU · Jun 21

Labor’s grassroots environmental group dismayed by rushed bill protecting salmon industry

The Labor Environment Action Network says it won’t ‘sugar coat’ its reaction after working ‘so hard’ on obtaining commitment for EPA

The Guardian - AU · Mar 27, 2025

Best protein pancake mixes for a macro-filled morning boost

Dessert for breakfast with all the gains

Evening Standard · Sep 4, 2023

Labor’s history is one of compromise – and its conference delivered it in response to Albanese’s call for a decade in power

A long-term Labor government is the ‘difference between laying the foundation and finishing the build’, the PM tells national conference

The Guardian - AU · Aug 18, 2023

ALP national conference day one – as it happened

This blog is now closed.

The Guardian - AU · Aug 17, 2023

Labor push for publicly owned plantations to end native forest logging

Party’s environment lobby group wants forestry policy focused on restoring native forests, arguing they have more value as a carbon and biodiversity sink

The Guardian - AU · Jul 25, 2023

Labor faces internal fight over native forest logging despite emissions pledge

Labor’s Environment Action Network says draft national platform ‘very, very weak’ on opposing native forest logging and land clearing

The Guardian - AU · Jul 19, 2023

Pressure grows on Albanese government to end native forest logging

Exclusive: Labor facing calls from 15 crossbenchers, as well as party insiders, to transition to plantation timber as part of reform to environmental laws

The Guardian - AU · May 31, 2023