Planet2

Subscribe to Planet2’s news feed.

Click on “Follow” and decide if you want to get news from Planet2 via RSS, as email newsletter, via mobile or on your personal news page.

Subscription to Planet2 comes without risk as you can unsubscribe instantly at any time.

You can also filter the feed to your needs via topics and keywords so that you only receive the news from Planet2 which you are really interested in. Click on the blue “Filter” button below to get started.

Title: Planet2

Is this your feed? Claim it!

Publisher: Unclaimed!

Message frequency: 0.47 / day

Message History

Philip Wadler: Professor Emeritus14 hrs

After retiring last July, the University Senate have approved my emeritus status. I'm grateful to Julian Bradfield for his work drafting the generous minute that accompanied the approval.

...

Read full story

Philip Wadler: A good life for the 99% isn’t a pipe dream: it can be done. Here’s how14 hrs

Thomas Piketty is at it again. He and his colleagues at the World Inequality Lab have produced a report outlining, with quantitative modelling, what a just world might look like and how to get there. A summary appears in the

Read full story

Well-Typed.Com: Faster Cabal Haskell builds by eliminating redundant work1 week

TL;DR Build your Haskell projects 10-15% faster with this one simple trick! (Spoiler: the simple trick is to wait for the next major cabal-install release.)

In previous work (paid for by the Sovereign Tech Fund) we did a l...

Read full story

Theory Lunch (Institute of Cybernetics, Tallinn): A Remarkable Property of Real-Valued Functions on Intervals of the...2 weeks

Today the 17 October 2019 I discussed a very remarkable fixed point theorem discovered by the Ukrainian mathematician Oleksandr Micholayovych Sharkovsky.

We recall that a periodic point of period for a function is a point suc...

Read full story