skysight-inc/HackerNews huggingface dataset:
>Since doing a whole program in prolog isn't really practical for me, is there any way to use the logic programming paradigm in mainstream programming languages to deal with specific problems that fit it?

Yes, for example is easy to embed Prolog code in Common Lisp by using a suitable library. For example the LispWorks implementation includes a full Prolog package. Example:

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

With this, you can use the logic paradigm within the same project, along with the other paradigms supported by Common Lisp: Procedural, functional, meta, imperative, dsl-based and OOP.

Racket should also allow very easy mixing of Prolog source with the rest of the project, since Racket was designed to support different languages at once.
How Finland rebuilt its tech economy despite a smaller Nokia
AMD Epyc processors coming to Azure virtual machines
So there is android-go[0], which is a Goland thing; and Go Mobile[1], which is a Golang thing; and now there is also the other Android Go[2], which has nothing to do with the Go programming language.

Right?

[0]: https://github.com/xlab/android-go
[1]: https://github.com/golang/go/wiki/Mobile
[2]: https://www.android.com/versions/oreo-8-0/go-edition/
I agree that it's related to culture and country. The early northeastern U.S. settlers who survived the winters were the ones who did the most work preparing for winter. Today quantity of work is still important, but it isn't the determining factor in success.

Further, I think even the early settlers could have benefited from working smarter, not just harder. Indigenous Americans built shelters using mud and straw that insulated much better than settlers' houses, for example. Imitating the success of people already here might have saved lives.
AWS Contributes to Milestone 1.0 Release, Adds Model Serving for MXNet
How to Build an Elite Island
>When people today echo this battle cry, it is exactly this kind of behaviour that they are implicitly endorsing.

No. It may be that you interpret it that way, but that's on you. The same way as if you get triggered by the Latvian fire cross or similar examples elsewhere.
Any chance you have this on Github?

For some reason my card/driver combo creates a huge output lag when it can't keep up with with framerate cap. I'd like to try if something like this would help with it.

On topic of things that use LD_PRELOAD, there's this fps capper (not my work): https://github.com/torkel104/libstrangle
It's not stupid and it's not irrational. What you're feeling is normal - the unfairness of other people given the chance to do what you would've liked to do. It's not their fault, but still.
Kevin De Bruyne Sang Pemegang Rekor Assist Sejak 2015
It occurred to me it could be a useful source. I never actually looked into it, so I can't be sure it'd be useful, but since you are aware of it, it's a good indication it's not.
Its part of the charm /s. Yes, the streets smell of garbage in the summer.
wonder how their Search Quality team feels..
>Disqus gives these marketers the ability to target users based on their interests. You can infer quite a bit about people simply based on which sites they comment on, after all.

Not only that but also they will get a partial browsing history (on subset of websites with embedded Disqus comments) of users which have third-party cookies allowed.
Eh. Classical Christaller-Lösch theory holds that there are two patterns of spatial expansion, the hierarchical centers model and the moving frontier model.

In the hierarchical center model, the balance between economies and diseconomies of agglomeration lead to a pattern where smaller centers linked to the big center emerge; then these centers become large in their own right and growth goes on recursively. This is usually more clearly seen in cities (look up on Google Maps with the satellite photo layer: Berlin, London, Tokyo, Sao Paulo....) but some nations like Germany will apear to have this pattern too.

In the other model spatial growth is constrained on the one side by a coast or something like that, and has a vast, gradually developing frontier on the other hand. Brazil has one coast only and is like this. Rio de Janeiro is a major city next to a coast and is like this, Sao Paulo is the singular major city further inland and is the opposite of this (a cobweb).

The US has two coasts. And for reasons, the west coast started developing on its own, not as a tributary to the east coast. Flyover country could have grown in the cobweb hierarchical centers fashion, but what's the undeniable capital of the Midwest? Not to mention farm belts etc. and an agrarian economy propped up by subsidies, etc.
This is an overly simplified view of the differences between Docker networking and Kunernetes networking.

The main difference is that Kunernetes assumes that all IP's are routable and Docker does not. When using bridge networking this means the admin must ensure routes are properly configured in the host for cross-host communication on Kunernetes.

Docker does not provide cross-host service discovery for bridge networking out of the box. This does not prevent admins from setting this up themselves.

For overlay networking solutions (e.g. Weave), the cross-host networking is handled for you and typically still even uses bridge networking to provide container connectivity, with service discovery also working cross-host.

ipvlan and macvlan are "underlay" solutions (i.e. attached directly to the host networking interfaces). For these it is expected that the admin has configured the networking and that containers on different hosts are routable. Service discovery should work across hosts with these solutions, but actual networking is dependent on the how the host networking is setup because the containers will be assigned IP's from the host's network and are bound to a particular host network interface.

When using ipvlan or macvlan (or overlay networking for that matter), Docker effectively makes the same assumptions as Kunernetes does for its networking.
Bornova Profilo Servisi – 0232 348 98 98 – 0850 333 24 42
How Lifelong Learning and a Growth Mindset Can Propel Your Career
Not necessarily. 'Honest John's Genuine Rolexes and Used Cars' could well provide support and warranty for the watch they sold me. It may even be in Honest John's best interest to fix at least minor issues, to prevent me discovering I bought a fake. It's only Rolex who are not bound to provide any services.
Lua is not a language to be used as is (and it isn’t in practice). Simple pattern matches are there for internal needs like constructing package paths, but one can luarocks install any regex implementation at will.

Bad side is that luarocks works fine on Windows only if no build step is involved, otherwise you’re doomed to mess with mingw/msys/msys2 environment that isn’t well-supported by third-parties; often not supported at all. It is not Lua’s fail, but it happens. New complicated build systems like CMake only make things worse since you cannot simply guess flags and gcc .c together anymore.

Edit: this is also true for all languages except maybe perl that includes full mingw system with it. Idk why some package managers do not prebuild windows packages on server-side. Windows actually does a lot to maintain binary compatibility.
Yes it does. You can use Userland Statically Defined Trace Points (USDTs) in order to augment arbitrary applications with probe points that can be monitored by tools like BCC 'trace'.

The library that provides the API for these trace points is SystemTap (sys/sdt.h), which is -- AFAICS -- the primary method of USDT instrumenting on Linux. Conveniently, SystemTap's USDT API is the exact same as DTrace's API: you can simply use sprinkle `DTRACE_PROBEn` calls around and it will work fine on either, use the 'dtrace' tool to generate code from a provider, etc etc. Their dtrace tool is just a thin script that's compatible with the FreeBSD variant.

(The nice part about this is that you should just be able to relax e.g. your autoconf checks from enabling DTRACE_PROBEn calls on FreeBSD/Solaris to include Linux as well, so migration should be smooth)

Check out some info here[1].

Alternatively, for "simple" cases where you do not need provider support (e.g. inputs to the trace points), if the executable just has enough symbol information for function names, or the symbol names are exported anyway, you can generally glean some relevant information. For example, the following command uses the 'funclatency' tool to dump a latency histogram of every function call to any function with the word 'poke' in its name, for the application named 'app' in the CWD:

sudo /usr/share/bcc/tools/funclatency -F -T \
$(pwd)/app:*poke* \
-p $(pidof app)

NB: It is also worth noting that 'perf' on Linux has some form of uprobes support; e.g. it can probe functions based on the symbol name, but only for the events/interfaces it has available, I believe.

[1] http://blogs.microsoft.co.il/sasha/2016/03/30/usdt-probe-sup...
So is this a release-release or just a "limited to our partners" release?
Millions of people sounds precisely like 0.1% of human population. Let's not forget Aibo was available since 1999 and Alexa is unavailable to >90% of world population because it's in english (plus its a crap buggy product far from ideal what this article describes).

You're proving my point - things you listed were mostly completely there by 2005 (internet shopping? much earlier. person to person exchanges? did it in 90s online too).

I don't claim world is static, that's impossible by principle. But all you list is either insignificant to vast majority of population or just evolved and matured (people moved from mp3 collections to spotify... so what? You still have some small device for music. And i keep my flacs and using internet radio just like before. No revolution there)

I see this wish for progress all the time, who wouldn't like to live in the future. It will come, but not as described, and NOT in 10-15 years.
>Disqus gives these marketers the ability to target users based on their interests. You can infer quite a bit about people simply based on which sites they comment on, after all.

So we can expect more targeted ads in Disqus embeds from mining user patterns. The platform is a already a mess; between making 105 network requests to 20+ domains associated with tracking, malware, ad platforms, and shady fingerprinting services, and the fact that adding Disqus costs you upwards of 6 seconds [0], this announcement is making things more user-hostile.

Disclosure: I created an open-source, privacy-focused alternative called Commento [1] so my views on Disqus might be somewhat biased :)

I will also be offering it as a subscription-based service very soon as many people have asked me for one (the open source version will stay free software forever). It'll have near feature-parity with Disqus and you'll have the option to import all your Disqus comments. If you're interested in beta-testing, please let me know (email in profile). Apologies if I'm breaking HN etiquette.

[0] http://donw.io/post/github-comments/

[1] https://github.com/adtac/commento
Bitcoin is not a Fiat Currency
Skyways suck - tall building real estate is at a premium, and now there's a freeway through your cubicle.

And buildings have a height limit. With brick, it was the point where the bottom storey had walls so thick, it became a pedestal of brick. So making them taller than 20 stories or so got you no more space.

With steel construction, its elevators. The point where the bottom storey was entirely made up of elevator banks, and making it taller gets you no more interior space. The Twin Towers were there. The Sears (Willits) Tower is there.
>Marketing tech company Zeta Global...

Add this to uBlock Origin's "My Rules" tab to block Disqus comments on all sites:

* disqus.com * block
* disquscdn.com * block
LOL, i recall programming in RPL and considering doing SystemRPL but it looked as hard as programming the HP48 in assembly, without assembly's performance (which was way faster than "user" RPL, by the way.)
Spotify, Like Google, Wants to Reinvent the Tech IPO
I think it refers to the fact that companies like Uber have had ABCDEFG rounds of funding
> Tez has processed over 140 million transactions from nearly 12 million active users. There are more than 525,000 merchants already on Tez, using it to take payments, pay their suppliers or transfer money to employees.

Add to that the insane scale of AliBaba (with AliExpress) and WeChat who together process over a trillion dollars yearly. India and South-East Asia have an insane number of people.

Not to beat a yet-alive horse, I'd love to see bitcoin (and other cryptocurrency) proponents tell the world how they are going to deal with that.
How a Virtual Friendship Turned IRL
To me, this feels like a pretty normal market process, more than a giant leap of human goodness.

These investors are seeking returns. For the past 6 decades, a tiny area of the country provided great returns. The compacted nature of the “Valley” helped concentrate resources and grow companies.

But at some point there is less incremental benefit to stuffing one more tech startup into SF than there is looking “afield” to further reaches of the country.

This is a fantastic sign for people like me who live in lowly (but lovable) Columbia SC. For too long, the investment pool has been a drip, even while the talent pool grows.

Good job investors. We can’t wait to see you. And if I may, please don’t imply that you’re doing this for any reason other than maximized returns. We’re all adults here.
TIL having cats might be better parenting practice than I assumed.
Show HN: Python REST API Authentication with JSON Web Tokens
> more of a short-term happiness boost than a tool for feeling satisfied with my life

The former can have quite an effect on the latter though. To take it to one extreme, if you're never happy you're not going to be satisfied with life. But more realistically if these habits often help you feel happy when otherwise you would've been less happy, then that's going to have a positive impact on how satisfied you are with life.
I think even more are holding out for Epyc.
Demi Lovato – Tell Me You Love Me – REACTION
Not many people. I expect that the more normal situation is years of apartment living, saving up, and then paying the down payment as a dual-income couple possibly with assistance from parents.
Cook realized that his board or shareholders would fire him for getting Apple locked out the Chinese market (both for sales but also for the manufacturing). Not an easy position to be in.
And the average Indian users will be confused even more than developers, when they search for "Google Go" only to receive results about Go language.
Nit: I think you mean "disclosure", not "disclaimer". I don't usually correct this, but to me the poster seems less legitimate saying disclaim when they mean to disclose a conflict of interest.
In case someone else doesn't know what a HP49G is: its a graphic calculator [1]:

"The HP49G is Hewlett-Packard's latest graphic calculator. It has 512K of RAM (split into two 256KB ports: Port 0 and Port 1) and 2MB of flash memory. 1MB of flash memory is used by the upgradeable ROM and the other 1MB is available to the user (in Port 2). It has the same 4 MHz Saturn CPU as the 48G series, but the software is rewritten to make the calculator operate more quickly."

Apparently according to Wikipedia this specific type was introduced in 1999 and discontinued in 2003. [2]

Not sure how popular this specific type was. Personally (ie. my bubble), I used a TI (I forgot the exact type, likely TI-83) and this was more or less mandated by the school (used for mathematics, physics, chemistry, biology, computer science, and ehh.. "notes"..). If you had a different type you were on your own. From what I remember they were programmable, and you could install software on them as well. I guess I'd expect "that other" text editor before Emacs though wink.

Question to fellow readers: what do teenagers use these days on high school? Do they still use graphic calculators? Or is this niche overtaken by say tablets or smartphones? Please do state your country/state.

[1] http://www.hpcalc.org/hp49/docs/faq/

[2] https://en.wikipedia.org/wiki/HP_49/50_series
Protect yourself – career and professional advice from a veteran
As pointed out on the most recent Hilarious World of Depression podcast episode, the positive affirmation in front of a mirror seems like it would never work, and many more people have realized that telling themselves really negative things about themselves works great--so why not give the opposite a shot?
I think he's talking about Series A, Series B, Series C, etc. compared to seed stage/high risk companies.
"Medicare for All" is a prerequisite for UBI.
I’ve read the TECO was a nightmare to use.
Commuting costs rise
I like that they are doing, but I think their DLC strategy is starting to cause some concern in various online gaming circles.

People loved it with CK2 because it expands the game so much, and it was unlike what they were doing before. This helped people forgive the fact that the base game was just okay at launch. Contrast that to HoI4 where the base game was not fantastic at launch (but probably not much worse than CK2 at launch in terms of stability and systems) and then the DLC train started and I saw a lot more negative comments online. There were similar conversations around the Stellaris launch "Oh they are going to make us pay or features that should have been in the game in post launch DLC".

That could just mirror changes in players being hyper-sensitive to DLC/Monetization strategies these days, and probably don't bother the people who are really into Paradox games and put hundreds if not thousands of hours into them.

I am very interested to see what they do next with Crusader Kings, since they have mentioned a few times they plan on ending the DLC soon. Transitioning to a CK3 seems incredibly difficult given how barebones it will feel.
Stripe Recurring Payments
I suppose it's better than feeling unhappy if they do succeed and unhappy if they don't.
Heh, thanks for pointing that out; much appreciated. I confuse the two words sometimes. Edited.
You (and the others in this subthread who are splitting financial hairs) are both missing and proving my point pretty hard. Which is that I'm not so money driven to care about doubling my earnings from their already high level, and more importantly, that the people who are out there do care about this and are happy, that is just fine, but that I personally find those opportunities and the people they please mighty drab and repellent. I hope that clears things up. Please re-read my first comment.
Today's Google Doodle is relevant to this.

https://www.theverge.com/tldr/2017/12/4/16733396/googles-doo...
What? Order of pricing cheap to expensive is GKE, GCE or Container Engine, App Engine.
There's lots of smartphone holders for bikes, I imagine there are some for "two-wheelers" as well.

I also imagine that many people riding two-wheelers in India are just driving dangerously.
And then we needed some app (whatsapp, you know) to be revolutionary because it allowed to send unlimited messages to some phone number, including photos!

I couldn't understand when my friends were excited about the "new program" that was doing exactly what any SMS / MMS should do. Then, few months later, I was the last one to install it, because it was the only way of comunicating with friends.
Show HN: Daily e-mail with all HN stories over x points
Why funding open source is hard
That's a symptom of ecological upset too. One species flourishing when another dies off, and the resulting wild cycles. Not a good sign.
I just deleted my Disqus account, thanks for heads up.
Is anyone reading this aware of any work on logic programming in the large as in efforts that are harnessing the fact that answerset programming avoids committed choice and so enables us to write reliable tractable programs, but aims to make that possible in teams or in distributed settings?
Also work that tackles industry things like testing your logic programs?
Indeed. After Paradox games Civ definitely has a "casual strategy" feeling to it. Plus there are simply no emergent storylines forming in Civ games. I do still enjoy both, though.
MailChimp has built a huge business in Atlanta, likely closing in on a billion a year in revenue.

Tableau is a billion-dollar business in Provo, Utah, and is not the only big winner there.

Dyn built a half billion dollar business in Manchester, NH.

Nothing can compete with San Francisco—three of the biggest five tech co's are HQ'd there. But there's really very little keeping entrepreneurs from building a billion-dollar business anywhere, provided there's a decent university nearby.

It is MUCH, MUCH, MUCH harder to get funding, but if you can bootstrap, the world is your oyster.
> For one, taking credit for something they have not delivered.

I don't read it in that statement. I read it as a factual representation of the current state of the internet in India. Why do you interpret this as "taking credit"?
GNU Emacs wasn't the original Emacs, either (that was rms' PDP-10 editor built on top of TECO rather than Lisp), or even the original Lisp-based Emacs (that was Daniel Weinreb's EINE (EINE Is Not Emacs) which also had a successor ZWEI (ZWEI Was EINE Initially)). By the time GNU Emacs came out, Emacs was already a family of editors. GNU Emacs was made as a free software alternative to the first Emacs for Unix, Gosling Emacs (made by James Gosling, who later went on to design Java).

In a 1986 speech, rms discussed the beginnings of GNU Emacs:

"GNU Emacs is the main distributed portion of the GNU system. It's an extensible text editor a lot like the original emacs which I developed ten years ago, except that this one uses actual LISP as its extension language. [...] Gosling originally had set up his Emacs and distributed it free and gotten many people to help develop it, under the expectation based on Gosling's own words in his own manual that he was going to follow the same spirit that I started with the original Emacs. Then he stabbed everyone in the back by putting copyrights on it, making people promise not to redistribute it and then selling it to a software-house. My later dealings with him personally showed that he was every bit as cowardly and despicable as you would expect from that history.

"But in any case, my friend gave me this program, and my intention was to change the editing commands at the top level to make them compatible with the original Emacs that I was used to. But after a little bit of this, I discovered that the extension language of that editor, which is called MOCKLISP, was not sufficient for the task. I found that that I had to replace it immediately in order to do what I was planning to do. Before I had had the idea of someday perhaps replacing MOCKLISP with real LISP, but what I found out was that it had do be done first."

The full speech is really interesting: https://www.gnu.org/philosophy/stallman-kth.en.html
Is this country-wide or only at limited areas?
Google Missed Out on China. Can It Flourish in India?
Harmful in the sense of raising children who have never had any real boundaries growing up and so don't respect a parent's authority, are impulse-driven, are unable to delay gratification, have no work ethic, etc. These traits are detrimental to academic careers and job prospects.

That isn't to say that all children who aren't spanked grow up into these sorts of adults. But some children inherently have more behavioral issues, or are brought up in bad environments with a lot of negative influences, and they can grow into serious deviant adult behavior if not properly addressed when they're young. Corporal punishment is an effective tool and it needs to be on the table unless proven otherwise.
Apple manufacturer moves forward to build lenses for AR smart glasses
Zurb Foundation is the inspiration for Bootstrap (some people would say it's a bit more than just the inspiration).