skysight-inc/HackerNews huggingface dataset:
A lot of good points, but not all of them feel valid.

> not known by the security staff.

They may just not care, or at least not make that a priority. If the dongle stuff was done just to comply to some norm or regulation, actual security could be perceived to be secondary.

> The writer already assumes that we think he is lying.

Not quite. He assumes we think he could be mistaken. ("[…] it could be conceivable […] that, in my grief, I remotely logged in, sent the email and forgot I did it"). Still a bit fishy, but not as much as you make it sound.

> is it very likely not to check your email at least just before you show up at work 6 weeks later?

That can be estimated, but not that if it were me, that would be a virtual certainty. I never check my work email outside of work. I go to work first, then I check my email.

> It is a throwaway account.

Of course it is. One does not want to tie a long term account (which may be tied to a meat-space identity) with negative stuff like that. The evidence by throwaway is practically nil.
It's not so bad. There are many cases as you mention but not so many as to be seriously problematic. My guess is eventually the novelty will wear off and people will mostly stop doing the negative things you mentioned. The dockless bikes are a dream come true for me and many others. The positives far outweigh the few bad eggs that you mention. A small section of Singaporeans are uniquely non-civic minded in my experience, possibly due to the nanny state they have grown up in. What you are seeing is a consequence of this. The dockless bike sharing companies have come from China and if it works for them in China it can work anywhere in the world.
For people knowing Lua a bit longer, the "divergence" is nothing surprising, it's an explicit and very long standing design choice by Lua authors. Specifically, that's what allowed them to evolve Lua to the awesome language it is, by making breaking changes when they invented/converged on a notably better way to do something. Personally, I find it more appropriate to look at each new Lua version as a wholly new language, rather than a "new release of the same language". A new language, which "accidentally", as a bow to the user, is very, very similar to the "previous language" from the Lua family (to the point of usually being API and syntax compatible).

Actually, the changes between 5.1, 5.2, 5.3 are super small and smooth compared to what was done between e.g. 4.x and 5.x, where language syntax was changed. Between 5.x versions, with some effort you can make your code portable, if you wish so. (I'd say that's what one would expect when seeing the major digit unchanged in a version string.) There are many libraries which take care to. I'm not 100% sure about this one (i.e. haven't checked), but from the top of my head, based on the author's reputation, I'd blindly say https://github.com/stevedonovan/Penlight should be a nice example of a library portable between 5.x versions.

The proliferation of the 5.1 version is sometimes semi-jokingly seen as a "curse of success" - that it became the first version to really nail it so well, that it spread so wildly, and the newer versions bring small enough changes, that some people find it hard to justify any effort at all to upgrade. But it's also perfectly OK: Lua 5.1 is a great language already, and can simply be seen as a done/completed work.
> does anyone know why resignation letters are so popular in the first place?

For important things, nothing beats a papertrail. Formal, written records of things can be very useful.
Ask HN: Anyone had experience when industries automated the jobs? Advice to us?
Is anyone had experience who lost the job when his job got automated and how to handle that situation?

Let's face it as Mark Zuckerberg, Bill Gates and other experts are saying, it is going to happen because of AI and people will loose jobs.

So what advice HNers give and if anyone had that experience how to handle that situation and prepare ourselves?
My only question here, why he haven't reported the email backdoor to the IT ?
Intel has been selling hexa-channel DDR4 Xeons since 2015 to select customers.

For users like myself constrained by memory bandwidth I would prefer that they publicly started selling their Skylake-SP Purley platform. In some configurations they even include a 100Gbit/s photonic interconnect and an FPGA for Deep Learning acceleration.

I would gladly pay $2500-3500 for an 18-24 core Intel CPU with hexa-channel DDR4 and PCIe 4.0 (or simply more than 44 lanes of 3.0).
Science that looks suspiciously like an art performance that looks suspiciously like being commissioned to prime us for the theatrical release of Blade Runner 2049.

Science fiction did not prepare us for this future we are living in.
Goodhart's Law

https://en.wikipedia.org/wiki/Goodhart%27s_law
more like run a vm with linux on OpenBSD
The AMD Ryzen R7 1700 is a $320 8 core/16 thread processor. Intel's cheapest 8 core/16 thread processor is their i7-6900K which sells for $1049. Even their 6/12 i7-6850K is over $600.

IMO the Ryzen R7's have been a huge "mid-end" win for anyone doing any sort of multicore/CPU intensive work. Without competition, Intel's been gouging the market for the past few years.
> There is programming that is hard, it's just that that is not the type of programming most people do, and it's becoming more and more rare.

One major difficulty in programming is maintaining consistency and stamping out ambiguity. When you throw together dozens of libraries to create a new one, the problems of inconsistency/ambiguity are as hard to solve -- or possibly even harder -- than in your own code.
A Server Room's Seismic Isolation Floor Protects It During 2011 Japan Earthquake
I also thought this seemed fake when I read it. Just a gut feeling though.
Popular Chinese lesbian dating app removed from internet
Mobile App Development Cost
Do you know what the most fully featured OSS equivelants are?

I've been trying to find such a system that can read from RSS feeds and post to a Facebook Company Page, but to no avail.
chielk's solution is good, but it doesn't have to be as complex. You were on the right track with using @> (the "standard order of terms"), which does the right thing automatically. Here's your fixed definition:

current_at(Entity, C, Start, End, Current) :-
ticker(Entity, C, Start, End),
Start @< Current,
Current @< End.

What you got wrong was the fact that you need to call ticker/4 in the body of your predicate instead of expecting such a term as an argument.

This works with the database you posted:

?- current_at(entity('TimeWarner'), C, S, E, date(2017-05-29)).
C = 'AOL',
S = date(2014-5-1),
E = date(9999-1-1).
I mean, you could use your phone to set a timer. But once you pull your phone, you've got email, someone tagged you in a photo and then you are done reading.

Low technology ftw.
I can't even read this article properly. The site uses 130% CPU, scrolling hardly works at all, it keeps making network requests like crazy and it even crashed my Chrome tab.

And for what reason? I do understand the dilemma that ad funded sites are in. I'm not using an ad blocker. But I simply don't get what purpose this sort of abusive website design is supposed to have.

I will never visit Anandtech again. I've seen it many times. It's never long after advertising gets irrational that content quality suffers as well and the entire site goes down the drain.
Might seem racist but a good portion of the workers are spanish-speaking primarily... I might be assuming things as well where advancement relies on being able to use English/work with others cohesively.

Even as a fumbling developer I'm glad to at least have some clue as to what can be... even if I may not reach it... Dunning Kruger effect haha... I wonder for those people what will happen. If I don't escape, I too will be in the same boat of the low-skilled, replaceable laborer, that is what I am right now.

edit: haha, "have a clue as to what can be" like nobody else wishes life was better/be what they see in the news. At least the ability to know what to look for and hopefully learn/improve my situation in life.
U.S. may put emergency tariffs on solar imports
We have a very multicultural population with many recent migrants. English is our language, but many of our residents and citizens haven't been speaking it all that long.

Our universities also have a high proportion of international students. Predominantly from China, Korea and elsewhere in SE Asia. These students pay much higher fees than Australian citizens. They're used to subsidise the local education market. Classes are conducted in English, but allowances are often made for assessments.
Vendor lock-in.
Was this interview for a compiler position?

Anyway, dominators make sense for arbitrary directed graphs (with a notion of root).
We had 5 kinds of maths; algorithms and data structures, databases, computer architecture (with assembly), English lessons, history of mathematics, operating systems, networking, and 2 programming courses: C and Java. There was very little learning by doing.
A Reproduction of the Core War Game. Assembly Compiler, Virtual Machine and GUI
No incentive. If your service is used through something else then you are easily replaceable and users don't spend time in your app.

edit: Just to be clear, I'd love that too. Hopefully it will start happening when everything is driven more by micropayments rather than ads. I'd imagine you'll have "gui companies" and "service companies".
An other approach is to verify your output (preferably on an other system). Good validation and test suites should be able to catch messed up "output" along with many other non-ECC related issues.

I guess it makes sense to have ECC RAM on the machine building your releases (I actually don't even have that at the moment but I wouldn't advocate that...) but for your dev machine does it really matter?

I mean, at this point it's really about a rather subjective perception of risk and particular use cases. In my situation I find that memory issues are very low on my list of "things that can go catastrophically wrong". Really the only thing I can think about is building a corrupt release on my non-ECC build server. But from experience I'm not exactly in the minority to do that either and yet I don't observe many such issues in the wild.
ESCORT AYA – ESCORTS – ESCORT ATHENS – ESCORTS ATHENS
Chicken Deboners: 94%

Chicken Sexers: 41%

I'm thinking I should go on that Chicken Sexing course.
After being Clojure-only for a long time, I decided to write the front end to my last project in Elm, just to see what the fuzz was about.

While I miss code-is-data very much, there is no turning back from the type system and how there are no unpure functions. It is just so mind-blowingly easy to catch almost every bug I would usually write.

I'm afraid this is the point where I should try Haskell, and be unsatisfied for the rest of my professional life.
This doesn't include if true do A else do B logic right? I see they have filters, maybe this can be abused somehow?
Calling someone a tinfoil hatter is a way for someone to dismiss your argument without them actually having to think about something that makes them uncomfortable.

It's a defense mechanism.
I was curious about how thieves will be doing after the robot uprising. The first occupation matching "thief" was "Chief Executives" http://imgur.com/a/hDIeZ
The i9 is just a new brand name for the top-tier i7.

AMD have been compared favorably to nearly-top-tier i7s. Suddenly, by rebranding the top-tier to i9, Intel put a lot of gap between the i7 and Ryzen in the mind of the punter.
To my mind all that says is that even general total languages or finite state machines allow expressing too much. Surely one can solve this by working in a language where functions are not merely total but come with explicit bounds on their runtime. This seems like a good fit for a stratified language design like Noether - we might have to resort to including a few not-provably-bounded total functions (or even not-provably-total functions) in a practical program, but hopefully would be able to minimize this and make the parts where we were making unproven assumptions very explicit.
DNS requests are still transparent
React Native and 9 circles (pitfalls) of hell
Ask HN: What job did you leave IT for?
I've recently been diagnosed with an illness that has left me little to no concentration and a very low level of comprehension,as such I will most likely have to leave my job as a software engineer as it's becoming overwhelming. So my question is, if you have had to leave your IT job, what was/is your new job.
Thanks bbcbasic. I want to work more hours since my startup is in a very early stage right now, and thus requires me to push as hard as I can. Luckily I get to choose who I work with, so pheww, no dicks.
Show HN: PDF Unlock – Batch PDF Password Remover
> experience widespread memory issues.

Because they rarely spread wide.

If you edit images or videos, maybe you detect small corruption in the image. If you use databases or do data analysis, there may be one number that is wrong, or some string has one byte of garbage. Sometimes, application may crash.

All this is very rare. It only matters if you need data integrity and do work where data has value.
Awesome answer, Amogha_IO. Upvoted. I will try your work schedule. Thanks a whole bunch.
Mossberg was a professional technology critic and pundit, one of the first of his kind. He paved the way for many others who followed his lead, and he certainly deserves credit for his pioneering efforts. I enjoy reading critical reviews of new products and software, but I'm generally not a fan of tech punditry. I believe that we need fewer pundits and prognosticators, and more hard-hitting investigative reporters along the lines of John Carreyrou.
Yes, I have the error "ERR_CERT_COMMON_NAME_INVALID".
I think it's because the certificate is aimed for *.herokuapp.com domains.
This is an incredibly dangerous thing.
According to a poster I saw once posted in front of my house, the average IT salary is 8700 CHF a month. But expect more depending on the region and for programmers.
Not sure I understand the point of this. Is it to lessen loads from the distributing servers or the actual broadcaster? I can't see how this would help a broadcaster at least.
Invest in companies investing in Automation
I'd personally like my recruiters to know things. On both sides of the transaction that makes things a lot easier.

I imagine the same thing goes for salespeople
It depends on the company. One place I worked at instituted a bonus system with the result that programs were released on time, buggy or not, as releasing them late would have reduced the managers' bonuses. I raised a stink about that by repeatedly saying "We really must inspect the code before the product ships." I was sidelined and let go early when the company shrank to a shadow of its former self, infested by people who were more interested in furthering their career than doing the job.

The next company I worked at was very serious about quality. When I started working there, I was told that I was allowed one bug in my code. If there were a second one, I would be fired. I'm not sure if that was true as my code didn't have any (found) bugs. It was thoroughly inspected by two senior engineers before I could even run it on the test bench. We were some months behind schedule but there was not one word about reducing the quality to catch up.

The first company made communications equipment, the second one an air traffic control system.
It's available, thank you! I'll give it a try this evening.
I was hoping for a tool that erases Chinese hard subs from the video.
More than likely it's trying to keep politics out of music
A modular formalisation of type theory in Coq
Most suspicious to me is if I really wanted help, like this purports to, I'd be following up all the replies for more information avidly.
I find debugging + error messages to be the worst part of Clojure.

In CIDER I have to mark my functions as debuggable before I can step into them - this is an odd requirement and a PITA when the functions are spread out through the codebase. It's so easy to accidentally commit a non-debuggable version as well.

Cursive is a lot better and more modern, with one painful problem: no proper support for 'break on exception'. So on exception the program just closes and I'm just left with a stacktrace in the console. You can turn on 'Java Exceptions', but this has multiple problems:

1. On load of Clojure files there is a ton of Java exceptions thrown, literally making it unusable

2. and if you disable those exceptions in the Condition field the boot up process takes forever to actually run (likely because it's interpreting the Condition field code over and over and over again..).

Any good solutions to these?
But consider that there's basically zero chance that I (as a typical user) will book a hotel if it's not listed at booking.com. Just because I must read real guests' impressions of the hotel to avoid the ones with bad Wi-fi. That's much more valuable service than what travel agencies provide, so it makes sense it costs more.
Artificial Intelligence Based Malware Analysis
It's not just about crashes, but also about (silent) data corruption.
> most of the concern is over very theoretical issues

I've seen photo and other binary files become corrupted that were sitting on RAID drives. The RAID swears they're fine, the filesystem swears they're fine, both are checksummed so I believe them. The only possibility that I can see is that they were corrupted while being modified or transferred on non-ECC desktops connected to the RAID.

I'm not afraid of my computer crashing. I'm afraid of data I take great pains to preserve being silently, indeed undetectably, corrupted while in flight or in use. So that's why ECC is worth it to me.
Parental Control Apps to Monitor Your Child's Smartphone Activities
https://danluu.com/why-ecc/
Only 0.4% for physicians?
Can I get something to play with without entering my email ?
Advice given to me, worked once so far. A late repentant procedurally viable in most cases time tested method of ... [ to be completed if you follow thru. Sorry at this time no grant money to study its

scientific validity for those who never do ]
.............
Pray. You would not be alone. Your voice would resonate within your private cussless reading area and, aloud, your thoughts would mitigate the lesser aloud friendly outcomes with the alignment of your large toes towards the more friendly stub-them-not accept the money tellable areas, and furthermore, be ready for the next time free of unknown guilt you may not want 'into' your voice once merged with others.
..................................
Disclaimer, I am guessing as to your and your CEO's business, and 'game'. I am only responding to a part of the last sentence of your paragraph. I am unqualified and underserved socially on purpose to say anything more while more-momentous decisions on my part even hourly affecting me and my siblings are ongoing on this day May 30 the Year of our Lord 2017.
...................
... and copywriting my way into your next, more profitable pew-friendly patriarchal-family devout father- child- "friendlies" vs
robocalling help desk, "robots", who disemploy for instance the hymnal of old, ...
..............
/out of time.
/ out of rhyme.
/ Sunny be this day.
/ May be both be on our way.
...............
self-critique. Abbreviations with verbosity. Downvote as needed so 'ill just
leave this thread, after reading that' no
need to follow up THIS post, say the 200th, with a 201st paying attn to THIS post rather than the AskYN post which /r/writingprompt which kickstarts me into a neverending parlance of.....
.................... [ one typo found, more remain I am sure in the essay above. the six lines in this web text entry area are not re-edit for accuracy friendly. As such, please ignore inaccuracies in favor of being on topic or forgiving Exodus style to the
style of web-writing allowing first draft beta beta beta...
..............
JWT Crafter Kong plugin
> Though coding is a foreign language to most people, the principles of plagiarism are the same as with papers written in English.

English is a foreign language to most people too. You expect more from the NYT.
Talking about it is great, but you must document it all.
You must get the letter, as it is a rather significant amendment to the employment contract. All kinds of bad stuff can happen when you don't document this well. Employee and employer should both insist on this being well documented in writing.
Work in automation.

The industrial revolution was going to make everyone redundant too. So were computers (without AI).
Creating a distributed data centre architecture using Kubernetes and containers
Did the maths a while back, the amount of money they've spent commissioning GIFs from artists for their Studio program is a small fraction that Electric Objects has spent.
They normally start as a project analyst, product management assistant etc
Reading the paper it's based on (Carl Benedikt Frey and Michael A. Osborne, Oxford Martin School) is pretty funny.

It starts with them fawning over Siri, claiming that this is somehow evidence that in the future we're going to stop wanting to talk to actual humans when we call up Comcast to complain about their billing mistakes:

"Advances in user interfaces also enable computers to respond directly to a wider range of human requests, thus augmenting the work of highly skilled labour, while allowing some types of jobs to become fully automated. For example, Apple’s Siri and Google Now rely on natural user interfaces to recognise spoken words, interpret their meanings, and act on them accordingly. Moreover, a company called SmartAction now pro-vides call computerisation solutions that use ml technology and advanced speech recognition to improve upon conventional interactive voice response systems, realising cost savings of 60 to 80 percent over an outsourced call center."

Then they show the same amnesiac fawning admiration the financial press does when reporting what Foxconn says:

"Foxconn, a Chinese contract manufacturer that employs 1.2 million workers, is
now investing in robots to assemble products such as the Apple iPhone."

Yes, in 2011 they started making threats to their employees about replacing a million or so workers within 3 years with some kind of super-robot:

http://spectrum.ieee.org/automaton/robotics/industrial-robot...

The bizarre eemployee union dance party threat didn't exactly pan out. They employ 100,000 more people now than they did then.

The core of this paper's methodology is "we asked a bunch of ML researchers how good they thought AI was and they replied "really, really good":

"First, together with a group of ml researchers, we subjectively hand-labelled 70 occupations, assigning 1 if automatable, and 0 if not."

Real sciencey.
Yeah. I get that modern education seems to have equality as a centerpiece, but the elephant in the room is that yes, some children are brighter than others. Making entire classes wait until everyone reaches a milestone before moving on, is dragging down the quickest learners to the level of the slowest.

When they say "gap between the brightest and the less able has already begun widening", I think they're just starting to see again the gap that has always been there but was 'closed' at the expense of the smart kids. And it is at their expense, I've seen very bright students lose interest or turn to mischief because classes were not sufficiently stimulating for them. The smartest kid from my high school class was constantly getting in trouble and was almost expelled because he was perpetually bored.
Early adopters are a minority. You'll save time if you decide not to be one.

For example, I'm very glad I did not spend any time learning webpack configuration. All the big frameworks have a cli or equivalent doing it for you nowadays.

You can be conservative at work and just keep an eye on the news. Don't delve into the code - playing around with alpha stuff is the real time sink.