skysight-inc/HackerNews huggingface dataset:
To illustrate how close Erlang syntax is to Prolog, here is drop/3 in Prolog:

drop(X, List, Result) :- drop(X, List, [], Result).

drop(_, [], Acc, Result) :- reverse(Acc, Result).
drop(X, [X|Rest], Acc, Result) :- drop(X, Rest, Acc, Result).
drop(X, [Y|Rest], Acc, Result) :- dif(X, Y), drop(X, Rest, [Y|Acc], Result).

I only had to make a few syntactic changes to the original program to obtain a Prolog predicate from it. The most significant change is that I use an additional argument to hold the original function's return value. An important consequence of the resulting relational nature is that this can answer quite general queries.

For example, we can ask: What are possible solutions Ls that arise when we drop X from the single-element list [A] ?

?- drop(X, [A], Ls).
X = A, Ls = [] ;
dif(X, A), Ls = [A].

We see that there are two possible answers: One where X is A, and hence the result is the empty list []. And the other where X is different from A, as indicated by dif(X, A).

Even more generally, we can systematically enumerate all conceivable solutions for all list lengths:

?- length(Ls0, _), drop(X, Ls0, Ls).
Ls0 = Ls, Ls = [] ;
Ls0 = [X],
Ls = [] ;
Ls0 = Ls, Ls = [_586],
dif(X, _586) ;
Ls0 = [X, X],
Ls = [] ;
Ls0 = [X, _598],
Ls = [_598],
dif(X, _598) ;
etc.

This uses iterative deepening to generate all possible answers.
In some states, companies have to send a regular employee to small claims court.

For example, in California, "a corporation may appear and participate in a small claims action only through a regular employee, or a duly appointed or elected officer or director, who is employed, appointed, or elected for purposes other than solely representing the corporation in small claims court."

http://leginfo.legislature.ca.gov/faces/codes_displaySection...
Define deleted. Do you mean the data itself is purged, or simply marked as deleted and rendered inaccessible?

If you mean purged, then do you also mean that it is zeroed off of the disk by a multiple low-level pass?

This would be hard to prosecute for perjury as the definition of "deleted" can be construed in many ways.
Would you please comment civilly and substantively, like the guidelines ask? We ban accounts that won't.

https://news.ycombinator.com/newsguidelines.html
Because the planet was effectively larger (i.e., less developed) and the population was MUCH smaller: supply and demand, no?
Extending Customer Lifetime Value (LTV) with Customer Education
Even if Facebook doesn't get the data through you, it still gets your data from people you know.
Show HN: IMDb extension shows relative age of actors on each of their films
The 10k a month figure is fairly unreasonable. For a two bedroom, that figure will be closer to 5k a month.
Please no generic ideo-political talking points here.

https://news.ycombinator.com/newsguidelines.html
Despite this, the student to teacher ratio in the bay area is still 19:1 - 23:1. Hardly a change. So clearly teacher pay is not a big issue.
Made possible by California's plutocracy, uhhh I mean plebiscites.

TL;DR, a democracy does what a democracy does
Facebook is offering a $40,000 bounty if you find the next Cambridge Analytica
My first programming teacher insisted we call the single = sign the 'gets' operator. So

int x = 10
int y = x

would read in English as x gets 10, y gets x.

Shortly after that class I took a break from any coding. When I went to another school I saw Softmore and Junior level programmers still struggling with this. I retained the habit of using 'gets'and never had a problem with this.
I think most folks are working with lies like, "I'm a people person," or "I am confident in this interaction," rather than "I have a PhD in $obscureField."
Do any mobile browsers even support them?
> It's an important discussion but his response would just make FB seem way worse on that specific issue than highlighting how the entire ad network ecosystem works.

Any legislation that comes out of this hearing wouldn't apply only to Facebook. Facebook admitting the extent of its tracking could help clean up the "entire ad network ecosystem."
Arguably a step forward for feminism also
This is pretty well designed - many CS ethics courses (of the few that exist) don't cover nearly enough. Seeing stuff like gamification, ethics of profit and behavior when in position of authority are some surprises I don't typically see.
At one point in my career, I was afflicted with a Wirth-designed language. His opinion on what constitutes good language design does not carry much weight with me. In particular, I can tell you that the extra typing of Pascal over C really does matter over a couple of years. And that := for assignment is a major pain when your left pinky finger is out of action for weeks, and you still need to hit shift for every assignment.

But then we get to this line:

> Because it overthrows a century old tradition to let “=” denote a comparison for equality

In what sense is "=" for comparison a century old? Hasn't it been used for "things that are equal" for multiple centuries? If so, and if that's distinct from "for comparison", then isn't for comparison also a new, non-standard use?

Does anyone understand what he's on about in this quote?
It's super not.

Look, if you got a starter house let's say 5 years ago for let's say $800k, and now that house is worth $1.1M, but what you want to do is move into a 3/2 or something that used to cost $1.1M, that same better house now costs $1.5. Instead of having to add $300k equity, you have to add $400k. But actually, what's happened is that houses in like the 6th to 8th decile have appreciated more than houses in the 1st to 4th decile, so you probably have to add $500k.

The only people this is good for are people who own a separate property purely as an investment, and people who are moving out of the area or downsizing their houses.
About the presence of the FB Like button and Comments widget on a large portion of the web, and what do they do with the data about all the sites and pages their users visit, which is readily available for Facebook to collect, store and use on any site that includes their widgets and even those that don't by way of the Referrer http header in case the next site you visit has FB widgets.

Facebook has far more data about the pages you visit than an ISP ever will (to which HTTPS pages are invisible unless they employ MITM techniques). Facebook sees it all...
I actually liked Google+ but let's be honest, dozens of users is not a social network
yet Zuckerberg is testifying as I write, denying, dodging the responsibility and questions. I can't believe it, instead of laying down and confessing, he is trying to justify and blame everyone but Facebook.
I'll take free speech. Who do you think you are? Who gets to draw the line between what is hate and what is not? You?

Certainly not YOU! The opinions and the cultural fads you chase do not lend you any moral superiority. YOU have no right to judge.

I piss all over your self-seeking ideology. Would you send me to the gulag if you could?
IMHO that was a completely inappropriate comment, as Mr. Zuckerberg's wife is of Chinese descent.

I cringed.
More like we've got 100 people and 80 houses, but somehow 70 people aren't going to get a house one way or another.

One of the large problems is people buying up second+ homes to rent out or AirBnB.
I've had this in my vimrc for a little while:

let hr = (strftime('%H'))
if hr >= 17
set background=dark
elseif hr >= 7
set background=light
elseif hr >= 0
set background=dark
endif

Using a light sensor would be cool, but I actually work from a desktop PC most of the time, so no sensor. I guess the next best thing would be something like f.lux does: query some web service for the sunset time at your current location.
Not really sure how California leaving the Union would solve Bay Area's housing crisis. Are you saying that it will negatively affect its economy that tech companies will just stop hiring/leave the area?

And what exactly is "American culture", that California (a state where more than 12% of the total US population lives in) drifted from?
Ugh, that reminds me of some cover CDs that used some fancy/horrible macromedia based menu if you didn't kill the autoplay "feature" with fire.
What's the last vowel in your surname? (It's "e", not "u".)
How was this possible? I don't recall ever having access to private messages in the FB API. Was this ever available to developers?
Do you really think Russia was the first to use Facebook for political gain and that no homegrown entities ever thought about it? Obama in 2012 maybe?

13 Russians spent $50K on ads AFTER (according to Facebook's VP of ads himself) the election. Hillary's campaign cost $1.2B. Where do you think that money went?
I had pinged them about the SV Bank account especially with their high fees compared to my Credit Union and they mentioned that you can immediately close the SV Bank account as use your bank or credit union. [1]

[1] https://twitter.com/atlas/status/901220134328643584
“Private messages” as in those sent via Facebook Messenger, right? Not Secret Conversations, Facebook’s allegedly e2e messaging product [1]?

[1] https://www.facebook.com/help/messenger-app/1084673321594605...
Not working though is it? Mirrorless are making huge strides in video
Can anyone explain the pros/cons of LLC vs. a Delaware C corp?
When it comes to "social media" I'm not easily stumped, but I had to do a double take at that headline.
Please, developers, don't use back ticks. They're not as accessible in other keyboard layouts.
In the early 2000s I was making $55k and bought my first home for $130k. It was possible, although harder now as money is too easy to get.

You have three problems... over consolidation of industry, over consolidation of capital and inflationary pressure via easy credit.

Bay Area real estate is a shitshow in many perspectives. The root problem is that the money people are all there, and would rather not travel. It’s dumb for all stakeholders, corporate, capital and working that such an important and large component of the US economy is dependent on the Bay Area. It’s doubly stupid as the whole region could be leveled by an earthquake at any time.

I’ve worked on projects where significant numbers of people contributing to the project have been on other continent. It defies all reason that we don’t have the ability to finance business in Omaha, Buffalo, or Nashville.
The point of an IQ test is to measure brain damage, by comparing prior results against later results.

Any other use is just Pop Sci.

So naturally you can change the measured IQ, but you're abusing the test.
>home ownership being out of reach, so long as housing is affordable.

But it does not work this way, if we actually talking about capitalism. House ownership is having an asset (stock or house) and affordable housing is a cashflow (rent + house deprecation, or dividend) which this asset generates.

These two are interconnected, always. If your house provides you with 2% rent and your S&P500 portfolio gives you 0.02% dididend yield, it means that house is overvalued or portfolio is undervalued.

So, point being, you can't have 3M houses ("home ownership being out of reach") AND 24k/year rent ("affordable housing"). House prices should fall or rents should rise.
Emacs is great - I used Paredit for years, and really learned to love the REPL in emacs. Actually, I still use Magit every day!

I know there are many many people who have deeply invested in their environments, whether it's an editor, language, framework, etc. And there are also millions who haven't, and are looking for the tool that speaks to them like Emacs did to you.
Who in the world thought this was a good idea!? I can hardly think of a less secure way to ask security questions. You should name and shame; there’s a minimum bar everyone should uphold and this is far below it.
That's probably the most dystopian version I've heard of, of people gaming KPIs.
The main issue is that it's very rare for someone to "own" a song. The publishing, label, composition, mechanical and performance rights might all belong to different entities in different territories and sometimes even in different windows. Relicensing is pretty common for films, but less common for TV, because there's less margin. And collective licensing for broadcast happens in lots of territories and not for on-demand or internet distribution.
> Are there are job offers on Facebook? (That's a genuine question; I don't have an account.)

IIRC, they're trying to become the blue collar linkedin.

https://techcrunch.com/2018/02/28/facebook-job-posts/
> LLC vs. a Delaware C corp?

Both Delaware and California offer LLCs, as well as incorporation options. Are you contrasting an LLC versus a C Corp, or a Delaware LLC with a California LLC?
> Then why does Facebook take the entire responsibility for "ruining" the country?

Arguably, because moral responsibility does not have to add up to 100%; an actor which decided to pursue an activity whose harms to others are reasonably foreseeable can bear full moral responsibility for those harms without in any way diminishing the responsibility of other actors who also participated in the same activity and for whom the results were also reasonably foreseeable. (This is similar to the legal concept of joint and several liability.)
> From the article:

Articles, like desserts, aren't always right. I am sorely tempted to pull out Sammet's book tonight and start counting.
I agree with you. It is too bad that the white-knights on this forum are elitist af.
Maybe lhs = rhs is the set of assignments implied by a postcondition. So x = 5 implies a single assignment, but x = ±5 could mean two possible assignments. Similarly, x ≠ 5 would mean all the possible assignments but x = 5.
Remote work so you can live in Fresno but work in SF.
Lies lies lies from mouth of facebook.
So sad.
The $800 annual tax is worth people knowing about.
While I haven't taken this exact course, having been in another of Abraham's classes I can say that Abraham is a great instructor that would be well-suited to designing this kind of course. The syllabus appears pretty comprehensive as well, which is encouraging.
Let's hope you won't have to regret sharing this information too publicly...
The average age of congress is about 60.
You can also do it in Florida entirely online but for $130. Wonder why the huge difference in cost.

More info:

http://dos.myflorida.com/sunbiz/start-business/

To actually create one:

https://efile.sunbiz.org/llc_file.html
Insane, yes, but 2k/month is still a lot more then most American families live on after paying their rent/mortgage.
Thanks for sharing. Enjoyed watching (from the link below). Well done!

I like the '=' as an assertion idea. That is, it's like running code with assertions turned on. Never thought about it that way but it makes good sense.

Also stealing your idea of "rebootable code" :-)
>Are you contrasting an LLC versus a C Corp, or a Delaware LLC with a California LLC?

A Delaware C corp vs. a California LLC
You're missing the point - languages like Pascal have a := assignment operator because the = operator is for comparison only. If you accidentally drop the :, then you have a simple Boolean expression. If this Boolean expression is used as a statement, by itself, then the result is a compiler error.
It's amazing that FB is up 4.5 percent.
Disallow people/corporations to own more than one piece of residential real estate.
If they were viable competitors like Instagram, Whatsapp or even Snapchat, FB would try to buy them out and become monopoly-like again. But there is no perception that the gov should question these mergers for this industry.
> To be eligible, the case must involve at least 10,000 Facebook users, show how data was abused (not just collected) and Facebook must not have been aware of that specific issue before

The “abuse” requirement makes this feel flimsy. Am I missing something?
How often does this kind of thing gets escalated to Larry/Sergey in general, BTW?
Owners of a free press must be committed to its vital role
I mean, he's not dead. You can still talk to him.
Τυπική διαδικασία τα ματς σε Μαδρίτη και Μόναχο
>A common FP critique of imperative programming goes like this: “How can a = a + 1? That’s like saying 1 = 2. Mutable assignment makes no sense.” This is a notation mismatch: “equals” should mean “equality”, when it really means “assign”.

I sort of disagree with this. Many functional languages pull heavily from lambda calculus and other forms of mathematics. In math, "a = a + 1" isn't the same as "1 = 2". The issue isn't equality, it's that you're trying to rebind a bound variable, which isn't possible.

In other words, rebinding a bound variable is not the same as "1 = 2".
I mean if we handwave away the mortgage. A 10k/month mortgage is a $1.4 million dollar house on only a 15 year mortgage. Push to the 30 year and you're at like $2.2 mil. Besides 2k/month after mortgage isn't so bad, I wish I knew what the median after taxes and rent/mortgage income is but I guarantee it's nowhere near that high and it comes with nowhere near as nice of a house.
Will you implement Article 17 from EU GDPR for all Facebook accounts?

Are you now, or have you ever been, a member of a political party that acted in the interests to elect Hillary Diane Rodham Clinton for the presidency?

Mr. Zuckerberg, you personally are the controlling party in an unregulated entity that can sells advertising. You have admitted that you were not aware to the extent that your platform is used to sell misinformation. Do you think that your platform could have been used to subvert the democratic process in previous elections?
No doubt. Every load of their Like button and Comments widget on millions of sites is saved somewhere, building a nice graph of all the pages you ever visited from a particular IP and probably a cookie the widget saves.
I agree, the libraries will get lighter, just like jQuery has been doing for some time. I tried Vue again recently, and it was a 30 second copy/paste and it just worked instantly. 2 minutes later I had an example working inline with a project I am working on. (how long does it take to build your first React app?)

Web components are the dream of sharing code widely across many different systems, just like HTML, CSS and JS do. This is why it will beat React in the long term, wrapped in a lighter weight set of frameworks.

Just the other day there was an article discussing how the virtual dom could be improved with a static dom, and then only partially updated at the edges, something React isn't even designed to do. (ie, it does a complete diff of the dom and manages the entire view, correct me if I am wrong here)

Finally, if performance is your game, browser optimized code, whether it's web assembly or simple improvements to components, it will always beat a virtualized layer on top of it. Again, React will lose on this point too.

The question is, how long will it take before there truly is something better widely available? Or is it here already and we can't see it's value yet?
How does student:teacher ratio impact whether or not a teacher can afford to live in/near a community - which, presumably, they need to do to teach there?
It was always about censorship and an aside of blocking sex workers/prostitution.

The founders have been ad hominem attacked but they are big in civil rights [3], personal freedoms and started the New Times and Village Voice alternative media which is a check on authority [1][2], Backpage was originally the New Times classified section.

The government filter/firewall is the authoritarian goal in this journey. Backpage and SESTA/FOSTA are solely about censorship and a step towards the internet filter/firewall [4].

Meanwhile Backpage really only added a filter to block words as any profanity/bad word filter does per direction from the government and lawyers [5].

The Backpage report claims of 'trafficking' amounts to simply a profanity filter that backpage created to PREVENT people posting bad ads or possible 'trafficking' not encouraging it [5].

The report says Backpage 'knowingly concealed evidence of criminality' for removing bad terms being posted due to a profanity/word filter? They didn't want people posting ads with these terms because they were bad words, not that they supported it[5].

That argument is like saying, because a site profanity filter removed racial slurs that the site was 'knowingly concealing evidence of racism'.

New Times has been kicking up dust on authoritarianism since the 70s. Lacey and Larkin also won a lawsuit against Arizona as recently as 2013 for false arrest which is still used to attack them [1][7]. They had exposed Sheriff Joe Arpaio's real estate corruption and his home address was in the article and is public information. Arpaio demanded all information on every visitor to the website, the article and previous articles about him for who knows what, they refused and published that and they were arrested for not turning over private user data for merely reading an article about Arpaio [7].

> In December 2013, the Maricopa County Board of Supervisors agreed to pay Phoenix New Times founders Michael Lacey and Jim Larkin $3.75 million to settle their false arrest lawsuit against the county defendants.

Massive authoritarian overreach is happening on the internet from many sides.

When authoritarian overreaches begin, you first go towards censorship, attacking civil rights, alternative media and funders of rights.

The crazy thing is they literally had these guys in a jail cell in the courtroom [6] like they were Hannibal Lecter, it feels very authoritarian and a bit scary considering their civil rights / alternative media / anti-war background and they merely ran a website [6]. The money laundering charges are because they tried to move ownership of the site offshore due to authoritarian overreach attacking it [5][6].

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

[2] https://en.wikipedia.org/wiki/Village_Voice_Media

[3] http://www.laceyandlarkinfronterafund.org/

[4] https://www.wired.com/2017/04/internet-censorship-is-advanci...

[5] https://www.hsgac.senate.gov/imo/media/doc/Backpage%20Report...

[6] http://time.com/5233804/backpage-prostitution-money-launderi...

[7] http://www.laceyandlarkinfronterafund.org/the-incident/
Using == and := would guarantee you never accidentally use = by itself (out of habit from other languages) because that's not a valid operator.
It's illegal for foreign nationals to make direct or indirect contributions to US politics. So the line that has to be drawn is one connecting that law to the CA scandal and its alleged use to drive the strategies of the Trump campaign during the 2016 election.

I don't know for sure if Facebook can be seen as being complicit in breaking US election law. I think their issues are completely domestic as it stands right now. But I'm not a lawyer.
Yep, when divx hit the net and could compress (mangle?) a full length movie to fit on a single CD was a big deal.

Before then there was VCD that used MPEG to split a movie across multiple CDs, iirc.
I think he would probably dodge our questions majestically..
I have this old and slightly buggy vim plugin [1] which uses py-ephem to determine the correct moment to switch themes every day. It's been quite a while since I've used vim and I don't maintain this, but you may want to chech it out. BTW, if there's anybody that wants to take over it, please contact me via a github issue through the repo below.

[1] https://github.com/cadadr/vim-sunflower
Didn't see the video, was the senator jesting or was he actually offended? (I suppose it's the former but you never know)
Open Your Cocktail Bar and Sell Your Cocktails on the Blockchain
How is the ethnicity of Zuck's wife relevant?
Zuck, "In general, I agree with you ..."
Let's hope Oleg sold that ETH to solidify his profits.
> Some would disagree

Some do, but they're in the minority (which, to be clear, doesn't necessarily make them wrong). You can find scientists who refute climate change, too. That says nothing of the state of prevailing consensus, though.