Refactoring – Stay Quick and Beautiful

Sometimes you have to refactor something.  It may seem like it works, but the code is horrible-looking and inefficient. Consider for example this gem: No documentation, missing @Override annotation, quadratic blow-up of something that should be linear, unmotivated cloning of an immutable class, over-shadowing of field variables, leading to a clumsy syntax, and a code-structure […]

Read More… from Refactoring – Stay Quick and Beautiful

The Burning Cottage: An Approach to Solving the Mash/Meat-Equilibrium

TL;DR: I made cottage pie and put bacon on top. Then I wrote a long-winded description of it.

This solves the so-called mash/meat-equilibrium, which is a variant of the Nash equilibrium, just more delicious. The mash/meat-equilibrium states that

The mash should at all times by covered by meat on all sides in order to achieve a global optimum of the deliciousness.
[…]

Read More… from The Burning Cottage: An Approach to Solving the Mash/Meat-Equilibrium

Jawsome

How jawsome ((Jawsome is the international abbreviation of jaw-droppingly awesome.  Yes, I made that up.)) is this? Backstreet Boys are following me on Twitter. They follow less than 7500 people and have almost 300000 followers, yet they decide to follow moi, who until this wasn’t even following them. I’m famous by association! So what if […]

Read More… from Jawsome

Time is Not a Four-letter Word

Presentation I’ll give right now! How to add time to Declare by translating to timed LTL and timed automata.  Also how we can use this to give a priori advice concerning time, detect errors, and support planning. Edit: There’s a slight error in the timed automaton shown; it allows going Backstage, then Getting Drunk, letting […]

Read More… from Time is Not a Four-letter Word

Declare Rebranding

Faced with the threat of work, I decided to rebrand Declare.  I basically changed the name to lowercase (from typographically ugly and misleading DECLARE), changed the name of a few of the programs and some minor details.  See all about the name change on the Declare website. So, that is pretty sensible.  During this, I […]

Read More… from Declare Rebranding