skysight-inc/HackerNews huggingface dataset:
Barliman is written in miniKanren[0], a logic/relational programming system built by Daniel Friedman[1], Will Byrd[2] & Oleg Kiselyov[3]. There are implementations of miniKanren in languages other than Scheme, one of the prominent being Clojure[4].

To oversimplify, in the miniKanren world programs are written using relational logic, wherein there are "variables" and then certain "relationships" between the variables. That is the program specification. Now we can run the specification and allow miniKanren to generate one or more variables that satisfy the relations. Thus a miniKanren program can have more than one answers. One interesting side-effect of this kind of an abstraction is that programs can also be run backwards to generate more programs that satisfy certain relations. That's pretty much what's happening with Barliman.

[0] http://minikanren.org/
[1] https://en.wikipedia.org/wiki/Daniel_P._Friedman
[2] http://webyrd.net/
[3] http://okmij.org/ftp/
[4] https://github.com/clojure/core.logic
Japanese sell site, Cash, launched in August sells for US$80M
I think most would agree if was more open under Hu than it is now under Xi. They’re moving in the wrong direction.
The Consumerist Church of Fitness Classes
Doing nothing does not literally mean to do nothing. Strolling through the streets is meditative. Apart from mental rest, staring out the window gives processing time for the subconscious. I'm a student, and I feel uncomfortable with the expectation I am under to perform constantly, to "use my potential" "constructively". And often I have this expectation of myself. But I get my best ideas from just lying awake in bed in the middle of the day. Inspiration seems to appear out of nowhere. Of course this effect increases with more "rigorous" meditation.

I decided a long time ago that I would never enter into the proper workforce, as most people think of the term. The plan is to go tenure-track and teach the classes I loved to learn. Basically stay in school indefinitely from this point on. I'd rather learn by myself in my own home, but there are benefits here and I "gotta pay the bills".
This frostbitten black metal album was created by an artificial intelligence
I think any vision of an open and equal Internet is going to fail in the long term, not only because it does not work in the interests of governements and major corporations - but also because people don't want it.

China explicitly censors its Internet as a way of control, whereas in the west news agencies implicitly censor news through selective reporting and giving greater weight to stories that support the narrative they want to push.

I'm not convinced one is any worse than the other, the west is slightly better in that you may not be sent to jail over a dissenting opinion - but good luck trying to effect any kind of change.
Processing (https://processing.org/) is a decent option, though it doesn't replicate the same low-level experience.
Have they ever discovered how the SARS virus was transmitted, despite the best efforts of Toronto hospital staff to take the highest precautions? That was the scariest part to me, that in continued to infect hospital staff in Toronto, Canada, a modern 1st world city, despite all the precautions they took.
That's very true, but in the context of the war in Europe - the current topic - that's not really relevant. China did not save Europe from the Nazis.
Those sure are a lot of sensationalist claims.

Can you provide evidence for your "FAKE" 7% YoY growth statistic? I know plenty of traders & Americans doing business in China who'd disagree with you.

I understand why people would flee -- the pollution is insane. But still, by all measures I've see the economic growth is quite real.
Not really, but POSIX itself is almost 30 years old (and primarily standardized interfaces that were considerably older), and a lot of interesting stuff happened ca. 1995-2005. See e.g. BeOS or Inferno.
You can't sell venison.
FaceID not working on iPhoneX after updating to iOS 11.2? A reboot should fix it
Was it all point to point or did you need repeaters? Sounds like an adventure.
Хамали-72 ЕООД (Офис) – Транспортни услуги, Други транспортни фирми
The bumper on a 90s pickup is about the perfect height for a clean neck break on a turkey. Wild turkey is a great meal regardless of how you kill it (within reason, turning it inside out with a 12ga slug is not going to improve anything)

If I hit a Moose you can bet your ass I'm taking it home. If you're gonna need to go car shopping you might as well get a free moose out of it. I actually passed up a (likely once in a lifetime) chance to get one someone in front of me hit because I was in a SUV that wasn't mine and didn't want to explain why the carpet was covered in blood.

I'd steer clear of eating anything that has tire marks on it though. From what I hear (2nd hand) beating it up like that ruins the meat.
GoodNotes [http://goodnotes.com] | Lead backend engineer, iOS developers | Full time | Hong Kong ONSITE, VISA

GoodNotes was created from our founder's frustration of taking readable and reusable notes on his first iPad. We have since grown to millions of happy users and have been featured on Apple's marketing materials.

We are a fully bootstrapped and profitable company. We started off as an indie developer and now is time for us to grow the team.

It’s an awesome opportunity to work with the one of the best iOS team in the region on a product loved by millions. Hong Kong is also a great first stop if you are interested in exploring Asia!

---

We're transitioning our backend from a file based system to a real time event driven architecture (think from .docx to google docs), and we're looking for someone with experience building event driven architecture at scale.

Please apply at http://t1.gl/gn or email spencer@goodnotes.com.
The low transaction volume of the private/fungible coins means that time-of-transaction analysis like this should probably always be a concern.

The weird was-it-or-wasn't-it-surveillance during The Ceremony [1] is terribly odd IMO. But none of it could have ever occurred if ZCash were designed to be trustless.

I seriously wonder whether the algorithms used for ZCash or Monero or your-favorite-altcoin-with-a-new-signing-alg have enough runtime/experience to be trusted with their market cap. I'm optimistic about Monero at least, but TBH I don't have much research or evidence on my side.

[1] http://www.radiolab.org/story/ceremony/
practically, sysdig is how something like carbonblack should be doing its monitoring on linux.

so to more directly answer your question; sysdig is the linux equivalent of the kernel module (plus userland grabby bits) needed for the executive pointy-clicky dashboard.
I'm not sure if this fully answers your question, but Loris (the sysdig creator) wrote up a technical analysis of sysdig vs dtrace vs strace a while ago.

https://sysdig.com/blog/sysdig-vs-dtrace-vs-strace-a-technic...

It's worth a read.
Surely everyone who quotes this study will amend their statements at this point.
IT Security is usually considered through the prism of the CIA Triad[1]. Confidentiality, Integrity and Availability.

Therefore any issue which impacts the availability of a service or device is a security issue.

[1] https://en.wikipedia.org/wiki/Information_security#Key_conce...
Yes, same as the camera record permission (NSCameraUsageDescription).
Banquets on sidelines of World Internet Conference show tech giants's alliances
They're taxing the interest gained not the deposits just like everyone else has to pay tax on their interest. Fair is fair.
Tencent affiliates IPO spree to continue into next year
An ICBM warhead is going to be a tough target for that. Very fast so you don't have long to heat it and fitted with heat shielding for reentry already.
China has been bravely dealing with a rampant "fake news" problem for decades, and should serve as a model for US regulators and social media companies.
Yes, Portuguese.

Population of South America: 421M¹

Population of Brazil: 208M²

1: https://en.wikipedia.org/wiki/South_America

2: https://en.wikipedia.org/wiki/Brazil
Humble Bundle: Network Security
any company stupid enough to go to China and give up its intellectual properties deserves to die. 1.3B people?! let me get a piece of that. Oh, and let my stuff get copied and stolen, and I'll lose the US market and the entire world market, which is way bigger than the Chinese market.
I've tried. They are fairly unresponsive. Right now my advisor is trying to get an academic license to their system.
The WP article links to a Bloomberg article[0] which boasts a more straightforward headline:

Cook Kisses the Ring

[0] https://www.bloomberg.com/news/articles/2017-12-04/cook-kiss...
IEX is an example of an exchange doing just that.
Actually I think you have that backwards, as far as front-loading.

For just about everything you do in Perl 5 there is an equivalent in Perl 6 that is simpler to remember and is more general in its use.

For example using an iterator variable other than `$_` in a for loop:

Perl 5:

for my $line (...) {...}

Perl 6:

for (...) -> $line {...}

Note that you can also use this for any keyword that has the form `KEYWORD CONDITION {BLOCK}`

if $a.method() -> $result {...}

You can also use this exact same syntax for a lambda:

@a.sort( -> $a, $b {...} )

So you can see it is more general, and since you can and do use it everywhere it is easier to remember.

The other day I was trying to remember how to alias two subroutines in Perl 5;

*foo = \&bar;

I can easily remember how to do it in Perl 6

my &foo = &bar;

The things shown in this article would be very much black magic Perl 5 code, but are completely doable. If you can manage to keep from writing source filters, I think you can avoid doing the things shown in the article.

I will note that this mutability makes it so that for example OO::Monitors http://modules.perl6.org/dist/OO::Monitors:github:Jonathan%2... can be made easily.

The mutability is also the reason you can import modules from other languages as if they were written in Perl 6. You just have to make sure you have the appropriate Inline module installed and loaded.
It's been some time since that was the main feature of imgur.

For example, imgur redirects hotlinked images to its embedded view in some cases. One of those cases is when they decide that your domain is using them as a CDN, which they forbid.
A randomised trial shows that the power of the press is real
I suspect more prosaic motive. Tim Cook has fiduciary duty to his shareholders who want to sell in China as its big market and lot of money to be made. So Tim Cook has to do things like this in order to stay on the good side of the Chinese government. I wouldn’t see any hidden idealism behind it.
I'm not sure I understand the question. We didn't use any data from ClamAV.
Get Floating Table Position and Dynamic Shape Fill Color for LINQ Reporting Engine
I'm not sure why this LostCause-flavored blog post is relevant to news or hackers.
It isn't just the middle class. The wealthy don't want anyone (relatively) worse off living next to them either.

One of the points I think a home (or apartment, etc) should make is keeping unwanted noises on one side of it's walls. Outside noises out, inside noises in.

It very much annoys me how easy it is for the un-thoughtful to make the lives of those around them hell.
Time to switch to Android.
Oh god my brain. The examples hurt to look at. Why? Just why? Though I wonder if more visual based learners would have a better time understanding programming with something like this?

I don't like a lot of their choices of symbols. Grapes for beginning statements and watermelons to end them make no sense to me at all. The flag as the start of a program block makes a little more sense.

Trying to work through the code for the cookie monster game made my brain hurt though.
Time to switch to Android. If Google have one thing going for them it's that they don't give face to this brainless bullshit.
Might have to bring that kind of stuff back, the way N Korea is going.
Ireland joined the EC in 1973, the EU did not exist until the Maastricht Treaty was signed in 1992.
Ask HN: What do PM’s and business folks feel about open source?
Developers seem to like open source software and enjoy both using it and contributing back.

If you are a product manager or in the business side of things (biz dev, sales etc), do you have an opinion on the increasing availability of high quality open source software? Do you see that as a net positive or negative?
Ask HN: What would you do if your income was taken care of?
Are doing acronyms of acronyms now?
Dear System Administrator,

We've just hacked your server and wiped the crypto keys for your users. As you know, all your backups are now useless.

Send us $1 million in Bitcoin to get your crypto keys back.

Sincerely,

Hacker McHackface
Grammy nominee for Best Surround Album releases free music enhancer
Exciting to see tech startup emerging from my home country. Keep up the good work :)
There's a big difference between state censorship and news companies being biased in what stories they promote.

I think you're distorting the lines between the internet as a communication network and the news industry who uses that network to distribute content.
> Time to switch to Android.

Fwiw, the CEO of Google was at the same event. So... no difference.
I think it's interesting to look at these kind of things related to the "expected armageddons" of nuclear war, disease, gray goo, etc.

I suspect it's far more likely that, if humanity goes extinct, it's due to some other subtle cause, rather than one of the big headliners.

Pretty terrifying thinking about all the various pesticides in use today and wondering "Will one of these bioaccumulate and sever some critical link in an ecosystem humanity depends on?"
People building classifiers are not typically trying to make a causal argument, they just want the classifier.
Isn't it a common practice to follow the local law wherever you do business and make money?

Google was allowed to operate in China, and it decided it did NOT want to follow the law and quit. Google was an underdog in Chinese search anyway when it operated in China. It simply failed to compete against Bidu.

Amazon has been operating in China since 2000ish. It failed to compete against Alibaba and Jindong.

Facebook will definitely lose to Tecent/Weixin in China market even if it is allowed.

Cisco lost to Huawei everywhere in the world except in US, where Huawei is forbidden...

Microsoft and Apple are doing well in China because they follow the local law and actually create value to local customers.

It's a changed world.
The FBI transfers seized cryptocurrency to its own wallet to prevent this: https://www.wired.com/2013/12/fbi_wallet/
Anything signed would have been arguably under duress. If someone is actively threatening you and coercing you to sign something the signature is irrelevant.
This is really no different than existing low story construction except connect the building instead of leaving them unconnected. If anything it's worse since there is now now variety at all, and enormous multiple blocks of sameness.

Part of what makes old-school cities so pedestrian friendly was having a variety of small shops to stop in. A bakery, grocer, butcher, clothing store all only a few windows wide. This is like building an enormous Home Depot, Costco and Circuit City in the middle of downtown. This does not make a pedestrian friendly city.
I don't think that's true. There was no lawsuit for the civil seizure incidents I've read about, including the one described in the article.

Hypothetically, even if that were true, does that not sound crazy to you? That the government would launch a civil suit against you for the crime of possessing money?

Edit: Just read that you're in law school. You truly terrify me.
UBC Autonomous Sailboat Rescued at Sea After a Year Without Contact
A similar thread from earlier:
https://news.ycombinator.com/item?id=12018713
> China is a well run country

While I generally agree with your point, I don't know if I accept this premise. Would citizens in Tibet agree, for example? Hong Kong?
Oh I don't doubt that all of these people were there, but the facts remain

And it doesn't necessarily imply that they all had secret meetings with Xi, which Tim did.
Really, the benign-vs-malicious question is an oversimplification. But thats what we have data for, and what most people focus on.

The reality is there is a big gray area between the two classes. Some cases are really hard to determine, and would be something that would lead to errors in production. Some examples:

What if it is of malicious intent, but the author messed it up and so it doesn't do anything. Is it still malware?

What if it's a program used for encryption for security, but used by malware to create ransomware? Is it malicious now?

What if its a benign program, but a bug causes it to destroy files. Is it malicious?

Some programs are maybe not malicious, but just annoying (like browser toolbar installers). What do we call it? Some systems have a "Potentially Unwanted Software" category for these guys.

Ultimately, it's not easy. Thankfully most binaries are fairly cut-and-dry in terms of which side of the fence do they belong. The hope is that with enough labeled data, we can do a good job for the majority of cases. We don't expect it to ever be perfect. Hitting the hard to distinguish samples is definitely something dig into in the future.
You're saying that the majority of rockets fired from Gaza are not made in Gaza? That contradicts everything that I've read about them.
In microwave frequencies, you also have to worry about Fresnel zone clearances
This seems like a real-time / on-line version of MagicHaskeller: http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.ht...
If you think about it, if it were a pattern, WWIII should have happened around 1967. Instead (because of the bomb?) we got 50+ more years of peace.
Mijn Flying Blue Inloggen – Www.flyingblue.nl Ticket Boeken
Access www.flyingblue.nl page to ticket boeken by mijn Flying Blue inloggen. For further information about miles and awards contact on given numbers. There is always running reward and loyalty programs by companies to attract more n more customers.
> From some angles, it may resemble a landlocked cruise ship.

- Does not look anything like a cruise landlocked cruise ship.
White House Weighing Plans for Private Spies to Counter “Deep State” Enemies
Get Free Bitcoin
Using drones to put a giant goat on fire
You need to prioritize orders in the market by some objective metric. You want a metric that rewards good behavior and punishes behaviors you don't want, for the market as a whole, not just any one participant.

Almost all markets now prioritize on price. An incoming sell order will interact with the highest priced bids first, and an incoming buy order will interact with the lowest priced offers first. Think that's common sense? In the pit days, markets were sometimes prioritized based on whether the guy was your cousin or if your dads were fishing buddies. Better price? Oops, didn't see you, pal.

But say 15 traders all want to buy at the best price. Who gets filled when a seller comes in with a market order? You could:

1. Prioritize equally: Give everyone bidding an equal piece. Fair's fair.

2. Prioritize by size: Bid more contracts at the price and get a bigger piece. You wanted it more than anyone else.

3. Prioritize by time: First to bid at the price gets filled first, then second, and so on.

Over years many ideas have been tried and nearly all markets worldwide have settled on 3 or some variant of it, why? Batching orders together as in 1 encourages people to split their interest into many small orders. It also discourages traders from sticking their neck out to make the best price first. Why bid alone when you can wait for others to bid with you? Likewise with 2, traders will try to game the system by placing very large orders and are rarely willing to improve prices.

So we end up with 3 which causes some speed jockeying in return for forcing traders to bid their true values right away to undercut on price, to everyone else's benefit. In return, they get rewarded with trading first.
Have you looked up PHP or GNU lately? :D

At least these terminate when resolved.
Proving that Android’s, Java’s and Python’s sorting algorithm is broken (2015)
Sorry yeah, I didn’t mean there isn’t a lot of software that qualifies as HFT, but the very quickest seems pretty light on software.
I like Python, and Miguel Grinberg's blog has been really helpful and informative to me.
This is not true. Shannon capacity limit has remained the same of course but reduction in the cost of processing has meant that it is vastly cheaper to deploy higher coding rate modulation schemes and MIMO than it was only a few years ago. Gigabit speeds over long range (10's of km) are quite achievable.

The article actually talks about 6Mbits/s as the service speed per subscriber so obviously the backhaul is going to need to be much faster, especially since its ring topology means it has to serve many towns.
I would be pretty amazed if the test didn't indicate bias between a complete A-A test (i.e. associate white people and white people with red words and green words), even leaving aside consistent scores as they discuss in the article.

Which means it's not reliably going to indicate anything in particular by itself. This is a challenge for a lot of these psychology tests and is part of the root crisis of reproducibility.
A huge chunk of the British Royal Family is German. Albert (of Saxe-Coburg and Gotha) was Victoria's first cousin.
> Isn't it a common practice to follow the local law wherever you do business and make money?

Following laws is normal, but Tim Cook shouldn't both comply on censorship, and right after promote an "open internet" conference hosted by the government that just told you remove the VPN from your app store.

China doesn't have rule of law, it rules BY law. Laws and their enforcement apply differently if you're local company or foreign company. Also differently whether you're in good terms with the government or not (this is probably why Cook even showed up at this conference to begin with).

If they want to shut you down they can just pile on unreasonable demands until you quit. Try applying for a journalist Visa without connections in mainland China to get a taste if this kind of functioning.

To have a company in China you need local partners, and you will have to give up your IP at some point.

Apple and Microsoft are still welcome because Apple creates tons of jobs and Microsoft runs on all the computers. If they loose that and still step on Chinese companies market, the tone would change quickly
An awesome mystery story!
Typically towers are constructed on hills or at least the best small rise around to avoid this problem. Fresnel zone is not too wide at the frequencies used (probably 11-18GHz, perhaps 6).
The Norilsk ladies look mighty fine, I'd deal with the pollution.
I still love remote control cars to this day. I was so excited when I pulled apart my first motor. I had no idea how magnetism or any of it worked. I just knew, you connect the wires and it spins. So much fun from a simple motor.
https://news.ycombinator.com/threads?id=longcheng
Brushing up on your math will definitely help! But it's not strictly necessary. It really depends on how deep you want to go.

For the Neural Network type stuff we used in this work, I would recommend Michael Nielsen's awesome website as a starting point http://neuralnetworksanddeeplearning.com/ and keras https://keras.io/ is the easiest NN library to pick up and get something going with. Andrew Ng's mooc https://www.coursera.org/learn/machine-learning is also a good starting point for some slightly more general machine learning background.

If you want to avoid the math (not my personal recommendation), I would start there and just mess around. Build small things and start reading more as you get comfortable. Its definitely an area I would encourage learning in an iterative way: try to learn a small amount, try and apply it, repeat.