skysight-inc/HackerNews huggingface dataset:
This is important because ethical, sustainable manufacturing is foundational to a sustainable economy. I don't think any single entity - country, company, person should "own" manufacturing. Some of the other comments touch on this, but manufacturing has far broader implications for the domestic middle class (whatever country you're in) as well as for the environment.

Manufacturing jobs as we remember them - Roseanne at the plastic utensil factory, nor as they are - assembling iPhones, are not next-gen manufacturing jobs. Those jobs will be designing, building and maintaining automated industrial productivity.

I think manufacturing gets overlooked because it is not relatable and not sexy. However, it is incredibly cool. There is a significant opportunity for innovation with tremendous social and environmental impact.
I don't know why you've been downvoted. The interface does look neat. They did a good job with it.

Other example of such thing is Numberjack -- a constraint solve with multiple backends:

http://numberjack.ucc.ie/

Here is a send-more-money example solved in it:

http://numberjack.ucc.ie/examples/sendmoremoney

Sudoku:

https://github.com/eomahony/Numberjack/blob/master/examples/...
Maybe it's because I saw it when I searched for it before, but when I searched "Scihub" on Google (without quotes) it was the first result.
Jolie is a service-oriented language
That hasn't translated into working FreeBSD support yet though. It's still stuck using GCC 4.2 on ppc, which is a real pain.
How do they source papers? I can't find this detail neither in the article nor in Sci-Hub's "about" page. Do they install a peer-to-peer client on the machines of volunteers, so that Elsevier can't make the difference between a scientist and a pirate scientist? Why then Elsevier doesn't tag each paper with spelling mistakes so that they can trace the researcher who pirated the paper?

And, last point, ...should we just give up about copyright protection? Any country who wants to advance (Russia, now China) needs to cheat on the WTO, it makes everyone less free and it doesn't work. Even software companies don't rely on copyright anymore - Microsoft sells to OEMs, not to end-users, and selling SAAS helps prevent the code from being published because the BSA approach dosn't work.
This was given as the example of a trade we shouldn't do when I was first exposed to the insider trading policy at my current employer, a US trading firm. I think it might still be defensible and not insider trading by US standards, but it's at least a grey area.
This is a much clearer explanation than was given on Science Friday.
Saw this recently after reviewing some Defcon 23 videos. The author goes into detail about how it's working and some other fun stuff regarding anti-reverse-engineering.

2015 DEFCON 23 - Chris Domas - Repsych: Psychological Warfare in Reverse Engineering
https://www.youtube.com/watch?v=HlUe0TUHOIc

And a paper by him:
https://www.cl.cam.ac.uk/~sd601/papers/mov.pdf
I don't know why you think the $54T is any less of a scandal. Just because the scope of the situation necessitated a different resolution doesn't mean the whole situation wasn't one of the biggest scandals of my lifetime.
Interesting random facts
Brexit Is Going to Be Ages Away
I would find it hard to stomach working surrounded by motivational posters.
Okay, will take a look on my computer later. But I guess this is just for hobby projects? Most can't afford to run something that is only supported by so few users (56% [0])

[0] http://caniuse.com/#search=Proxy
I agree, but isn't bright #FFF white against black or near #000 the highest contrast possible in a monitor?

I blame the thin font, not the low contrast, for the readability problem.
Why would you be "locked in"?

I've developed for and used Linux and BSD on several platforms. Moving to a different one is trivial unless you're dependent upon proprietary binaries which can't be rebuilt. If you're using open code, or code which you have the ability to rebuild for the new platform, you're not locked in.
Sure it does. There are HDMI adapters.
“Death of Satoshi Nakamoto” [pdf]
Soyuz returns three human beings in circumstances that could generously be called "very cramped". It carries no cargo.

The Russian cargo vehicle is named Progress, and it does not survive re-entry.
The Soyuz is not a 'cargo carrier', it is a 'people carrier'. It does have a service module that can carry a very small amount of cargo on the way up, but that gets ditched and burn up on the way down. The return capsule just carries the astronauts and personal effects (and it's a tight fit at that).
How is Russia "right"?

I can't even fathom the UK making such demands on India, or the US on the Philippines.
So is Hadley Wickham... https://twitter.com/hadleywickham/status/748392441154248704
SpaceX Dragon is the only vehicle currently flying that has significant downmass capability. European ATV, Japanese HTV, Russian Progress and Orbitak ATK's Cygnus all have destructive reentry, meaning after they are unloaded at the station, they are filled with junk and disintegrate, burn up and sink in the Pacific.

You can take stuff back from the station in the Soyuz when it lands with returning crew, but space and mass are very limited. For example, Soyuz can't bring back the -80°C freezer with blood, saliva and urine samples from the astronauts (those are used, among other things, to calibrate exercise and diet regimens that lead to the least calcium loss from their bones in microgravity).
> Email may cause character encoding issues, published branches do not have this problem

Not in this age anymore. This is pretty much solved after 2010.

> The branch name acts as a tag

This is a confusing statement, considering the tag is exactly something that doesn't move.

> Sending successive emails with different patch versions creates a mess.

Usually there's an explicit patch versioning applied, like "PATCH v2" (https://lkml.org/lkml/2016/8/27/76)

This is the classic read on the topic: https://github.com/torvalds/linux/pull/17#issuecomment-56546... (check out all Linus' comments, there's a few of them)
Maybe some of them already are and its us who haven't harnessed their smarts.

There are animals that can survive in extreme radiation in outer space.

There are animals that can regrow limbs and organs.

There are animals that never seem to get cancer.

Sure, that's a different form of adaptation than cognitive intelligence but there are many facets in which humans are far behind animals.
https://news.ycombinator.com/item?id=8984400

You're late. (-:
> Music piracy could be argued to be obtaining a luxury item for free, and that people have no right to do this.

The obvious counter-argument being that there's absolutely no moral or philosophical justification for the ownership of information. Intellectual property is nothing but a racket.
Publishing directly is the Tidal model and it really should be the future as it benefits the artist and the streaming provider and positions the record label as the middle man that it is.

I am not aware of any artists that "publish direct" to Apple Music. The reason that is a problem for a Spotify is because that is "biting the hand that feeds."

If you start encouraging artists to deal directly to you the streaming company, you can rest assured that when it comes time to renegotiate your licensing deal with the record labels the terms will not be very favorable or at least not as favorable as they were previously.

You mentioned that "Labels often even get the majority of revenue from live performances."

I believe what you are referring to is a "360 deal" I think these are largely the domain of the only biggest artists in the world. I could be wrong though.

https://www.thebalance.com/how-360-deals-in-the-music-indust...
True.

Although Arch uses systemd now by default, which is bad. I've replaced it with OpenRC. http://systemd-free.org has instructions if you want to do it yourself.
There is definitely such a thing as 'architecture' role in software.

Usually they have a lot of experience, and work on larger teams where such things are necessary.
The "big data vs. small data" argument isn't the issue for data scientists. It's the total lack of decent statistical libraries, visualisation tools, programming capabilities and on and on. Don't think anything I've worked on would come close to hitting the excel memory ceiling, but without a doubt completing it in excel would be nigh on impossible.
Aaaaugh! I meant "not so soon." Arch breaks infrequently for me.
I think it's safe to say most people would rather slack off than work extremely hard.

Sometimes, rarely, people have a strong sense of purpose, or a very high level of professionalism.

But 95% of people, if they could chose to take a big salary - AND - chill and not do much, probably would.
Okay, thx.
About the nature of the project: it is an open-source hobby project, but browser support will change in the near future with the release of Safari 10.
sounds like maybe the locking clutch pads were malfunctioning (pretty sure they used clutch packs vs. gear type). the hopping is never fun.
We're not all that smart, individually. If they don't get social and cooperative, then its just a bunch of average joe's being annoying and demanding and occasionally violent. I think nothing would change.
Extensive discussion a couple of days ago: https://news.ycombinator.com/item?id=12358495
Interesting, can you elaborate on why you think its a gem? I don't hear a lot of people talking about it. Maybe I should give it a look?
As the author of content, I want my content to utilize best practices and publication standards so that it has the best chance of getting read and distributed.

A "simple" GitHub repo ReadMe isn't going to have any of the right tools for sharing or distributing content, it won't allow you to capture signups, or A/B/n test; doesn't even allow you to put in analytics to see if people are reading your content, you can't build domain authority for your other work... It's pretty much the modern equivalent of stapling your flyer to a telephone pole.

You'd be better off with a properly configured WordPress, or other CMS-based, site.

There have been a bunch of posts today about scanning content, but here's a great pre-launch checklist. Do as many of these as you can, as fast as you can. Ha.

* Web Developer Checklist || http://webdevchecklist.com/
"Working your butt off has zero to do with having a executable vision that creates value."

Except that 'working your butt of has everything to do with actually executing that vision'

Google, FB, Apple, MS - founders 100% of these companies worked really, really hard to get there.

Bill Gates was notorious for pushing his people to extremes.
Resonance22 is indeed fantastic, and very professional. I know he wants to make a career of casting/gaming at some point and I hope he manages to pull it off. T90Official is another great AoE2 caster in a similar style to Resonance22.

Same with me about AoE2 HD, I hadn't played a PC game for years until I tried it. Now I'm hooked on both playing and spectating. The $30k Clan Masters tournament going on right now is insane.
Might be, there have been some speculations already[1] and it makes sense.

But still come on, I bet most of the users don't encrypt their existing devices. And if Google is trying to do this in the name of security, they've just excluded a huge pile of devices newest Android security fixes.

Planned obsolescence at its best, specially since 810 was overheating, battery draining shit show and 820 is only slightly improved. 800/801 were excellent.

[1] http://www.androidauthority.com/android-7-0-snapdragon-800-8...
http://systemd-free.org provide painless instructions for the switch on Arch.

Have you tried i3wm? It's my wm of choice, it's tiling and it uses dmenu by default. How does it stack up against spectrwm/xmonad?
"you gotta work your butt off to be successful" thing is a lingering noting from workaholic culture. "

Completely false.

There are very, very few startups that are successful wherein the founders are not putting in crazy hours.
An always on tmux session? That seems kinda hacky, given emacsclient exists for exactly this reason...
i for one read it and found it useful. thanks for your time and energy spent making and sharing it.
There would have to be some sort of way to ensure that a registrar couldn't act as a CA for a domain they aren't the registrar of.

If we can engineer that somehow, then it wouldn't matter how many thousand registrars (or CAs) there are, because you only need to trust the one you picked to register your domain at.
No, they're simply reverting commits. Custom ROMs don't need to comply to CTS.

If custom ROMs will perform fine, this will bring a lot of flak towards Google.
Are there any journals that do pay for peer review? I always hear people say that in the majority of cases reviewers are unpaid, but that makes it sound like some actually do pay. I've never received any benefit from a journal for reviewing paper, not even a free access (I usually decline review offers from non-open journals now).
If not character encoding, then issues with non-printing characters. See e.g.

https://lists.gnu.org/archive/html/bug-gnu-emacs/2012-10/msg...
There is a vagrant libvirt plugin [https://github.com/vagrant-libvirt/vagrant-libvirt], which makes for a nice interface to libvirt if you are used to vagrant. Personally I think it would be great if there were an alternate tool that could make use of vagrant's existing infrastructre (e.g: base box images on Atlas and config scripts) but which is closer to libvirt...
This is actually precisely the point of the article
'Not knowing what someone else is thinking' - is completely different from 'knowing human nature'.

For example, people tend to be a little lazy, or tend towards 'doing less'. If one could get 100K for sitting on one's butt - most people would take the offer. Some people would rather work, or do something more creative.

This is different from being able to 'read' people.
Getting a 503 service unavailable.
The second paragraph is a strawman. It's not necessarily about the artists. Therefore your conclusion is flawed:

> So the only possible argument left is that publishers are somehow beneficial

If that argument would turn out to be strong enough, wouldn't it apply to the music industry as well? The comparison of napster and sci-hub would be as just as the comparison of the publishers.
Advice to the CEO for BEFORE you run into financial trouble
Do not let your employees accumulate alot of annual leave. This is a financial liability which becomes a real problem if you do run into trouble.

If humanly possible, do the right thing and pay all your suppliers fully. I have no respect for people who run their company off the backs of their suppliers.

Make sure your company is always paying its full entitlements to employees and always up to the minute on these payments - this is not the right area to start scraping up cash when it is tight. If you don't have the money to pay entitlements then you're better to go bust than stop paying them.

I've never had investors but presumably it is very much in your interest to keep them up to the day informed about the cash position and ask them and involve them in the process - they will be justafiably angry if this is a surprise to them, they may have solutions if you get them involved, and they have some level of ownership when the bell finally tolls if they have been well informed constantly as the plane drops from the sky.

Don't break the law, ever - your reputation is the only thing you have.

Always know every day how much debt you would be in if the company folded today. If debt > $0 then sink the ship immediately.

Folding a company with debt will ruin you personally for years to come, perhaps forever. Folding a company without debt lets you get straight on with life.

If the writing is on the wall then think very seriously about folding the company whilst there is money to pay out all suppliers and employers. Every day of operation for a company destined to fail is simply less cash to pay out suppliers and employees. Being bankrupted is an INFINITELY different thing to shutting a company down cleanly. Your company is not out of business when it has $0 cash, it is out of business when its liabilities cannot be met by the cash you have. Don't make the mistake of running it down where you don't have enough cash to pay all liabilities.
Southwest Flight Lands Safely After Major Engine Malfunction
This was running user-facing, in production? Do you have any experience with scaling Z3? I'm thinking large problems running on many machines, contra many small problems on many processes.

For some reason, I always imagined that SMT was used to verify stuff before putting it into production, but this opens up a whole new world of ideas for me.
Thanks, edited the above: "The branch names acts as a constant label, referencing a changeset which may evolve during development and review"
Küll on keeruline, ma ähin ja puhin, aga ikka ei taipa mõhkugi!
So? If you're still using C89 you're doing it wrong.
Your phone can display the webgl? What kind of phone is it, if you don't mind me asking?
> The US just has better DNA for commerce. Other countries can win battles, but never the war.

As concise and positive a statement of religious faith as any I've ever seen.
Hi!

If anyone has issues with the server not responding please let me know here. I use free hosting (as this is a hobby/open-source project) and it might misbehave. Thanks a lot!

Edit: I got some extra gears, things should work fine from now on.
OK, I should have looked at your main homepage earlier. The animated gif there seems good to me - show me what the product does, without having to fully support a "demo" or sandbox login for visitors. Probably a single screenshot doesn't communicate enough. But really, the technical features are not that big a deal here, this is primarily a non-technical area (getting hired).

I think the main issue here is, what's the motivation for somebody to do this (assemble a team to get hired)? Presumably it's that they want a job. Are there enough people out there with this problem and desire to make it valuable to solve? The hiring company has more immediate motivation (and budget, probably).

There are probably things you could do to make the page more engaging. For example, if you could figure out even one person I'm remotely connected to via public profiles and show me that person's face with a big choice "Would you want to work with ___ again? Yes/no" that seems like a decent hook and you could go from there. But is it worth sinking time into building that?

I think it would be best to sit down in person with a bunch of people on both sides of the problem and figure out what would get them excited.
> His genetics are simply better.

> The US simply has better DNA for commerce

I'm sure the price will drop in the US for manufacturing devices (because the alternative is going out of business -- very few businesses are so sentimental about nationalistic supply chains that they'd eat a multi-hundred-percent markup).

But I'm interested in a more fact-oriented discussion (you probably don't think those are specific, detailed facts). The US, for instance, is relatively open for free flow of capital into and out of the country -- China doesn't allow that, and that helps commerce here. But if China changes their policies (which is not totally impossible), and, for instance, capital transfer out of the US is restricted as a result of a negotiation with Mexico (which a presidential candidate seems to be willing to do) then that advantage disappears. The Could also disappear if another major party's candidate for president gets their wish as regards offshore profits. Plenty of protectionism in all major parties these days, enough to sink this advantage, at least.

The US has a relatively high-trust business culture, which is more durable. But it's also changing in China, moving (perhaps not as quickly as some would like) away from a guangxi-based business system.

So a lot of these theoretically defensible advantages are actually pretty weak, and (while defensible) ill-defended.
MBAs pretending they're special snowflakes rather than a waste of money.
): Sorry, I didn't expect it to be so popular. Checking it.

Edit: should be better now. Thanks for the feedback!
> On the other side of this controversy are developers who want to use Vulkan and other features which require hardware support, and they are tired of dealing with runtime API capability checks (A.K.A. "fragmentation").

Imagine Microsoft blocked Windows 10 (or any of the next builds) from all the GPUs who don't support DirectX 12, so that the developers can write DX12 software more conveniently.

This obsolescence of multiple hundred $€Ł mobile devices inside 18 months is getting silly.
No, the point is that there are no counterexamples. The probability of any counterexamples existing decreases exponentially, but is nonzero. So there is a 99.999...% chance that no counterexamples exist, and therefore it is true. But it's impossible to ever prove that.
What if the act of memorizing the spelling words in K-5 has a positive impact of memory-based learning in later years?
This is fucking awesome, did you draw the ascii pictures yourself?
I think there are two ways of using emails for exchanging patches that are very different here. The first one is "just paste the patch as text" which you can assume will cause issues. It's just a bad idea, because it depends on what your email client is doing. (and things like outlook will change some symbols into smileys and strip all your leading whitespace) The second one is - use something like `git send-email`, which uses a common format, avoids this issue completely, and can be directly imported back to your VCS.

Projects which use the mailing lists as the primary way to distribute patches usually require the second way.
The 800/801 both use an Adreno 330, so it might be possible to use freedreno with Mesa's vulkan implementation. (Hypothetical at this stage.)
A well engineered differential [0].

[0] https://www.youtube.com/watch?v=JEiSTzK-A2A
Keeping the front and rear motors in sync is a cake walk compared to controlling the brakes for traction control.

"If the power delivered to the wheels is out of sync for a moment, I would imagine it could be catastrophic"
The control software is probably updating every 3-15 milliseconds, so even if the software had a massive hiccup, it would have to last for multiple frames for it to actually get translated to the pavement. The drivetrains of cars are actually pretty mushy. Everything's mounted on bushings, there's backlash in the gears, and tires are rubber. All of this adds together to buffer out any kind of spikes. Much like a capacitor and resistor can be used to buffer electricity. So if, say, the front wheel was 5% underpowered for a frame, then all that would happen is the gears in the front differential would go slack for a few milliseconds. If on the next frame, the power was corrected, the differential would go back to being taut. If it was just 5% underpowered, you likely wouldn't even feel this. If the front motor totally locked up for one frame, you'd still probably only feel a little jitter.
...But there are no apps.
So obvious that you don't even feel the need to make the actual argument, it seems.
What are the percentages of the market occupied by different fund types? Where would I go to look that up?
I wrote a blog post describing my personal test for this sort of thing: http://jasonlefkowitz.net/2013/05/introducing-lefkowitzs-law...
At least in Germany, any clause that the average user wouldn't expect in such an agreement isn't binding.
Reviewers are unpaid. Editors and administrative costs exist, but these don't justify the total extraction of copyrights from the authors or the public.
PSProxy v3.1.0.0 PSN Update Bypass by Red-EyeX32 Is Released
Such a system would require either centralized trust anchors, massive preload lists, or be trust-on-first-use. In other words, you're just reinventing variants (and combinations) of DANE or HPKP.
Quip (~$750M exit to Salesforce)