skysight-inc/HackerNews huggingface dataset:
The android app is now live: https://play.google.com/store/apps/details?id=org.openpetfoo...

As is the website: https://world.openpetfoodfacts.org

lthough Open Food Facts went from 100k to 300k products in just a few months, indexing all the food in the world proves to be a sizeable challenge: there are still millions of products not yet indexed all over the world.

As a result, we decided to focus on a task easier to achieve: Pet Food. And while we love all pets equally, in order to make our objective reachable, we have to focus only on one kind of pet: dogs, or cats or birds, etc.

But the good news is that you get to decide which pet that is, by participating in our worldwide competition:

1 New Pet Food uploaded to Open Pet Food Facts = 1 Vote for the Pet Food type of your choice
I could see the use case, even though it may be rare. I've had to hook up a mini WiFi router to my laptop before when I was on an wifi network where I only had a single "access code" for one device. http://pics.campl.us/f/f/f9eb5eb15d62836189e3176e9f93c7d8.jp...
Hurrying home to delete my browsing history before my wife starts investing in weird stuff with the family money :)
Congratulations on the big milestone! This really appeals to the same part of my brain that likes (to varying degrees) Haskell, Rust and TypeScript.

Can Idris be used as a Coq-style "proof assistant"? From reading http://docs.idris-lang.org/en/latest/reference/elaborator-re... , it looks like there was an older proof system that has recently been replaced by something new, and I can't tell if Idris can still be used as Coq replacement. Are there good tutorials on this?

EDIT: It seems like yes, it can be used for proofs? http://docs.idris-lang.org/en/latest/tutorial/theorems.html
You could say elixir (via erlang) has this kind of debugging flow. Although not automatic, you can have your program run inside a repl and inspect anything you like. There is also an "observer" program that shows you the running system. All the erlang processes, how they are connected, Who's talking to who, memory use, etc...
While Python does the trick just fine, I find how Julia handles "shelling out" and IO with the shell to be very pleasing. I am probably still a bit ignorant in terms of what is out there, so I am reading the comments with great interest.

https://julialang.org/blog/2012/03/shelling-out-sucks

https://julialang.org/blog/2013/04/put-this-in-your-pipe
Well Pearl Sullivan is a director (Dean of Engineering at UWaterloo)
They really do sell flow and use margin. There just isn't any way they're profitable doing just that.
And the funny thing is that there's no app in Steam Right now to watch 360 videos from youtube on Vive. Google, you have great Tilt Brush. And no Youtube.
I am not a 100% sure it would be useful for someone like me. For example, if my history said I looked up HN and youtube a lot, would it recommend me investment in these or related to this?

Snowden randomly vouching for a product? That seemed out of place for me at least.
Little guy's gonna get abs
Care to document some of those insights for those of us in a similar position?
Even if you believe that something like that could happen, it's irresponsible to just throw it out there. Everything that is wrong with politics right now is rooted in a breakdown of trust: Trust in institutions (FBI, the media), trust in politicians, trust in your neighbour.

Chomsky is peddling what amounts to a future-conspiracy-theory. All it achieves is even more confusion that allows actual scandals to be disappear in the dense fog of lies, conspiracies, and bad faith.

Example: the probably accurate theory that the Russians got directly involved in the elections is buried under (a) the so-far unlikely possibility that Trump was a direct part to it, (b) Trump's smoke grenade of "they tapped my phones", and now (c) this congressman's bizarre incompetence at both conducting an investigation and subverting it.

Meanwhile, there's two or three elections in Europe coming up, and a forceful response could have been helpful in, say, averting WW3. It's still unlikely that France and Germany, will follow the US example – especially now that they get to watch this shit show – but it's the kind of risk you'd try to avoid if possible.

So, anyway: Chomsky has done a lot of great stuff, but tolerating stuff like this risks turning the left into the same sort of rabid mob the right has been for the last 8 years or so.

(Also: Trump doesn't have the support of the security apparatus to pull off anything like a false flag terrorist attack, nor is anybody in that administration capable of organising a birthday card without leaking it to the press, accidentally buying a condolence card, and sending it to the PM of Nicaragua instead of Trump's cousin)
I appreciate your point, but I think the choice to write all or parts of an application in shell depends a lot on what you need to achieve. Writing 100 lines of shell to glue parts of your application together may be the best way to ship something today, even if you plan to replace that with another language in 3 or 6 months time.

Would you care to give a link to your guide? I'd be interested to read it.
Getting around the Shockley-Queisser limit is still very much the subject of active research and not at all impossible.
I would struggle to call wololo a reporter. The site is more of a "scene" blog so I don't actually know what resources he has.

For example, you might expect Ars Technica to own an Xbox One but wololo may not have one himself but yeah, I know what you mean.

EDIT: Oh, I overlooked the part where he says "yup, I still don’t have an Xbox One…" so there ya go
At least humans aren't bringing these poor animals into the world in captivity just to be slaughtered like we are with, say, pigs.
I asked people not to suggest iOS because I thought it likely that they would. I did not think it likely that people would suggest Android is acceptably secure, and indeed they did not.

iOS has the high ground between the two, but neither are anywhere close to acceptable.
Yes, interfering with plans to commit murder is always a legitimate reason for sharing information.
Western nations aren't exactly standing on a moral high ground, either.
> You've just repeated your false fact "+8% (for big cities)" after I corrected it

You "corrected it" by showing the criteria that were used to obtain samples with the same profiles. Yours wasn't a correction or a proof of falsehood: The scientist performed the required steps to be able to determine the wage gap with "all other variables being neutralized".

The false fact is "Women are paid 76% of men's pay for the same work". I'm unable to find words to explain you what "for the same work" means, and how such titles are consequently a lie.

Note the article doesn't actually say it, but every reader does understand it: It shows how wrongful the writer's intent is.

Do you want to know why I'm pointing this out? Based on 10 years of career in programming and reading hundreds of statistics on those topics, I've witnessed that women are promoted faster than men (3 years vs 7 years), assuming the same number of hours worked, the same results, the same IQ, the same training – but of course such a testimony from a man is not going to be accepted by people like you, so I have to rely on public sources to raise what is false about existing press articles. It is, however, very frustrating that:

- Studies on wage gap are not even close to scientific accuracy (They never properly compensate for same profiles - At least if we talk about people who have suspended their career to carry a baby, let's compare it to people who have done a gap year abroad),

- A lot of men had to leave their expectations for promotions, in order to make room for women, and when we put the proof of this "woman effect" in the eyes of people, we're merely acknowledged with a recognition of the fact like "Ok, yes, I reckon, we have to sacrifice a generation of men to give women the manager's jobs", and we don't even get a tiny "thanks" or a pat on the back.

- And yet the figure that depicts men as the most awful kind of persons always make the headlines. Try finding a worse title for the article, if you don't believe me.

Once again, I'm not against positive action for women, as long as we also help men for their problems too (men commit suicide 3x as often as women, are homeless 2x as often, are bad students 50% more often than women, etc). Most help networks are organized in sexist ways (budgets and preference being given to women, even for suicide prevention).
> An intern then manually clicked on each of those addresses

Even if the intern was paid, that's probably illegal.

Interns generally can't perform useful work for a business—they're actually supposed to cost the business money, time, etc. and cannot work on a project the business would normally pay someone to do.
Yeah, easily, over USB on a phone that isn't rooted.

Useful if you want to quickly and easily pipe all the traffic to and from your PC (or VM) for monitoring or intercepting, or need to get your phone online in a restricted environment. (Number of devices limited like a hotel, or wired-only environment or whatever.)
>You can't unionize every startup in the world, and non unionized employees will be able to demand a premium.

Empirically, this is completely untrue. Union workers have higher compensation than nonunion workers overall.

>It is a competitive advantage to not be burdened by union rules.

Doesn't look like that to me. Unions don't just have advantages in terms of salaries; they have the advantage of helping to grease the wheels between companies, between jobs for the unemployed, and between skillsets. Unions are an important source of job-training for an ever-changing field like tech.

Why pay for a web-programming bootcamp if your union dues entitle you to one?
And most of the convenience. I don't need a password manager if all I'm using is a single machine - an encrypted file in my homedir would do. It's the syncing of passwords across all devices that is the most useful.
Is it low though? You read all the time that your average American barely has any money set aside for retirement or that they often need to leverage credit cards for emergencies. Even those that can put money aside, how feasible is it for them to max out a 401K? The barrier to entry into the stock market is incredibly high when you've only got at best $25 at the end of the month in your pocket.
Generalizing Overloading for C++2000 [pdf]
Oh the number of people I see using LP at or through work...
There is a similar paper that uses unsupervised image to image translation that have applied it for gender conversion.

https://github.com/SKTBrain/DiscoGAN/blob/master/assets/m2f....

The full project can be seen here:
https://github.com/SKTBrain/DiscoGAN
I'm not sure about non-deterministic behavior without looking it up, but you can fix this example to be implementation defined, rather than undefined like this:

#include <stdio.h>

int postincrement(int *x) { int y = *x; *x = y + 1; return y; }

int main(int argc, char **argv) {
int i = 0;
printf("%d, %d\n", postincrement(&i), postincrement(&i));
return 0;
}

The point is that function arguments introduce sequence points, but the specification for i++ is weaker than what you get for a function call. C is full of gotchas like this...
- FLAVOR: Ubuntu Desktop

- HEADLINE: Unity Tiling Manager

- DESCRIPTION:

Unity with native tiling manager features that can organise windows automatically like XMonad, i3, Amethyst, etc. But not replace Unity as window manager.

I adore Amethyst automatic tiling in macOS, especially on a 34" ultrawide screen. I used to use Compiz Grid in Ubuntu to manually layout my windows but that was a chore. Then I tried X Tile which was limited, poor UX and poor support for multiple monitors.

XMonad, i3 and others mean replacing Unity all together which I do not want, I just would prefer built in window organisation in Unity. Supporting Xmonad and Amethyst's shortcut keys would be nice for muscle memory.

- ROLE: Technical Architect / Consultant
Some of us enjoy living in a more equal society where people who are down on their luck still have the opportunity to afford healthcare and higher ed.
That is really surprisingly self-sabotaging. People in labor movements don't spout slogans like, "An injury to one is an injury to all" because we're trying to moralize.

It's because when workers at one company have their salaries suppressed - by collusion in hiring, by wage theft, by death-march management - the market rate for their labor goes down overall. When any one company can abuse its workers, we all lose from that injury to the labor market we all share, as well as from the lost productivity from sub-optimal allocation of labor.
Coding font ligatures mostly are meant for symbols though. Examples (linked for the example images there):

- The submitted font - scroll down to "Ligation sets" https://be5invis.github.io/Iosevka/ (note that they only show symbols)

- https://github.com/tonsky/FiraCode

- https://github.com/i-tu/Hasklig

I think people using a programming language with a more math-like notation probably benefit much more than those using "normal" languages.
"Those concepts are inherently fuzzy and related in messy ways."

No, they're really not. The one has a strict legal definition and is enshrined in law, and the others don't and aren't.

"But in actuality, de-platforming as practiced on college campuses often results in a group of people too intimidated to talk and too intimidated to attend, contrary to their desires. "

And what about the people who have felt intimidated by the hate speech and haven't attended because of that?

"If "de-platforming" has the effect of censorship, then it might as well be censorship."

But it isn't censorship. That person can speak their views outside of that building. They are only prohibited from having a platform to spread their views. They can still publish a book of them and market it. Nobody has lost any of their rights, unless you're stating that you automatically have a right to enter any building and preach your views. Nobody would get upset if $person was denied entrance to a funeral home for preaching their views there, because we all understand that that is inappropriate behaviour.

A church can expell a person for preaching atheistic views, and nobody gets annoyed. But as soon as someone does it for a white supremacist, a nazi, andor a person preaching for the extermination of certain groups, it's suddenly "against their free speech".

Or, for an even better example, think of twitter as a publishing company. If I go to twitter with a book (tweet), they are not legally obliged to publish it. The fact that they do not wish to publish it, or that they stop publishing it (removal of the tweet), is not an infringement of my free speech. I can start my own publishing company (with pretty much every website host), or go to another publishing company (like /pol/) to have my ideas heard. In addition, people writing to the publisher and stating that my book (tweet) should not be published, because of the views that are held in my book (tweet), that is also not an infringement of my free speech.

If the government decides that what I say is unseemly, and they purge it from all forms of media, from libraries, etc. and state that my views are not to be published, then that is censorship.

[An orthogonal point here is that people like yourself often argue that these people should not be able to write protests to the publisher (twitter). As per your own definition, wouldn't that count as infringement of their free speech? It's interesting how you readily support that views should not be removed, but condone that people should not be allowed to protest against views, or that people should not be allowed to write their point of views in emails and posts about twitter. Surely the right to advocate what you call 'censorship', falls under what you call 'free speech'?]
Waterloo is great for backyards and parking. Toronto is great for urban living.

Take your pick :)
Rmt filename support makes tar vulnerable to “phishing” attacks (2005)
I get the feeling that to a lot of americans, the concept of speaking more than one language is something wierd and unusual. If it happens, it's mostly because auf migration from one country to another. And if someone learns another language to a fluent level without moving to a different country it's an impressive achievement.
Although this may seem to be a torture strategy to those not from China, I can assure you after living there for a few years, Nick Cage is extremely popular in China.
Assist someone wiring up a data center?
World's Most Beautiful Programming Teacher and Cute Women Ever See Look Inside
Exactly. To invite people to stay here we need unicorn companies that young talent actually want to work for. I don't think this solves that problem as efficiently as possible. Would they be better giving that money to local startups in the space in hopes they become a unicorn and stay in Canada?
The Linux i915 driver manages to hard freeze my laptop every few days without any 3D games or even a compositing window manager ... It would be lovely to take it out of the kernel and isolate it with IOMMU.
I am currently using Source Code Pro. I find it very nice to use as my daily driver.
Have you considered you don't have all the data there is not the relevant expertise to interpret it? Your ignorance does not reality make.

Most high speed airplane crashes don't leave any intact wings behind, much less anything else.
- FLAVOR: UBUNTU DESKTOP

- HEADLINE: PLEASE MAKE THE BATTERY BETTER

- DESCRIPTION: I HAVE BEEN USING UBUNTU FOR FIVE YEARS. BATTERY IS THE PROBLEM THAT MAKES ME SAD WHENEVER I BRING MY GORGEOUS UBUNTU LAPTOP OUT FOR A CAFE AND FORGOT THE CHARGER.

- ROLE: LONG TIME USER/ CURRENTLY THE AUTHOR OF A BIG LINUX SOFTWARE LIST.
> What are these global channels for? Why is the whole application constantly updating a top level full-application-state atom? Why are we blocking indefinitely with some magical invisible state hidden in a closure as we iterate over a collection of objects to process?

I think something that would help the Clojure community improve, especially with regard to introducing Clojure to a team is to ask why this kind of thing doesn't happen in Python.

I know Python doesn't come with atoms, but you could certainly stick the whole application state in a global variable. You wouldn't though if you're a working programmer with a modicum of experience on your first Python project. Do people just see some new idioms and forget everything they already knew about programming?

Python does have closures, and you certainly could write one that blocks due to some hidden state or does something stupid involving multithreading. This isn't seen as a problem with the language though; it's seen as a sign that the person who did it might need to work more closely with someone more experienced or that the team needs better code reviews.
> No language I've used is exempt from the possibility of people writing bad code evoking those questions.

Of course there's no stopping a determined person from writing bad code, but there's a big difference between various languages in how easy it is to accidentally or unknowingly writing bad code.
In the US an intern paid minimum wage or more is just an employee, the special requirements are for unpaid interns.

https://www.dol.gov/whd/regs/compliance/whdfs71.htm
Yes, but it went down sooner in places that legalized abortion sooner (or so Freakonomics said, by my memory).

In all likelihood, both played roles, along with five things no one has realized.
Want to Play Scrabble Like a Pro? Here’s Your Memory Trick
The wings are there, they just don't look much like wings anymore.
They could be making a good chunk of money from stock lending, like zero cost index funds are doing.
Why on earth do people who read HN keep their passwords in a cloud service? pass/gopass, stored in git over ssh on a server I control, and I have access to all my passwords everywhere while only relying on the security of ssh and gpg...
I think we can all agree existing unions need to be made more democratic. If your union rep isn't on your side, they should be replaceable.
Fuchsia on RISC-V. That would be interesting.
Africa’s Gate to Europe: Operation Husky, Again
One executing query per connection, meaning a connection maintains a serialized query processing model.
You'd be surprised how thin the line is between a libertarian and a mutualist.
Scala: Email to Donald
Depends if there is extra screening before its checked. There was a theory amongst reddit commentators it was so some 3 letter agency can install tracking chips. If we are going to dabble in speculation we may as dabble in all of it.
Have you ever tried shouting at Microsoft about this?

I know they have a bad track record of not listening, but I think things might be different now, they seem to be a bit more receptive to feedback, particularly with the beta updates.

Or maybe I'm remembering the prerelease "hai where r the bugz halp" back when Win10 was not yet RTM...
Well personally, I feel that what's morally right for the world is that tech workers should get better wages and working conditions, while standing in solidarity with the non-technical employees at tech companies to help them get the same.
While tangential to the main point, it's weird to read about the failure of the open source phone knowing about the Android Open Source Project. What's missing from AOSP is Google Play Services aka proprietary web services.

Open source has been a huge hit on the client, it's the firewalled server that has slowed the spread of free software.
DigiDNA IMazing 2.2.1 Crack Plus Serial Key Free Download Get [HERE]
> There's a reason you can't buy lottery tickets with credit cards.

Well. You can.

Not sure what you were trying to say.
Protect Your Life, the Bullet Proof Briefcase and Wallet
I don't think it's a bad thing. As you say, there are alternatives to Github: Gitlab and Bitbucket being the most well known. If Gitlab and/or Bitbucket were to shut down I would consider it a bad thing because it would give Github a monopoly. Codeplex shutting down doesn't, because it was not particularly used (350 active project on the last month as they say).
You're enforcing a false binary here.

Twitter as a private company has the right to remove things that it finds abhorrent, such as hate speech (i.e. stating that jews should be killed, black people should be bred out of existence, etc.).

People can put pressure on twitter to change their policies on what they find abhorrent.

The people with those views can find or create other places to express them.

The argument with 'Twitter as a common carrier' is null and void, because twitter is not an ISP. Twitter clearly falls under "public forum", and is therefore able to state what sort of content it wants to host, and what sort of content it does not. This does not preclude the neonazis finding somewhere else to host their views, like /pol/. Because they can host their views somewhere else, it is not censorship.

Think of it like publishing. If a publishing company does not want to publish my book, that is not censorship. I can go to another publishing company, or start my own. If the government states that what I say is wrong, and enforces a purge of it from all libraries, servers, bookshops, media, etc. then that is censorship.
> Are the bourgeoisie trying to get out in front of this thing?

Yes. This sounds like techno-Fordism. Given that Fordism was invented to stabilize and rejuvenate a crisis-ridden form of capitalism, this is a very good sign.

The union would also want to work with VCs, since they're the real managers in the industry. Startup companies come and go, but VCs and giant firms (Google, Apple, Microsoft) last.