## User login## Navigation |
## Running Probabilistic Programs BackwardsI saw this work presented at ESOP 2015, and the talk was excellent. Running Probabilistic Programs Backwards
(also on SciRate) The introduction sells the practical side of the work a bit better than the abstract.
By gasche at 2015-08-01 16:49 | Semantics | login or register to post comments | other blogs | 748 reads
## mbeddr: an Extensible C-based Programming Language and IDE for Embedded Systems
Although embedded systems are an increasingly large part of our lives, and despite the fact that embedded software would undoubtedly benefit from the kind safety guarantees provided by more advanced type systems, most embedded software development is still done in C. That's partly a result of toolchain availability, and partly because many more advanced languages typically impose requirements on memory, dynamic memory allocation, and other runtime infrastructure that simply aren't supportable on a lot of resource-constrained microcontrollers or acceptable in a risk-averse environment. Mbeddr seems to be seeking a middle ground between C, and creating a whole new language. From the paper:
It appears that mbeddr allows multiple DSLs to be built on top of C to provide greater safety and more domain-specific expressions of typical embedded software patterns. Additionally, it provides integration with various analysis tools including model-checkers. Another paper, "Preliminary Experience of using mbeddr for Developing Embedded Software", provides a look at how all of these things fit together in use. The mbeddr approach seems similar in concept to Ivory and Tower, although mbeddr uses JetBrains MPS as the platform for creating DSLs instead of building an embedded DSL in Haskell. By Allan McInnes at 2015-07-24 16:47 | DSL | Implementation | Software Engineering | 3 comments | other blogs | 3613 reads
## Tracking the Flow of Ideas through the Programming Languages Literature
The authors have produced some really interesting visualizations of how the topic content of various conferences has evolved over time (it's interesting to note that OOPSLA isn't really about OO software development any more, and that PLDI appears to have seen an increasing emphasis on verification and test generation).
By Allan McInnes at 2015-07-20 19:49 | Fun | General | History | login or register to post comments | other blogs | 4024 reads
## Punctuated equilibrium in the large scale evolution of programming languages
The results developed here are perhaps not that surprising to people familiar with the history of programming languages. But it's interesting to see it all formalized and analyzed. By Allan McInnes at 2015-07-17 18:58 | General | History | Paradigms | 6 comments | other blogs | 3037 reads
## Cakes, 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 2015-07-17 16:47 | Category Theory | Critiques | Fun | General | Semantics | Theory | login or register to post comments | other blogs | 2842 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 2015-07-03 19:16 | Cross language runtimes | Fun | Functional | General | Implementation | Object-Functional | OOP | Paradigms | Software Engineering | 5 comments | other blogs | 9821 reads
## Self-Representation in Girard’s System USelf-Representation in Girard’s System U, by Matt Brown and Jens Palsberg:
Typed self-representation has come up here on LtU in the past. I believe the best self-interpreter available prior to this work was a variant of Barry Jay's SF-calculus, covered in the paper Typed Self-Interpretation by Pattern Matching (and more fully developed in Structural Types for the Factorisation Calculus). These covered statically typed self-interpreters without resorting to undecidable type:type rules. However, being combinator calculi, they're not very similar to most of our programming languages, and so self-interpretation was still an active problem. Enter Girard's System U, which features a more familiar type system with only kind * and kind-polymorphic types. However, System U is not strongly normalizing and is inconsistent as a logic. Whether self-interpretation can be achieved in a strongly normalizing language with decidable type checking is still an open problem. By naasking at 2015-06-11 18:45 | Functional | Lambda Calculus | Theory | Type Theory | 28 comments | other blogs | 5623 reads
## Facebook open sources "Infer", static program analysis toolLinky to Facebook blog: Open-sourcing Facebook Infer: Identify bugs before you ship Discuss! ## Second-order logic explained in plain EnglishJohn Corcoran, Second-order logic explained in plain English, in There is something a little bit Guy Steele-ish about trying to explain the fundamentals of second-order logic (SOL, the logic that Quine branded as set theory in sheep's clothing) and its model theory while avoiding any formalisation. This paper introduces the ideas of SOL via looking at logics with finite, countable and uncountable models, and then talks about FOL and SOL as being complementary approaches to axiomatisation that are each deficient by themself. He ends with a plea for SOL as being an essential tool at least as a heuristic. ## The evolution of RustGraydon Hoare is the original developer of Rust even before Mozilla adopted it. For the 1.0 release he prepared a lightning talk on how the language changed over 10 years. - Six ways Rust is fundamentally different from how it started
- Six ways Rust is fundamentally the same as how it started
- Six things we lost along the way
- Six things we gained along the way
- Six things I'm irrationally, disproportionately pleased by
Read the full blog post for the content of the five lists. |
## Browse archives## Active forum topics |

## Recent comments

2 hours 51 min ago

5 hours 21 min ago

5 hours 31 min ago

5 hours 38 min ago

5 hours 50 min ago

5 hours 52 min ago

5 hours 58 min ago

7 hours 21 min ago

7 hours 38 min ago

8 hours 8 min ago