Literate programming?

I was going to start out by describing the lexical structure of Ocean, but as I thought more about it, I realised there was something that needed to come first.  And that something is literate programming.

Literate programming is the idea – popularised by Donald Knuth – of writing programs like pieces of literature.  They can be structured as a story or an exposition, and presented in a way that makes sense to the human rather than just to a computer.

Continue reading

Posted in Language Design | Leave a comment

The naming of a language

“The naming of cats is a difficult matter, It isn’t just one of your holiday games.”  The naming of programming languages is also important.  As with any project a name is needed to be able to refer to, and it inevitably will set expectations and flavour to some degree.

I’ve had a few different thoughts about names.  My first idea was “plato”.  Plato was a philosopher and is particularly known for drawing a distinction between the real and the ideal.  All things in the real world, circles and squares and so forth, are just poor shadows of the perfect circles and the perfect squares that exist in the ideal, or “Platonic” plane.

Continue reading

Posted in Language Design | Leave a comment

An exercise in Language Design

When I was doing my honours year in Computer Science (UNSW, 1986) I wanted to design a new programming language.  That would be a rather large project for an honours year and naturally it didn’t happen.  I have remained interested in languages, though for most of the time that interest has been idle.

I recently wrote some articles about languages for LWN and that has re-awoken my interest in language design.  While I had scribbled down (or typed out) various notes about different ideas in the past, this time I seem have have progressed much further than ever before.  It probably won’t ever amount to much but I’ve decided to try to continue with the project this time and create as concrete a design and implementation as I can … in my spare time.

Continue reading

Posted in Language Design | Leave a comment

RAID – not just smoke and mirrors

My final talk at Linux.conf.au 2013 was about “md” software RAID.

Slides are here and video is here (mp4).

One take away, mainly from conversations afterwards, is that – there is a perception that – it is not that uncommon for drives to fail in a way that causes them to return the wrong data without error.  Thus using checksum per block, or 3-drive RAID1 with voting, or RAID6 with P/Q checks on every read might actually be a good idea.  It is sad that such drives are not extremely uncommon, but it seems that it might be a reality.

What does one do when one finds such a drive?  Fixing the “error” and continuing quietly seems like a mistake.  Kicking the drive from the array is probably right, but might be too harsh. Stopping all IO and waiting for operator assistance is tempting…. but crazy.

I wonder…

Posted in Uncategorized | Leave a comment

Wiggles and Diffs at LCA

My second talk at LCA2013 – the first one accepted – was on “wiggle”, my tool for applying patches that don’t apply.  In the presentation I wanted to explain how “diff” works – as I then wanted to explain why one of the things that wiggle does is more complex that a simple  “diff”.  For this I came up with a simple animation that I presented as a series of “impress” slides.  Some suggested I make them into an animated “gif”, so I did.  And here it is (click for a higher-res version):

Animation of Diff algorithm

See slides for explanation

Among the useful feedback I got about wiggle:

  • UTF-8 support would be good.  This only applies to the way it breaks strings into words.  Currently it only understand ASCII
  • Detecting patterns of “replace A with B” and looking for unreplaced copies of “A” in the original might be useful.

The slides in LibreOffice format are here and the recording of the talk is here

Posted in wiggle | Leave a comment

Linux.conf.au – one down, two to go.

At linux.conf.au this week and as always it is proving to be a great conference. Bdale’s keynote on Monday was a really good opening keynote: very wide-ranging, very high level, very interesting and relevant, very pragmatic and  sensible.

One of this key points was that we should all just keep building the tools we want to use and making it easy for others to contribute.  The long tail of developers who submit just one patch to the Linux kernel make a significant contribution but wouldn’t be there if it was hard to contribute, hard to get the source, or hard to build the source.  With Linux all of these are relatively easy and other projects could learn from that … particularly the “easy to build” bit.

So let’s not worry about beating MS or Apple, or about claiming the year of the Linux anything.  Let’s just do stuff we enjoy and make stuff we use and share our enthusiasm with others.  If that doesn’t lead to world domination, nothing will.

For myself, I managed to get 3 speaking slots this year … makes up for not speaking for some years I guess.  My first was yesterday about the OpenPhoenux project – follow-on from OpenMoko.  It was very well attended, I got really good responses and positive  feedback.  I even managed to finish very very nearly on time.  So overall, quite a success.  I hope the next two (both tomorrow, Wednesday)  go as well.

You can view the  slides if you like, but they aren’t as good without all the talking.  Hopefully the LCA organisers will upload the video at some stage.

Posted in Uncategorized | Leave a comment

Writing for LWN

I like to write articles for LWN.net from time to time. Recently I wrong about the recently announced “f2fs” file system (https://lwn.net/Articles/518988/) and might follow it up with a couple more reviews of other filesystems.
One challenge is thinking of – or finding – interesting things to write about. I’m not expecting my loyal readership to do my work for me and provide topics, and any suggestions about general areas of interest that might spark some idea for me would not be unwelcome….

Posted in Uncategorized | Leave a comment

A new blog…

I’m moving my neil.brown.name site to a new home (off in the cloud with better network connectivity – thanks Orion) and so thought it was probably time to try out different blog software.

Previously I have been using a python script I hacked up myself based on something someone else had done.  That was fun and a good start to learning python, but the functionality was always minimal and while I often put up with minimal functionality in exchange for having built it myself there comes a point where I want to move on.

Continue reading

Posted in Uncategorized | Tagged | Leave a comment