skysight-inc/HackerNews huggingface dataset:
Installed emacs with nix last weekend to use with spacemacs. Three errors at startup that didn't make sense but I had a feeling that nix was the problem so rolled back and reinstalled with brew. Worked perfectly. Nix has some great ideas but when the install of emacs took 10 times as long as homebrew, then didn't work correctly it didn't leave me wanting to use it for anything work related like my docker images.

Hopefully with time, their planned cli improvements and binary caching it will be a contender but that feels a ways off at this point.
They should trigger an alert if it's possible within the software. I have something called "Apple Software Update" on my PC, it could be used to display an alert or even ask the user to remove Quicktime automatically...
> Bill Nye explained that the sound waves probably were refracted by passing through water masses of varying densities, and refraction causes frequencies to change. When you have to start changing the laws of physics to justify your interpretation of the data, it might be time to start looking for a new interpretation.

What does he mean here? This seems like correct science to me. Obviously I have no idea if it did or didn't happen, but this seems fine with the laws of physics.
I spent about 3 minutes trying to figure out what RoboVM and BugVM are. The RoboVM website has removed all explanations of the product and just says it's winding down, their Github page links to their website, BugVM links to RoboVM and has no information on their website, BugVM's Github links to their website.

Do they not WANT anyone to know what these things are?
I mean, doesn't that count as 'having something to hide'? I think we're in agreement though. As has been rehashed on HN many times, it's a bogus argument.
All of it. That's why I run an X99 system with 32GB of 3200MHz RAM at home, and a i7-6700 w/ 16GB 2866MHz RAM in my laptop.

Computational power is so insanely cheap these days it doesn't make any sense to not throw the as much power at your programming environment as you can, IMO.
Hackathon – Get a free e-commerce website for free
Define the problem first, then we can talk about a solution.

The problem (as I see it) is artificial scarcity of housing which creates artificially inflated and unaffordable housing costs. Depending on what sources you look at, there are around 4-6 empty houses in the US for every homeless person.

The solution to that would be to cease the state-sponsoring of fraudulent and dishonest sub-prime mortgage shell games like the one which climaxed in 2008 and let simply the market normalize.
This is an article about how people are using url shorteners for the wrong reasons and/or not using security on private data.
There are lots of alternative engines for the games as well. I have to re-research them every time I get an urge to play, so I, too, would be interested in anyone with an opinion one way or another to chime in with their preferred approach.
Lytro’s new Cinema camera will allow 3D movies to be shot using light fields
Typical conspiracy theory silliness. They point out how unlikely it is that X happened then replace the events leading up to X with something even more unlikely. Bleh...
Maybe chemtrails repel barnacles?
Doomsday/jDoom was what I used the last time I tried to play it about five years ago. It modernizes the engine a bit so you can have modern niceties such as WASD movement and mouselook.

It even had an option to replace the sprites with 3D models, but I found I much preferred the sprites.
Show HN: Metachat, a news feed for unread Slack messages
thanks. if everything goes well, it will be ready for testing within one-two week time.
> If your security depends on someone not guessing a URL, shortened or not, you're doing something wrong.

Why? Done properly, a secure URL should be as long and contain as much entropy as a strong password.

Are all systems which depend on someone not guessing your strong password wrong? Are practically all encryption schemes wrong?
Sounds like any company that buys another company for X and doesn't need/want Y or Z.

Downsizing isn't a "Microsoft in the 90s" thing.
Control Structures in Swift
Hah. Why think when you can spend money?

Firstly, this doesn't help if you're CPU-bound or write-bandwidth-bound, both of which are quite common.

Secondly, you may not be able to simply get a bigger box. Most motherboards have effective RAM limits. Bigger iron gets exponentially more expensive. Jeff Atwood on this: http://blog.codinghorror.com/scaling-up-vs-scaling-out-hidde...

(I remember about a decade ago when our chip design startup bought a 128GB RAM box because that was the largest available at sane pricing ...)
All other considerations aside, isn't this going to create some form of inflation? At least in the beginning (first couple years), I would think that a greater monetary mass (everyone has more money) would see an increased price tag on goods? I am no economist, just wondering what others take is on this?
Co-founder of MetaChat here. We’re NLP nerds who have been playing with the Slack API for a while. Lots of people complain about notification overload (e.g. Wednesday's article in The Verge[0]), so we’ve been trying to tackle that with search and summarization.

Feedback welcome! For instance I think the search works quite well for my Slack teams, but maybe you use unusual words that trip up our code and make the results less useful.

[0] http://www.theverge.com/2016/4/13/11417726/slack-app-walt-mo...
That's probably quite technically correct, although I think the wording "hide" implies you've done something wrong.

"If you've got nothing to protect..." definitely has a different feeling to it.
> and this creates mental strain for everybody who has to read it.

Really? I find it just the opposite. List comprehensions are broadly welcomed instead of one- or two-line for loops, lambdas are quite useful in the right context (such as sorting, list comprehensions, etc), and functions are a first class citizen, and easily used (and recognized) as such.

It just lets me use the right tool for the job, without having to switch languages. And since the functional bits have been baked in for so long, it's easy to do.

And let's be fair, you can't say that there's cognitive overhead to functional programming in Python while claiming Ruby does not. Both languages have nearly identical capabilities in this regard (though, I do miss Ruby's multi-expresssion lambdas when in Python).
Ctrl arrow in Windows jumps by word. In os x, it's option arrow. I believe it's widespread but not global.
I used to work at a place where the front-end guys had a big push to get the page load times down below a minute. People paid tens of thousands of dollars for a subscription to it. The alternative was that you pay another company a couple million and wait 6 months for a binder to arrive in the mail, so the customers were content with the page load times.

The backend team was more worried about keeping daily processing and offline reports below 24 hours. The offline reports were essentially SQL queries.
Show HN: Now we play the waiting game (with sbt)
The Inaccessible Island
I'm wondering what would be the advantage of using Nix versus building on Alpine Linux with good understanding how Docker layers work. My main reason to be skeptical about Nix is the need to learn a new single-purpose language as opposed to just using Shell like you do in Dockerfiles.
I mean, it's not too late. Start looking for a job you do care about or that doesn't kill you. Your coworkers will get over it. Start participating in some social activities. No reason to just give up.
Not sure why you're being downvoted. Tabs instead of spaces is the Linux kernel style.
Nope, all circles have a perimeter of 19.7392088022.
I use a ThinkPad x1 2nd generation and from the my experience this is a great linux machine.
Everything works, including the fingerprint reader and suspension.

It's a 14 inches laptop, which makes it bit enough for programming and small enough to be carried around everywhere.
In this respect, the fact that it only weights 1.3kg also helps a lot!

The HiDPI screen makes it quite pleasant to stare at the screen for hours at hand.
Given the high resolution, I have no trouble opening up 3 80char vim panes side by side, even though at home I connect it to an external monitor.

Xrandr lists eDP1 (internal monitor), DP1, DP2, HDMI1, HDMI2 as outputs, this makes me think that a DP split is supported, even though I haven't checked yet.

The keyboard is nice like all the thinkpads but be aware that the layout is different from the standard.
In particular, caps lock has been replaced by home and end keys. After some getting used to, I must say I rather enjoy this change and I use the the two keys often!
The laptop also has an "adaptive keyboard": a row of keys that change its function according to the context (on win).
I only got to working the F{1..12}, volume -+, mute, light -+, keyboard light toggle, and two extra programmable keys.

The battery situation is also good:
One charge lasts about 5.5h, and with the rapid charge feature, you can bring the battery to 80% in just 1h.
The rapid charge turned out to be very useful as I can charge the laptop between lessons at the uni for about 20' and keep going for 2h afterwards.

Connectionwise, the lack of ethernet (it does have a network card and port but you have to use a proprietary adapter) and SD is noticeable at times.
The other ports, namely: HDMI, DP, 2xUSB3, mic/headphones work as expected.
I have not tried a docking adapter yet.

So, to summarize the Best Features:

* 2K screen (Amazing!)
* good keyboard with sensible improvements over the standard layout
* fast recharge
* good battery life

Possible improvements:

* RAM is soldered and max 8GB
* no SD or microSD port
* m2 SSDs are still expensive
Most of the discussion of UBI that I've seen posits it as something to replace the social safety net. The social safety net is obviously not paid for by the people it helps (except in some small way, perhaps), so why would UBI be? True, part of the social safety net is inevitably returned to the richer portions of the population through their own share, but inevitably the net flow is towards the poorer population.
Not a lifetime (they may say for life, but most are actually restricted to 20-30 years), but in the US some state lotteries do this. $500-$5k a week or a month for a few decades.
In years past, there was a surge in the market due to the IPOs of companies like Twitter and Facebook. This could indeed just be a return to the mean.
Ask HN: Why aren't the price of online services based on user location?
I am a software developer in Turkey. Salaries in Turkey are lower than USA but we have to pay the same as US citizen for online services or international books. For example, in Turkey standards, $40 for a book or $500 for an coursera specializations is so expensive.

What do you think about this situation?
It shouldn't be easy to misuse a shortener that is built into a service like OneDrive.
Yes, but I don't think it's the most valuable thing that someone in his position could do with his spare time to work on side projects.
Cost-Efficient Partitioning of Spatial Data on Cloud (2015) [pdf]
New York has a $1k/week for life lottery.
What you're suggesting already exists.

While lotteries in the US often advertise the lump sum winnings, many are actually paid out in installments over a few decades.

What happens is that winners demand the full lump sum. For the lotteries that offer it, the lump sum is less than the total winnings paid out over the years. (Something like 10% less.)

This has created a niche for businesses to crop up where the company will give you the lump sum total due, with a nice chunk extracted for themselves.
Can't upvote this enough. You cannot reliably improve what you cannot reliably measure, and Amdahl's Law will tell you where to work.

I wish you every success in this business - if it takes off, I might try it myself. I found `oprofile` to be my preferred Linux profiler, and haven't worked out what the corresponding Windows solution is yet.
Welcome to pure data-driven product development. Data shows that more people use our feature if we make it hard for them not to use our feature.
URLs leak in a bunch of ways. Cached in browsers and proxies, sent in referers, sent in toolbar requests, logged in access.log files.

I'm not saying that it's necessarily wrong to use a long URL as security; sometimes the problem constraint means that is the only way to do it. I've done it on rare occasion. But I also made sure that management knew there was a risk here.
It would do exactly that. Scarcity is relative, so giving everyone in the world a basic income will simply raise the prices of basic goods such that many again would be unable to afford them even on a basic income. The best way to end hunger is to grow more food, not to give everyone more money.
I tried an honest conversation but he is back to his old habits. I like to see him happy and I like him to feel unrestricted but he watches these teenagers everyday and some of them speak pretty bad and do bad stuff. All I want to keep him away from this.
Because access to that resource can be replicated by simply viewing network traffic logs. Sending authorization info in the headers over SSL would be much more safe.
Then I guess you didn't click on the documentation link at the top of the roboVM page.

Why RoboVM?
We love mobile. We love the Java ecosystem. If you feel like we do, you will love RoboVM:

Create truly native mobile apps for iOS and Android.
Use libraries, tools and languages from the vast Java ecosystem.
Share code between platforms.

It seems to be an alternative to xamarin focused on Java or at least the JVM.
Absolutely. That's a much fairer phrasing of the 'nothing to hide' argument.

Next time someone presents the 'if you have nothing to hide argument', tell them to send you a video of each of their family members on the toilet.
TIS-100 doesn't require any reverse engineering whatsoever: The game comes with a very retro looking manual that documents the system pretty well. What makes this fun, and not work, is that it's a pretty unique system: inter processor communication between very primitive processors.

In comparison, The Human Resource Machine has far better production values, but it's really an assembly class in disguise. The end level is to write a sort, so I see it a lot more as an educational tool for kids than a game that could be fun for programmers.
For locally produced goods that will partially offset the gains. Ultimately, though, the money entering the economy comes from elsewhere and should cause good and services from that elsewhere to flow to the place receiving the donations.
Macro trends in the tech industry
He's saying it shouldn't be the only layer of security.
The Process of Discovering What We Want
When you use AWS you pay extra for the fancy steak. But you pay steak prices even if what you buy from them is a cheap burger.

It's really hard to find scenarios where AWS isn't ridiculously overpriced.

Consider that Digital Ocean is also an expensive alternative, but I deploy caching proxies for some clients who for various reasons insist on using AWS on DO because you can save lots by deploying droplets on DO to cache rather than pay AWS bandwidth costs for all your traffic, for example (you serve more than 1-2TB a month out of AWS you can start saving money that way).
Mobile Security for Xamarin Apps from the London Xamarin Meetup [Slideshare]
Laptops are a fantastic way for more introverted people to meet each other. Why do you think it's all the rage to paper your Macbook like a NASCAR driver's jacket? Sure, part of it is just the pure hustle of startups, and the low cost of logo stickers as marketing.

To a potential startup founders a few years out of college, the coffee shop full of laptops is going to feel just like the library during study week. (Maybe someone a lot younger than I am would say the college libraries just feel like coffee shops these days. Get off my lawn.)

Have you ever sipped a latte with your headphones on and caught someone's eye as they concentrated as intensely as you're trying to? Then did you notice the GitHub sticker and smile to yourself? Then did you notice the <STARTUP NAME HERE> sticker and know you would really have something to say to them? (Assuming you work up the courage, dang, they're gorgeous.)

If you don't want to spend time alone with strangers in quiet reflection, get your frappucino to go, and find a different social club, eh?
So? It's not like this is a complex problem nobody knows how to solve.
It'll be interesting to see if the crowd on HN has noticed any other trends missed by the author
To drill into a point of my quoted assertion: "You don't go to war without support from your trading partners." A world war is an exceptional case. I meant to point at national conflicts, specifically between equals. I think having to defend your ally is a separate problem.
"I would like to build a space programme in my back garden, but I'm wondering about its feasibility and I don't have a background in rocketry"

Yes, no and no.
Killing a well functioning piece of technology instead of open sourcing it is not just downsizing. MS is applying their "Embrace, extend, and exterminate" strategy to cross platform mobile development.
Finland is experimenting with this as well (Switzerland might too): https://www.weforum.org/agenda/2015/12/finland-basic-income/
I was one of those who wanted to build their own Jarvis. If you want it to do certain -pre-defined- tasks like opening Facebook or a website etc., it is not that hard. However, if you want to create something like Siri, you need to use almost everything humanity has in terms of AI/ML until today.
someone using apples really should complain about prices though. its their choice to pay thrice of the market price.
It's true. At its most simple, the Price level can be though of as (Quantity of Money) / (Quantity of Goods), and all goods' prices more or less rise and fall with the Price level. Don't forget, though, that some of the goods purchased by people with newfound spending power might be imported (thus increasing the denominator in that equation and lowering the price level), some of the money might be saved or invested abroad (lowering the numerator in that equation), or it might have some stimulative effect on the economy (one can only hope!), thus raising the denominator.

The net effect will probably still be inflation, especially in the short term, but with the poorer population having a greater share of the purchasing power.
Why am I hand-writing code to supplement the parser? I mean, hell, we don't need JSON at all, why don't I just invent my own serialization format and write parsers for it in each environment I want to use it in.
The story is that products as huge as OneDrive and Google Maps use it in terrible ways.
As someone who (poorly) programmed their c64 in the 80s, I do not miss those days at all.
The social safety net is eventually paid for by the people it helps through inflation of the prices of basic goods and services.
> A coffee shop provides with just enough distraction and people watching when you need to take a break, but not enough that you completely lose concentration and focus.

This right here is why I get so much done in coffee shops. It's almost like white noise that keeps you focused without day dreaming.

When I lived in Denver I was 100% remote worker and would work every afternoon in one of three coffee shops. One shop was a chain, but they were very friendly and eventually I knew all the people who worked there. The other 2 were local.

One of them was owned and run by this guy who literally loved coffee. He would talk about new beans he got that 'spoke' to him. His coffee is still some of the best I ever had. He also just let me run a tab and I would pay him every month.

The final place was more of a cafe. It was large, and would sometimes have live music starting in the late afternoon. It also had a lot of people who worked from there that I got to know. I asked the owner once if hanging out there all day bothered her and she said if people bought something once every hour or two she was coming out ahead. So I made sure to do that anytime I was there.

I miss working in random places, since they really led me to focus for some reason.
On the other hand, after what happened the last time they used Java (back in the "embrace, extend, extinguish" days), I think they wouldn't touch it with a 10-foot pole.

Though I do hope that they'll make the sources available. It's not like just a code dump will suddenly transform into viable competition for Xamarin.
I'm not the designer. I'm just suggesting reasons why the designers of Android may have chosen the design they did rather than the design the issue demands is the "correct" way
That really isn't true though. You can find the data on this almost everywhere: we produce enough food to feed the entire world's population more than adequately, but it doesn't get to the people that need it because of poverty. [1]

[1] http://www.worldhunger.org/articles/Learn/world%20hunger%20f...
I'm not sure she could do anything else. However bad the limits on free speech are, applying the law selectively is probably worse.
Prediction can be extremely fast.
Netlify offers free SSL on all plans with a simple one-click setup
Germany approved criminal inquiry into comic who mocked the Turkish president
Cool. Never used D and that's the first I've heard about it but I have respect for any system that handles this problem. :)
Also notice the different attitudes of affected services:

- OneDrive "[...] reiterated that the issues we discovered do not qualify as a security vulnerability"

- Google Maps "[...] responded immediately. All newly generated goo.gl/maps URLs have 11- or 12-character tokens, and Google deployed defenses to limit the scanning of the existing URLs."

Well done, Microsoft!
Think about this; Apple and Google -biggest tech companies in the whole world- has teams of remarkable people creating Siri etc.
And it is still not enough, so they buy many startups related to those subjects aaand we have what we call Siri.
First of all, any secure resource should only be accesses over SSL so I assume that.

The path is exactly as secure as authorization headers. Network logs will not show the path of SSL requests (it's encrypted).
You might want to start with this guide: http://doomwiki.org/wiki/How_to_download_and_run_Doom

If you insist on using your CD rather than using a GOG or Steam copy, you'll want to be able to get at a "doom.wad" file. Depending on the CD you have, it'll either be available as a regular file, or compressed as an LHA archive. In the latter case, you'll find either one file such as "RESOURCE.1" which you can extract directly with lhasa, or several files like "DOOM_SE.1", "DOOM_SE.2", etc, in which you'll want to cat them all together into a new "DOOM_SE.lha" file and then extract that.
When companies figure out that hiring "one guy that can do everything by himself!" is a bad idea. So...... not likely anytime soon.
Wow, really fascinating and excellently explained! I can't help but wonder, how many of these were found solely through play and how many were found as a result of code diving? The conditions to trigger some of the, such as void skip, seem so intricate as to be unlikely to be found by chance.
> you should expect a few "surprises" if you're running consul.io on Digital Ocean, heartbeats are delayed quite often (depends on datacenters), which makes failure detection hard

isn't that true for any CP store in any "cloud" provider?