skysight-inc/HackerNews huggingface dataset:
<humour> I belong to the group of 400! </humour>

If we look at WP [0] there were way more than five extinctions in the past, but each extinction is preceded by an explosion of new life forms, and that is what define many "geologic periods":

* Great Oxygenation Event: Multicellular life forms emerge.

* End-Ediacaran extinction led to the Cambrian explosion: Animal phyla appears

* Cambrian–Ordovician extinction event led to the Great Ordovician Biodiversification Event: Pelagic life forms colonize reefs and shallow waters.

* Ordovician–Silurian extinction events led to Silurian period which saw multi-cellular life moving to earth, not only on sea. On sea, fishes and sharks were now thriving.

* Plants thrived in Devonian after most Silurian life disappeared in another "extinction".

* etc, etc

[0] https://en.wikipedia.org/wiki/Extinction_event#List_of_extin...

(edited)
Cyber Security, Master of Science (M.Sc.) in Cottbus, Germany
They have their own Function As A Service offering:

https://cloud.google.com/functions/
The hidden cost of a high coupling with the external frameworks
That's disappointing, but thanks for getting back to me.
>It would overheat, have issues with the drivers and just simply would consume more power.

This is hardly Linux's fault. ASUS just didn't bother writing (proper) drivers. I have a HP laptop that has support for RHEL, and therefor Linux distro's in general.

I only had to install TLP for power management and I get the same battery on Ubuntu as on Win10.
You're right, that's the difficult part about Rust. Every novice has to go through these hoops to acquire the intuition. I'm midway through and feel comfortable working with Rusty libraries, but interfacing with C libraries that widely employ shared state is a major pain. Fortunately, more and more libraries get rewritten in Rust or acquire sane Rust wrappers.
Life finds a way? I could encode 0 to "duck" and 1 to "cat" and I can tell you "duck duck cat duck, cat duck duck cat" and that's 0010 1001, i.e. the letter I. Obviously it need to be more sophisticated than this. Then, you can use the channels that no one's looking at, but I guess China is looking everywhere.
I'm not sure if Circle supports it yet but you should definitely look into docker multistage builds as that should solve this problem for you.

https://docs.docker.com/engine/userguide/eng-image/multistag...
Porn Viewers in Russia Must Now Provide Personal Information
Show HN: Drag and drop UI builder for search
Where are the 404s? I'll notify some folks to fix them. I'm not finding any but I'm also on mobile.
If Amazon's not willing to go through with this, someone should.
I thought I remembered seeing that you could read documents with IBM's Watson APIs? Anybody tried that?
So if you have to explain a make-believe theory to a friend, or if they don't want to offend you and mix your "special" ("special" enough that even supposed experts in the field have a hard time identifying whether it's expensive or not) alcohol water with sugar water to make it bearable, they're dead to you.

Because people deserve to be judged on the sensitivity of their taste buds.

Somehow, I believe they're better off.
Significant discussion when you first submitted this three years ago:

https://news.ycombinator.com/item?id=8779799

But since then you've submitted it multiple times to no discussion at all:

https://news.ycombinator.com/item?id=14701448 (6 days ago)

https://news.ycombinator.com/item?id=14635723 (15 days ago)

https://news.ycombinator.com/item?id=14586115 (21 days ago)

https://news.ycombinator.com/item?id=14487049 (35 days ago)

https://news.ycombinator.com/item?id=14434003 (43 days ago)

https://news.ycombinator.com/item?id=14409248 (47 days ago)

So I'm interested to know - why are you submitting this repeatedly?
Researchers have teleported a photon from the ground to a satellite 500km+ above
reliably transform non-trivial functions that are accidentally O(n) in memory consumption due Haskell's laziness, to O(1) versions?

What you're describing is called strictness analysis. [0] I believe that attempting to solve it in general runs up against the halting problem. That being said, GHC does perform some strictness analysis when optimization flags are turned on. [1] The language itself also includes strictness annotations on the fields of data constructors. [2] Experienced Haskell programmers know how to use these to avoid allocating unnecessary thunks.

[0] https://en.wikipedia.org/wiki/Strictness_analysis

[1] https://wiki.haskell.org/Performance/Strictness#Strictness_a...

[2] https://wiki.haskell.org/Performance/Data_types#Strict_field...
> The researchers divided the animals into two groups, one that received a chow diet enriched with extra-virgin olive oil and one that received the regular chow diet without it.

Wouldn't the olive-oil mice be getting more calories?

Did they control against other oils?
Like falsedan said, this doesn't cut it if you don't need an enterprise contract. My team for example: We're a 4-man self-funded startup and paying $140/month just for a license is super expensive, given that we can use Jenkins for free.

I appreciate that there's the option, but I'm thinking more along the lines of what Sentry offers: Open source, self-hostable for free, optional paid enterprise support, optional paid hosting for teams of all sizes. In my book that's the perfect lineup.

Travis doesn't offer self-hosting, Jenkins doesn't offer (non-enteprise) paid hosting.
Gangnam Style Is No Longer the Most Watched YouTube Video
then why would they say "personal vpn"?
I have no idea, but couldn't you use some part of the software you just compromised that makes syscalls?
Smith – microcontainer builder
No swan song for Java
I’m English, tho now live in the US, and never heard of it. Appears to be pretty archaic in usage.

Interesting!
Assuming neural nets could solve every problem, who writes the formal contracts and validates the proofs? I would call the person writing the contract the "software engineer" and the prover the "QA engineer", and we're back to the status quo.
That would make a lot of sense
I own an XPS 15 9550 (almost identical to the reviewed unit). This review is spot-on and I would only reinforce that you will not want to use the web-cam because of the unflattering angle. With many devs working remotely this might be a big deal.
considering that jet turbines take 5 seconds to spool up to go-around and 8 to full thrust at landing airspeeds (...not entirely sure if that's correct - that's the best i could google), the margin was about 10 seconds. i'm inclined to agree that it should be a terrifying incident that ended in a successful landing.
A lot of people lurk for a long time before they create an account.
Also, iPads have become a vector for bringing new tech into the cockpit, since it's not physically installed in the plane and therefore doesn't require certification. You can pull up charts, set courses and upload to the autopilot.
why would people be checking a news site that was previously blocked? do you go everyday "oh, let me try cnn.com... oh, still blocked. let's try tomorrow?"
> It's aimed at the highly skilled developers who would get the concepts in a blink,

Do you have any advice on how we could make this stuff more accessible to new developers?

When you say the presentation do you mean the overall marketing, the UX, or just the CSS?
Right. Libraries have the opportunity to help people break the cycle of poverty rather than merely sustain it.
> And finally, the one factor that happened to be the first of these to happen:

> * Multiple pilots looking directly toward the oncoming aircraft, one of whom alerted ATC.

I don't get this.

You're an engineer/pilot/whomever filing for {the current system/pilot/plane/whatever-needs-approval} to get approved. The power-that-be (e.g. FAA) asks you what your safety margins are. You cite "other pilots looking directly at my aircraft in the 30-second span of my mistake" as one of your "safety margins"? ...what?
NB: Codeblock formatting on HN wraps exceptionally poorly (which is to say, not at all), on most devices.

Unlike some other operating systems, OpenBSD encourages users to split their disk into a number of partitions, rather than just one or two large ones. Some of the reasons for doing so are:

Security:

Some of OpenBSD's default security features rely on filesystem mount(8) options such as nosuid, nodev, noexec or wxallowed.

Stability:

A user or a misbehaved program can fill a filesystem with garbage if they have write permissions for it. Your critical programs, which hopefully run on a different filesystem, do not get interrupted.

Integrity:

If one filesystem is corrupted for some reason, then your other filesystems are most likely still OK.

fsck(8):

You can mount partitions that you never or rarely need to write to as readonly most of the time, which will eliminate the need for a filesystem check after a crash or power interruption.
The investors always protects their own interest - remember that. They not only bet on the technology, but also on the people behind it. Depending on the agreement, the investor might not "owe" you anything. Thus, if they invested in another product in the same emerging market, they're trying to ensure greater % of success and ROI for themselves.

But, you do "owe" things to an investor - like reports, hard work etc. What you do, however, OWE to yourself is that you protect your idea/product to the fullest.

Thus, you only feed them what they need to know, thus disclose only relevant financial info. If they ask for other info be sure to be brief. Don't disclose the actual details about the tech behind it.

I assume if you know who they invested in, you know the amount and probably the terms, thus assess. More investments > higher risk > higher reward. If those investments were <250k, that's normal and I wouldn't be to worried about it.
Show HN: Hlspy, a Simple headless browser based on qtwebengine(chromium)
That's a fair reason why they might not be submitting, but is still not a reason why they should be given karma.

Also, they say they've been here a couple of years, and their account is nearly six months old. Then the first post is asking for karma.

So still, perhaps it's harsh, perhaps you're willing to upvote the submission to give them that karma - no doubt others will - but I still ask the question.
Seems like one possible implementation of std::deque, yeah. Dunno off the top of my head if the described implementation matches the requirements, though. IIRC C++ standard library implementations tend to use fixed-size chunks, except maybe the first and last chunks.
I seriously doubt China will go into economic collapse like Venezuela, but I think in the next 5-10 years once growth is down below 3-4%, the economy will start to suffer and people will become uneasy because the economy is affecting how much they can buy. Probably the biggest domestic economic issue you pointed out is the debt to GDP ratio, which is very high, but may not be an issue depending on how China deals with the impending developing to developed country situation. I think that the two largest issues that will face China in the next decade or two are 1) that manufacturing and electronics jobs like at Foxconn will move to countries where labor doesn't cost as much, unless China is really smart and opens up powerful trade deals with certain countries (which it wants to spearhead with the downfall of TPP); and 2) South China Sea will likely become a major point of contention between its neighbors and could lead to a major cooling of relations with bigger economies like USA and Japan. NK possibly could be an issue but only if it becomes war, which all parties including NK want to avoid.
A language for designing slides
Location: Russia
Remote: Yes
Willing to relocate: Yes, preferably EU
Technologies: Computer vision, c++, keras, python
Résumé/CV: http://alferov.io/files/Alferov-CV.pdf
Email: dmitry.ig.alferov@gmail.com
and that's why we always use they if we don't known the person(s) we're talking about.
It was on one of the early versions of the Yelp iOS app as well. Don't really remember if it was there on day one, but I remember playing around with it in iOS 2 or 3.
> Is it really that dangerous for anyone to take a quick glance?

Speaking as a private pilot, it absolutely is. Even in a Cessna you're going to be travelling at least 75 mph. Possible faster if the conditions are gusty. For the last 1/4-1/2 mile at least, your vision needs to be 100% outside of the airplane. Now if you need to do that in a Cessna at 75 mph with no more than 4 people on board, why wouldn't you also need to do in a 787 that lands at ~180 mph with nearly 300 people, or an A380 that lands at ~140 mph with over 500?
Typically it's a good idea to separate build and testing phases strictly, exactly for these types of reasons. You deploy the same image to dev, testing and production, and it becomes easy to reason about an artifact without confusing it with the environment it runs in.

I hope this helps.
I've been linux for about 10 years and I would have no idea to do what you just said. The benefit is obviously that it is extremely straightforward to use.
8 Mobile Security Steps for Its Workforce
I think you might be missing an environment: staging. I would install whatever you want for development. Then once you're happy, push that to CircleCI and have it build the image. Push that image to staging for final testing. Once you're happy with that, push it to production.
What is the percentage of SD cards which are not fake ? Are we sure that popular SD cards on Amazon are not fake ?
Ask HN: Where do our comments go when we are dead?
what is the HN data retention policy? Are our comments gone after some fixed time period?
Maybe this is all just another 'viral' advertisement for a guy selling upvotes on Fiverr?
I dream with the day we will have a GCC Rust compiler.
You can "upload" something from your iPad to the autopilot system without any kind of certification?
There are some good programs already written to test your Sd / flash card / USB / whatever you want:

USB Flash Drive Tester: http://www2.vconsole.com/client/?page=page&id=13

H2testw: https://www.portablefreeware.com/?id=1519
Concatenative programming is definitely an overlooked paradigm. Factor and Forth(s) are worth trying out, if only for how they influence your thinking about software architecture in a minimal, compositional style.
10 jogos de sucesso proibidos para menores de 18 anos
Feudalism and the “Algorithmic Economy”
Show HN: Faces – A people directory for your community
Ubuntu Now in the Windows Store: Scott Hansleman
I did this analysis in my (admittedly crappy and rushed) pycon web talk - in some cases you can save a lot of money. In other cases you'll pay more. Skip to the 20 minute mark. Also I work for AWS so general disclaimer that I'm biased.

https://m.youtube.com/watch?v=F8-y_d7l-2c

An interesting thing to note is that efficiencies in this space only increase. Which theoretically lowers prices. You also get some pretty rapid and massive parralellization when you need it. The pywren project has some insightful examples and benchmarks of teraflops of compute and 10s gigabits/s of data arriving as part of a single function call. It's a different paradigm that will transform a lot of workloads but not all.

It's hard not to get swept up in the frenzy around it.
Regression testing techniques and best practices
I have a feeling it's becoming a self-promotion spam platform like Quora.
> Now if you need to do that in a Cessna at 75 mph with no more than 4 people on board, why wouldn't you also need to do in a 787 that lands at ~180 mph with nearly 300 people, or an A380 that lands at ~140 mph with over 500?

Because you have 1-3 other copilots who also have eyes and could be doing this instead of you...?
The ultimate postgres beginner cheatsheet
Much easier to just:

ifconfig wlan0 scan

ifconfig wlan0 ssid "thingIfound" wpakey "password" up

dhclient wlan0
I suppose that would have been a 40 column screen, in software. There were 80 column hardware expansions that produced their own video signal independent of the VIC chip, but those cost nearly as much as the Vic-20 itself...
I've found Tesseract to be really good for, e.g., bank/cc statements, as long as I scan at 600dpi.
Cultural or ideological differences are never good reason to cut all communication. It will backfire(economically, psychologically) and you seem to refuse to even acknowledge this basic fact.

And I am not writing this as some disrespecting westerner, but as Eastern European. Having to figure out what is truth and what is propaganda in non-free-speech environment has severely morally stunted our nations, and I can't believe some "consensus culture" can avoid that.
A media company in Mumbai is giving women a day off during their periods
Isn't it just what you're used to? I recently (2 years ago) went the other way - from Windows to macOS - and I feel the same way as you but in reverse. I'll never buy another Mac, and I can't wait to get back on Windows, but I know it's not because macOS is inherently bad. It's because I have over 20 years of Windows knowledge and despite it's flaws, I know it well and I know nothing of macOS.

There's plenty of quality on Windows, and Windows itself is a very good OS. It's just what you know, and what you're used to.

Indedentally, in over 20 years I've never encountered a show stopping problem, or kafkaesque hoops I've had to jump through. Maybe our definitions are different...
Your Curriculum Vitae Free Resume Template [Infographic Template]
Or, in other words,

(ROOT (SINV (VP (VBG Writing) (NP (JJ Good) (NNP Code))) (VP (VBZ Is)) (NP (NP (DT a) (NN Lot)) (PP (IN Like) (S (VP (VBG Writing) (NP (NN Prose))))))))
There were incidents in the past where pilots didn't have enough experience flying the aircraft manually. For that reason, most airlines prefer if pilots land manually as often as possible so that they can do it in case the system fails. If you always land automatically, pilots lose situational awareness.
It doesn't need to be. I think it shouldn't be hard to make a build script that re-makes the bundles except for files modified in the last hour.
But they have radar and usually extended centerlines. That should've been clearly visible for him on the screen.
> Patterns in how eclipses traverse the country mean that some areas, such as the Midwest, get to see many more than others.

This statement is shown graphically in the image of the paths of all eclipses since 2000 BC:

https://www.washingtonpost.com/graphics/national/eclipse/img...

This is counterintuitive to me. I understand that the paths are distributed in similar angular arcs across the country because of the relative motion of the planets, but I do not understand why these should occur at any particular longitude.

Given the relatively few eclipses represented, could the inequality in this distribution be purely random?

Does anyone know?
Turkey's failed coup: Warrants issued for 105 tech experts
I can't hold my laugh when I see this kind of article AND repercussion. The funniest part is that most people who believe it downplay religious thoughts and dogmas but is this any different? This is a genesis flood fairytale from any angle I see it.
Agreed. To put on my white hat for a moment, vulnerabilities in a system should be documented and publicized so that they can be fixed. Exploiting those vulnerabilities for personal gain (to the detriment of society) is immoral, and in many cases, illegal.
This will result in many people choosing to spend nothing on 'day to day' healthcare. Subsequently, this 'deferred maintenance' will result in increasing rates of catastrophic events, which will drive up costs for that part of the system.

Giving cash (or cash equivalents) to people is probably not a good solution.
The technology is called "Adaptive Bitrate Streaming". Look for terms like HLS, DASH etc. Many software stacks are available. You may check out jwplayer (paid), videojs (HLS) etc. for some implementations.
I second this.

Isabelle/HOL has much better proof automation than any prover based on Curry/Howard. That's primarily because HOL is a classical logic, while Curry/Howard is constructive (yes, I know we can do classical proofs inside constructive logic, e.g. with proof irrelevance). Almost all automated provers are also classical. Having comparably powerful proof automation to Curry/Howard based systems is an open research problem.

weird extra quotes

That's because Isabelle is not a prover, but a 'meta-prover' used for implementing provers, e.g. Isabelle/HOL. In practise HOL is the only logic implemented in Isabelle with enough automation to be viable, so we don't really use Isabelle's 'meta-prover' facilities in practise.
We are not in disagreement. My reply was to "why not automate everything?" and indeed the answer is "because sometimes humans are better," not "do not automate anything" :)
Under Linux, P-states are for Intel Core processors I think, but I do mean older than that. Pentium M. Maybe that's just not the case under BSD, or a mixup in terminology. cpucontrol could work here (but wow, that's raw). There seems to have been efforts to support it on other BSDs, https://mail-index.netbsd.org/tech-kern/2007/04/14/0003.html and http://www.daemonology.net/freebsd-est/ mentions the voltage (but it does not seem to be configurable, and if I got it right, this later became powerd).

From what I could gather one could use cpucontrol to change the stored voltages and then let powerd, powerd++ or however OpenBSD handles this do its work. Thanks for that. But it looks like no one ever tried and reported on this. Hm.
`transition: none` breaks pages relying on the "transitionend" js event (edit: and i guess the other transition-related events i forgot about), i noticed logging into google wouldn't work with it (it wouldn't hide some gray overlay)

here's what i use instead:

/* forgot if this was needed but i think using !important here broke something */
transition-property: none;

/* maybe not needed */
transition-delay: 0!important;

/* non-zero to support "transitionend" event */
transition-duration: 0.0000001s!important;

/* possible tiny optimization */
transition-timing-function: linear!important;

i don't know if `animation` has events associated with it but i haven't came across any sites breaking without them
about the padding functions, is it for the left-pad npm scandal?
Dropbox, Yelp, Airbnb, and Spotify have joined day of action for net neutrality
CFPB’s Finalized Arbitration Rule Takes Away Banks’ ‘Get Out of Jail Free Card’
As with many positions, there's a middle ground. I don't expect people to be able to dive in deep in to the innards of MSSQL and understand all the nuance between types of indexes and how different hardware choices can impact said index types. However, when working with "sr software engineers" who are responsible for SQL, I do expect someone to be able to set up a local test database and create some tables with sample data to demonstrate an idea (in whatever tech they choose).

I would argue that "sys admins" - in the form of dedicated personnel - are not "critical to an product/company". I know plenty of smaller companies who are successfully bringing in profits, making payroll, etc, but do not have any sysadmins employed. At some point, they will need those skills (and probably stronger DB skills) but these aren't always critical to every project/company/org. Perfect is the enemy of the good.

EDIT: middle ground.
James Rodriguez Reject Man United for Bayern Loan |
The disappearing startup
Has ICO Cryptocapital Exceeded Early Stage Venture Capital Funding? Yes
This period of economic development got started with liberalization in the late 70s. The most you can say is that the GFW helped sustain it recently, and in skeptical of even that.
"The surreal video became so popular that it "broke" YouTube's play counter, exceeding the maximum possible number of views (2,147,483,647), and forcing the company to rewrite its code."
No, std::deque has O(n) space overhead... the goal here is to get that to O(sqrt(n)), and in the worst case too.
Valve have just updated Half-Life on Steam