skysight-inc/HackerNews huggingface dataset:
Sublime Text is among the best pieces of software I've used. I bought the license a couple of years ago, and would gladly pay the same amount again.

I love its core functionality: speed and stability, search, command palette, file navigation, Goto. I've used a number of editors over the years, and none have felt as fundamentally sound as Sublime Text.

The best feature of all is the Python plugin API. Sublime lacks some OOTB functionality of newer editors, but the plugin ecosystem makes this a non-issue if you're willing to invest in extending your editor. If you write code 6+ hours a day, you should be. Git integration (GitGutter and GitSavvy) is awesome, as is linting (SublimeLinter) and project management (ProjectManager).

I wrote an HTTP client plugin for Sublime called Requester (https://github.com/kylebebak/Requester) in a few thousand lines of code. It matches Postman, Insomnia, Paw et al. on features, and in my opinion handily beats them on usability. It's the plugin API that makes this possible.

Here's my guess on what Jon Skinner set out to do with Sublime Text: build a rock-solid text editor and make it as extensible as possible. Until someone does this better, Sublime is the best editor out there.
Out of curiosity: I looked up the jEdit developer and it turns out that he's currently working on the Swift compiler at Apple!

https://twitter.com/slava_pestov
It's still a huge change in real value vs today, but for accuracy, 22000 1961 dollars is 181000 2017 dollars.
>Is it a slippery slope that leads to Time Warner, Verizon, or AT&T to control what content is allowed to passed through their cell/data networks?

It's not a slippery slope. It's rock bottom. Those companies already proposed exactly that sort of thing, a long time ago. They proposed it with copyright enforcement, and they proposed it when they fought against Net Neutrality and common-carrier rules.

They want to control what goes through their pipes. They do not want to be a dumb pipe, they want to rent-seek, they want to play highway robber of the information superhighway. They've told us that. They are proud of that. They believe that is good business.

The question is whether we let ourselves hear it.
This is a damned if we do damned if we don't sort of situation. People are horrified by Assad's regime, so the US is called to take action. Arming rebels is one way it has taken action. Unfortunately in a situation as complex as Syria some of those weapons inevitably fall into the hands of rebels groups we do not want to be associating with.

On the other hand if the US were to do nothing, people would decry the injustice of such a powerful nation ignoring - tacitly accepting - the mass murder of civilians.

There are no good answers here.

Edit: Any country, not just the US, that tried to get involved in foreign affairs to the degree that the US has would inevitably have negative outcomes. Involving oneself in messy situations usually leads to messy conclusions.
You can pull today's or future versions as it's still open source under the same license. Please read the above quote.
My sublime doesn't have much mods really.

I use many syntax packages that aren't installed by default. Extensions such as INI and pug.

Solarised dark is my colour scheme.

I use the JSON format package quite a lot. There's a lot of different options for sorting keys and minifying etc.
> That said, the unalterable Caddy-Sponsors HTTP header feels bad, and cheapens my overall impression of Caddy as a quality product.

Hit the nail on the head. There's lots of reasons why this is a non-problem, intellectually speaking, but none of the arguments for this remove the bad taste in my mouth, emotionally speaking. The other news doesn't bother me, but the header... disappoints me.
Cloudflare can and will censor everything they want without the need for labels

When you subscribe to their service you agree to their terms

The right to be published or served through a gateway is not an universal human right
Interesting to see that "interstate" wasn't an option. In several places I've lived pretty much all limited access highways were also interstates, so the term most often used was "interstate"
Here are my most used:

Side​Bar​Enhancements
Bracket​Highlighter
Git
Markdown Extended
All Autocomplete
Emmet
Anaconda
Micro-interfaces & payments being pushed via messaging. Tens of millions of businesses area already trying to hack it together via WhatsApp's existing features. For an existing example look at WeChat, which has limited application outside China but represents WhatsApp's future.
Spacevim, vim-bootstrap, spf13, janus, vim-sensible (for sensible defaults for vim only).
What software you use to create something to 3d print will depend on what it is you want to make. There are two types of 3d modeling software, solid modeling and surface modeling. Solid modeling or CAD is used in engineering, when you need accuracy in measurements. Surface modeling is used in video games, for artistic models. In the world of surface modeling blender from what I found is the best FOSS option. I have not been able to find a good equivalent for CAD... You either have to shell out thousands of dollars or you can find some open source solutions but lack the features. If you have the money, I recommend Solid Works for cad.
If anyone knows of some good affordable or FOSS CAD software I'm still looking for my own projects.
"for being _accused_ of being a terrorist"
Challenging Google’s Search Engine (2013)
Yes, they are literally two separate things. But the point of my comment was that they are similar in some ways and appear to highlight an inconsistency in the way we deal with ideas we don't like. I'm mostly just trying to spur some discussion here. I'm not trying to take a hard stance on anything.
> I don't think a small nudge to actually pay for the thing that benefits you, or have a small note somewhere that you're not paying for it that someone might--gasp!--see, is as big a deal as the histrionics throughout this thread suggest. You don't have a problem because there's an HTTP header,

The problem with the HTTP header is that it reveals details about which www server you're running to the user, who may be a potential attacker. This makes it easier for a potential attacker to select tools with which to attack you. Apache and Nginx (and most likely other web servers) offer config settings which disable emitting information about the software and version in use. There are other ways to guess the software/version but it becomes harder.

This is an actual security problem, not some issue of feelings.
Someone who wants a house is not really willing to have an apartment. Someone who is ready to put this amount of money in a house is definitely not willing to get an apartment.
I think part of this is because the ISPs actions are seen as purely done for businesses reasons not ideologies/censorship reasons. I think the net neutrality fight with regard to ISPs so far is mainly viewed as big companies fighting each other with regard to who pays whom what. The action of some of these other companies is seen as censorship.
You do know there is more than one company in the US right?
If anybody is looking for a more "pro" ui theme, try monokai.pro/sublime-text. You have to buy a license though. It's actually made by the same guy who created the original monokai theme. There is a vscode version as well.
Thanks, very good point.
As a leftist I'm inclined to be pro-antitrust but Steve Bannon's interest has me reconsidering. Bannon is a powerful propagandist who uses deception and fraud. Since the government has given up on all responsibility to police political campaigns Bannon rightly sees tech companies as some of the last power centers that can slow down the spread of misinformation.
Agreed. I don't use it yet myself, so I'm good to go if I get tackled by security at the airport. ;)
Google will promote an AMP page over another page that has jumped through similar hoops to remain fast (but is not technically an AMP page). Google isn't in the business of promoting fast pages, they promote AMP. This is the problem with AMP.
Actually if you meant to say that the real numbers in [0,1) map bijectively to the set of natural numbers, that is incorrect.

See https://en.wikipedia.org/wiki/Unit_interval

under the section "Cardinality".
It still represents a brain drain regardless of motivation.

Not necessarily - and I'd say this is typical example of the Great-Man Myth. That role might be better served by someone other than a founder.
Definitely some sort of electron app. Certain things are broken like trying to use your webcam to take a profile photo because it doesn't know how to ask for browser permissions.

I really hope this trend stops soon.
So... after reading your post, I went over to reddit to try to figure out how to embed comment threads for use as a discussion section on a site.

You know what? I can't find anything helpful on Reddit about how to do it.

I found how to embed reddit buttons easily enough (from the link on the bottom[1]). Checking the FAQ eventually led me to a page that says: "We’re working to support comment embeds shortly. We will update the publishers page and the FAQ when it’s out." [2]

Googled for it, and found an announcement blog[3] that made me realize "embed" exists under each comment. That only seems like a peculiar way of quoting a specific comment though -- and if there is some way of replying to comments through it or upvoting, I don't see how. I can't imagine anyone would want to have to comment on their own post in order to start a comment chain on their own site either.

Finally realized that "share" existed under each post as well. (Like 'embed', my brain just tunes that stuff out as junk -- seriously, why would I need help emailing a thread when I know how to copy and paste?) In addition to social media icons, there's a weird icon that seems to give you the option to embed a fancier looking link to a reddit thread. I don't see any comments attached to that in the preview though. This seems like the most likely place to find the functionality, but I'm not seeing it.

So, jedberg, I'm going to have to go with "no one knows how to do it" as the main reason that nobody embeds reddit comment threads for their own comment sections.

(Honestly though, I'd rather read reddit comments on reddit than have them embedded.)

[1]: https://www.reddit.com/buttons/

[2]: https://www.reddithelp.com/en/categories/reddit-101/post-emb...

[3]: https://redditblog.com/2015/03/23/announcing-embeddable-comm...
Show HN: AdventureBook – a platform for creating and sharing gamebooks
I've been closely tracking Bay Area real estate for the last 7 years, and assuming it was kept in good condition (original owners), 5 years ago it would've sold for over $1m. It has 4 bedrooms, is in an amazing school district, and in a generally good location.

The extent of the upgrades to it make the sale price a little high, but somewhat inline with pricing in similar neighbourhoods across the bay, e.g. https://www.zillow.com/homes/for_sale/15561231_zpid/37.49241...
The level of support is what's important. Under previous administration the support was on a very low side and much more support was thrown behind sunni states (Turkey for example) and extremist sunni militias. This has changed under Trump and it seems like the support will be shifted away from extremist sunni militias and towards Kurds. I have to give Trump credit for this.
Resuming the Dive into the Pedophile Abyss 4
> Finland has withstood Soviet/Russian intimidation for more than seven decades without running around instigating insane, right-wing police states across the Globe.

Some would say “submitted to” rather than “withstood”; heck, accommodating a powerful neighbor out of fear and inability to effectively resist is called “Finlandization” for a reason.
For the curious: https://en.wikipedia.org/wiki/Solar_storm_of_1859
I haven't downloaded either. You mentioned "out of a tab" and 'Atl/Control-Tab' context switching. I usually pin such an application in the browser; this makes it easy to go visit the site (on OSX and Chrome, use CMD+<tab #>, pinning makes it one of the first tabs so CMD+1 as an example) and easy to use the browser as intended and switch back to the web-app. You could look at the memory footprint of the tab vs. the application and the performance implications of using a desktop app vs. the web-app. That could be useful info. :)
Hotspot Shield VPN Elite Crack v7.20.8 Multilingual and Patch Free
I am having trouble grasping the result.

As far as I understand it, any proof of any result has to be with respect to some axiom system. The continuum hypothesis result is that you cannot prove a infinity exists between the naturals and the real numbers under the usual axiom system A.

How that was proved, I don't know, and I also don't know what axiom system was used in that proof. If the axiom system was also A, then it seems to me that it follows we cannot have p<t, and hence p=t, because otherwise by staying in the same axiom system A you violate the unprovability of the continuum hypothesis in A. This supplies a proof in A that p=t. But this seems trivial.

So the axiom system used to prove that "the continuum hypothesis is unsolvable in A" must be a larger system A+.

I think in A+ we again have p=t. The question this paper answers is whether we can prove "you cannot prove p=t using A" or "you can prove p=t using A". The latter means there is a straight up proof.

Any people who really know this stuff can you comment if I got the gist right?
I am not sure if you have heard of them, but space-filling curves are a way to demonstrate this. This is a great video on the Hilbert curve https://www.youtube.com/watch?v=3s7h2MHQtxc
They're always inferior editing experiences, these vim bolt-on plugins. Missing key features like 'jk' mash escaping and other remapping support.
If a bar has the right to not accept Nazi customers, and they have it, why not a service provider?

The danger is inherent to the kind of service you're using: a private company in the US
if you program you have some concept of what memory is. I found the review of basic terms helpful in understanding the common JS leaks. YMMV
Height, good looks, and money.

A lethal combination.
There's a lot to be said for the simple UI here.

As a developer I'm not looking for anything more here than the "News", "Show", "Ask", "Jobs" features and the insight via the comments.

The UX is the content. Anything more would be fluff. That's not to say that's bad, but on this site it's unnecessary.

When you look at the source of this it'd be pretty easy to build an app that grabs it and rewraps it and that could be a fun project.
You don't know the right vim / emacs users then :)
>Having weapons makes it more likely for violent acts to happen.

I mean... ish. It definitely makes you more likely to commit suicide, but it doesn't really have much bearing on whether you're more likely to be targeted[1] or hurt. There's a massively confounding factor in that people who live in areas that are more violent have more incentive to buy a gun.

[1]: http://slatestarcodex.com/2016/01/10/guns-and-states-2-son-o...
Git+static web sites

It's been my idea for years now

Please don't steal it
Fast DNA analysis can be even worse like 1 in 10,000.
I don't know how much jobs Apple has now but the new Campus is "huge". Like really gigantic. Apple is a wealthy tech company and even if it is not paying high salaries, I expect lots of employees have made a killing from stock options in the last few years.
7 wars at last count, i believe. Or actually, 0 wars and 7 AUMFs since if they were wars, congress would have to publicly debate their merits and impacts.
That event still creeps me out. Clearly a sophisticated attack. Penetration testing? Dry run?
We have been supporting the Kurds, yes - but our support is schizophrenic at best.

Though the Kurds are almost everything the US could want in a mideast ally - moderate, self-sustaining and stable, demonstrably capable - we will probably never embrace them fully due to our relationship with Turkey.

Some backstory:

Turkey lists the PKK as a terrorist organization, as Ankara and PKK have been fighting a separatist conflict for decades. Though the PKK has never targeted Americans, the US still lists the PKK as a terror org to placate Ankara.

The US has invested in Turkey as a strategic regional ally since the Cold War. Geographically Turkey was a key bulwark against Soviet power, and indeed we housed nuclear missiles within Turkish territory for many years. Even after the USSR collapsed, Turkey's regional value to the United States has grown. Incirlik is one of the largest air bases in the world, and remains a key logistical point for our military action in Afghanistan and Iraq.

Turkey was also important to the US ideologically because they were a stable, moderate, secular Muslim state, e.g. the kind of country we wanted to serve as a template for the rest of the Middle East. Thanks to Erdogan, this value has decreased sharply thanks to his moves to consolidate autocratic power at the expense of the still largely secular and moderate Turkish populace.

(Tried to keep the value judgements out of that, sorry if I offended someone by summarizing too generally).
I think I figured it out: you must be one of the aliens predicted by the downward Löwenheim–Skolem theorem!

If we could have a model of set theory (a set1 of all set2s, where a set1 is a set in our set theory and a set2 a modeled set, like an interpreter), which is necessarily infinitely large, then the downward Löwenheim–Skolem theorem implies there is a model that is only countably infinite. There is a model of the real numbers in there, so from our point of view, the real numbers are countable! Though from the model's point of view, Cantor's diagonal argument still works, and they are not countable!

My theory is that you are looking at our real numbers and thinking they are countable because you have a much more powerful set of natural numbers than the rest of us. Unfortunately for you, your bijection between our reals and your naturals does not carry over to our set theory. You should find, however, that you do not have a bijection between your reals and your naturals.

One problem with this is that Gödel's incompleteness theorem implies that if we ever had a model and could prove it was a model, then set theory would be inconsistent.

More seriously, Cantor's argument as usually given is not Cantor's original argument. He originally did something involving nested closed intervals, but it was simplified to listing out the digit expansions of a list of real numbers.

I am partial to the following argument: suppose there were an invertible function f between N and infinite sequences of 0's and 1's. The type of f is written N -> (N -> Bool) since an infinite sequence of 0's and 1's is a function from N to {0,1}. Let g(n)=not f(n)(n). This is a function N -> Bool. Since f is invertible, let finv be the inverse f : (N -> Bool) -> N. Then finv(g) is a natural number. Plug this into g:

g(finv(g)) = not f(finv(g))(finv(g))
= not g(finv(g))

Uh oh, the value of g at finv(g) is not whatever its value is. Something must be wrong: it could be there is no set of natural numbers or booleans (unlikely), that g is not definable (but it is a simple expression of f, and not even recursive; unlikely), or that there is no such function f (this is the only assumption remaining, so there must not have been an f that is a bijection).

Notice there was nothing special about N in this argument. It could have been a finite set, an infinite set, or even the real numbers, and we still would have concluded there is some value at which g is not its own value!

It is possible to prove that there are at least as many real numbers as there are sequences N -> Bool using infinite series. It is also possible to prove there are no more real numbers than there are such sequences.
Sublime's startup time (even before 3.0) never failed to amaze me, especially compared to Atom and VSCode.

And now it starts even faster.
As per http://www.lugaru.com/, they released an evaluation version of epsilon on 2017-09-01, so just 12 days ago.
Why do you think this is clickbait? The headline accurately describes the content of the article, which as far as I can tell accurately describes one result of this paper. Clickbait doesn't mean any interesting headline, it means a misleading and purely attention-grabbing headline.
You obviously don't work at Apple! ;)
Maybe we will learn... but maybe not. From Daniel Kahneman himself:

> there is a special irony in my mistake because the first paper that Amos Tversky and I published was about the belief in the “law of small numbers,” which allows researchers to trust the results of underpowered studies with unreasonably small samples. (...) Our article was written in 1969 and published in 1971, but I failed to internalize its message.

We simply want to believe.
I always negotiate net 15 and usually am paid by 10-15 days.
I've heard the military thing about Amazon before. It's got more in common with the army than any other big tech company (so many people!). For the VP/SVP wall, high level decisions at big orgs are always bizarre, it's such a deeply unnatural job for a person to be doing.
The functionality that linkedin has is sufficient in my opinion. It is the way in which people use it that has decreased its value for me. It has simply become a B2B/P2P marketing platform. Ultimately things like FB, Linkedin, etc... will fade out due to it not being focused enough.They will keep generating ad revenue, HR, sales/marketing departments but there will be better solutions for professionals. I think over the next several years there will be industry specific solutions that prove to be more effective.
right. So why does it hold value when shit hits the fan? you can't eat it, you can't treat a disease with it. Will it hold value in the future? My point is, it's really just convention. So, the same logic applies to bitcoin.
Smart contracts != Bitcoin.
I'd love to see the list of jobs that flipped from female to male.
I have a 50% bigger single story custom house on a 50% bigger lot in a really convenient location with virtually no traffic in one of the most sought after cities around Phoenix. It's worth $700k.

You can get a decent house in a nice location for $400k in Phoenix itself.
Kahn's Topological Sort
No, this is incorrect. You can map the set of rational numbers to the set of natural numbers. The set of reals in that range is shown to be uncountably infinite by Cantor diagonalization.

https://www.reddit.com/r/explainlikeimfive/comments/1r5aya/e...
It's not a lot relative to Sunnyvale it's a lot relative to the US

The idea being Sunnyvale can justify that with salaries and the employers in the area
another vote for gitgutter. jumping to the next changed hunk in my currently open file is a life-changer.

https://github.com/jisaacks/GitGutter
gigo
https://plato.stanford.edu/entries/analytic-synthetic/

"While some trivial a priori claims might be analytic in this sense, for Kant the seriously interesting ones were synthetic."
It's an inevitable step for any mature software application. At some point, the business side will want a feature that web browsers won't allow or have poor support for. Initially, developers push back and this feature gets delayed, but sure enough, executives get eager and eventually make the call to build a desktop app.

I have seen this twice now; our file transfer service was being hindered by poor file API support by the browsers, so we built a desktop app to wrap the web app and provide better file access. And for a shopping app to get around iframe restrictions.