skysight-inc/HackerNews huggingface dataset:
To complement Karrot_Kream's answer, there's another two things you can do if you're having DCG left-recursion troubles:

The first thing is to use a different parsing strategy. For instance, the Earley parser [1] used to be a typical example of (advanced ish) Prolog and wikipedia says that it performs particularly well with left-recursive languages.

The disadvantage of course is that you're giving up the simplicity of having a built-in grammar-and-parser capability in your language. But in some cases that's probably a very small price to pay.

The other thing you can do, which is in a sense the exact opposite of changing parsers, is to eliminate the possibility of left-recursion from your DCGs by choosing a grammar formalism that precludes it.

It boils down to keeping all your rules looking like this:

P --> [a₁, a₂, ..., aₙ], A₁, A₂, .... Aₘ.

Where each Aᵢ is a terminal or nonterminal and each [aₖ] a terminal.

In other words, expand every nonterminal first to one or more terminals, then any mix of terminals and nonterminals. That way you'll always accept a terminal before expanding a nonterminal and there's no chance of left-recursion.

You can write a short syntax checker to enforce this rule in a post-processing step, or just do it by hand.

You can be a little bit more rigorous and stick to more strict forms, particularly right-regular grammars, or Greibach Normal Form [2], if your grammars are context-free.

Right regular grammars allow a single nonterminal on the right-hand side:

A --> [a], B.

Whereas Greibach Normal Form allows a single terminal followed by any number of nonterminals:

P --> [a], A₁, A₂, .... Aₙ.

The benefit of GNF is that any context-free grammar can be transformed into a grammar in GNF, so you can first write your grammars in a loose form, then convert them to GNF to remove left-recursions. If you want I can probably dig up a reference to how to do the conversion.

___________

[1] https://en.wikipedia.org/wiki/Earley_parser

[2] https://en.wikipedia.org/wiki/Greibach_normal_form
For everyone who's missed Kimono, I hope this helps! Looking for feedbacks please.
This is why (just like for any other OS) you buy a device with explicit support. You don't buy a random laptop and then complain why macOS doesn't run on it... do you?
For an introduction to Prolog:

Learn Prolog Now - Free Online Version http://www.learnprolognow.org/lpnpage.php?pageid=online

I like this one because it's beginner-friendly (and uses characters from Pulp Fiction as examples).

-- edit: actually, The Power of Prolog to is great, too!
If anyone knows more good resources, I'd be happy to hear about them!
I hope they won't discard mobile.twitter.com it's lighter than lite and works without javascript
There are shells other than SH and derivatives. They're not terribly popular.
> but the fact that Android is pretty notoriously insecure at this point.

Why do you think that?
How do you explain that it has a lot of users, much more than your preferred secure network?
> how do I discover that it's a property?

There's a bunch of properties displayed by default, but if you want to see all of them:

ls | select *

Since ls (gci, get-childitem) can list Environemnt variables, Registry entries, etc (which is awesome) these all have different properties.

ls Env: | select *

However I do see your point: the docs could be better about explaining that.
Doing spot requests is a great way to keep the costs down if you just want to rent a GPU for a while. But bear in mind that GPU instance types tend to spike in price all-at-once when somebody brings a huge compute job online, which will exceed your spot request's max bid with no warning and immediately terminate your instance. So make sure whatever you're doing can be interrupted!
With this announcement, is there still any benefit in having cloudfront in front of alb if you don't do any caching? I assume that aws has less latency on their internal network, but would love to see some numbers.
And they won't, because (reasonable so) being update-able is half the point of the way they're doing it.
That's impressive. Together with (neo)vim as $GIT_EDITOR I can see that being really nice to use.

Now you could decide to systematize the "grammar" of your shortcuts somehow, and, well... it's definitely an idea people have had before. ;)

https://magit.vc/screenshots/popup-diff.png

Not an Emacs fanboy, by any means: I use Spacemacs. Magit is objectively excellent, though.
SEEKING WORK | REMOTE | Lahore,Pakistan

Full stack web developer with 2 years plus experience in multiple technologies

I'm available for projects only

Skills: Javascript (ES 3/5/6+),HTML, CSS, Angular 1, bootstrap,jquery on client side
On server side i have experience in grails/java,python/django 1.7 and little bit php :)

Things I'm good at: solid, user friendly, modern UIs with current best practices and that perform well, single page apps, creating or integrating web services and APIs (Rest, Websockets), CRUD backends

Website: https://abdurrehman91.github.io/ email:abdurleo91@gmail.com
>there's the fact that the date modified column format depends on how long in the past it was modified!

Not if you do the sane thing and use the -T option. Of course that requires the user to read another huge man page to find out that such an option exists.

I think you have failed to understand the kind of alternative people are proposing. Nobody is saying that the current ls sorting flags should be removed and replaced by passing the output of the current ls command to sort. That would be broken and difficult to use for all the usual reasons that passing around unstructured text is broken and difficult. The idea is passing more structured data between processes so that the problem you describe could never even happen. What you describe is actually the type of issue people want to solve (but in the general case, not just for ls).

Formatting data for humans to read and formatting data for machines to read are different problems. Current unix cli tools have to attempt to do both, which often means doing neither well. If you are lucky there are at least some flags you can use to make the output more structured. If you are unlucky the command magically reformats the output based on the type of device it's printing to.
No, it clearly states that the apple is liable for faults that the aftermarket part didn't cause. Any faults with the aftermarket part or faults caused by that repair are the responsibility for the person who installed the aftermarket part.

The example is relevant.
> fib(X,Y1+Y2):- fib(X-1,Y1),fib(X-2,Y2).

As others have noted, it's possible to write nicely behaved Prolog versions of this that you can use in various ways: call "fib(3, N)" to find the third Fibonacci number, "fib(3, 6)" to see if the third Fibonacci number is 6, or "fib(I, 6)" to find if 6 is the I-th Fibonacci number for some I.

But these solutions use slightly more verbose syntax that makes the evaluation of arithmetic expressions explicit. As for the question why this is the case and why Prolog doesn't support this natively, it's because the Prolog system would have to know (a) which terms represent arithmetic expressions and (b) at what time all the variables in those terms will be instantiated.

For (a) you need a static type system, which is a well-known concept, and for (b) something called a "mode system", which is something more or less specific to logic and constraint languages. The mode system tells you when certain variables will be bound to values. Consider the example "fib(3, N)", where X is bound, which allows you to compute "X-1" and "X-2", from which you can compute Y1 and Y2, and from these finally "Y1+Y2", i.e., N. For the call "fib(I, 6)" the whole computation is in reverse: From "6 = Y1+Y2" you would need to derive values for Y1 and Y2 (this already involves a search), from which you can derive values that allow you to find values that should be equal, respectively, to "X-1" and "X-2", and from that you might deduce a value for X. This is a completely different computation. It's doable, but you would need to know data types (which in general you don't, in Prolog), predicate modes (which again you don't), and you would need to use separate computations for each mode.

There is a functional/logic language called Mercury, which is a superset of a restricted subset of Prolog, which has static types and modes (using user annotations) and compiles separate versions of each predicate for each mode, and in which something more like what you want is already possible. (If I understand correctly, even in Mercury this example wouldn't work, because it only allows you to unify 6 with "Y1+Y2" if at least one of those variables is known.)
There's AOSP admire android. AOSP is open source which is some components of the Android system - however a lot of Android is not just AOSP. A lot of it is Google web services and other proprietary stuff.
Man alive, remind me to consult HN next time I'm in a situation like this (unlikely, I know). I admit I'm quite surprised at the level of detailed knowledge on this thread, particularly in this comment.
FYI, https://m.twitter.com also redirects to https://mobile.twitter.com
Honor 6C Officially Announced in Europe at Price of €229
Small claims court is actually mentioned in the Constitution. However, the actual guarantee in the Constitution is for claims of less than $20. All states also allow you to file for larger amounts, usually something like $5000.
Nice. Also:

>If you do get them from find, you run things on them in precisely the same way you run things on any other list of files: a for loop.
for file in $(find ...); do
rm $file
done

If you know the number of files (and hence total command line length) will not be too high (i.e. not exceed the maximum length of a Unix command-line [1]), and that the filenames will not contain spaces or other problem-causing characters, you can shorten that to:

rm $(find ...) # or rm -i $(find ...) for interactive deletion.

This will only run rm once, instead of once for each file.

If either or both of the above conditions are not met, your 2nd or 3rd snippets are preferable.

[1] IIRC, there is a constant defined for that maximum, somewhere in standard C library's header files (maybe something like BUFMAX). I've read that early versions of Unix commands used to crash in some way (core dump or seg fault) if the length was exceeded, and seen that a few times myself. Also may have read that it was quite short initially, like 512 or 1024 bytes. People might have done something to fix that, apart from xargs, later.

Update: I googled for this phrase:

maximum length of unix command line

and looked at the first few hits; found some info:

xargs --show-limits

can give info about the maximum length, which POSIX calls ARGMAX, not BUFMAX as I said above.

and a sample output of xargs --show-limits is:

Your environment variables take up 2446 bytes

POSIX upper limit on argument length (this system): 2092658

POSIX smallest allowable upper limit on argument length (all systems): 4096

Maximum length of command we could actually use: 2090212

Size of command buffer we are actually using: 131072

There is no limit per argument, but a total for the whole command line length. In my system (Fedora 15/zsh) its closer to 2Mb. (line 4).

(from http://stackoverflow.com/questions/6846263/maximum-length-of... )

One of the hits also says that

getconf ARGMAX

shows the value, on POSIX-conformant systems.
Yes, I would be against any program developed for military reasons. NASA has produced a ton of amazing things. But they did it so we could blow people up.
I haven't tested Blue Ocean yet but have used Jenkins previously, I'm currently using your competitor Travis and switched mainly because it's so much easier to get started with for a small project (which usually then grows bigger).

From the pictures the new jenkins looks much more pleasant on the eyes but how would you rank it's competitiveness with Travis when it comes to getting started with your testing the first time?

Will reconsider Jenkins in my next project as it seems like you are taking UX seriously!
I think I may have misinterpreted your original comment. It's true, as you say, that in the Stein estimator some individual MSEs get worse to yield a lower overall MSE. I was focusing on your example and assuming you meant this was only possible because some individual MSEs were larger than others to begin with (under the individually optimal estimator).
Why I will not exercise my GitLab stock options…
My advise: don't focus so much on how to build it, focus on how to grow it... REALLY!

I've done so many complex projects that at the end I couldn't sell, that's frustrating... please hear me: figure out first how to sell it (or at least get good traffic to a crappy wordpress site), then build a very crappy version and then improve it over time.

I read recently this, and I think is gold:
https://www.blackhatworld.com/seo/making-money-online-it-all...
Microsoft announces the release of .NET Framework 4.7
Definitely did not. Top tweet when I logged in just now was a T-Mobile promoted...
Any attempt to "objectively" measure performance to influence salary will actively harm company culture. Unless your company is literally an assembly line, Godhart's law takes over so quickly and your employees are going to spend their time abusing the metric.

Just paying employees the market rate, while imperfect, is overwhelmingly preferable.
I thought it was a play on Kafka's quote:

"The crows assert that a single crow could destroy the heavens. This is certainly true, but it proves nothing against the heavens, because heaven means precisely: the impossibility of crows"

I'm still not sure I am wrong.
It's because Twitter (the company) has no idea what to do with Twitter (the product), and are trying to branch out in increasingly dubious ways.

For comparison, Tweetbot is 7.6MB and Twitterific is 10.3MB (both on iOS), and they provide a much nicer experience for using Twitter than the official app.
Another interesting part of the Consumer Guarantees Act (which I'm guessing is similar to the ACCC) is if a product is replaced with something new then the lifespan of the item resets, so if my laptop is replaced three years into an expected five year lifespan then I get another expected five years.

It's amazing how companies try to get away with things though.
So, what is a recommended, buildable GPU rig (bang for buck)?

i7 w/ dual 1060 GPUs?
You mean Nextcloud.
Like bash (where aliases are also limited) most people list make functions.
I think the issue is I and my peers never really received any education about how to make it in the world (outside of simply "go to college"). If you are working a minimum wage or low paying job you really have two jobs the second being constantly searching for and applying to better opportunities.

Also I suspect another issue is the cliffs for government benefits. If you work between 45 - 60 hours a week for $12 - $13 an hour like I did a few years ago you aren't exactly well off yet programs like Obamacare will fine you for not buying health insurance that you can't really afford. Similarly free clinics will turn you away and I wasn't able to find a single aid program that you would qualify for except about $20 a month in food stamps. I figured out the costs once and there are a great many situations where a rational actor would simply work less or for less money and do better economically.
I have a dedicated Git tmux tab for every repo I'm working on, in that tab I use a git shell. Initiated by this bash function:

# A nice shell prompt for inside git repostories
# Shows a short status of the repository in the prompt
# Adds an alias `g=git` and makes autocomplete work
gitprompt() {

__color_bold_blue='\[$(tput bold)\]\[$(tput setaf 4)\]'
__color_white='\[$(tput sgr0)\]'

export GIT_PS1_SHOWDIRTYSTATE=true;
export GIT_PS1_SHOWSTASHSTATE=true;
export GIT_PS1_SHOWUNTRACKEDFILES=true;
export GIT_PS1_SHOWUPSTREAM="auto";
export GIT_PS1_SHOWCOLORHINTS=true;
. /usr/lib/git-core/git-sh-prompt;

local ps1_start="$__color_bold_blue\w"
local ps1_end="$__color_bold_blue \\$ $__color_white"
local git_string=" (%s$__color_bold_blue)"

export PROMPT_COMMAND="__git_ps1 \"$ps1_start\" \"$ps1_end\" \"$git_string\""

# Short alias for git stuff
alias g=git

# Make autocomplete also work fo the `g` alias
eval $(complete -p git | sed 's/git$/g/g')

}

So I have this in my `.bashrc` and when I want my bash to get a handy Git prompt I type `gitprompt`.

You do need the file `git-sh-prompt` which should come with git, for me it's located in `/usr/lib/git-core/git-sh-prompt`. It's also available here:

https://github.com/git/git/blob/master/contrib/completion/gi...
I live in Bavaria. Everyone drives over the limit if home is not too far away. Noone ever gets caught. I on the other hand have lost my license for smoking weed 2 days earlier. Sigh..
Experience, incredible numbers of CVEs, arrogant yet meaningless statements from their security team over time which has convinced me they do not care. Lack of commitment to update distribution.

Heck, Fuchsia is built with a reasonable security model, most work on Android goes into making excuses for theirs.

At least if I'm carrying something obscure the likelihood of being targeted is low.

I don't have the time or desire to do what's required to securely operate on the Android platform.
Look at /r/VPN and the Wilders privacy subforums. Examples that come to mind are HideMyAss pwning Cody Kretsinger (LulzSec recursion). An EarthVPN user was pwned based on logs kept by its hosting provider. And so on.
I read comments like yours and wonder what the other side looks like. I have never, ever installed WhatsApp on my phone. My life hasn't disintegrated, or even degraded - but that's exactly why I wonder.

Would my life be better if I use it?
Ionic 2 – The Practical Guide to Building iOS and Android Apps
Freenet is a “peer-to-peer platform for censorship-resistant publishing”
Ah, hidden files. That's files with "-hidden" in their name, right?
Cool! Reminds me of SEGA's Thunderblade: https://www.youtube.com/watch?v=QfhRzhbXAPc
SharePoint Development
I've been using this AMI for CNTK since the AMI was made available recently. It's been working well for me - they seem to update the AMI for big tagged releases of the libraries, and all the CUDA drivers are good to go out of the box. Personally I found it easier to use than Docker images, and both are easier than manual install.

With a spot request you can get a p2.xlarge for around $0.22/hr, which for me is sufficient for moocs and side projects, but for beefier instances the prices get high.
> The era where all of our conversations and online interactions are recorded forever started in the mid 00's and ended in the last few years as apps defaulted to ephemerality, end to end encryption and no logging

Which apps defaulted to ephemeral storage (other than Snapchat)? And how do we know if the ephemerality is only in our view or applies to the underlying data stored (in other words, how do we know our data is truly deleted vs. being hidden from our view, used for devious purposes without us knowing)? Also, where are the social apps with no logging? All the popular social communication platforms seem to want to hoard every bit of data we can feed them and never want to delete those at their end.
What motivates you to start your own startup?
Let's say you work for a good company, you make good money, you are happy with your life in general.
What makes you start your own company?
Not sure if psychotic or not, but I don't get how one can even think those are actually meaningful schematics. I mean, a basic calculator schematic looks more complex!

Giordano Bruno itself is pretty overestimated: now regarded as a protector of rational thought, some study of his life reveals an opportunistic relation with religion. He's probably the only one being excommunicated from every possible European confession at the time (catholic, lutheran and calvinist). One wonders why he got into those religious orders in the first place.

If it was a Tesla statue, I'd give a bit more hope to the intellectual value of those "encrypted" (very poorly, it seems) texts.

There are much more trustable examples of fool geniuses (https://en.wikipedia.org/wiki/TempleOS).. this looks a mental outbreak at best, or just some attention seeking maneuver. Notice the strong resemblance of the two Brunos... maybe the guy thinks he's a descendant?

I really hope they'll find him safe and quickly.
New Google Group set up:

https://groups.google.com/forum/#!forum/sewtha-second-editio...

The welcome message is:
--
This is a Google Group for discussions about updating David MacKay's "Sustainable Energy – without the hot air" book. Sadly, David died just about a year ago, and he had done only preliminary work on revisions.

The group is set up by UIT Cambridge. We published the first edition of David's book, and want to publish an updated edtion, under the same Creative Commons Attribution-Non-Commercial-Share-Alike 2.0 UK: England & Wales Licence.

We have already been speaking to David's family and former colleagues, to work out how best to create an updated edition. We want to keep his voice and his approach and his insight, and above all his rigour. It will take a few months to work through that. In the meantime, let's identify what needs to be changed in the existing edition, and what needs to be added to a new one.
--
Niall Mansfield
(I was David's editor for the first edition, and worked closely with him on that for 6 months.)
If it was just a typo, like the article says, this would be very much like Brazil (with much low stakes though)
Ceph vs. Swift… not a rivalry
Yes. The term "innovation" applied to the two ideas bugged me too.

Could be a 'smart people problem' -- easier to 'innovate' a new wheel then visualize how existing tools can be remixed to solve.

For an example of remixing, it was apparent 15 years ago that traditional routing was actively harmful for live and VOD video streaming, so we cobbled a mix of the techniques you listed plus a couple more[1] to connect users to edges in real time based on actual real-time end-to-end conditions.

We did it consciously using these two ideas, plus content aware caching, plus one more "magic" but super trivial idea I still haven't seen elsewhere in the wild.

The low tech rethink worked well, handily outperformed proprietary solutions per industry perf and SLO metrics companies, and it's been an ongoing surprise me that it's taken so long for others to rethink or remix the same way.

We filed no patents, as to your point, this all could be argued evident to anyone 'skilled in the art'.

---

1. A couple custom bits: we also had to write an edge server shim as no media server at the time could handle sessions flapping in real time, not to mention the content awareness crucial for giant media files.
simply the best for scrapping
End of roaming charges for travellers in the EU in 2017
Is the video cut off? It ends quite abruptly and sounds like there should be more to the question
The desire to show that I will do it even better
Just in case you're not aware and it makes your life a bit easier there is an Apple store in Belfast which I've generally found very good when it comes to repairs and warranties. Depends where on the island you are but it might be worth the trip in the case of a broken Mac or something expensive.
A dataset with all the doctors in the world. And their ranks if possible. And what they worked before being a doctor - paid feature.
On-Page SEO Success Factors Explained
Sure, just like a house appraiser is an independent entity who determines the value of the house... Except that they always take the contract price in mind and basically attempt to not rock the boat. If they can make a case for a valuation close to the contract price, that's what they'll use. If they go too high or low, they risk killing the deal -- and their continuing business with the involved parties. Same problem as with legal arbiters and binding arbitration contracts.
The physics that tells us what the Universe is made of