skysight-inc/HackerNews huggingface dataset:
I agree with @Vozze. What problem is this share your idea solving? Is it just for people to make extra $$$? So for example, how much do I get for sharing this quick idea after going to your site. Idea: Help prisoners fulfil their dreams. Why this? "While at Alcatraz, I was able to take nightly classes to get my medical degree. In addition to my dream coming true, I used the warden's computer and was approved for a credit card from Capital One for $200. In 2 months, I requested a credit line increase and it was increased to $10,000. For the skeptics out there, people life do change while firmly tucked away." So, how much do I get if I post this on your site?
The original heading was not editorialised: it was not an opinion or interpretation but a summary of the content, and in fact the only reason I read the article in the first place.

The new title, which does not show up in RSS, would not have attracted me to read the article.
> not formal reasoning based on deduction

Formal verification is not the same as deductive proof. Some formal methods produce "probabilistic statements based on induction".
You are contradicting yourself.

If you stop playing basketball halfway through a game, and your rationale is "I do what I want, not what you guys want" you have _both_ poor basketball skills _and_ bad social skills.
Basic Block Versioning – My Best Result Yet
"The insider joke in Lisbon was that the E in EMNLP now stands for Embedding (instead of Empirical)"

Mind explaining the joke? :P
A Critique of VC, Founders, and Tech
شركات العزل بالكويت 55090348
Vetted or acceptable ads is a fake narrative - a smokescreen - it's just a way for these adblock apps to extort ad networks for a payout. In the article it mentions that hundreds of companies including all the big search and display networks, and all of the big native ad networks, are included on the whitelist. Who is left?
Wow. He was saying they could be positive. Of course you can come up with a counter-example...
The Syrian War Has Caused the First-Ever Withdrawal from the Doomsday Seed Vault
This somehow cheered me up. It showed it to me that the blocks of weeks that I felt great make up a huge chunk of life -- thank you!
> > large amounts of low-quality advertising.

> Is there any other kind?

I'd say The Deck manages to be high-quality, low-volume advertising. One of their rules is "our ad is the only ad on the page".

http://decknetwork.net/

Artisanal ad networks targeted to web workers don't exactly _scale_ to the rest of the ad industry, but non-irritating advertising exists.
In case anyone is considering the Eclipse -> IntelliJ switch, I made it myself a few months ago and haven't looked back.

I wrote up some notes on the experience - differences in shortcuts (on a mac) and features and whatnot, here:

http://www.davnicwil.com/eclipse-to-intellij-on-a-mac/

Should be a useful to skim through it as a quick-start, will save you some shortcut/setup googling at the very least.
The average lifetime of a smartphone increased last year from 18 months to slightly over 24. Analysts expect carrier and Apple leasing options to drive this back below 2 years.
It's interesting to me how the "Acceptable Ads" thing has managed to inserted itself in the middle of all of this - for a price of course. Yet another middleman which skims off money from the content producers, but this time under the guise of helping them get impressions.
For sheet stainless you're probably best paying someone to water-jet cut it. Laser cutters that can cut metal are way way way out of the price range of normal people. Also you can't really mill sheet metal.

If you want to do something cool and home-made you could probably hook up an electric nibbler to an X-Y stage.
I am guessing that he is the type that says "Apple is an evil corporation, that is why I buy Samsung". People get confused.
3 years from now, the PS4 will be 5 years old and much cheaper than a high-end smartphone.
My idea was that the next major conflict will be of "If I produce dumb drones faster than the other side can shoot them down I win" type. Quantity has a quality of its own. And with 3d printing turning a carrier into UAV factory is not impossible. Make them semi-autonomous and it will be formidable.
There is no such thing as an "enlisted officer" in the uniformed services of the United States. There are Non-Commissioned Officers, but they're not actually officers and they're never in command of anything larger than a patrol boat or a tank.
Maybe like DRM?
Seems almost like extortion.. the advertisers already paid for advertising but now Crystal demands additional payments from the advertisers or else it blocks the ads. The websites don't seem to get any additional payment from Crystal for this "vetting".
I wish you many more continued blocks of happiness mate!
Embedding is a technique using dense vectors to represent words in a "continuous" space. Most deep learning NLP systems use embedding to get natural language as input.

See https://code.google.com/p/word2vec/
Not everyone lives in a great movie theater environment.

I saw a demo of the GearVR which was pretty believable, and if this thing is higher resolution, more immersive, etc., I might honestly find myself questioning why I need to decorate my living room if I have VR goggles on all the time at some point in the not to far future.

When VR becomes ubiquitous, and you can have shared experiences, expect that to be a very real thing.
The phone is the screen, right? Or is the phone processing the content and delivering it to the screen? What's the resolution like?
I actually agree with you and find that writing queries directly gives better performance, is much easier to debug, makes it easier to integrate more advanced database features (like stored procedures or non-standard features like postgres schemas or the jsonb data-type), and avoids the configuration overhead that some ORMs require. In fact, I chose bookshelf precisely because I didn't have to do anything except supply the table name and start CRUDing whereas I'd normally just start writing raw queries in a situation where my goal was to start talking to the database ASAP.
So what about drugs that aren't associated with violence? Someone really high on pot not only doesn't want to fight, they're probably not going to be very effective at it. Likewise, those high on heroin are harmless at the time.
As a South African, the first time I saw "on accident" was from an American on IRC.

At the time I assumed he was just one of those uneducated redneck hillbillies I'd heard of who can't English proper. But it turns out that's just how young people speak these days.
Simple. Look at early Google and PayPal employees (Marissa Mayer, Dave McClure, Keith Rabois, Reid Hoffman, etc). They are kings in the valley right now. It's an irrational aspiration, but if you happen to lock in early at "the next big thing", the opportunity doors swing wide open.
It sounds like it's optional. I can understand why you'd want to leave a negative review, but it seems a little extreme to demand a refund when the old functionality is still there and presumably fairly simple to switch to. It still does exactly what you paid for.
Phoenix / Elixir for Rails Devs: Form Helpers and Models
All I can think of...
http://h.fastcompany.net/multisite_files/fastcompany/imageca...
ABP memory usage in Chrome made me switch to router-level ad blocking. Added bonus: it works on mobile too. I have weird page renderings sometimes, and whitelisting a legit site is a pain, but it's overall a huge value to off-load the blocking to the router.
Thanks for this recommendation - I'm just starting to get in to SDR and GQRX crashes constantly on me :(
This is a great point. I spend a good deal of money on the Amazon and Lyft apps but I don't spend hardly any time IN the app. Lyft even more so than Amazon as I'm waiting for the ride. On Amazon I know what I'm getting before I open the app, I don't enjoy "browsing" on the Amazon app. Also I wonder how they count something like Spotify or Audible, I spend money for both but rarely have the app in the foreground.
I think subtitles are supposed to be placed at particular places on the screen.
The article is literally saying that though. It's the one lead, the title should have stayed.
John Carmack overcame all of these technical issues and wrote up this blogpost in the past month with all of his other responsibilities at the same time. Humbling.
It's more about establishing a relationship with Netflix than to create a theater experience. There are already cameras and video formats that support stereoscopic free-viewing in 360 degrees. Once Netflix starts posting these videos Oculus will already be poised to support them.
While it could be a smokescreen, it certainly doesn't have to be a smokescreen. If it turns out that Crystal is letting intrusive ads through, then they're doing a bad job and I'll stop using it.
[Elixir] from Functions – Processes
You know what? I'd like to ask you a personal question.

What is it that motivates you, at the same time as introducing interesting and pertinent details to a discussion, to be so negative and condescending about other people's choice of technologies?

You are clearly very intelligent and well educated. Why do you feel the need to do this? I can't for the life of me understand where this is coming from. Do you not realise how aggravating it is for the other parties in the discussion?

You have plenty to contribute by mentioning interesting technologies like TLA+ and your threading implementation. Why do you have to dump on other people at the same time?
CryptoBallot: Secure Online Voting
In some cases it's not even the same person doing the purchase, which adds another layer of complexity. Especially common with services that might be purchased by a business. Lately I'm getting a bunch of seemingly targeted PaaS and IaaS ads. I click on them occasionally. If one turns up a service I find interesting, there's a good chance the sale it leads to will be initiated on a different computer, by a different person.

This even happens pretty regularly for consumer stuff. I've suggested travel-related things to my parents, for example, which have led to direct sales: I saw an ad for a sale at $hotel_chain, remembered that my parents are taking a trip in October, tell them about it, and they book. It's pretty hard to track back their purchase to the ad that was shown to me. (Not entirely impossible, though, e.g. giving out different coupon codes is one method that print advertising uses.)
Curious: why not mitigate fire danger by measuring temperature in beam vicinity using thermal camera?
Haha, yeah. My bank account has been hit pretty hard with my saltwater tank, and I haven't even ventured into keeping corals yet.
You can track all of that stuff, you just need enough data to be able to draw inference from the statistics.

Ultimately, if lots of poor people are worth targetting in a hope they will one day be rich, the statistics will ultimately back that plan.

But I suspect that anomalies will fall out in the big picture.
Investor liquidation preferences should not affect the value of employee shares if the valuation of the company has gone up steadily. I mean, if you have a "$1B exit" from a company that raised money at a $10B valuation, then, well, yes. But that's not really a $1B exit.
I'll gladly pay for shipping and handling and as much as I can to take one of those off your hands if you have no use for it. I desperately need one, but I honestly don't have the funds to actually purchase one.
That's silly.

I work on a multitude of apps that have huge customer bases. Obviously no where near Facebook but, definitely a couple million users. The largest app has maybe 200K lines of code? And we are always able to find sections of the app to refactor or find dead code to cut.
When Boris Yeltsin Went Grocery Shopping in Clear Lake
Why Most Published Research Findings Are False (2005) [pdf]
This is in fact a problem with this program. The participating inmates are released back into society with firefighting training, experience, and a desire to continue doing the job. Unfortunately, they are unable to obtain jobs as firefighters because of their previous felony convictions.

So they go back to whatever they were doing previously because having any sort of decent career is extremely difficult.
If you're at all interested, please email me.

i.am AT ozzmotik.com
Sorry, I got the root cause wrong. The problem is not that the numbers didn't include the branches, it is because it doesn't include the sub-projects (where the real work is happening).

The JDT root project is basically only going to show commits to build scripts and the like.

For those who are interested, you can read the Eclipse 4.6 release plan, and see the stuff planned for next June's release. But at the risk of repeating myself: a lot of the energy is going into the Java 9 work.

https://www.eclipse.org/projects/project-plan.php?planurl=ht...
fyi: ES2016 javascript also supports async/await, and you can use them today w babel
It could seem like extortion, or it could seem like certification. Websites have proven that they're terrible at vetting ads for security and intrusiveness, they do not care about that. By paying a different company to perform the certification, then there's less of a conflict of interest.

Of course, this depends on trusting someone. Trust can be misplaced, but I already know I can't trust websites, so Im looking for someone else.
Nobody raises $500M with a 2x liquidation preference at a $1B valuation. And if they did, they wouldn't exit at $1B. This is a complete fantasy scenario.
>giving users the best web-browsing experience possible

Do you really believe this is Apples paramount motivation? The only reason this is acceptable is exactly because they have nothing to lose, only everything to gain by hurting competitors that rely on advertising revenue. Ask yourself this -- if apple iAds was wildly successful would they be taking the same action? To ensure the "best web-browsing experience possible"?

> Better privacy for their users! Breaks analytics and ad targeting? Who cares?

Maybe companies that generate revenue using these tactics? Again if this was Apples bread and butter they wouldn't be implementing any security measures might interfere with their bottom line, user experience would surely be taking a back seat to profit.
Why not Scala?
Oculus Chief Scientist Michael Abrash on the Core Challenges Facing VR
> Even so, it can still be the result of life-long social conditioning, which determines what you want, part of which is gender role conditioning.

So what? Why is it important to know what force (cultural, biological, gravitational..) in the universe determines what you want? Why should the society be defined by some other metric than preference of its individuals? AFAICT, the article tries to measure the preference, as precisely as possible.

It strikes to me as unfair to the people expressing those preferences to say "your preferences are influenced by culture and therefore less valid". (If they are not less valid, what is the problem?)
Totally disagree. Many VCs will limit founders' salaries to 100k or 120k or 150k. Many founders, esp the technology co-founder can easily earn 250k+ elsewhere. They are getting a larger slice of the equity because they are "investing" their paycut into the firm. They are founders, workers AND investors.
There are a few others who also operate with the same model, but they are generally considered small businesses (or "lifestyle businesses"). Unfortunately these inherently have ceilings to them and market dynamics dictate you will always have someone more greedy who will try to build AdSense-like dominance.
Ah right. It's you who gets to define the word "verification" and Haskell is aiming to do it, yet failing to do it, whether its creators and proponents like it or not.

An easy way to both start and win an argument!
Yes, that's a mindbender.

It's not easy to talk about. People tend to get defensive.

Most smiles that I see seem forced, for example. And even when I'm eavesdropping. So it's not just about me ;)

But it can be learned. Decades later, I still vividly recall the video sessions at the start and end of the est 6-Day course. Most people managed to own their act.
Nowadays, Android Studio has become the default IDE for Android development, and Eclipse support hasn't been a primary objective in quite a while. Also, XCode is not what I would call a good user interface....
Designing domain specific language
>Also, the "crazy responses" I refer to are people getting upset that Target was "encouraging boys to play with Barbies" which "goes against the Bible." Or that Target was "trying to turn people transgender." Are you saying that these people are perfectly normal and represent the way that we want to run society? Do you honestly believe that Target's actions will "turn people transgender?"

No more than I believe that by labeling the toys "boys" and "girls" Target was supporting the patriarchy and perpetuating rape culture by marketing violence-orientated toys towards boys while objectifying woman and furthering the "house wife image" by marketing girls with dress-up and doll houses.

Thank you for clarifying you meant the more extremist "crazies". There happens to be extremist viewpoints on both sides and when either political side speaks of "crazies" from the other side, I immediately think of the moderates from that side to account for political biases.

It's rare they mean the actual extremists, as you did. :) So thanks for clarifying who you were regarding as "crazy". And no, I don't agree with the extreme right either.
Emacs isn't perfect, and Emacs was the Eclipse of its day.

But it makes a lot of sense so many times. Very pragmatic, extensible simply. It's still thin spaghetti compared to the "sturdiness" of Java/Eclipse. But I've seen the internal long time ago and it was just a fatter model of spaghetti.

Anything in Eclipse requires a lot of efforts, and too many times the original goal gets diluted in the implementation. I said it elsewhere, after spending 2004-2007 on Eclipse, then leaving for Emacs, I recently had to go back to Eclipse, it's not better, git integration is useless, lots of windows for no reason, a very special kind of UI, maybe suitable for people that likes windows and mouse.

It's sad because it comes from the same community that creates the most job friendly systems, so if you wanna play with JEE/Maven/EMF/..., you'll end up needing something like Eclipse, because of this subtle synergy.
We already know who will be let through - the ABP whitelist is public. It's the majority of the ad tech world including the most intrusive native networks.
I do not agree.

1) Web Assembly will make the programming language you use on the front-end an open choice in web development (and, eventually, mobile). Javascript has very poor support for disciplined management of large codebases, and will eventually be abandoned for more sane languages.

2) Technologies like intercooler.js (http://intercoolerjs.org) will minimize the amount of javascript necessary for the majority of web development (and, eventually, mobile) which will allow you to simply choose the best back end technology for your project without concern for matching a front-end language.
Cardboard was based on the Oculus Rift DK1
Study Confirms Kony, Inc. Top Marks for “Mobile Infrastructure Services” (MIS)
European Commission: have your say on geo-blocking and online platforms
A community which changes its mind every few years is a community which does not have effective leadership. Python's leadership is ineffective because 3.x has erased its credibility. You have maximum one opportunity to change a language in mid course. That opportunity has already been used (wasted?) in the case of Python, and while it could have addressed the elephant in the room, multicore, it did not. Instead it indulged the wishes of its powers that be to tinker on the edges to make Python more "serious", in the process adding nothing that anybody needed, while reducing simplicity and accessibility, and, criminal sin, no backward compatibility with no corresponding forward killer feature.

Now, nothing less than a wholesale change of the leadership can right the listing ship.
Show HN: rich markdown + LaTeX editor for Android
Python-based urban data science and visualization course with materials on GitHub
As a cynic, I'd say they have nothing else to do ;-)

On a serious note: thumbs up! When are we going to get one in CS or Biology?
> If a founder asks for a NDA just to have coffee, I am out - in my experience it's a 100% indicator of someone who has no idea what the fuck they're doing.

Indeed. I've seen this countless times, even occasionally in SV where people should know better. Starting a company is really really hard. It's fundamentally about deciding where to channel your energy when you have a completely green field but only enough resources to execute on 0.01% of your ideas. The focus must be pinpoint and relentless to even have a chance. The idea that the risk of someone stealing your idea is worth devoting any mental energy to indicates that you don't have your priorities straight. Hell, even in a worst case scenario where you have a great non-obvious idea, and someone steals it, if you want an NDA so you can sue them then you're essentially betting on their superior execution capability.

Run don't walk from this kind of hot air balloon.
All of these blockers use SFContentBlockerManager which only blocks ads for Safari and any apps that use SFSafariViewController (basically none).

Does anyone know if it's possible to do ad blocking through the NEFilterProvider classes? (https://developer.apple.com/library/ios/documentation/Networ...) This looks like it would block requests at a lower level, possibly for all Apps. Has anyone else tried digging into it?
You missed my point:

"If you think that its simply a case of not using your old employers code then you're naive".

A third-party code review would do little or nothing to prove whether Shred have "stolen" anything.

Suppose you and I both wrote our own authentication systems (the horror!) - I'm sure we'd create much the same functionality wise but our code would probably look vastly different.

The code base is not important here.
If Crystal gave an option to "allow high-quality ads" and then that list of high-quality ads was curated carefully in the users' interests, it could make sense.

But as soon as people start paying to be included on that list, it's not a list of high-quality ads, it's a list of people that have paid you money that you have decided meet some minimum bar (that you have incentives to keep low).
Divers return to famous Antikythera wreck to hunt for treasures
Yeah, it seems to me that you're way more likely to be shot at home.
Direct perceivable damage? Is there even a question?
Did the NSA over stepped it's bounds sure, but did anyone actually got directly hurt? Well not really.

The NSA is only as "bad" as the rest of the government, it's not a rogue agency that whisks people in the middle of the night to re-education camps, if the US ever becomes such state then encryption isn't going to help you.

This isn't an argument against encryption, or in favor of the NSA violating the privacy of US citizens (I am not a US citizen and I do not expect the NSA to care for my privacy) it's just an argument that people should put things in perspective.

East Germany didn't became a police state because of the Stasi, they've created the Stasi to enforce it. The US wasn't turned into a police state because of McCarthy-nism, it wouldn't turn into one because of the NSA even if they continue to violate the rights of US citizens unless there will be a major major political shift across all branches of the US government and it's population.
Virtual human built from more than 5000 slices of a real woman