Choice Trees: Nondeterministic, Recursive, and Impure Programs in Coq

2022-11-16

Erik Hoel on Effective Altruism, Utilitarianism, and the Repugnant Conclusion

2022-11-16

Deliveroo quits Australia citing ‘challenging economic conditions’

2022-11-16

Epic strikes back at Apple’s iOS “security” defense in appeals court

2022-11-16

The Attention Economy: Why do tech companies fight for our attention?

2022-11-15

Remembering the renegade economist who fought for growth the Earth could sustain

2022-11-15

NEOM is an ecological and moral atrocity

2022-11-15

The Decline of Work

2022-11-15

Ask HN: What are your thoughts on students replacing their notebooks with iPads?

2022-11-15

Herman Daly, 84, Who Challenged the Economic Gospel of Growth, Dies

2022-11-15