Crafting Beautiful Code

  • I’ve been rebuilding the BarModeler app as a Progressive Web App (PWA), designed to let students “draw” bar models by writing simple code. The goal is to encourage both visual and abstract thinking. You can explore the app here. I’d love to hear your thoughts or suggestions! Feel free to… Read more.

    ·

    , , ,

    ·

    1–2 minutes

  • 12年前，我开发了一个基于唐诗的找字游戏，发布到安卓和苹果的App Store。由于长时间没有更新，已经被下架。最近，我用PWA(Progressive Web App)技术从新开发了唐诗纵横，发布到Azure。网址：https://jolly-desert-07209ba1e.2.azurestaticapps.net/。 PWA app可以安装在手机上。 iPhone手机：打开 Safari 浏览器，访问https://jolly-desert-07209ba1e.2.azurestaticapps.net/，点击底部的分享按钮，在弹出的菜单中选择“添加到主屏幕”。 安卓手机：打开 Chrome 浏览器，访问https://jolly-desert-07209ba1e.2.azurestaticapps.net/，点击浏览器地址栏下方或右上角菜单中会出现“添加到主屏幕”或“安装应用”的提示。 Read more.

    ·

    ·

    1–2 minutes

  • I’ve added a new feature to the BarModeler app that allows users to browse some bar model samples. There are 4 categories of samples: To select a sample, simply click an item in the tree view on the left side of the window. The app will then automatically display the… Read more.

    ·

    ·

    1–2 minutes

  • 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 a question statement. Statement An equation statement consists of two expressions, one on each side of the equal sign. A… Read more.

    ·

    , , ,

    ·

    2–3 minutes

  • I’ve published an application named BarModeler to Microsoft Store. BarModeler is a tool for “drawing” bar models in Math by writing code (equations). With this tool, one describes his/her understanding about a word problem by writing equations, the tool will automatically create a bar model to visualize the equations. It… Read more.

    ·

    , ,

    ·

    1–2 minutes

  • 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 well-defined syntax and a good compiler that can report all potential errors in a meaningful way. There are three kinds… Read more.

    ·

    ,

    ·

    12–18 minutes

  • 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+. Here is the problem statement copied from the TLA+ code: A farmer has a 40 pound stone and a balance… Read more.

    ·

    , ,

    ·

    7–10 minutes

  • 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 keyboard: “A” “CTRL+A” “CTRL+C” “CTRL+V” What is the maximal number of A’s you can have in the notepad after 10… Read more.

    ·

    , ,

    ·

    5–7 minutes

  • 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 V E T W E L V E T W E L V E T W E L V E… Read more.

    ·

    , ,

    ·

    5–7 minutes

  • These are the notes I took when reading the slides written by Scott Wlaschin. Read more.

    ·

    ,

    ·

    1–2 minutes

Crafting Beautiful Code

A design for writers who want their posts displayed as a direct conversation, with no images or post titles. Titleless also has diverse style variations to spark your creativity. Enjoy!

Designed with WordPress

Month Discover: Henri Rousseau's Virgin Forest with Sunset (1910). Original from the Kunstmuseum Basel Museum.