online, so you can see it too.
Paul Halmos offers excellent advice on refereeing, two tenets that he formed as a young referee and confirmed as an experienced editor: "be Boolean; be prompt".
From "I want to be a mathematician: an automathography" by P. R. Halmos.
From The Now Show, Series 47, Episode 6, Friday 18 December 2015.
Good news, globally 2015 is likely to be the hottest year ever recorded. And if it is the hottest year ever recorded then it will beat the previous record holder, last year. ...
There is genuinely, genuinely good news about the environment this week, the Paris climate deal has been signed, a global agreement made by 195 countries to try and keep temperature rise below 1.5 degrees as we move away from fossil fuels. President Orlande said "History is coming. In fact, history is here." Which I'm not sure is quite how history works. I take his point. And the Prime Minister himself said "This global deal now means the whole world has signed up to play its part in halting climate change." And what inspiring words those are. And with those inspiring words, he beetled off home to see what part he could play in this global effort. And only a few days later he managed to change the law about fracking under Britain's national parks. I know what's happened though, it's a simple misunderstanding. They've heard everyone in Paris talking about how we must move to a fossil-fuel free future and said to themselves "Hang on, there's a bit of fossil fuel left under the Lake District. Better dig that up pronto and burn it." I assume that's what happened. Either that, or it's just like when you go to the gym, and then on the way home you say to yourself "Well, I've earned myself some fish and chips". Except of course the Paris agreement is actually a collection of largely non-binding aspirations for the future, so this is more like saying "I really must go the gym more often. Well that's earned me some fish and chips."
LFCS 30 and WadlerFest. It looks like a fantastic line up. (I can say that because I've had nothing to do with it.) Many, many thanks to the organisers and contributors, and special thanks to Janne Irgens for the illustration above.
Vox debunks complaints it receives about graphs with a y-axis that starts at a position other than zero.
exactly the same!
Dr. Lomborg’s research reveals:Spotted via Shane Voss and Roy Thompson.
- The climate impact of all Paris INDC promises is minuscule: if we measure the impact of every nation fulfilling every promise by 2030, the total temperature reduction will be 0.048°C (0.086°F) by 2100.
- Even if we assume that these promises would be extended for another 70 years, there is still little impact: if every nation fulfills every promise by 2030, and continues to fulfill these promises faithfully until the end of the century, and there is no ‘CO₂ leakage’ to non-committed nations, the entirety of the Paris promises will reduce temperature rises by just 0.17°C (0.306°F) by 2100. "
Flávio Brasil has released Quill, a Scala library that supports database query via the QDSL technique, as described in our papers A Practical Theory of Language Integrated Query (ICFP 2013) and Everything Old is New Again: Quoted Domain Specific Languages (PEPM 2016).
Cycle path resources
Protected Intersections for Bicyclists
A six-minute video on dutch style protected junctions.
A View from the Cycle Path
A dutch blog detailing the advantages of cycle paths.
About new infrastructure being built in the Netherlands.
Good Cycling Facility of the Week
Examples of cycling facilities drawn from the UK and the Netherlands.
study by Dan Luu. From the introduction:
The summary of the summary is that most studies find very small effects, if any. However, the studies probably don’t cover contexts you’re actually interested in. If you want the gory details, here’s each study, with its abstract, and a short blurb about the study.And from the conclusion:
Other than cherry picking studies to confirm a long-held position, the most common response I’ve heard to these sorts of studies is that the effect isn’t quantifiable by a controlled experiment. However, I’ve yet to hear a specific reason that doesn’t also apply to any other field that empirically measures human behavior. Compared to a lot of those fields, it’s easy to run controlled experiments or do empirical studies. It’s true that controlled studies only tell you something about a very limited set of circumstances, but the fix to that isn’t to dismiss them, but to fund more studies. It’s also true that it’s tough to determine causation from ex-post empirical studies, but the solution isn’t to ignore the data, but to do more sophisticated analysis. For example, econometric methods are often able to make a case for causation with data that’s messier than the data we’ve looked at here.Thanks for the effort you put into this epic study, Dan! Spotted via Lambda the Ultimate.
The next most common response is that their viewpoint is still valid because their specific language or use case isn’t covered. Maybe, but if the strongest statement you can make for your position is that there’s no empirical evidence against the position, that’s not much of a position.
guide based on his experience chairing ECOOP 2013. It includes pithy advice such as the following.
As a side note, I suggest to send to PC members as few emails as possible and to repeat all important information in every mail: never assume that if you wrote something in a mail, then every member of the PC knows it (my personal experience was that many of the important pieces of information I wrote in my mails were missed by one ortwo members, not always the same ones).Beppe's handbook is a useful addition to the literature on how to run a conference, including several written by members of SIGPLAN.
- Experiences with Author Response at PLDI and ICFP 2004, Kathleen Fisher and Craig Chambers, (SIGPLAN Notices, Dec. 2004)
- Conferences with improved management and style, Philip Wadler (SIGPLAN Notices, Feb. 2006)
- SIGPLAN EC Activities: Vice Chair Report, Kathleen Fisher (SIGPLAN Notices, May 2006)
- A Report from the POPL 2007 Chairman, Matthias Felleisen (SIGPLAN Notices, December 2006)
- How to chair a conference, Alex Aiken (SIGPLAN Notices, April 2011).