skysight-inc/HackerNews huggingface dataset:
I made a bash function for easier alias binding. It makes aliases immediately available and permanent. Also you don't need quotes so you can use tab completion etc. It goes like this:

ali <name of alias> <command>

to get it put this in your .bashrc

function ali() {
echo "alias $1='${@:2}'" >> ~/.bashrc #in ubuntu use ~/.bash_aliases
echo "made alias:";
echo "alias $1='${@:2}'";
source ~/.bashrc; #reload bashrc
}

When I realize I type a command often, I just push the up arrow to get the command again, append "ali" infront of it and turn it to an alias. Works direclty.

And of course the alias to show the list of all aliases:

alias alis='cat ~/.bash_aliases'
Introversion Software Talks About the Linux Gaming Market
yeah, thats my bad, A recent addition and I must have copied too much of the command line when adding it.
> We're also dumping Office 365 after only a year of subscriptions because it's a pile of shit (forefront letting stuff through, outlook sync is incredibly unreliable and the disaster that is Lync) and the euro position means a price rise.

What are you switching to? We just decided to go with Office 365 because it provided a much nicer interface for our users than Roundcube/Squirrelmail/etc.

I do have some minor complaints, there have been a few times that they are slow to send or receive emails (like hours slow) but overall it works quite well.

Google Apps is out because the company doesn't trust Google, so what are the alternatives for a mail service with a great web interface?
> The most effective measure against smoking is taxation.

I hate this method of behavior control. It's always a disproportionate tax on the poor and yet another reason why if you are rich the rules don't apply to you.
Fucked, fucked, fucked, fucked, fucked, not quite fucked aaand not yet fucked
A function, not an alias, but I've found it useful when working on deeply-nested projects/dirs:

function up {
if [[ "$#" < 1 ]] ; then
cd ..
else
CDSTR=""
for i in {1..$1} ; do
CDSTR="../$CDSTR"
done
cd $CDSTR
fi
}

I can just run "up" to "cd ..", or I can run "up 6" to "cd ../../../../../.."
Simple Vagrant aliases:

alias vup='vagrant up'
alias vdn='vagrant halt'
alias sv='ssh vagrant'

Some apt-get ones:

alias sapu='sudo apt-get update'
alias sapi='sudo apt-get install'
alias sapr='sudo apt-get remove'

When I'm in Windows I use Cygwin (as a dropdown terminal[1]), these are useful:

alias tk='taskkill -f -im'
alias ping='PING'
alias flush='ipconfig /flushdns'

[1]: http://blog.elamperti.com/2014/11/dropdown-cygwin-terminal-i...
Putting the Public Back in Public Finance
I didn't check it. If you want to do it (the key step being to verify that the axioms of intuitionistic logic holds for your definitions of AND and OR), you can check Wikipedia for the list of axioms to verify: https://en.wikipedia.org/wiki/Heyting_algebra
I don't think a lock-in would be an issue. There's however other issues I think will be very hard to solve.
This is a quote from a salesman trying to sell me 3G Internet.

"Why on earth do you need more data then this!? You know downloading movies is illegal, right!? Ohh, and you will also get a free Ipad."

The problem is that people refuse new technology like fiber networks, because they do not see any use-cases beyond e-mail and Facebook.

My depressing thoughts about ISP's is that the only reason they use fiber instead of copper is that fiber is much cheaper over long distances.
Do you have a better way to convince people not to smoke?
"I never want a job again"

Followed by:

"Vox similarly paid me to write this article"

Uh...
Apple under FTC scrutiny for antitrust violations related to new music service
PG is for Paul Graham and the metionned post is http://www.paulgraham.com/microsoft.html
Quickly get my ip:

alias myip="ifconfig | grep 'inet ' | grep -v 127.0.0.1 | cut -d\ -f2"
>That said, I think the moderation Pao symbolised on Reddit as a whole was a very wrong move. The Community certainly did. All the subreddits are individually moderated and the subreddits are opt-in; there's very little need for an overarching moderation of Reddit major.

They stepped in because moderators of a banned sub was found to encourage and even directly participate in harassment of other people. And they only caved in after a. incessant complaints from the public and b. some personal threats against imgur employees who took down some images the abusers uploaded.

More info: https://www.reddit.com/r/OutOfTheLoop/comments/39bzdf/why_wa...
Adolescent Intermittent Alcohol Exposure Leads to Brain Abnormalities in Adults
Summary: much current neurological measurement, e.g., EEG, measures point activity, either activity levels at points in time or activity levels at physical points. Point activity measurement assumes implicitly a "standing wave" model of neural activity, that is, that changes in activity levels at specific points are relevant and indicative of some underlying phenomenon.

More recent research suggests that "travelling waves", i.e., related changes in activity levels at a succession of points, are more indicative of underlying phenomena and that current techniques discard most and almost all of the relevant data. Recording and analyzing more data from more points to reflect related changes in dynamic activity at multiple points, using existing tools, may allow researchers much greater insight into activity correlates to psychological phenomena.
> The majority of the world simply doesn't need a bloated Windows OS to run their browsers.

I am not sure that is limited to Windows exactly, but could be applied to almost any desktop OS. There is plenty of excellent native software on desktop machines that are streaks ahead of anything in a web app. But the problem is that they are difficult to find and install.

I would be hesitant to recommend Paint.net to a non-technical user because they would probably end up installing malware by accident. So I suggest they buy a tablet, or use a web app; but neither products are actually better. The user ends up with an inferior product that gives them less freedom, and subjects them to the indignity of app stores and monthly subscriptions.
Yes, I am.

Volunteering to help stop child abuse and being compelled to participate in an investigation of unknown depth, breadth, duration, and resource burden (time, money, etc.) to you are two completely different things.

If you've never been involved in litigation or other legal situation wherein you couldn't just stop the process whenever you chose to, it might be more difficult to imagine the stress and costs involved, as well as the loss of control over one's own life.

It's nice to think that it's worth it at any cost (and at the sacrifice of one's other life responsibilities). But, of course, given that one can volunteer to make such a sacrifice without waiting to be compelled by a police investigation, then anyone who has not already chosen to do so might be wise to consider whether it's really a manner in which they can afford to help.

(EDIT: conciseness)
Where blue screen appears on a wedding
alias ":q"="exit"
We're switching back to an MSP for a bit with Exchange 2013. Then we're looking at other solutions. So far this is looking like it's going to be something in house.

"quite well" isn't an option for us. We need something reliable. We have had exactly that experience; things disappearing for hours at a time.

There are absolutely no mail services with good web interface. This is the problem. We really want standard bits of glue that work across the board so we're looking at CalDAV, CardDAV and IMAP separately all using OpenLDAP SSO. Sharepoint is already canned; we ended up using Atlassian Confluence as we're already a JIRA user.
Where does it go after the flyby?
alias c='noglob perl -e '\''shift; $x = eval qq(@ARGV); print $x; printf " 0x%x 0%o %b\n", $x, $x, $x'\'' _' ' "'

Quick and easy perl calculator, with octal, decimal and hex output. Example usage:

root:~$ c 365 * 24 * 6 / (14 +2)
3285 0xcd5 06325 110011010101
I agree with you, because we have similar use cases, but desktop gaming is still almost totally windows dependent. So I think games will keep Windows afloat for a while.
I used to work for an also-ran social network (20m users), and this was a big problem for them too, particularly when they found that they were a popular option for sharing CP. When I say a big problem, it's really an existential threat for any kind of user generated content sharing site.

Yes, you need a way of finding and flagging this stuff. Algorithms help, but people always need to be involved, and that's problematic. It can be hard to find people that want to be exposed to this material as their full-time job, and it's a liability headache. Even if some employees are ok with being exposed to it as part of their jobs, other employees might have a legitimate expectation of not having to be exposed at their workpace, and it's difficult to contain.

Yes, you will need to develop a relationship with law enforcement. They have a number of programs for submitting evidence, they're actually quite easy-to-use, and they are cooperative if you follow their rules. Even so, it's time consuming, and if you don't maintain a good relationship and comply fully, then you can become a target for enforcement.

You say you've become moderately successful in terms of traffic, but there's a big proportion of dubious content. Frankly, this means that certain people have noticed that your site is not as good at identifying, flagging, and reporting this content, so they're gravitating to you, having been kicked out of facebook, etc. That's fine in the short term, in the long term it's unsustainable from a business and legal perspective. Either you'll need to devote more resources to fighting this (instead of development, marketing, more interesting things), and find a way to attract more legitimate users, or you will become the next attractive target for legal issues.

This is not a simple problem that can be solved with mechanical turk, an algorithm, etc. It's a never-ending game of cat and mouse, walls and ladders, and a fundamental problem to be dealt with on any site that allows sharing. It's not just sexual stuff, there's also copyright - the music and movie industries are pretty keen about finding targets too.

It might be feasible to compete with facebook on product, or popularity with niche audiences, but competing with them on their ability to keep bad content off their site so that it's palatable for a wide audience is a lot harder. That's their core business, and they employ a lot of humans to make it work.
> Does this forum have people who pay for services like yours?

No, it does show up as the top result in Google for some questions, however.

I have no idea where to even begin locating an active forum where serious businssmen congregate.
Show HN: Gamble for a charity. Bitcoins accepted
Nice comment, in the last couple of days I also have warmed again to Facebook.

It's safe - I know all the people we can still have arguments but they are well behaved ones.
> There aren't enough apps to draw in users, and there aren't enough users to sustain apps (as a business).

All evidence suggests that apps do not influence which phone a user buys. Users install less than 1 app per month. Windows Phone is unsuccessful for other reasons.
Microsoft's plan Office365 and Windows 10 as a subscription service won't help to increase their market share. Android and iOS and OSX are very popular these days and huge competitors.

In the long run subscription fees are higher for end users and business than traditional software - just compare Office365 and Adobe Creative Suite 6 to Office 2013 and Creative Suite 5 over a common 3+ year lifecycle.

Microsoft's transforms Windows to Windows as a subscription service, similar to Adobe's Creative Suite 6. Only the "Windows 10 LTSB" edition (Long Term Servicing Branch) is similar to what we got with Windows up to version 8, the other editions cannot deactivate the automatic feature upgrades. https://translate.google.com/translate?sl=de&tl=en&js=y&prev... and https://technet.microsoft.com/en-us/library/jj612867.aspx?lc...
You're right, OpenLDAP isn't the same. It's more of a toolchain and server to build yourself a directory implementation on top of.

But when we look at our organisation, all we need is simple SSO for a few applications. We don't actually need all of the extensions like GPO, management tooling etc. Incidentally this becomes cost and noise.
And yet it is empirically effective. What alternative would you suggest? It's true that rich people are not burdened by cigarette tax, but then again smoking rates are already much lower among the rich (at least in the US).
Only because you or your work colleagues do not use Windows much, it does not mean majority of non-technical people do the same. Almost all non-technical people using Windows that I know would not take a step and move to Google docs etc mostly because they dont trust it, they do not know how it works and because it forces them to be connected to the internet to open up all the possibilities.
There is a long way before Windows will fade away in Europe.
Consequences for your actions are something only non-leaders should have to deal with...
# quick sketching
alias ep='emacs -eval "(picture-mode)"'

# quick timer
alias timer="time read -sn1"

# quick look
alias ql='qlmanage -p 2>/dev/null'
Why IBM's CEO is hiring Brooklyn teens
They aren't well meaning, terrorism is a convenient excuse.
> Right, because if it's as safe as they and you say it
> is then it is absolutely not needed.

Their shareholders will sue the shit out of them if they give up free money. I can't work out if you're being disingenuous or if you genuinely can't understand why companies don't give up free money.
This is an interesting and specific suggestion. I'll check it out immediately, thanks. :)
Sorry, didn't intend to use so much jargon. By "quantifying over all formulas" I just meant that one has to distinguish between the following two statements:

1. The law of excluded middle holds for a particular formula p.

2. The law of excluded middle holds for _all_ formulas p.

Also note that "formula" just means "formal logical statement", i.e. structured string consisting of v, ==>, and so on.

What do you mean by "perspective of totality"?

Regarding your first edit: There is indeed a metatheorem which says "any classical proof can be turned into a constructive proof". The catch is that this does _not_ apply to all formulas (of course, else the discussion would be moot), but only to formulas of a special kind. Not many formulas are of this kind, but for instance "There exist infinitely many prime numbers" and "A particular Turing machine halts" are (when suitably formulated). If you want to lookup the details, look for "Friedman's Trick".

That the implication (~p ∨ p) ⇒ (¬¬p ⇔ p) holds is because there is a direct proof of this. I didn't show (here or in the slides) that the reverse implication is not intuitionistically valid. A simple way to do this would be to proceed along your lines, that is construct a Heyting algebra in which (¬¬p ⇔ p) holds for a particular element p but in which (~p v p) does not holds for this p. A fancier way would be to look at toposes arising "in nature", not specifically constructed for giving a counterexample.

Thanks for the book recommendation! I'll check it out. I won't have Internet over the weekend but I'd be glad to continue the discussion later.
I have both an iPod Touch and an iPhone - did a bit of research and the main difference is that the iPhone contains parts which implement the mobile phone functionality, otherwise known as the baseband processor. The iPod doesn't have those parts nor does the iPad.

Both iPod and iPhone are very compact implementations. Have you looked at the tear-downs on iFixIt.com ? I don't think it would be possible to alter an iPod without creating a bulky, Frankenstein-ian device. Of course, for some people that would be a plus, bit like the steam punk movement.

If you ever go any further with your idea, then by all means let us HN readers know about it.
I'm with you on trying to improve the odds for poor people. My argument is merely that throwing money at them won't fix their situation. I'm not just trying to blame the poor but to explain why throwing money at them won't work.
Yep. A lot of people here have trouble discerning between their _own_ personal experience and the needs of the rest of the world. I don't even use Windows, but I know plenty of people using it, and I don't see them either spending money on a Mac or switching to a tablet or a Chromebook. And I don't see many workplaces switching to Chromebooks either.

Microsoft has built a good and cheap platform for workplaces PCs and households, that's the reality. The only two real alternatives I can see right now are OS X and some well supported GNU/Linux distros like Ubuntu/Red Hat/Suse, and both have their own disadvantages (the former a significant higher cost in hardware, the latter a lack of commonly used pro software like MS Office, Adobe programs, AutoCAD and other specialized software...)
It's an addiction. There is no convincing. That's not how addiction works. What does need to happen is people need to be convinced to never start smoking. Taxing the existing addicts does nothing for this.
Core Linux tools top list of most at-risk software
Windows is bloated compared to what? Mac OS? The newer Mac OS updates is what seems bloated to me.
Ubuntu since Unity seemed bloated to me also and that's why I now use Kubuntu(which is far from the perfect desktop OS).
'Dying' is not 'Dead'. Not yet... but desktop sales are in decline(1), and windows on mobile is a failure.

If you want to call it 'Windows is in decline' instead of 'Windows is dying', sure, we can call it that instead.

...but it's effectively the same thing. Don't bet on this platform; it's not the future. Sure, it'll still be around for the foreseeable future, but you win when you bet on things that experience year-over-year growth, not year-over-year decline.

You can call the growth-hackers nasty names if you want, but its undeniable that there's a strong correlation between growth and success.

My bet? Microsoft won't fail. They'll find other things (services in the cloud perhaps) to grow; but windows will consistently decline over time while it fails to gain traction in the mobile space. /shrug

(1) http://www.gartner.com/newsroom/id/3026217 "Gartner Says Worldwide PC Shipments Declined 5.2 Percent in First Quarter of 2015"
>I use a Windows desktop and I constantly find myself wondering: "what am I paying MS for?".

Pretty much the same thing what most average Joes pay for: "convenience of familiarity" and "support". Averaged, most people around the world grew up with Windows. Heck even in third world countries and remotest part of the world, people are more familiar with Windows (a commercial product) than Linux (a zero cost free product). Windows given its monopoly also has a better support for programs and drivers. Keep in mind people do tend to look at desktop the same way you look at mobile: "Windows phone - had terrible apps, and didn't have half the features of my friends' iPhones and Androids."

There is also another thing, the true cost of Windows is hidden within the price of the hardware. When you purchase a laptop or commercial desktop, you dont pickup a cd for Windows or pay for it separately at the checkout. Thus for most people Windows is technically "free".

Sure I can install Linux on my gf's computer but most likely she wouldn't let me since its not worth her time to relearn an entire new operating system. It is the same argument with console gaming vs pc gaming. For some people, even if it means missing out on a better gaming experience, they just want to sit down and not fiddle with things. And that is with my gf who is my generation, I can't even begin to imagine the horror of installing a different OS for my parents and constantly being phoned to walk them through trivial tasks.

> I dumped the phone after 1 year when it constantly crashed on me (Nokia Lumia 720),

I had quiet the opposite experience, Windows phone seemed to crash the least on me. I found it to be more fluid OS than anything else I have tried.
Lenovo to Ship Laptops with Ubuntu Linux in India
Same here -- I found this extremely interesting about 4 years ago and did some playing around with it, but the project seemed to drop off the map after awhile.
I would argue that's even harder for them than FirefoxOS because at least with FirefoxOS, it's powered by web technologies and you can have most basic apps without much work. Whereas with Windows Phone, you need actual developer time to create an application in the new ecosystem. It's already hard to convince people to port applications but it's even harder to convince them to redevelop something new entirely.
In 2005 that was about what they could fit on the craft with weight, power, space limits. Now it just a single memory stick.

The 2003 Mars rover Spirit was among the first to use flash. Even though the OS was 25 years old battle tested version of UNIX called VxWorks, the flash driver was new. It had a bug that incorrectly marked the free inode list on flash disk. So about six weeks into the mission the disk appeared to be full and caused a safe mode reboot every few hours. The engineers successfully uploaded a patch and one of rovers is still operational.
I bought a really cheap Windows 8.1 laptop early this year (HP Stream 11) and I was actually surprised how nice it was, especially considering the price. However I sort of agree with you: I just run Chrome, IntelliJ (runs a little slow, but OK), and github's tools - really nothing else. After using the Stream 11 for several months, I decided that really just a browser on a secure platform would meet much of my needs so I bought a Toshiba Chromebook 2 and I am surprised how useful it is. I still use one of my other laptops for using IntelliJ, but the combination of nitrous.io, and Chrome shell to my own servers (with a nice emacs setup for Haskell and Clojure) makes even the Chromebook a good development computer. This is especially true when I am SSHing into a server much more powerful than than my MacBook or Linux laptops. I write a lot, and even my writing work flow is all web based, so no need for a heavy weight OS for that.

When you need it, Windows, OS X, or Linux is great, but for a lot of work (and play), something like a Chromebook or an iPad meets a lot of needs, and I would argue more securely.
I still can't figure out what Go is supposed to bring to the table that Erlang doesn't. From [0], CSP mostly differs from Actors in that multiple actors can listen on the same channel? Is that a unique line of PL research? Or was it just a success to replace Erlang's funny syntax and minimal type system with a C-inspired syntax and an embarrasingly bad type system? I guess my real question is, what does Go do better than Erlang?

[0] - http://programmers.stackexchange.com/questions/206784/erlang...
Talking to cops is a bad idea. I'd only do that if I had to and even then I'd minimize the exposure: https://medium.com/human-parts/good-samaritan-backfire-9f53e...

Also, the abuse already happened, you are only stopping the dumber CP collectors from sharing images of it.
I can't wait for Bloomberg's next expose, "Water May Be Wet."

But seriously, how can this be a surprise to anyone? Easy credit = increased demand (since people who otherwise would be unable to pay for the good can now afford it) = increased prices. This is an obvious result of generous access to student loans, not a surprising one.
Pretty git log:

alias gl="git log -n 15 --graph --pretty=format:'%Cred%h%Creset -%C(yellow)%d%Creset %s %Cgreen(%cr) %C(bold blue)<%an>%Creset' --abbrev-commit"

Copy current working dir (OSX), very handy.

alias cpwd='pwd | pbcopy'
Show HN: Sailor, an MVC web framework in Lua
We Took Apart Some Beats Headphones
FWIW this isn't just affecting torrent sites. Some software repos have also been affected recently.