skysight-inc/HackerNews huggingface dataset:
If you are interviewed at a police station, how is that not invading a persons time/space/property/anything if the intent is to steal some dna left on the chair? It sounds to me as using subterfuge in order to take someones DNA, and subterfuge should not allow the police to circumvent the law. That way makes the law meaningless, and that surely can't be the intent of the court.

Either give them direct permission to take DNA without cause, or make it illegal regardless of what loop whole they can think up.
FWIW, OS X has a menu bar on every screen since 10.9, and you can indeed jump/select words, just substitute Option in place of Control (always been that way AFAIK).

What's "the standard" keyboard layout? Looking forward to that one. :)
This story is a year old.
Sure, but it's 2core HT
Side Project Optimization Tips from Kent Chow
The compilers for .net were always free and were in every installation of the framework since the first version on 2003. And there were open source IDEs for .NET since the beginning.
CloudApp is Down
Their website, and all services are currently down for users who share all their files via CloudApp.
My 13.3" notebook (or my 15" notebook) happily drives two 27" displays. Plus the internal panel. Why would I have another machine?

"Real work." Come on.
Who wants to use this most?

Porn companies. Their chargeback rates are obscenely high. And Bitcoins can't be "clawed back," as grubles put it.

ed: "wants to" instead of "will"
Open source wealth management softwares
I have been wanting to understand the financial world a bit more. Specifically, I want work on portfolio managament or wealth analysis/management softwares so that I get to know the terms more deeply. Any recommendations for such softwares, in open source world will be appreciated.
Marking it up from what? There isn't really a canonical exchange rate.
"Can you offer an example of specific situation, in any OO-language with reasonable amount of available libraries, where deep knowledge of design and analysis of algorithms is actually required?"

You won't get very many good replies because you are asking the wrong questions. The truth is you don't even need a decent understanding of OO for most day to day dev. You will just produce suboptimal work.

A better question is: "...where reasonable knowledge of design and analysis of algorithms allows you to do a better job?"

And the answer to this more reasonable question is: Every single project I've worked on as an enterprise developer over the last 10+ years. Being able to say "hey actually this problem we are working on can be formulated as a graph problem" can turn a 3 month problem into a 3 day problem.

For example we recently had a rules engine rule dependency issue that turned out to be expressable as graph problem and was then easily solved. If nobody in the team had a good knowledge of algorithms we still could have solved the issue but it just would have taken a lot longer.

And unfortunately until you can phrase the problem in the right way you can't just google "find best algorithm for XYZ".
Another effort along the same lines:

https://github.com/rongarret/ergolib
After a quick read, I'm impressed. Looks like general improvement over c++.
Charlie Hebdo Attack Web Archive
Interesting that Stripe invested in Stellar (https://stripe.com/blog/stellar) which I couldn't help think of as a 'Bitcoin competitor'.

It makes sense that they still increase support for the more established/famous cryptocurrency that is Bitcoin but I thought they would still be interested in somehow relating this to Stellar.
Somebody told me that post-Snowden, the NSA started processing some high-value internal paperwork with fancy typewriters to prevent signals intelligence attacks. Apparently the typewriters have little signatures embedded in each letter that are unique per typewriter operator.
This might not be the right place but I'd like to mention that for me, Line works less reliably than Whatsapp on Android. Line fails to deliver any messages unless I explicitly open the app. Plus as an aside, do we have any information on how secure Line is?
Have you heard of sharejs http://sharejs.org/? It's made by an ex-Google-wave engineer and uses operational transforms for eventual consistency. It seems like you guys are solving similar problems.

I mention this because Dropbox has their own "Dropbox for Databases" called Datastore: https://www.dropbox.com/developers/datastore
which is based on Operational Transforms: https://blogs.dropbox.com/developers/2013/07/how-the-datasto...
Note that Mollison was inspired by Fukuoka.
Plus the macbooks get stupidly hot. Closest I've felt was some junk HP. The keyboard is a joke. The clickpad is annoying. It's obviously all form over function.

The screen's fantastic, and I guess some people like the shiny metal look. It's got decent hardware, and lots of video out ports. Except, no TPM or other secure storage. And they don't see to take the "let's expose PCIe on outside ports" problem seriously.

Unfortunately, Lenovo is running after them blindly, destroying the work IBM has done on the ThinkPad. I suppose there just aren't enough users with $$$$ to spend to counter the trendy shoppers.
I understand that there are benefits to anonymity, but I don't think anonymous transactions are really a priority at this time, except for people doing illegal business. I certainly don't want politicians to be able to receive anonymous funding.

It's different with something like speech, where we have a rational principle that says "people can speak as a general proxy for hypothetical positions." But you can't make hypothetical purchases, and you can't represent a general population with anonymous purchases. So anonymous purchases don't have a social basis for the same protections.
Shrug. Social networks come and go, rise and fall depending upon where the single 20-year-old girls hang. Then those girls age, get married, and have children, and another service takes its place.

How many "culture changing" social networks have we had since computers got networked? I have to use more fingers than on both hands.
B-trees are “optimal” in the sense that they’re O(log N) for all the usual operations (insertion/deletion, appenditem, getitem, setitem, and even concatenation with some work) but simple exponentially-growing arrays are O(1) for getitem, setitem, and appenditem, which is asymptotically faster. Also, their constant factors are better, and their memory footprint is smaller.

hyc_symas’s comment seems a little confused because they are talking about doing binary search within B-tree pages. But if you’re using B-trees to implement dynamic non-sparse arrays, which seems to be the topic, you don’t need any binary searches. You can just subtract the beginning-of-page index from the index you’re indexing to in order to get the offset within the page.

That kind of comment, managing to be simultaneously ignorant and arrogantly dismissive, is why I don’t comment much on HN these days.
No papers yet, but I've been working on building up connection with academics and hiring them. So hopefully expect to see something published, but the process takes a while.

Meanwhile I'm actively working on building towards a simulation system and an actual high-scale deployable battle testing environment. Think of these as taking the theory from scholastic research, and actually implementing them in practical settings that anybody can run.

I'd also like to get a TLA+ specification going. If you have any experience in this stuff, please please please contact me mark@gunDB.io because this is important to me.
Well the Apple touchpad really is that good, it's another one of those things that kept me from ever considering non-Apple laptops. Maybe one could use a magic trackpad paired to their Dell..
Sorry, I was not attempting to intimidate. Anybody has the right to say they think you are trolling them and you have a right to refute them and try and show good intention.

Besides, someone who only trolls when it comes to politics would have the same points pattern and there is a very common sense of humour that is someone adopting a far more extreme version of whatever political persuasion they may chose to hold when thinking that they are mostly in the company of overly sensitive folk of an opposing political philosophy.

Personally I think that you are being sincere, but I can also see why people might think you are acting a part.
Perhaps I scanned too quickly. I probably missed since there is no actual mention of ABI (or e.g. which calling conventions it supports on what platforms). The page is confusing - it seems to discuss ABI and syntax and stuff, which isn't exactly related to "compatability" afaict.

I digress... just the usual problems with wiki-type sites.
The dangerous allure of the “Billion Dollar Startup Club”
What happens if it does not get confirmed. Do you debit the account by an equivalent amount or eat it?
I could probably get by with 64GB if it wasn't for games. Oh, and my FLAC music archive would have to go on a separate disk as well
I was excited until I read 8GB max... that can't be right can it? What modern developer machine would have an 8GB cap?
Mass adoption of bitcoin would certainly lower volatility, however bitcoin won't be massively accepted until volatility gets lower. It's a catch 22 game. So you are right, bitcoin doesn't seem such a good option for now, I was thinking a little bit down the road.
The problem with Bitcoin though is it isn't a currency. If it was a currency, if $1 USD was paid for a Bitcoin, that USD would be destroyed, not pocketed. The only people promoting Bitcoin are those who have something massive to gain, e.g. they own a lot of Bitcoin or they have vested interest in the ecosystem. Stripe facilitating this would allow them to start gathering Bitcoin, at a rate of .5% per transaction, and if perhaps will have the impact of increasing Bitcoin's value - further increasing the value of Bitcoin they own.
Nearly every laptop is preloaded with crapware. Lenovo might have (briefly even) picked one of worst examples of it but I'm sure there are (or will be) examples of this from other manufacturers that has yet to be discovered.

It might now be the case going forward that Lenovo will be a better choice. They've been burned.
I hope one of your side projects you finish is to clone yourself many times, because you've got a rare talent, finishing things you started!
Security is hard; let's sell stickers.
From 3% to 38%, America Has Seen a Staggering Growth in Passport Holders
So, I upgraded to 8.1.3 and now Safari will reload the page a couple of times, then crash. There's no kernel panic or whatever now, though, only Safari crashes.

Edit: never mind that, I cleared my Safari data, reloaded the page, and it once more made my entire phone reboot.
I would also recommend Microsoft Onedrive/office 365 to anyone looking for really cheap only storage. For roughly $6 a month you can get 5 accounts with 10TB each.

A one year Office 365/Onedrive Home Premium pack with 5 licences costs $70 on amazon. By default Onedrive accounts only have 1TB right now, but microsoft announced a few months ago that they are changing that to unlimited and are rolling that out right now. You can request an account to be upgraded to 10TB right now[1]. The upgrade only took 1 day for me.

So that makes it $6 for 5x10TB total, or $0.12/TB/month.

And you also get all the actual Office products.
I recently started using that as an extra backup location since I've had to many issues with crashplan to trust them and dropbox or google drive's storage plans don't work out very well if you just need a little more than 1TB.

[1] http://preview.onedrive.com
Gain Insights into JVMs with Sysdig Cloud’s JMX Metrics
The Poor Man's Gameplay Analytics
While I am all for giving Lenovo hell, I'd highly recommend that people avoid voluntary interaction with US "law enforcement". They aren't really on your side, and this has been demonstrated more than once.
Apple sued for poaching engineers with deep expertise in electric car systems
If Chrome implemented better cert checks, Lenovo (or anyone else) could just install their own version of ''Chromium, enhanced by Superfish'' for users and push them there instead. Who do we turn to then, Microsoft? (No thanks.) The party at fault here is Lenovo; I would be cautious to blame the tools they used. Also keep in mind there are many white hat uses for MITM SSL packet manipulation. If you lock down all the tools, pretty soon you end up with a walled garden controlled by very few parties (who then pull crap like this in the end anyway, with slightly better spin/PR).
This Week in Meteor – Weekly Newsletter
I'm aware that Microsoft is legally limited from restricting what vendors can pre-load into Windows but they really should provide a technical solution. For example an operating system option to revert to absolute stock. This would necessarily be different from reinstalling from recovery (which also reinstalls the crapware).
Thanks!

I see you use __builtin_types_compatible_p, which looks very useful but also appears to be a GCC-specific.
The MBP is not all that "pro" any more. Soldered components, the bare minimum of USB ports, no RJ-45 ethernet jack. I'd be more than willing to add thickness & weight to one in return for those features, and better thermal management.
Google fights rule that would let the US hack devices worldwide
No, you're not the center of the universe [video]
Well done. Simple and to the point.
Telegram with connection issues in Europe
I don't remember the reporting on the Belgacom hack mentioning that they were casually querying X-KEYSCORE as they reportedly did here to identify potential targets.
Reminds me of "The Plan": http://mygeologypage.ucdavis.edu/waterstraat/how_the_plan_be... and many other places around the net.
> I can't believe Dell's calling this an "Ultrabook" and reviewers are calling it a "premium notebook" if the RAM maxes out at 8GB.

The Ars review included a similar remark:

> The year is 2015. 8GB of RAM should be the baseline, with 16GB as an option. 4GB is barely enough to run Chrome.

but noted that the CPU supports 16GB, so unless the RAM is soldered you can reach 16GB aftermarket.
Ok imagine next time you buy flights or concert tickets, instead of invariably paying some $6 credit card surcharge per booking, you are offered the option of booking with bitcoin for a $2 or even no surcharge. I will definately at that stage start looking at paying with bitcoin.

Then as a significant proportion of the population (say 20%) starts paying with bitcoin, other online shops like amazon will start seeing that they are saving a LOT by not paying 2% interchange fees to cover bullshit credit card reward programs and fees. And then the number of stores charging an additional credit card levy will increase as shops are not automatically building the credit card fee into the price, and then the number of people being pushed into bitcoin will increase.

The only thing that can stop this is credit card companies effectively lobbying that shops cannot charge more for credit card payments. this has happened historically in some juristictions, but is really pretty hard to justify for any sane reason so will be unlikely to stick.

This will either really marginalise credit card companies significantly, or really force them to put the screws on their interchange fees (and greatly reduce their rewards programs).
Bitcoin might not be the current answer for Argentinians, but I believe that it has the potential to be. Just take a look at this chart: http://www.xe.com/currencycharts/?from=USD&to=ARS&view=10Y

If I were to work in Argentina I would rather get paid in BTC than ARS, due to liquidity constrains. I would probably convert most of the money to USD, EUR o CHF, but I would keep some bitcoin if I had where to spend them.
Lenovo laptops have had a bios setting since 2010 that lets you swap the fn & ctrl keys. That doesn't swap the keycaps though.

Some history of the placement and many comments http://blog.lenovo.com/en/blog/fn-versus-ctrl-let-the-games-...

A series of posts where they asked for feedback, then acted on it.

Thinking about changing the key configuration http://blog.lenovo.com/en/blog/switch-mode-for-fn-ctrl-keys

They decided to make it bios switchable showing screenshot http://blog.lenovo.com/en/blog/switch-mode-for-fn-ctrl-keys-...

Announcement of implementing it across many models http://blog.lenovo.com/en/blog/switch-mode-for-fn-ctrl-keys-...
> The typical HN reader, by contrast, finds many things and almost everything and anything (that PG might say) interesting.

FYP.

Seriously though, I expect you're true that most Nobel winners are highly focused. But I expect so are many (not most) regular readers of HN.

There are probably on the order of a thousand living Nobel Prize winners in the world, or one in seven million or so. In developed countries, where most of HN's readership would come from, the concentration should be higher. My understanding is that HN's regular usership is in the 6 figures, so most likely no Nobel Prize winners there. Not sure how many users have ever registered to HN though. Perhaps there is an HN account belonging to a Prize winner...
It's worth noting though that this article used the MS/Sysinternals version of strings and not the binutils version in most Linux distros. The Sysinternals version is unlikely to be parsing ELF and the like.

(One quick test: try "strings -n 2 cmd.exe" and see if the output starts with MZ.)
What is this supposed to be? Is the black screen on Firefox for Android intentional?
Ars found their data to be roughly in line with Dell's claim as well, though they only tested the high-res notebook and didn't check the FHD one:

> Dell claims that the battery life of the XPS 13 is an impressive 15 hours for the 1920×1080 model and 11 hours for the 3200×1800 version. Our own battery testing is a little more punishing than Dell's, but the company's numbers seem to be in the right ballpark. In our test of light Web browsing, the XPS 13 came in just shy of nine hours

Usage pattern is definitely a huge factor though:

> in a more intensive WebGL test, it hit five hours on the dot.

and so is software running (using Chrome is a terrible idea if you want battery life, for instance)
Same as a Macbook Air.
Sure, there's a market, but the question is whether there's a large enough market to justify building it.

Either way, I'd say the high end computing market (which I'd say needing 16GB of RAM falls into, personally) is currently different from the ultra-light, ultra-portable market.

I mean, if you need 16GB, you probably need more than a low power dual core CPU anyway, and that's not realistically going to fit into the form factor of this machine today.
12" ThinkPads like the X201 are not soldered on. Dunno about later models since the X201 was already part way down the lack of good engineering.
Demand for Digital Marketing Skills at All-Time High
Software procurement also tends to get hung up on EULAs because someone decided they want a fancy indemnification section that that lawyers at EnterpriseCorp don't want to agree to.
For those interested in following along on the process: https://major.io/2015/02/03/linux-support-dell-xps-13-9343-2...

With an updated BIOS and a bunch of patches, it looks like it's getting close...
> otherwise they would be completely ineffective against ads or malware served via SSL.

That's certainly false. HTTPS does not encode the routing headers, so it's still possible to block all traffic foreign to the host (or coming from a list of suspected malaware/add domains) without decoding the packets.
This project seems pretty much dead.
Show HN: Quiet Easily set profiles to your wi-fi networks
I'm giving this a try, and I'm having trouble following step 4. Once I add the Group Policy Object Editor to the right side of the GUI, I can click on it and get a pop-up, but I can't seem to find the expansion option.
Last meaningful commit on Induction was 2 years ago. It's probably a dead project.
The price of "don't ascribe to malice" is that it's trivial to exploit. The most incompetent PR department in the world can have a strict adherent on a leash and barking to their tune inside of 5 minutes.

Courts of law have a good reason to hold high standards of evidence. For everyone else it's just an excuse for laziness. Not that I'm any better, I just don't insist on rationalizing it :-)
I'm a mathematician. I can't understand your post at all.

> The double-negation holds in propositional logic

Double-negation isn't a proposition, so don't know what this means. Double-negation elimination, that is, the proposition: for all A, ~ (~ A) -> A does not hold in constructive logic.

However, double-negation introduction, that is, the proposition: for all A, A -> ~(~ A) does definitely hold in constructive logic. Here is a proof in Coq:

Theorem A_implies_not_not_A : forall A : Prop, A -> ~ (~ A).
unfold not.
intros.
apply (H0 H).
Qed.
Looping is still under discussion, check Dan Lentz's comments on the issue: https://github.com/cl21/cl21/issues/18
The 8gb model is 2x4gb, maybe the developer edition will see 2x8gb?
Variations in event-driven architecture
It's a bit of a bummer. But I can live with it.

For me it's all compared to other ultrabooks, like the MacBookAir which also does 8G max.

I hope I'll never need to carry a classic-full-size laptop anymore, ever.
How to bag a geek
Time to break out Betteridge's law again?
Hortensius says Lenovo failed in due diligence. How, exactly? The two reasons people are upset about Superfish are that it breaks web security and injects ads into pages. Hortensius doesn't believe the former, and the latter is the entire purpose of the software. The only failure he could mean, taking him at his word, is in not anticipating the backlash, because as he describes it Superfish works as intended.
ThinkPad X201 to the X230 had two memory slots, so there's nothing stopping a 2x8 layout. But for single slot machines, the real issue is Intel deliberately not supporting 16GB SODIMMs.
Hey, I took a look at your profile, and saw your resume. Coincidentally enough, I'm actually a fellow UIUC grad, although not in CS or engineering. I've applied to a lot of different jobs and internships in the past few years as I went through grad school, and I definitely notice a few things about your resume that could use some fixing up. If you want to chat about that my email is my name at gmail.

One major trick to applying is to not preclude yourself from jobs, but let HR do that. Apply to anything that interests you, even if you don't exactly meet the criteria.

EDIT: I was a bit casual, but it's bothering me, so I'll be serious. I guarantee your resume is hurting you, and I'm willing to help.
I want to chime in to offer the counter. I used to work for Gemalto. I'm not exactly sure which keys you are talking about, but when I was there Gemalto's standard practice for the transfer of the keys mentioned in the article--individual SIM embedded keys--was to use AllynisConnect (which I only mention because it's easily found on Google) to facilitate the transfer of individual SIM keys to the customer. Obviously I'm not going to comment on the details of the cryptography involved, but it was much more considered than "simple encryption methods or no encryption at all."

Notably this mechanism would not protect the keys against an attacker who was inside Gemalto's or the customer's secure network, as seems to be the case here.

I'd be interested in knowing which keys specifically you are talking about.
source: https://twitter.com/davidnwelton/status/568533225103953920 (https://news.ycombinator.com/user?id=davidw)
I actually didn't tell enough. I have had 2 Asus, 1 Dell, 3 Lenovo, 1 HP, 1 Chromebook, 1 MBPr 2013 late. In the span of 5 years 2008-2013. I only stick need my Apple now.

I purchased and sold 4 of those the Asuses, Dell, and HP.
The Lenovos were purchased by my Prof. I complained and she gave them to the incoming students and I got a new one.
Yes, I mean't "... doesN'T hold constructively". Thanks for catching that! Too late to edit the post.