skysight-inc/HackerNews huggingface dataset:
It requires a little bit of frontend work, but I've had good luck with content websites based on public data sets.
I use an HP 8470p with 8GB of memory running Windows XP (intentional refusal to upgrade to Windows 10). I bought it refurbished off Ebay last year for slightly less than $200 including free shipping.
I'm not sure how you can bastardize a franchise in which the first game was a gothic horror shooter, the second was a linear sci-fi shooter, the third was a multiplayer-only arena, the fourth was a sequel to the second, and there was also an RTS.
The magic number for the benefits cut-off is 20 hours/week.
11" MacBook Air - i5, 8 GB, 128 GB, refurb, early 2015.

I intentionally purchased the least powerful Mac available to see if I really needed the beefed up 17" i7 I was running - turns out I didn't.

70 browser tabs, multiple JetBrains IDEs, driving a big external monitor, and barely a hiccup.
Calling a thing a "piece of shit" and leaving a critical review isn't rude behaviour. This isn't tea time at Buckingham Palace.
15" rMBP 2013 here. Glad I went for the expensive 16GB option, doing that seems to have held pace with even today's laptops.

A shame I can't easily put Linux on it though for further longevity.
I purchased a 13-inch HP laptop from Costco[1] recently for $1000. It's 7th-gen i7, 16gb ram, 256gb ssd and 3200 x 1800 touch display. Battery life could be better but it's aesthetically pleasing and performs well for mobile and web app development while also running VMs.

[1] https://www.costco.com/HP-ENVY-x360-13-y013cl-13t-Touchscree...
In theory breaking properly-configured Whonix would require a VM escape, pretty much the holy grail of exploits (a few have happened recently). The alternative is a complete break of Tor, which has proven unlikely.
You're a lucky guy, that is a fantastic machine. Overheating is what kills most thinkpads in my experience. Perhaps the thermal paste is sub par.
There are reports of dogs repeatedly licking the toxic cane toads in Australia. Some are speculating the dogs are "addicted" to the "high" from a non-fatal dose of the toxin the toads excrete in their sweat. http://www.huffingtonpost.com/2013/12/17/dogs-licking-cane-t...
Just found it irl last week in NYC, there's a place called Barcade that has it. Brought back memories.
Something about a human imagining a "better" strategy for a dolphin is very humorous to me.
Try keeping up with the journals as a chemist while on holiday behind an overeager webproxy. You are told that the subdiscipline of analytical chemistry is out of bounds.

But that's a feature. The voting public sees that you are trying hard and failing, that's somehow considered better than shaking your head at the intractable problem.
I gave anything related to what I was actually working on 5 stars.

I gave everything else 1 star.

This has always been pretty binary for me.

When I have loved working on what I was working on, nothing else could have screwed that up. I just kept plowing on, motivated almost solely by compulsion.

When I have not loved what I was working on, nothing else could have helped except working on something else that I loved working on.
I use the 12 inch MacBook and love it. It's extremely portable, which is what I value most. It's still perfectly capable of handling the web development I do, though I probably wouldn't want to be doing native mobile app development on it.
First off - I liked the game. It was fun. No arguments there.

But (and nothing against the author of the game)...

I'm going to jump on the bandwagon here of others wondering just what the person or committee who thought up the API was smoking when they came up with it?

At first, it made kinda sense. Nothing too troubling.

But the deeper it went, the less it made sense. I don't have a problem with 1 vs 0 indexing (because I started coding in old-school BASIC back in the dinosaur days of microcomputing - so that doesn't bother me much).

It's just that the rest of the API seems arbitrary, or random, or maybe ad-hoc. Like there were 10 developers working on the task of implementing this, but with no overall design document to guide them on how the thing worked.

I'm really not sure why there's two (or three? or four?) different ways to express the same idea of a "span" of row or column cells, based on left or right indexing, or a span argument, or...???

Seriously - the whole thing feels so arbitrary, so inconsistent. This API has to be among the worst we have seen in the CSS world (not sure - I am not a CSS expert by any means). I can easily see this API leading to mistakes in the future by developers and designers.

We'll also probably see a bazillion different shims, libraries, pre-compilers, template systems, whatever - all working on the same goal of trying to fix or normalize it in some manner to make it consistent. Unfortunately, all of these will be at odds with one another.

I'm sure JQuery will have something to fix it (if not already). Bootstrap too.

The dumb thing is that had this been designed in a more sane fashion, such hacks wouldn't be needed.
This is the biggest con our capitalist system pulls. People (especially kids) are not rational actors. Our current economic system just doesn't allow for mere emotional humans.
Dell XPS 9350, Dev. Edition. Love it except for the keyboard.
Bitcoin Wednesday Amsterdam Conference Live Video Stream
Ask HN: What cloud solution do you use to backup your photos and videos?
I have terabytes of Photos and Videos and would like to store all of them without sacrificing on resolution. Google provides free storage, but limits resolution to 16MP and videos to 1080p. What do you guys use?
Please share in your social networks.
I'm unsure if Macs send as much data. For a fact, Android combined with Google apps know A LOT more.

Microsoft tends to get singled out while being the better option, sometimes
ThinkPads are the only real option. I can't stand the heat and bad ergonomics of Apple's stuff (the keyboard is weird, the trackpad feels off, the metal gets way too hot). And no nipple mouse, if you're into that. And dongles/lack of ports are silly - I care more about functionality than showing off my laptop's sleekness.

T series (14") have better keyboards, but the 12" form of the X series is great. It's mostly a choice of X260 vs T460s (or the x70 models coming out this month). The X1 is interesting if you wanna look flashy, but lack of user serviceable parts isn't too attractive.

I usually run my X250 with throttling turned on, and TPFanControl to keep the temps down so the keyboard stays nice and cool.

Biggest problem: ThinkPad screens suck. The T470s will have a 3K screen so that might be better than what they've offered before. 16:9 really sucks though. If they'd just ship a 16:10 or3:2 "Retina" quality screen I'd be so very happy.

Some people just like Apple's design though. I don't get it but there's no accounting for taste. So if you can stand the keyboard and heat, go for it?

Edit: ThinkPad service is fantastic. Get the next business day business warranty. Any hint of something I just call them up and they come out and replace it all. Excellent.
Do you use the trackpoint device? Is it any good?
Dunno, Merriam-Webster list it as both,[1] though from your comment I get that it is most commonly understood as the store. Thanks for the tip though, I was only aware of the food meaning.

[1] https://www.merriam-webster.com/dictionary/delicatessen
Yep I've since had it (in Istanbul, no less) and it is very nice
Kinda like real life.
It probably is worth it. Look at VW, "surely someone would catch them" worked out for them for years, and was quite profitable for them.
Surface Book. The detachable screen sees most of its use in the bathroom.
Using S3 partial reads to reduce costs by 10x
You're right! Mine does run pretty hot and was having overheating issues last summer, but once I replaced the thermal paste on it it hasn't had an issue since. Considering that it was a 9 year old laptop then I was very pleased that was the only issue that I've had with it thusfar
MacBook Pro (Retina, 13-inch, Early 2015)

With the recent revelations of Windows telemetry[1] spyware, it's worth paying the premium for an operating system, macOS, that doesn't spy on me.

[1]: https://arstechnica.com/information-technology/2017/04/micro...
What do you do for security updates? Did you consider Win7?
This could do with a lot more information, such as what is going on, how does this work, and what problem this solves.
Release Notes for Safari Technology Preview 27
Chris Spilka, CEO at Handsontable here.

It's great to see that Nadim started to work on this spreadsheet for React. It's for sure an ambitious project and will require a lot of community support and love;) We at Handsontable benefit from the open source since 2012 and most of ~3400 closed issues to date were reported by users who actually care about our product and/or make a good use of it.

Here are some thoughts which anyone who attempt to create an online spreadsheet from scratch should take into account:

- Separate data logic from the view. Sounds like a cliché but actually it will save you plenty of time when you start adding more and more features to the pile.
- Get to know how people want to use your app. Focus on their workflow not on your (false) assumptions.
- Don't mix up features typical for grids with those present in spreadsheets. Focus on what's important, not on Excel's blows and whistles. Grouping is OK. Parent-child structure not necessarily.
- Don't underestimate the effort connected with building such component. Ask the community for help. Give them a great product in return.
- At some point your "data engine" will work just like a small, specialised database (CRUD + search/filter/sort).
- Think of how you will scale your solution both horizontally (new technologies) and vertically (new features). Our customers have completely remote requirements in terms of using Handsontable with specific databases, back-ends, JS/CSS frameworks, devices (not to mention different formats of numbers, languages etc.)

Offtopic: In the contemporary history we have seen a lot of attempts to make an ultimate online spreadsheet. Most of those projects are now long gone (see https://www.lifewire.com/best-free-online-spreadsheets-34862...). That was before Google acquired 2Web Technologies and created its own, free solution upon it. The trend is to create spreadsheet-based projects for certain use cases just like Quip, Smartsheet, Airtable and more.

Anyway, fingers crossed for your project. I will be happy to share with you our best practices and thoughts from our work with Handsontable (write @ chris [at] handsoncode.net).

Cheers,
Chris
2015 Macbook Pro/16GB RAM/512 GB SSD.

I use Parallels for .NET development and the Mac side for web browsing, iOS development, and the terminal.

If I didn't depend on MacOS, I'd like to try an XPS 13 with dual-booted Linux/Windows 10. Although one nice thing about Parallels is that I can have my iTerm2/zsh shell managing .NET development I have to do on the Windows side, and I'd lose that if I dual-booted and I'd have to use something way inferior like Cygwin or something.
Dell XPS 13 with xubuntu. Because I've used Linux for the past 20 years and am not about to stop.
There's such a thing as a 'prototype' and generally they are are meant to be thrown away. Software Engineering 101. They're meant to explore problem spaces, not be final solutions.
This depends a lot of your needs. I use the Asus Zenbook UX305CA with Ubuntu 16.04 and I really love it. When it breaks I will probably get the same one again (or a modern version of it).

Now on the pros/cons:

+ Super lightweight and thin, can carry it anywhere.

+ Quite solid. Not the same as Macs, but a lot more than most laptops.

+ Silent. It uses an m3/m5 so it doesn't need fans.

+ Battery. It lasts 4h with max brightness and around 6 with low one. It's a lot more than I tried before and few laptops with Linux last this long (in my experience). Totally a letdown for Mac users (;

+ Price. I bought it for $650 + ~$130 for importing it, which still makes it really cheap.

+ 1080p 13.3" mate display. It's exactly just what I want. No glaring, no dirty touchscreen, not too small nor too big, good resolution but maintains the battery.

- No keyboard backlight. However you should not be programming with the lights off.

- No computing power. From time to time I like experimenting with something for which I'd need more power
like 3D or video edition.

- No USB Type-C. Of course the laptop is old for this standard, so I'm hoping for the next refresh they add
it (and not USB-C + a proprietary charging method like they did in the UX303).
And the last of the 16:10 screens :(.
That is why its almost always better to pay for their shows and buy a shirt
Random speculation, but I wonder if this is related to Ivanka getting a larger role in advising her father [1]. It's pretty obvious based on her speeches that her politics differ significantly from Bannon's.

[1] http://www.cnn.com/2017/03/29/politics/ivanka-trump-white-ho...
Kubernetes hosted control plane for $50/month by StackPointCloud
Are you looking forward to getting pwned?
Macbook Pro 13 Early 2011.
Upgraded to SSD and 8Gb memory.
Still works well!
Dan Boneh's Coursera course is ideal for any beginner. Cryptography Engineering by Schneier et al. is good, as is Ross Anderson's Security Engineering, but both are fairly dated.

The OWASP guidance is OK for a quick access to best practices, but insufficient for rigorous learning.

Cryptography takes time to digest the fundamentals and recognise how new concepts are both beneficial and, vitally, disadvantageous; sadly, there is no cheat sheet or quick fix.

Source: computer security PhD student.
Arguably, NASA gave up because it was funded poorly for decades. The rockets they're using are Roscomos rockets anyway, which is another government-run organization.

US military is pretty effective in its primary function, but may not work as well when required to adjust to something like policing the population, sure. But that's a separate discussion.

But yeah, those were just a couple of examples. There are plenty others.

- University of California system, along with many other state universities.

- Various three-letter spy agencies

- Your local fire department
etc..

I'd say that it doesn't matter whether any given organization is private or public. What matters is enough funding and semi-competent management.
The issue isn't campaign advisor versus administration advisor, it's ultimately pragmatism. Karl Rove was truly hated by the left during the Bush years but he wasn't as extreme or as inexperienced as Bannon and the government wasn't a perpetual train wreck at the time so he didn't generate nearly as much controversy.
Lenovo thinkpad t460s. I got it in part because of a great deal.

The biggest complaint I have is the screen brightness. Battery life could also be better. Otherwise, I love the keyboard feel and it feels really solid while remaining compact and light.

In my research, the real other contenders were the dell xps line or other thinkpads.
I'm currently attending, and we're still on username@stud.ntnu.no emails.
I haven't had any experience with anything bouncing in my 5 years though.
If the talent is a big A-list star, he/she can ask for gross points and sometimes get it.

On the other hand, if you're a desperate actor (or composer, or director, etc) and have no leverage to negotiate a percentage of gross instead of net, you end up taking whatever you can get. E.g. comment about the persistence of Hollywood Accounting with an example of Jonah Hill: http://movies.stackexchange.com/questions/17022/why-does-hol...
I will never use a better keyboard than the thinkpad keyboard, I've even thought about getting one of these.

https://images-na.ssl-images-amazon.com/images/I/41M2TlFPoWL...
When I'm bored, googling for "buttbuttination" provides nearly unlimited entertainment.
Thinkpad T420. Replaced the hard drive with a 128gb SSD, and added an extra 4 gigs of RAM.

It does everything I need, has a fantastic keyboard, good aesthetics, and has a great aftermarket for additional upgrades.
The difference between the question "Do you have testers?" and "Do you have a comprehensive test plan?" is that comprehensive is open to all sorts of waffling whereas having testers is pretty easy to say yes or no.
Agree that OWASP's crypto advice is generally garbage, but is there a better salt policy than what they have?

[protected form] = [salt] + protect([protection func], [salt] + [credential]);
https://drive.google.com/file/d/0Bx4hafXDDq2EMzRNcy1vSUxtcEk...
Trump is daughter-Trump's puppet now.

/s
De-anonymization is incredibly easy (bordering on trivial) with any rich data set. For example, 87% of the US population is uniquely identifiable by their combination of DoB, zip code, and sex [1]. The richer a dataset is, the easier it is to de-anonymize. This is a pretty rich dataset.

[1] http://latanyasweeney.org/work/identifiability.html
Is it working correctly on Linux?
MacBook Pro (15-inch, 2016) with Touch Bar.

So far I love the machine - USB-C is the future of computing. I'm sill not used to the feel of the touchbar when hitting ESC, but I mostly use it as a desktop with another keyboard anyway.
Shared memory can be a lot faster than that. MPI libraries report ~0.25 us for 1 Byte and ~400us for 4MB transfers using shared memory.
In many coastal cities sky scrapers extend far below the water table. One architect in Houston described the city's sky scrapers to me as more floating platform than traditional building.

(Flooding them could never happen, but sealing them against 50 feet of sea level rise seems like a comparatively minor feet.)
The choice of laptop will mainly depend on your needs and workflow.

My main machine is an HP Stream 11 2017 edition. It's very small and portable and has great battery life (I easily get 8.5hours a day out of it).

In terms of specs it's extremely limited, only having 2gb of RAM and all but because I'm mostly working on remote VPS instances, I don't really feel the lack of memory.

Oh and I obviously wiped windows and replaced it with xubuntu 16.04.
What reason is there to believe that Wu (aka John Walker Flynt) and the businessinsider report are credible sources? There are financial interest at play here that I'm not being given sufficiently strong reasons to ignore.

https://en.wikipedia.org/wiki/Confirmation_bias
The way I see it, is:

For all elements not explicitly positioned, sort by `order` value. If two elements have the same `order` value, sort by the order they appear in the source.

So in the game, setting the `order` of the `#poison` to any value greater than 0 (the default) will move it to the end.
Latest XPS13 running arch. So far the least annoying setup I've had in recent memory, having switched from macs (although I've had to stick to 4.9 as 4.10 causes all kinds of issues for me).

Oh, the trackpad is a bit annoying too and often palm detection doesn't work which makes for some nice random scrolling etc but that's minor to the gripes I had with OSX.

In the future wish I could have it in the same style body as 'the macbook' though. Easily my favourite of all lappies I owned from a hw view.
I use two 13" Macbook Airs. One is an 1.3 GHz i5 from 2013 which is admittedly slowish at times with heavy Atom and browser use. The other is an 2.2 GHz i7 from 2015 and that one is pretty awesome.

The batteries on those machines are amazing. They really last for 7-9 hours depending on use. The 2013 one is starting to show the "Service battery" warning every now and then but no performance degradation is noticeable yet. It's been through 380 cycles so far.

If you use a non-Retina Macbook like those, I suggest using a bitmap font for programming (I'm using Terminus myself). It's totally sharp and easy on the eyes. Crank up the contrast in your editor's color theme and you're all set.
Yep, I went for 16GB and maxed out the processor, very glad as well. The specs are still well above average for the industry, I don't think I'll replace it til 2019 barring an accident or whatever.

It's actually really easy to install Ubuntu on a Mac these days, and even dual-boot. I did it a couple years ago on a small partition for fun. I still vastly prefer OSX though, and the trackpad drivers are much smoother in OSX.
Perhaps it depends where you are, Oxford English Dictionary only mentions the shop meaning.
I wager that the whole purpose of throwing the tentacles into the air is to provide the dying organism with a lack of stimulus to the neurons in the tentacles for a few seconds, on water impact, the renewed stimulus would make the tentacles move. I reckon after a few tries the tentacles just run out of energy.

This is just a thought and may not be correct.
> Godel numbering is infinite, because it is just natural numbers. Nothing prevents you to build the same proof for infinite number of axioms, rules, functions, variables..

That's kind of a non-sequitor. Second-order logic, the logic required to express Peano arithmetic, consists of a finite number of axioms and inference rules. The number of statements that can be generated with those rules is irrelevant. The logic is finite.

Godel numbering requires assigning a number to each logical axiom and inference rule. The mechanism of Godel's numbering implies that every derivation has a unique number as well, but that number is derived, not assigned. The difference is important. It means that the information required to construct the system is finite. If the supply of axioms and inference rules was infinite, with no finite alternate encoding, it would mean Godel numbering would fail because the process of assigning numbers to each axiom and rule would never complete.

But that's all a bit of an aside. To get back to your original question...

Godel's proof provides a mechanism to construct a statement that refers to itself in any logic that can express Peano arithmetic. Once you can make a statement refer to itself, the game is over. You've lost.

But Godel's approach is even more clever. Not only can a statement refer to itself, it can refer to proofs in its own formal system.

So it constructs "This statement has no proof within the formal system it's expressed in."

That's far more subtle of a statement than you give it credit for. It makes no claim about other formal systems. But once you start addressing it from a different formal system (or an informal metalogic) the statement no longer refers to the logic system in which you are examining it.

So sure, you can say that Godel statement G0 constructed in formal system L0 is provable (or disprovable!) in formal system L1. But that doesn't prove anything about the completeness or consistency of L1, because G0 is a statement about L0. And if L1 happens to be strong enough to encode Peano arithmetic, you can construct a statement a Godel statement G1 which refers to logic L1.

This is always applicable. Whatever your G0 and L1 are, G0 says nothing about L1, but the existence of L1 is irrelevant to the statement G0, and very probably also allows the existence of G1. (I've spent lots of time discussing when it doesn't, and won't belabor the point further.)
Growing Ubuntu for Cloud and IoT, Rather Than Phone and Convergence
What's "YC F1"?
* maxed out Thinkpad T460p, i7 with four cores, 32 GB RAM, 512 GB SSD, Ubuntu - its a Workstation at 14" and I use it for software engineering (JVM stuff, Node), but non-company stuff

* 2016 MBP 15" Retina with i7, 16 GB RAM, 256 GB SSD for software engineering for the company I work for
I dunno...gastropods do seem pretty dumb. Cephalopods are where the money is at.

Cuttlefish!
What is Chef? A primer for DevOps newbies