User loginNavigation 
GeneralCakes, Custard, and Category TheoryEugenia Cheng's new popular coscience book is out, in the U.K. under the title Cakes, Custard and Category Theory: Easy recipes for understanding complex maths, and in the U.S. under the title How to Bake Pi: An Edible Exploration of the Mathematics of Mathematics:
Cheng, one of the Catsters, gives a guided tour of mathematical thinking and research activities, and through the core philosophy underlying category theory. This is the kind of book you can give to your grandma and grandpa so they can boast to their friends what her grandchildren are doing (and bake you a nice dessert when you come and visit :) ). A pleasant weekend reading. By Ohad Kammar at 20150717 16:47  Category Theory  Critiques  Fun  General  Semantics  Theory  login or register to post comments  other blogs  7055 reads
Don Syme receives a medal for F#Don Syme receives the Royal Academy of Engineering's Silver Medal for his work on F#. The citation reads:
Congratulations! By Ohad Kammar at 20150703 19:16  Cross language runtimes  Fun  Functional  General  Implementation  ObjectFunctional  OOP  Paradigms  Software Engineering  5 comments  other blogs  14766 reads
Paul HudakThese are sad news indeed. I am sure almost everyone here read at least one paper by Paul and many knew him personally. When I just started thinking about programming languages I was fascinated by DSLs and his work was simply inspiring. His voice will be missed. Discussions of Paul Hudak's work Update:There is some confusion about the situation. Please see the comments for further information. John C Reynolds Doctoral Dissertation Award nominations for 2014
I guess it is fairly obvious why professors should propose their students (the deadline is January 4th 2015). Newly minted PhD should, for similar reasons, make sure their professors are reminded of these reasons. I can tell you that the competition is going to be tough this year; but hey, you didn't go into programming language theory thinking it is going to be easy, did you? Zélus : A Synchronous Language with ODEs
Zélus : A Synchronous Language with ODEs
Synchronous programming languages (à la Lucid Synchrone) are language designs for reactive systems with discrete time. Zélus extends them gracefully to hybrid discrete/continuous systems, to interact with the physical world, or simulate it  while preserving their strong semantic qualities. The paper is short (6 pages) and centered around examples rather than the theory  I enjoyed it. Not being familiar with the domain, I was unsure what the "zerocrossings" mentioned in the introductions are, but there is a good explanation further down in the paper:
The Zélus website has a 'publications' page with more advanced material, and an 'examples' page with case studies. Facebook releases "Flow", a statically typed JavaScript variant
EATCS Award 2014: Gordon Plotkin
Well deserved, of course. Congrats! Inside the Wolfram LanguageVideo of Stephen Wolfram showing off the Wolfram Language and sharing his perspective on the design of the language at Strange Loop conference. What's in store for the most widely used language by discerning hackers?Or, in other words, what's the future of Emacs Lisp (and unavoidable HN discussion). The original message contains some interesting tidbits. I am not sure how the discussion on emacsdevel will develop. But speculating about things such as Guile elisp is, of course, our bailiwick. Apple Introduces SwiftApple today announced a new programming language for their next version of Mac OS X and iOS called Swift. The Language Guide has more details about the potpourri of language features. By bashyal at 20140602 19:53  Functional  General  OOP  112 comments  other blogs  60451 reads

Browse archivesActive forum topics 
Recent comments
1 day 12 hours ago
1 day 13 hours ago
1 day 17 hours ago
1 day 22 hours ago
1 day 23 hours ago
2 days 2 hours ago
2 days 10 hours ago
2 days 17 hours ago
2 days 18 hours ago
2 days 19 hours ago