Crafting Beautiful Code

Software Development

  • BarModel Script

    BarModel script is the language used in BarModeler for specifying a bar model in Math. A bar model is described with some statements, which can be an equation statement, or… More.

    · , , ,

    ·

    2–3 minutes

  • Defining DSL Validation Rules with Alloy

    Introduction DSL (Domain-Specific Language) is becoming increasingly popular. More and more DSLs are developed for solving various domain-specific problems. A well-designed DSL should be easy to use, which requires a… More.

    · ,

    ·

    12–18 minutes

  • Solving car talk puzzle with Alloy

    I have become interested in formal methods lately. In particular, I have been learning Alloy recently. I came across a TLA+ model here, written by Leslie Lamport, who invented TLA+.… More.

    · , ,

    ·

    7–10 minutes

  • Solving problems with F# – maximal number of A’s

    Here is a problem to solve: Open windows notepad and start with a blank document. At one step, you can choose to type one of the four below on the… More.

    · , ,

    ·

    5–7 minutes

  • Solving Cryptarithmetic problems using F#

    I was given a puzzle to solve recently. The puzzles is a cryptarithmetic problem: 5’s twelve + thirty = ninety. T W E L V E T W E L… More.

    · , ,

    ·

    5–7 minutes

  • Functional design patterns

    These are the notes I took when reading the slides written by Scott Wlaschin. More.

    · ,

    ·

    1–2 minutes

  • Lego Robot

    I participated in a Lego Robot Competition recently, and our team of 5 persons won the first prize. Our robot successfully accomplished its mission: picking up a treasure, a Lego block in… More.

    · ,

    ·

    6–9 minutes

  • BarModelMaker Script

    (I’ve developed a new app and a DSL (domain specific language) for “drawing” a bar model.) I’ve written an article introducing the syntax, the semantic model and the graphical model… More.

    · , ,

    ·

    1–2 minutes

  • Installing PhoneGap for Android on Windows 8

    It took my quite some time to install the latest PhoneGap (2.9.1 as for now) for Android on Windows 8. I’ve found this Blog particularly useful. If your target Android version… More.

    · , ,

    ·

    1–2 minutes

  • Parser generator and FParsec

    I’ve written a few compilers, the most visible one being the PowerBuilder .NET compiler that can compile a PowerBuilder application into either a .NET Windows Forms application or an ASP.NET… More.

    · ,

    ·

    10–15 minutes

Related Articles

Get updates

Spam-free subscription, we guarantee. This is just a friendly ping when new content is out.

Go back

Your message has been sent