Maybe this is just an XKCD moment https://xkcd.com/1172/ ...
370 karma · joined August 28, 2015
Maybe this is just an XKCD moment https://xkcd.com/1172/ ...
?- setof(Author, Book^Pages^(book_author(Book, Author), book_pages(Book, Pages), Pages > 1000), Authors).
Depending on the structure of the Prolog database, it could be shorter: ?- setof(Author, Pages^(book(_, Author, Pages), Pages > 1000), Authors).But then again, VS doesn't allow font size in px ...
I heard a rumour that some legacy apps have weird validation on their login fields, so students wouldn't be able to log in with passwords containing certain strings. But I don't actually know of any examples.
https://space-invaders.com/media/invaders/ljubljana/LJU_28-d...
I really appreciate that they're locally themed. Many of them feature Ljubljana's iconic dragons.
I always figured it was some local artist placing them, never figured it was an international thing.
[1]: https://en.wikisource.org/wiki/Moral_letters_to_Lucilius/Let...
And do people who have built their own house usually demolish it and move on after just 30-40 years? That's when you've just paid off your mortgage, heh.
At my parents' house, they just replaced the roof, which was well over 30 years old. The house itself is over 100 years old and completely fine to live in.
This way there can be no confusion whether you're copying the contents of a directory or the whole directory, and you can't create a duplicated directory within your destination by mistake.
Compare to: cp srcfile destloc/destfile
Edit: In addition, the above gulp command reports success even if the file doesn't exist. If you want to check that, you need to import another library and expand the command with another pipe.
I don't see how your argument holds ground. If everyone used make, tooling would support it, and you wouldn't need to learn the "quirks and tricks" of a dozen other systems.
The problem with make is that it's not portable, since it needs to call system specific binaries, like rm(1) vs del. There's also the BSD vs GNU divide.
Other than that, a newfangled tool like gulp doesn't even have a clean one liner for copying one file to a different location with a different name. It's absurd.