skysight-inc/HackerNews huggingface dataset:
Would you like to sell your boat online? Join thousands of other who had the thought “Sell My Boat Online” by selling your boat today for the best price at AUTOBUY. Visit wepaythemax.com today and sell your boat and get cash at hand quickly. http://www.wepaythemax.com/
https://www.gnu.org/software/gtypist/
And there is the a bias: the West End is all about decadent entertainment and a fun night out. While the East End is about a fun night in watching a TV show about common folk.
Why not? They seem to have the same editorialists (ethnically speaking)...
Sounds familiar. I had only the former kind of education. Often I'm pondering if I should pursue a masters degree in anything CS related. It's not that I really need it for my work. So, my options are to either do a CS master, and have to catch up on a lot of math and CS fundamentals, do some master in a totally different field such as business administration (useful since I have my own company), or do nothing at all :). Any advice from your perspective about this?
Levvel Blog – The Differences Between Kubernetes and OpenShift
The one thing that bothers me is just 512MB RAM. RAM is super cheap these days, why not 2 or 4GB? I'm not sure they will be able to render a more complicated PDF without swapping.
As mentioned here, Borland Turbo Pascal used the Wordstar style of editing. I didn't use other languages as the time.
Since if-statements are built out of blocks and message sending, you can easily do some cool things. One of them is building up an abstract syntax tree (AST) of an expression without parsing that expression.

E.g. suppose you want to build up an AST of the statement

(x < 0) ifTrue:[-x] ifFalse:[x]

Instead of starting with an x of type Number, you would start with an object of type ASTVariable, that responds to the message < by creating and returning an object ASTLessThan instead of the Boolean True or False. When that object is sent the ifTrue:ifFalse: message it evaluates both branches to create the ASTs for both branches and then creates an ASTIfStatement.

As an sexp:

(ASTIfStatement
:condition (ASTLessThan #1=(ASTVariable :name x) (ASTConstant :value 0))
:consequent (ASTUnaryMinus #1#)
:alternative #1#)

I've seen it used in a number of embedded languages in Smalltalk, such as SQL.
maybe that's not the market they want to be in. In fact I think an e-ink device is a specialty device that people who need to read a lot will have and they will pay extra for in addition to their normal tablet. I will definitely pay 500 for this.
One word: practice!

I learned how to type correctly 10 years after I first touched a computer. How? This may sound silly, but about 30 minutes/day of Mavis Typing Tutor was enough.

After a week I noticed some improvements (although I typed slower, i used all of my fingers). The whole „training” took about two weeks (until i became lazy and stopped practice).

Hint: the exercises may look dumb, but they are wiring up your brain the _correct_ way (until you discover Colemak or Dvorak that is...)
While a custom OS and home-brew will be great and increase overall hardware sales, I really hope the Switch doesn't develop a reputation for vulnerability to piracy and turn away third-party game developers so soon..
We are currently hiring in India (Bangalore) who have expertise into Serverless technology. Please email me your resume with contact details at deekgupt@adobe.com if you are looking for a challenging and an exciting opportunity with Adobe.
All new shiny things involve learning and making mistakes curve. That should be compared to different brand new languages and sentence construction methods, not different authors. Why doesn't anyone invent new languages? Is english really that good and easy? No, it is horrible in so many ways. But it is known to ~anyone so anyone can learn it and tell whatever they need to whoever they need. No need to complement that with chinese or russian, unless you are both native speakers and have no foreign sides in your business plan.

We have at least math and chemistry notations as special cases, though.
Their business address is in Norway, but of course that doesn't say anything about where they ship from.
yep pass. the pen will lag, it will be too slow flipping between pages (paper is instant), the software will suck, it won't do anything magical (like recognize handwriting correctly or provide constraint-based drawing assistance), and of course there will be some crappy cloud feature you don't want.
Yes, but are voice memos indexable and searchable? Maybe they can be, but don't know what enterprising startup would find it profitable to create the machine learning algorithms necessary to do this successfully. As a well-funded nonprofit, maybe. Because of illiteracy, your metadata would also need to be a significant amount of audio, at least for the illiterate humans.
A Roundup of Hottest Jobs in the Market
Doesn't support windows. You're better off with bazel or GN.
How is this more productive than Cordova variants? It seems that the re-use of a web app to mobile app is not great. And that I can use designers that code in Cordova alternative. Or even xamarin.

Asking for a friend.
You can also give up recursive enumerability. `True Arithmetic`, which takes as axioms all of the true statements in PA is certainly complete and consistent.
You're right, you could certainly experience the pain in a non-OO language that silently allows invalid values to creep through the system. However, it's an error _every_ OO language makes. Smalltalk, Objective-C and Clojure dodge it, but they don't dodge it for long: the nulls can now propagate further through your program, making it harder to track your problem down.

I'm not sure your last point buys us anything. I mean, any runtime environment can have bugs, and any future system can have cases you haven't handled. This will break your OO code just as fast as pattern-matching. Because OO dispatch is really just a special case of more general mechanisms.

Have a chat to some purescript guys about when they have trouble with JavaScript nulls. I bet the answer is "when we interface with raw JavaScript code and don't define our types correctly".
This comment show a big misunderstanding about the nature o the internet. The internet is dumb decentralized network with the intelligence placed in the periphery.

The server farm is part of the periphery of the network and has a last mile connectivity same a residential home connection. It is really expensive and only makes senses if you stockpile machines to have economies of scale.
Giving out my music for free. Use in your projects, etc royalty-free
Yes, but what we need is more materials about actual implementation - how ACID is implemented (e.g. in C++), how query parsing/optimization/execution is realized, etc...
Ask HN: In Ruby, couldn't we just replace 80% of unit-testing by static typing?
Feeling Lonely? There’s an App for That
Absolutely agree.

However I'd wager to say that betting on a powerful Nvidia GPU/chipset (piggybacking on general ML/CUDA ecosystem progress) to be able process rapidly advancing autonomous driving algorithms is a more future proof bet for Tesla than relying on already outdated hardware/algorithms from Mobileye.
A Powerful Android Dynamic Component Framework
So? It's not like it's any worse at cooling because of it. After all, nearly all nuclear reactors use highly irradiated water for cooling in the first cooling loop.
I think this article is a pretty good introduction to when exhaustive pattern matching is desirable:

http://blog.jenkster.com/2016/06/how-elm-slays-a-ui-antipatt...
How Elm Slays a UI Anti-Pattern
> It is not uncommon for modern web frameworks to continuously hunt for file system changes and auto-reloads when run in single threaded or standalone mode. This functionality is superfluous if the application can respond to signals.

This is true if all that happens is a page reload, butamy frameworks are able to patch code or styles into the running page without a reload. This requires more than a signal handler.
I understood the /converse/ to be the hyponyms of x's hypernym that were not x.

So "spoon's" converse are forks, knives, maybe chopsticks, etc.
There is one single thing that the structure and choice of commands in code cannot communicate: intent. For most parts of the program this doesn't matter much, because many programs are conventional and do pretty much the same things; so the programmer can reasonably guess why the code is doing what it does if you have already seen similar programs.

But if your name and variables don't explicitly explain what each code section tries to achieve, there's no way to figure it out what it's supposed to do and why it's coded the way it is, if you don't already know that. From the code itself you can only learn what the code does, not what the developer intended to achieve; if you don't know the latest, there's no way to tell if there's a bug in it and it's working in a wrong way.

This is specially important for the parts of the program you don't understand, which are the ones where you would benefit the most from proper comments/explanations, i.e. literature.
Or even better, the sticker for a competitor to your actual system.
Bulk clone GitHub repositories for a specific user, organisation or team – Shell
That's so common with e-ink devices.

The quote is about another crowd-funded e-ink device[1]

> Look at the two videos and it will be apparent that screen refreshes are horrible; they have highly edited the videos to hide this fact and other inconsistencies

[1] https://www.mobileread.com/forums/showpost.php?p=3285829&pos...
Also http://spritesmods.com/?art=einkdisplay
What do you do if you find a section of code that solves a problem that you have never seen before? How do you decide what it's supposed to do, and whether it is doing it right or it has a bug?
... '90s-style underlined links ... on sites like Geocities, Altavista, and pets.com

And also on the text of the reporter's own news stories.
Pretty Regular Expressions – Mac/iOS App for RegEx
Google has a quite efficient PR strategy to make sure it does not look that bad while it is a worst offender than facebook simply because google had a several years head start.

Make not mistake here, google and facebook are both enemies of the internet, though each with a somewhat different approach, google being much broader as in facebook makes an app that runs on pocket computers operating a google OS and desktop users visit the facebook website using a google browser.
Why have I never had to debug a Gödel paradox in my day-to-day programming? Is it because of types? Finite memory? Can someone enlighten me? Thanks
Windows counterpart: FindFirstChangeNotification or SHChangeNotifyRegister().
Chesmists accidentally turn carbon dioxide into ethanol
The most remarkable thing is that I don't see anything -- even with javascript enabled. Must be the ad blocker or something. Why can't a landing page have any kind of fallback plain html page?
Xkcd about Chat Systems
They lost that argument when they switch from being a web search engine to become an ad network.
> Family-based migration absolutely does exist in other countries, including those you have specifically named.

Sorry, I genuinely meant that its not as extensive.

"Australia admits approximately two-thirds of its immigrants on skill criteria and strives to recruit persons during their peak working ages (Walsh, 2008). By contrast, about two-thirds of U.S. immigrants are family sponsored, without regard to skills or age (Wasem, 2007)."

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3516050/

Do you agree with me that the rhetoric and outrage surrounding this proposal are dramatically overblown when considering the statistics and practices in a very liberal country like Australia?

This is my main point. There is a debate to be had, and the left/liberal/progressive/MSM want to shut it down with scary headlines. This is most definitely an example of fake news.
The thing is, what does it mean to "work around"? It is true that the halting theorem in its classical formulation can be "worked around" like this, but the classical halting theorem is not the one that matters in practice. What matters in practice is what's sometimes called the bounded halting theorem (which lies at the core of the time-hierarchy theorem), which roughly states that you cannot tell whether a program will halt on input x within n steps in fewer than n steps (and a corollary is that you cannot in general extrapolate information from one input to another). Bounded halting -- which is proved using the same diagonalization proof as the "classical" halting theorem -- is pretty robust. It holds for total languages and even for finite state machines.

So what really bothers us about the halting theorem is that -- in general -- you cannot tell what a program will do with some input any faster than actually running it, and this, bounded halting, is not something we can work around.
One person submitted 10% of the 18,500 Emacs bug reports in the past nine years
You shouldn't. Simply check that the hash algorithm specified by the client is the one you used when issuing the token. In a side project, I simply hard code the algorithm [1].

[1]: https://github.com/teotwaki/grace-calendar/blob/develop/app/...

Edit: DYAC.
How YouTube Is Making Virtual Reality Look Better
https://imgk.io/rs?s=http://external.com/images/dog.jpg&w=600
Bucklescript vs. purescript vs. elm-lang
How does each functional style compiler/transpiler compare to each other?

How well does each work with elixir/phoenix web framework?
Something quite similar is used in some RethinkDB drivers, especially around lambdas. For example:

r.table('users').filter(lambda user:
user["age"] == 30
).run(conn)

The lambda there is actually only ever called once, on the client-side, with an equivalent of your ASTVariable, to generate an AST of the comparison which is sent to the server and processed there.
If I can offer some advice in the other direction, don't use cookies.

I tried to do the right thing, use HTTP-only cookies set over an HTTPS endpoint only to find that it's stupidly complicated and has a lot of annoying edge cases. Turns out iOS's webviews don't like them, iOS in general doesn't like them to be on api.hostname.com if the app is on app.hostname.com, you can't validate if you are logged in or not without doing a web request (which is annoying as hell if you are trying to keep a "logged in" state in something like a react app), you need to deal with a bunch of stupid flags to get the damn browser to even let them go across domains, and a hell of a lot of other annoyances that I can't remember right now.

We are most likely moving to something like JWTs (stored in localstorage or indexeddb) soon because of these issues.
Compare to Ruby:

10.times { n = n * 2 }

The latter isn't possible "out of the box", but easy enough to implement:

class Proc
def whileTrue; yield while self.call; end
end

# And use:
n = 1
->{ n < 10 }.whileTrue { n = n + 1 }

puts n

Ruby syntax does get in the way of some of the more succint ways of defining control structures in Smalltalk, but the above shows some of the Smalltalk heritage of Ruby quite well, I think (though, while "10.times" is fairly idiomatic Ruby, implementing constructs like the one below certainly is not).
5 weird things you didn’t know about time zones
Maybe it's good idea to created universal contact app storing all chat id.
>I'd love it if the people around me were more diverse, it makes life richer and more interesting.

Just to play devils advocate do you think that is the case if they don't speak the language? If they don't share the same values? If they stick to their own groups and don't integrate, does it really make your life more interesting and diverse?
Ask HN: How hard is it to get into Google Code Jam final?
A/B Testing Our Way to a Better Payment Gateway
It only improves images, no?
Complaining about OAEP when RSA-OAEP is perfectly safe seems needlessly straw-grasping, the other complaints (should) stand perfectly well on their own.

I've used JWT in three languages and the API has always sucked, really badly. I always end up with a verbose heap of gunk - and in some cases, like jwt-go, there is not even a complete example of use in the README + docs. mfw. It should not take multiple steps to sign or verify a signature.
>Even when you leave out the fuel, dismantling a nuclear reactor is a challenge in itself. Even the "safe" thorium and potential fusion reactors leave highly contaminated ruins behind.

There will be some epic horror stories that will eventually come out about the decommissioning of the USS Enterprise, a 55-year-old ship with eight nuclear reactors.
I've tried to read academic papers on E Ink displays before and the slow refresh times have always been a dealbreaker.

On the other hand, I just read the advertisement for ReMarkable and made a note to buy one when it comes out... A genuinely good E Ink tablet is something I've wanted for a long time now.
VMs are usually inlining those message sends, which makes them fast.
Thanks for your feedback!

So you're saying the shorter, the better?

I wonder if there's any value in chaining transformations, it's kind of cool though.
What is your app called?
What I've gathered from this post is that the tech community ought to spend more time promoting JWT best practices because misuse can lead to bad times
Vibrator maker ordered to pay out C$4m for tracking users' sexual activity
FWIW Google seems to refer to the GAIA ID in stuff like random error messages, documentation for Google Apps, and in data downloaded from Google Takeout. If it's not supposed to be public information then Google isn't doing a very good job.
Very lovely music you've made.
So how is this different than the Amazon paperwhite tablets?
Probably a driver or software issue. Can't imagine the Wacom hardware is inherently laggy.
Wow, so many build systems got mentioned here, when do people have the time to check them all out? I stick with gnu make because that's the evil I know, not because its the best tool imaginable...
Have you tried VS Code (https://code.visualstudio.com/) with the right plugins it might be exactly what you're after...
There is a MOOC on Pharo available http://files.pharo.org/mooc/

French speaking but PDFs are in english.
AFAIK, you can't specify several outputs per rule in GNU Make without relying on horribly complex workarounds. It's actually the feature I miss the most in it.
It's in the title -- you can write on it.
Yeah OK, that's fair enough. Thanks :)
If you want to import external images, I would lean towards preserving the URL. Therefore, a GET param for the image.

Also, what if the URL of the image has the word "500x" or "resize" in it?

The non-GET-param solutions make me think too much:

1. Take the domain, and change any dots to dashes. What if there's a subdomain, or three levels of subdomains?
2. Add the domain as a subdomain on imagekick.io
3. Take the rest of the URL and add it as the path
4. Add the transformations on top of it

The transformation instructions can still be passed as part of the path, or as a GET param. Heck, support both.
Incompleteness does not imply undecidability, but undecidability implies incompleteness, because completeness implies decidability: in a complete system (powerful enough to describe Turing machines), for every TM M and input x, there's a theorem saying that M halts or one that M doesn't halt (because the system is complete). To decide halting, we therefore just need to enumerate all theorems in the system, and we are guaranteed to stop and find the deciding theorem[1].

In fact, when Gödel saw Turing's work and was convinced that Turing indeed captured the general notion of a formal system, he said that the incompleteness theorem was finally satisfactorily proven for all formal systems.

[1]: See http://www.scottaaronson.com/blog/?p=710
So the $1.9B includes the prices for the rails and infrastructure. Your electric bus calculation doesn't include any cost for road construction, expanding existing roads or building new ones. When you add that in, I'm willing to bet that the cost is similar or exceeds the gap you are describing.
VS is slowing down. VC++ 2017 is VC++ 14.1, not 15.0
Me and my closest friends (about 4 or 5 people) do all the time. Never had an issue.

There are a lot of 'mates' that I wouldn't lend a penny to though.
Blocking ads is highly effective against facebook, that's why they're trying to workaround ad blockers. With enough users using ad blockers facebook would disappear sooner rather than later.

It's also effective against google which is nothing else than an ad network, until they pivot into being the self-driving car company or something.
Nice article! I really enjoyed the smooth writing style of the author. He really made me engage with the story.
To be honest, I also love watches but I find myself not using it when I wear it, making it practically useless. It might be because I'm always working with my laptop and thus I can watch the time at the screen.
Depends on the language really. If you work witht java, make is simply not enough.
Love how simple the website is
Not everyone here is an expert in a particular system yet. If a build system runs 20% faster than what you're currently using, and you plan on using it for a good few years, the overall time saved is not insubstantial.
Ideally you need to use httpOnly cookies to store your JWTs too.
I tried something similar... Our CEO set the price of our email service too low (oops). But unlike you we faced the music and doubled the price only a year after. The backlash was much smaller than I anticipated. We marketed the price hike by adding some requested features and made the payment term half as long so the price seemed to be the same. This made it easier for our customers to swallow. Of course we lost customers, but not enough to make a difference (about 5%).
I'm a bit confused. From this library's README:

> If you are investigating navigation solutions and you are okay with JavaScript-based solutions, we also encourage you to check out React Navigation.

However if you go to React Navigation home page [1] you find this:

> Navigation views that deliver 60fps animations, and utilize native components to deliver a great look and feel.

It looks like every RN navigation library claims to be more "native" than the previous ones.

[1] https://github.com/airbnb/native-navigation/

[2] https://reactnavigation.org/