Hacker News new | comments | show | ask | jobs | submit login
Brainfuck Optimization Strategies (calmerthanyouare.org)
103 points by nirvanis 836 days ago | hide | past | web | 37 comments | favorite



There's of course also a optimized brainfuck compiler written in sed: https://github.com/stedolan/bf.sed


That is incredibly beautiful.


Ugh


Is that the sound of your chin hitting the floor or air escaping as you tense up, trying to decipher the code? :)


I while ago I wrote a simple Brainfuck interpreter, JIT and compiler (https://github.com/brianquinlan/brainfuck-jit).

The compiler implements the "Operation offsets" optimization as described in the article. It is actually pretty straightforward. This function converts a map of offset => delta to x86-64 instructions: https://github.com/brianquinlan/brainfuck-jit/blob/master/bf...

and the function following it generates that table.


A silly Brainfuck interpreter I wrote one evening converts BF to JavaScript and runs eval() on it. The result was that I got for free all of the compiler optimizations and JIT capabilities in the Javascript engines for a trivial amount of effort. I found the resulting execution faster than the various hand rolled C interpreters I found online. The best part was that I spent probably less than an hour implementing and testing my "interpreter".


I have a (at the initial release, and possibly still) "state-of-the-art" Brainfuck compiler to C [1], which can compile a "Hello, world" program into a single `puts` call.

Some ProTip(tm): JITing Brainfuck doesn't fare a lot; for example, resetting the cell is an O(n) operation in BF, so JIT alone doesn't reduce this into O(1). Some kind of scalar evolution has to be implemented to reduce this O(n) factor. More sophiscated liveness and range analysis might be required to go further (esotope-bfc didn't get there, anyway).

[1] https://bitbucket.org/lifthrasiir/esotope-bfc


http://calmerthanyouare.org/2014/09/30/brainfuck-java.html some of the issues encountered when writing a brainfuck-to-java compiler in brainfuck

Yo dawg, etc


It gets better

http://awib.googlecode.com/svn/builds/awib-0.4.b

Awib is a brainfuck compiler written in brainfuck. It is also polyglot in bash, Tcl and C

For instance, using gcc, the following will build an executable file called awib from awib-0.2.b.

    $ cp awib-0.2.b awib-0.2.c
    $ gcc awib-0.2.c -o awib.tmp
    $ ./awib.tmp < awib-0.2.b > awib-0.2.c
    $ gcc -O2 awib-0.2.c -o awib
Using bash works fine, but is very very very slow:

    $ (echo "@386_linux"; cat awib.b) | bash awib.b > awib
    $ chmod +x awib
And tcl:

    $ (echo "@386_linux"; cat awib.b) | tclsh awib.b > awib
    $ chmod +x awib


As a comparison, what does it look like if you enable GCC optimization?


Here's the no-vs-all optimizations graph for gcc with -O3: http://imgur.com/Q6yycrT


Brainfuck is a really beautiful language. It was the first language I wrote a parser for, and it's incredibly beautiful in its simplicity.


What always strikes me (I also wrote a bf parser a while back) is the pay-off in how simple it is to implement vs how hard it is to write in it. This seems a very obvious and simple thing to notice: the less tokens/rules your language uses the easier it is to write a parser for it, but the harder it is to write a program in that language.

The implications seem more subtle and are more interesting. The very simple phenomenon implies that application development time later can be saved by compiler development time now. If so then what is the most optimal language/compiler? What is the best distribution of time? Is it perhaps so that there exists a language that is trivial to implement, yet also super powerful and expressive to program in (don't say lisp here, though it does almost satisfy the second constraint imo).


>Is it perhaps so that there exists a language that is trivial to implement, yet also super powerful and expressive to program in (don't say lisp here, though it does almost satisfy the second constraint imo).

Lisp. Satisfies both constraints.

But seriously, Forth is another interesting language that strikes a good balance between ease of implementation vs ease of use and expressive power. But even more than Lisp, it takes some serious getting used to.


The language IO has a very simple grammar[1] and ignoring libraries is a pretty productive language.

I suspect that you are on to something, but instead of the grammer being the guide instead the abstraction that the language gives you, but with a correlation between abstraction and the complexity of the grammar.

[1] http://iolanguage.org/scm/io/docs/IoGuide.html exp ::= { message | terminator } message ::= symbol [arguments] arguments ::= "(" [exp [ { "," exp } ]] ")" symbol ::= identifier | number | string terminator ::= "\n" | ";"


Interesting observation. I think, the more abstraction, the more productive you can be.


That's kind of just Greenspun's rule as applied to programming languages.


It's natural that it's simple, since (and I suspect that here I'm about to get skewered) Brainfuck is basically a straightforward implementation of a Turing machine, just as Lisps are basically straightforward implementations of the lambda calculus.

Lest you think I'm completely talking out of my ass, I defer my defense to this random wiki page:

http://esolangs.org/wiki/P%27%27

  > P′′ is a primitive programming language created by 
  > Corrado Böhm in 1964 to describe a family of Turing 
  > machines.
  > [...]
  > Brainfuck (apart from its I/O instructions) is a 
  > simple informal variation of Böhm's P′′. Böhm gives 
  > explicit P′′ programs for each of a set of basic 
  > functions sufficient to compute any partial recursive 
  > function -- and these programs are constructed entirely 
  > from six P′′ words precisely equivalent to the 
  > respective Brainfuck commands +, -, <, >, [, and ].


Agree, thats pretty much my argument for Brainfuck being a simple programming language. Thou I phrased it more as analogy then equivilance.

Brainfuck is a simple language in the same way a Turing Machine is a simple computer, conceptually simple leaving the complexity in the laborious task of writing any program


Even more beautiful is the NOR gate, for it is possible to compute any boolean function using them.


Yes, I wrote a virtual NAND gate programming tool a while back (think 2d Minecraft "redstone" style programming) and it was immensely fun to program and playing with it taught me a ton about the gap between simple logic and actual computing (which is a huge matter of scale).


Is there an implementation of this that converts any BF code into C/C# code? Might make a handy web-based tool.

It would be interesting to apply this to AI generated programs (http://www.primaryobjects.com/CMS/Article163)


Implementations are available in the repository linked to from the article. Not quite "ready for production", but hopefully a useful starting point. https://github.com/matslina/bfoptimization


Thanks, I see it. The translation code is inside ir.py. So you can call ir_to_c(bf_to_ir("+++.")) to do the conversion.

Here is the code to convert BF to C, in case anyone else is interested https://gist.github.com/primaryobjects/0ba06f1f6f0d3e984d89

Here it is running the converted C code https://ideone.com/z16KPJ

Very cool.


It is pretty trival to write a BF compiler to C, each instruction has a clear C equivilant and the parser is dead simple to write as well. It is less then an hours work to write a naive BF->C compiler


BF operators can be matched C code easily.

http://en.wikipedia.org/wiki/Brainfuck#Commands


Though rather juvenile I appreciated this interpreter that maps instructions to offensive four letter words.

NSFW text. ff/feckfeck/f* ckf* ck.

http://web.archive.org/web/20050318095341/http://www.chilliw...

http://web.archive.org/web/20050311055852/http://www.chilliw...


I'm working on implementing the JVM in Brainfuck


Now peg it against http://mazonka.com/brainf/, the bff4lnr version :)


Since bff4lnr is an interpreter, this really becomes apples and oranges. But for fun, dbfi.b on bff4lnr (at -O3) vs all at -O0 and -O3: http://imgur.com/uEEgVr0 Conclusion: if you want speed then compile.


Ah, my bad. I didn't realize yours was a compiler.


This sounds cool, but I was not sure till halfway through the post if it's like an Onion article or not.


How long until someone makes a homoiconic version of brainfuck?


Who is hiring brainfuck developers these days?


I always keep it on my CV, hopefully one day.


Beautiful insanity.


Kudos, I guess...




Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: