lubomir

I would be great if it displayed somewhere where the app thinks I am. Because all of the suggested places are in no way reachable in the time it claims.

The wheels are in regular PyPI. They are uploaded by package maintainers. See for example here: https://pypi.org/project/pandas/#files

There are so many ways to escape the space. It did not accept cd my" "dir either.

It's meters per minute.

This is mentioned in the comments on youtube as well. The reply from author is "That's because there was a half-second near the end in my driveway where the thinning of my hair was much more visible than I was comfortable with, so I edited that part out."

And then there's also Constraint Satisfaction Problem.

How does it deal with languages with significant whitespace? Can it format Python without breaking it?

For those interested in the Boyer-Moore algorithm, this is an commented demonstration: http://www.cs.utexas.edu/users/moore/best-ideas/string-searc...

Compare to Knuth-Pratt-Morris: http://www.cs.utexas.edu/users/moore/best-ideas/string-searc...

Identity: there exists one unique element e such that for any a it holds that e⋆a = a⋆e = a. This e is the same no matter what a you pick.

Invertibility: given any a, there is b such that a⋆b = b⋆a = e. For two different a's you get two different b's.

As example let G be a set of all strings and the operation is appending. There is element e == "". For any string a it holds that if you append empty string to any side, you get the original string back. However there is no inverse. You can not append two string to form an empty string. Apparently, strings with appending do not form a group.

Group example: let G be a set of all integers and the operation is addition. Then e is 0, as for all a it holds that a + 0 = 0 + a = a, and for each a you can find -a such that a + (-a) = (-a) + a = 0.

Nice.

I had serious trouble with the demo, though. In order to figure out the switches at the top I had to dig in the code. Apparently when it displays off, it is actually on. A little color would help here.

I love the music in the game: http://play0ad.bandcamp.com/ How many free games come with something like that!

Looks kind of similar to the situation where Apple released their Swift while there already was a language with that name [1]:

1: http://swift-lang.org/main/

Also it does not consider 12:33 to be a time.

The Fn and Ctrl keys should be switchable in BIOS. At least it is on T440.

ShellCheck [0] is actually a pretty useful tool.

[0] http://www.shellcheck.net/

Why is it that so many opponents of systemd can not spell its name properly?

I do not know how much manual labor it is, but there are some pull request with merge of vim patches, so it definitely is possible (or at least someone thinks it is worth their time).

E.g. https://github.com/neovim/neovim/pull/653

Could someone give me a usecase for when an empty commit might be useful?

This page [1] nicely demonstrates differences between KMP and BM.

[1] http://www.cs.utexas.edu/users/moore/best-ideas/string-searc...

In code example, the hexdump starts with B9 90 00 00 08, but in the disassembly is listed as 80 00 00 90. I don't think endianness can change 08 to 80.

Another interesting source where to learn about implementing Unix-like OS is JamesM's kernel development tutorial.

http://www.jamesmolloy.co.uk/tutorial_html/index.html

Just a quick note: your pricing calculator does not let me enter any number. I use Czech keyboard layout where numbers are typed with Shift key. This happens in both Firefox and Chrome. Once I switch to English layout, it works fine.

It is not insisting. Vim will happilly let you use the arrow keys. It's just that once you acclimate to "hjkl", it is slightly faster and more comfortable, since you don't need to move right hand anywhere while typing. Or at least that's how it works for me.

In C it is quite common for functions to indicate failure by returning NULL. Not checking for these errors is another very common reason for segfaults.

It is already in Debian unstable.

I agree it is not really important.

The main difference between the two I see is that partial application basically binds a certain argument to a fixed value, while currying only changes the way the function is called (thus allowing for easier partial application). It is easier to see on a function with more than two arguments. Imagine f:(A×B×C)->D. Currying it will yield f':A->(B->(C->D)), so you would call it as f'(1)(2)(3). On the other hand, partially applying on first argument it would yield f'':(B×C)->D.

What this article calls currying is actually partial application.

Partial application is a technique where you take a function that requires n arguments, pass in the first one and get a function that needs n-1 arguments.

Currying is a technique where you take a function that takes n arguments and turn it into a function that can be partially applied. E.g. in Haskell it works with tuples as arguments. There is function 'curry :: ((a, b) -> c) -> (a -> b -> c)' and its counterpart 'uncurry :: (a -> b -> c) -> ((a, b) -> c)'.

The given reason for that is that it is a popular game that has no native version (so no one will ask why he is porting Midnight Commander) and it does not use much OS X API. It uses OpenGL, OpenAL, IOKit (for finding input devices), AppKit (creating window), CGL (for configuring OpenGL) and CoreVideo (for running main loop).

About a week ago, the author posted a report to his blog http://www.abclinuxu.cz/blog/doli/2013/7/darling-progress-re....

Summary:

  * It can run basic console programs like Midnight Commander, vim
    or bash, so compatibility of system API is rather good.
  * Dynamic loader is being refactored, because it can not unload
    dynamic libraries now. In the future there will be API that
    would allow loading OS X library into native code.
  * There is a FUSE module for read-only access to .dmg files, so
    that it is not necessary to unpack them.

Right now the target application that should work is Angry Birds.

Seems to be down. Google cache version http://webcache.googleusercontent.com/search?biw=1256&bih=91...

Edit: alive again