skysight-inc/HackerNews huggingface dataset:
I find your comment about CS programs a bit misplaced. Are you aware that a research team from WVU actually uncovered this emissions problem in the first place?

The "VW diesel-gate" aside, I do share your feelings about the quality of CS programs in general. There is nowhere near enough education about real-time systems, high-reliability systems, and formal verification methods. All of these topics are completely appropriate academic material, in addition to being fundamentally useful for business needs. I'm not sure any of these topics are covered in the usual undergraduate curriculum.
Ctrl-cut is great. I love that it uses SVG plus some additional XML DTD attributes as its file format.

Time for some reverse engineering if you can only cut via Glowforge's servers...
I'm also curious what your problems were. I'm using it at present and haven't run into anything worrying...yet
Having worked at and with small companies that rely on advertising to overcome obscurity and get business to their products - modern analytics tools have pretty much got this problem solved, the marketing people knew and actively tracked their ROI on a daily basis and were shuffling limited funding around between various forms of advertising to optimise sales.

Every time I see somebody claiming that advertising doesn't work, I just think that there's another person who has never tried to run a small online business.
> It's voluntary. So long as prison conditions are humane enough to make remaining in jail a viable option, this can help prisoners.

California prisons are horrifically overcrowded, literally they are under court order to reduce it, so your qualifier fails.
The worlds most colorful squat lobster
What Makes a Good Code Review
Don't families in Western societies outside of, like, Quebec, "reckon descent and inheritance in the male line", via the vast majority of children adopting the surname of the father and not the mother?
Check-list: Submit to AppStore
Eclipse set the bar in terms of having an utterly vast list of features and wild west bazaar of plugins. It was like market research for the more sophisticated vendors. IntelliJ has the 30% of features users actually wanted with a much tighter implementation.
I grew up saying it in Oklahoma. My wife (from Virginia) would always say, "It's BY accident, ON purpose." So just to mess with her I started saying, "ON accident, BY purpose", which sounds just as strange to my ears.
knex is by the same guy, who wrote it expressly for bookshelf
The article states that most people prefer to have some distance between themselves and the medium that plays the movie. They don't want to be enveloped by the movie. Hence a virtual theatre was created for the Netflix VR app.

I do wonder if they will also add the full-screen experience. That could be interesting ...
Seems to go against their plan to stimulate research and innovation in industry.

Another article on this: http://betakit.com/how-will-the-ndps-tax-plan-affect-startup...
Citation needed. (I would be most interested.)
Analysis and modification of HTTP requests for mobile applications testing
Good let it fall to the wayside while better tools come along.
There's a (golang) gopher hidden in the promo video at second 42: https://www.youtube.com/watch?v=ysCaqh38JVQ&t=42s
Getting away from tracking is primarily why I use it. I also tend to be surprised by people thinking ad blocking is about blocking ads as well, though. Especially here, maybe it's just a cultural shift towards generally being ok with being tracked. Oh, I hope not, though...
No need to pay someone if you can simply post links yourself or have enough readers that do so.
DRAM shares plummet.
It's really just perception of your brand. If you advertise to me I'll think less of you. Maybe that's enough for me to avoid you, maybe not, but it certainly didn't help your cause.
It seems that only one guy is responsible for most of JDT: Markus Keller:

https://github.com/eclipse/eclipse.jdt.ui/graphs/contributor...
https://github.com/eclipse/eclipse.jdt/graphs/contributors
https://github.com/eclipse/eclipse.jdt.core/graphs/contribut...
New video series 'Robots in Depth' interviews Greg Dudek on field robotics
I picked up a Homido VR cheaply and it is quite nice and fits all phones I have. The downside is that it starts to hurt after a while but it is enough to do VR experiments on my S5. I would recommend if you have an older phone and you can pick it up cheaply.
Amazon Fire Tablet Only $ 49.99
Consider contexts like news websites, though, with broadly-applicable audiences. Specialty or niche sites do just fine with site-derived advertising targets. Other things do much less well.

There's also the fact that targeted ads result in better CPMs for publishers (since they'll result in better returns-per-view for advertisers), which means that they don't have to deploy as many of them to meet revenue expectations.
If you're just looking to distribute, you could use git submodules and point at any package that way.

git checkout --recursive, etc.

Or just a symlink and include it in your setup.py. Or check it out inside your project.

Still allows better organized code. Given, the alternatives are very metaclass heavy black magic, and sometimes spare on comments - actually nearly all ORMs are very heavy on the black magic :)
I suppose I do sometimes think about how much better my current job is than my previous one, but I'm not sure I see a universal silver lining for every negative experience.

It may be true that I learned various things from the time mom was violently murdered, but I've never once woken up and thought about how glad I am that today isn't as horrible as the day her corpse was discovered in our basement. Nor can I easily believe that the resulting years of depression added anything worthwhile to my enjoyment of life.
Telegram, Go and 10.000 users in 24 hours
Help our robotics co key press day pls retweet latest we'll do the same
No, we don't. If the DA's office has other evidence you've committed a crime, and know that some encrypted device in your possession has additional evidence, the DA's office can legally compel you to turn over the keys.

The only time you're protected is if the key in question is password protected AND you only memorized the key (ie didn't write it down anywhere). Then you can plead the fifth.
Doom on Apple Watch
I started using Eclipse as a netbeans convert, I loved it initially until ofcourse I started using IDEA from Jetbrains. This has been the case with most of my friends so I'm not really surprised by the lack of interest in Eclipse.
imo Eclipse's main flaw was that plugins just didn't work or stay working. It seemed to have gotten better in later years but it still wasn't good enough for work. I'm not sure how not using Swing affected development either since Swing had some huge improvements in 1.7

Intellij pretty much took over
Well, if they simulate a movie theater and you burn some extra money to simulate the price of snacks you can almost have the entire theater experience without the risk of being shot by some nutjob
If someone is launching only Vim from tmux, it possibly is an overkill.

I have stayed put with Vim, Tmux and shell, a very capable triumvirate. It allows one to build your own IDE.

Especially when your project may need some customization beyond an IDE.

Ex: I work on a python application which needs to support 4 different library versions (python wrapper over C++) and I have 4 venvs, for each version. I have a tmux session, with a pane for each venv, one vim, one tail etc. I tried for ex: PyCharm and every time I do python setup.py develop in each venv, there goes the IDE with all it's scanning stuff.

Tmux just lets me do what I want without getting in the way.
And tmux-resurrect is a great addition. [1]
[1]: https://news.ycombinator.com/item?id=10219003
The refugee crisis is a glimpse of what's to come if we ignore climate change
What a shame... I am in the market for a home laser to replace the Epilog I use (at a makerspace), and this looks amazing. I won't be buying it if it's cloud-only, though. :(
This is absolutely hilarious. And another powerful argument in favour of powerful ad blockers. Let the ad malware talk to the bot viewers and leave us out of it.

(That said, I'm still trying to work out how to unblock Project Wonderful, a non-arsehole ad network, in uBO. Seems to require picking the precise JS they serve.)
> Yes it is slave labor, but it is legal to an extent.

As outright slavery - the treatment of human beings as property - once was.

An argument is often made that if a prisoner is contributing work that is essential to the operation of the prison, that is easier to accept than an economy which relies on prison labor.

There are wildfires in California every single year. That means that every single year, some prisoners - likely nonviolent - will be asked to risk their lives for $1 a day.

$1 a day.

I bet some of those folks only crime was selling weed.
So what on Earth is objectionable in my comment? I speak from a moderate viewpoint, to take the study seriously, but not apply it blindly, apply my own small amount of experience, and get downvoted to -4?

Did this offend anyone? Please explain how. Otherwise I would perceive the downvotes to be the work of trolls.
I really feel like if there are enough of these out there and the company somehow decides to brick all of them (not that likely IMHO) that someone will be able to come up with an open source solution for controlling it. I'd like to know what their privacy policy is but I'm not particularly worried about it becoming a multi-thousand dollar hunk of plastic.

I do wonder why the pre-order price is SO much cheaper than the actual price. At pre-order it's a still. At regular price it's kinda a bit meh.
My accident was in a parking lot, even, rather than on the street. Someone came around a blind corner rather quickly. At least it was a golf-cart type thing, rather than an actual car, or I would've been more seriously injured.
Super fast camera captures light movement
The $9 CHIP Computer Is Shipping
Wow, that's awesome! My 3-year-old video card uses 160 watts of power and roars like a jet engine running CS:GO at 1080p.

It blows my mind that we've come so far so fast.
I don't think security is that simple, it's not a yes/no binary. There are many directions of attack, and no single mechanism could ever stop them all. In particular, static analysis tools don't catch much in the way of security. Apple doesn't even see source code so they can't even verify that code was compiled from an Apple approved compiler.

The biggest safety precaution against something like this is app sandboxing, which severely limits the amount of damage that a malicious developer can do.
It seems like you're just saying that because you don't like them.

The ad industry is not full of idiots, it's got an impressive amount of technology and data behind it proving the ROI on every side.

You have not uncovered some kind of mass conspiracy. I'd strongly recommend you either talk to people in the industry or read up on the technology and results available.
This is going to be epic for schools and print-shops. I think only hardcore enthusiasts will want a home-home version of this tech, but I've spent enough time with paper-cutters and cutting out letter shapes that this is really cool.

Also, the boardgame industry can prototype cards much better with this - printing out Catan-like hex-tiles and the like.
They "reckon descent" by choice since it's legal to use any surname you want.

Definitely not inheritance though. Children of both genders are receiving their inheritance.
This is an interesting proof of concept, and it's cool to know that you can carry a "pocket living room" around with you.

That said, shouldn't virtual reality free us to do more than replicate real life environments? It looks like VR will have its own period of skeuomorphism until better UI is invented. I'd love to be a designer at Facebook right now.
Eclipse teaches developers so many bad habits that I will be quite happy for it to die in the fire.
You're right. I didn't mean full formal verification, I just meant controlling the amount of code you do need to verify. There will be axioms of course i.e.

given the axiom "mkEmail :: String -> Maybe Email` always produces Nothing when the email is not correct, and given that other Email constructors are not available"

then the `Email` type is guaranteed to contain a valid email address anywhere in the code.

At least that is where the value is for me - the type system freeing me from reasoning about the same preconditions everywhere, over and over again - as well as warning me when I violate them while changing the code. Is that not enough? :)
This will probably only block the ads that don't bother me, text and banners. The part I hate is the javascript bloat that loads from 1000 domains, the fullscreen popup that asks me to subscribe, and the autoplaying videos.
Isabelle is definitely type-based by any definition I could think of. Really it's more of a logic and TLA+ is model checker. If we want to do model checking then SMT solvers are in every half-sane dependency manager on the planet verifying build sets.

I still stand by the idea that these tools should be more widely used. I also don't understand a position where they're in opposition to type theoretic approaches. Liquid Haskell extends Haskell types with an SMT silver and, frankly, most logics can import a proof with ease if you're willing to trust an external party.
We've trained decades of mass media consumers than men are simple buffoons incapable of routine household tasks.
>women are socialized to believe that conflict is unladylike

Correction: _physical_ conflict is unladylike.

My female friends often complain about conflicts with fellow _female_ workers. There are a lot of conflicts among high-school girls, etc. They are just not physical conflicts.
I think this illustrates the balance you have to strike to have an effective security system. If you make it too annoying for legitimate use, you'll get people to disable it so that it no longer protects them.

I don't know what the best answer is, but Gatekeeper could stand to be a little less obstructive when the user legitimately trusts something that the system doesn't know about.

Apple's answer will, sadly, probably be to make it impossible to disable.
Tim Ferriss's Speed Reading Method, in a Chrome Extension
what do you think is the best implementation of optional typing in a language?
Tim Ferriss, in his "How to Triple Your Reading Speed in 20 Minutes", shows us a pretty neat trick to increase our reading speed. The only issue is, it only works for reading we do on paper. As you all know, most of our reading happens online nowadays. This chrome extension takes his method and allows you to apply it to any webpage/online articles.
Previous HN discussion 3 months ago with some good gems:
https://news.ycombinator.com/item?id=9799631
Actually the Myspace video ads are being sold as video (6-8$CPM on exchanges; I've seen it as high as 18$CPM to advertisers), so there's no expectation that they click.

Of the traffic I observed, I was able to (in a few hours) classify 80% of the traffic as fraud. I don't think there were any legitimate users on these sites except ad network operators verifying whitelists and agency teams showing off how much myspace traffic they were buying.
In English you would say you are solitary, so you enjoy solitude (the condition of being alone). I do too! But when you are in a non-solitary environment (like a city) and you have difficulty in forming a social relationship despite an abundant supply of people, then you may feel lonely.
I've been assaulted twice by complete strangers in the night time in the city. Both times I managed to avert major violence and get away unscathed. In one case it was someone raging on alcohol and being angry at the world. In the other case it was someone so high on something that he essentially wasn't there. Glazed eyes, a blank stare, mouth foaming and taking off his clothes. He couldn't even talk but for some reason he wanted to hurt me specifically. I don't think he would have attacked me if he wasn't high so I think that is an obvious case of drugs causing violence. Don't think I'm the only one that has been attacked by a drug maniac either.
Shots fired.
Ionic and the Internet of Things
Sorry, but I don't really get why you are comparing Haskell and the model checkers you listed. Haskell is a programming language and is not meant to be a formal verification tool.
You're absolutely right. This is essentially a business example of the Thesis, Antithesis, Synthesis dialectic.
I bought the original Gear VR with very limited expectations and was surprised how well it worked.

The reason it works so well is the GearVR platform is comprised effectively of three things:

a) Lenses to make for comfortable, adjustable viewing.

b) A touchpad for input.

c) A ton of high quality / high fidelity sensors like Accelerator, Gyrometer, Geomagnetic, Proximity (1)

Since most VR functionality is driven through sensor fusion it's a very elegant solution to develop a one-size-fits-all headset that gives devs a way to build/test/deploy against one set of sensors vs a phone-by-phone approach.

Take that plus the fact that the DK2 screen is an overclocked Galaxy 3 screen (2) and it makes complete sense.

(1) via http://www.samsung.com/global/microsite/gearvr/gearvr_specs....

(2) http://techcrunch.com/2014/07/31/oculus-rift-dk2-gets-torn-a...
"Plus, you will upgrade your phone every year or two"

Do normal people actually upgrade their phone yearly? I've kept my last several phones for about 3 years each, and I tend to think that'd be overkill for most folks (admittedly, I tend to buy higher end phones, with large storage, so they last a little longer; and I never buy on contract, so I'm paying full price, so I don't want to do it often).
Fine, cutter/engraver.
Absolutely, those are problem we know exist and this model risks making worse. The basic arguments is the big move towards cost by impressions if this catches on and becomes a dominant model, and the fact that banners of limited visibility is easier to stack. Huge white, or even invisible, banners littering the page will not disturb the casual user.

Google lost the fight on content farms several years ago. You are more likely to find reprints than original material if you google a breaking story or meme for example, even if there are exceptions.
If you have any kind of posting allowed on your website, 80% of your server power is being used to deal with bots.

Good luck dealing with ipv6 traffic where their behavior cannot even be tracked across connections.

I'm already seeing bots that do not repeat an ipv4 in their farm for hours and that is with one attempt every few seconds.
- Startups for the Rest of Us

- Radiolab

- Bootstrapped Web

- The Tim Ferriss Show
thanks for posting this. Great to hear this perspective.
Might be this:

> IME, approximately 10% . . .

How is this substantive?
Here’s How the Possible Federal Government Shutdown Could Impact Employers
Why even offer equity at all? If you're profitable and able to offer cash bonuses and raises, why not use alternative retention tools? Do you offer a 401(k) with generous company match? Do you have a profit sharing plan? Profit sharing into a 401(k) can be especially appealing.

While I obviously don't know anything about what your company does and what its financials look like, if I was a prospective employee, the fact that you're sub 10 employees at seven years in would lead me to conclude that you're not the kind of high-growth company for which 0.1 - 0.25% equity has any chance of translating to a really big payout. So why pretend? I'd find it far more appealing if your compensation package was realistic/honest about where you're at as a company.
Lots of men are programmed/driven to want to be the boss.

I'd like to ask the same questions to men who branch out to be SMEs in a particular field (say being a consultant) vs the traditional "climb the ladder" path. The reality is that with ladder climbers, the effort expended is usually expensive relative to the reward.
Propping up the existing system with money doesn't sound like a solution. If there's a fox in the henhouse, leaving a bowl of fox chow next to the chickens isn't going to fix the problem.
Totally normal. Humans are born with it - it is part of the evolutionary process.
>He didn't say he was seeking approval

>>is another drop in the "is it even fucking worth it?" bucket

I read that as seeking approval. Is it not?

What does "social cost getting higher" mean to someone not seeking approval?

He even invented a term for it. "social cost[1]" goes higher when someone judges you negatively and goes lower when someone commends your actions, like a carefully managed bank account.

1.https://en.wikipedia.org/wiki/Social_cost
XSS for Linux Sysadmins: Terminal Escape Sequences
If you understand DFT, it should be very easy to understand FFT. It's the same thing but with an infinite-dimensional vector space. The fact that it's a vector space is the important thing. The infinite dimensionality is relatively a minor detail.
I can't count the number of times a fire has started in my university woodshop because of smoldering debris and general lack of safety knowledge with laser cutters. I would assume this is something to be aware of with the Glowforge but I don't see any safety information on your webpage. Is this something to still worry about with 40W and 45W lasers?
It's not limited to Chinese App Stores. It was likely limited to apps from Chinese developers. Nothing inherently limited it that way, but the way it was spread (through Chinese downloads of Xcode) means others were unlikely to ever be exposed. For affected developers, all apps they built before they ditched their bad copy of Xcode would be infected, on all app stores where the app is available.

However, the impact of the infection is pretty limited. It can throw up alerts, open URLs, and do a couple of other things, but nothing particularly bad. Part of this is because of iOS's strong sandboxing. There's only so much malware can do from within a third-party app. Part of this is because this particular bit of malware just doesn't have a lot of functionality in it.

The good news is that the infection isn't persistent. If there's an update to your app that's been built with a good copy of Xcode, you can install that update and you're fine. You don't even need to uninstall first. If there isn't then you definitely shouldn't use that app until an update is available. If you're paranoid you might uninstall it while you wait, but it probably can't do anything in the background.
You jest, but when I moved three years ago, I watched about three seasons of Burn Notice lying in bed, holding my phone in an awkward position overhead about 8 inches from my face. It was less bad than it sounds, but this product would basically mean that I could do that much more comfortably, without bleeding light over and waking up my wife (or vice-versa).
There are some issues which are really simple. Feeding people lies and bullshit to earn money is rather a clear-cut issue. So is encouraging dysrationalia. And yes, as a member of society it is my right to voice my opinion about whether something is endangering it.

It's not just about me not wanting to read the bad stuff. If I dislike a page, I just don't visit it, I usually don't complain. But when talking about mass media, every lie they write gets read by the general population. People still (for some reason, probably because there's no other established alternative) trust them, and most don't have time to evaluate the claims critically. They form beliefs based on lies, and then they act based on those beliefs. In democracies, they go and vote based on those beliefs.

So suddenly, that pile of bullshit I carefully avoid to read gets amplified and hits me anyway, in form of bad policy, bad social projects and, well, bad zeitgeist.