skysight-inc/HackerNews huggingface dataset:
Vacations don't help. They are periodic relief from everyday stress that you feel guilty about. Vacations should be a treat, NOT a relaxation.

To relax every day:

1. Work out. I get up between 3-4am and (edit: low intensity) work out. 7 days/week. Improves my mood _every single day_.

2. Find something that relaxes you and do it every week. Golf? Do it. Massage? Do it. Sex? You get the idea.

The point is that the only person who can help you get what you want from this world is you. No silver bullet exists.
so that it can run 50% slower than it already does?
I can't speak for op but I had a similar feeling going through the free chapters of 'Type driven development with Idris'. What blew me away was once you have such a strong type system it eliminates whole classes or errors at compile time I previously considered only checkable at runtime. Furthermore it showed that doing so allows the compiler to go from being a gatekeeper to being more of a virtual assistant that helps you write your code not just check it.
Here's an ad-hoc polymorphic way of dealing with numeric types in C# without the boxing that would be caused by using an IArithmetic interface:

public interface Num<A>
{
A Add(A x, A y);
A Subtract(A x, A y);
A Multiply(A x, A y);
A Divide(A x, A y);
A FromInteger(int value);
}

public struct NumInt : Num<int>
{
public int Add(int x, int y) => x + y;
public int Subtract(int x, int y) => x - y;
public int Multiply(int x, int y) => x * y;
public int Divide(int x, int y) => x / y;
public int FromInteger(int value) => value;
}

public struct NumDouble : Num<double>
{
public double Add(double x, double y) => x + y;
public double Subtract(double x, double y) => x - y;
public double Multiply(double x, double y) => x * y;
public double Divide(double x, double y) => x / y;
public double FromInteger(int value) => (double)value;
}

public struct NumBigInt : Num<BigInteger>
{
public BigInteger Add(BigInteger x, BigInteger y) => x + y;
public BigInteger Subtract(BigInteger x, BigInteger y) => x - y;
public BigInteger Multiply(BigInteger x, BigInteger y) => x * y;
public BigInteger Divide(BigInteger x, BigInteger y) => x / y;
public BigInteger FromInteger(int value) => (BigInteger)value;
}

public static class TestGenericNums
{
public static void Test()
{
var a = DoubleIt<NumInt, int>(10); // 20
var b = SquareIt<NumInt, int>(10); // 100
var c = NegateIt<NumInt, int>(10); // -10

var t = DoubleIt<NumDouble, double>(10); // 20
var u = SquareIt<NumDouble, double>(10); // 100
var v = NegateIt<NumDouble, double>(10); // -10

var x = DoubleIt<NumBigInt, BigInteger>(10); // 20
var y = SquareIt<NumBigInt, BigInteger>(10); // 100
var z = NegateIt<NumBigInt, BigInteger>(10); // -10
}

public static A DoubleIt<NumA, A>(A value) where NumA : struct, Num<A> =>
default(NumA).Add(value, value);

public static A SquareIt<NumA, A>(A value) where NumA : struct, Num<A> =>
default(NumA).Multiply(value, value);

public static A NegateIt<NumA, A>(A value) where NumA : struct, Num<A> =>
default(NumA).Subtract(default(NumA).FromInteger(0), value);
}
This is the 5th time I try Atom (after switching back to sublime) but I might start using this a lot more now that I've discovered go-plus. Atom might really be the best text editor for golang.
You should be able to write your own named implementation of Cast and explicitly use it when calling cast to have different casts with different semantics http://docs.idris-lang.org/en/latest/tutorial/interfaces.htm.... But yeah, you'd still have to see what the standard library implementation does
I'm using Atom now for Go and never really tried VSCode. What would be the reason to switch?
Konami reportedly blacklisting ex-employees across Japanese video game industry
Lose belly fat fast doing this http://rurl.us/X7uTs
> a large subset churn out code that looks a lot like Fortran 77.

REAL PROGRAMMERS can write FORTRAN code in any language, right? ;-)
.,.Lose belly fat fast doing this http://rurl.us/X7uTs
Your "password hashing functions" have another name already - KDFs, or key derivation functions.
. , ., ,Lose belly fat fast doing this http://rurl.us/X7uTs
Trudeau rejects call for 5% tax on broadband Internet services
>>>>>Lose belly fat fast doing this http://rurl.us/X7uTs
If you assume that 80 hours weeks are neccessary, you will work 80 hours long weeks whether it is needed or not and whether it is actually effective or detrimental.
> Now I spend a lot of time guiding them to deal with the issues that keep cropping up every now and then.

Pick the best guy and start relying on him more. You really do need to delegate. It's not only for your own health but for the health of the company as well. Your 'hit by a truck' factor is approaching 1. If you get hit by a truck, the company is probably done for.
Detail+Report+On+Intravenous+Stopcock+Sales+Market+:+2017-2022
I agree. This is ridiculous.
Fantastic!!! Thank you so much. The tool you linked is amazing also. Thanks again.
Insert another rant about how atom is bloated compared to editors like sublime text, notepad++, and VScode (which I discovered recently and seems to be a clone of sublime text).
Smartphone Xperia XA1 Da Sony
This is what the backpack feature landing in GHC 8.2 will allow you to do
I went to VSCode from Notepad++
After a system format, I started off with sublime and haven't looked back.
Although, I will most likely prefer VSCode when working where I cannot reach a sublime licence, since it's quite a hackable program... since it's running on an uncompiled language
Thank you! It's like everyone has missed the point of the story here...
I don't see any Mercurial plugins nearly as full featured as the one for vscode: https://marketplace.visualstudio.com/items?itemName=mrcrowl....

Also, does Atom show you repo changes in the scrollbar, or have a plugin for this? When I tried Atom awhile back it didn't have this, and vscode has it built-in.

As far as richness, I've found a matching plugin in vscode for every plugin I used in sublime text (about 10 plugins).
Serious question.

So I know limestone is technically a non-renewable resource, since we're using it far faster than it is being created.

Should, uh, we actually be worried? It's like 7% of the Earth's crust; are we actually using limestone fast enough to use up a significant fraction of the usable limestone in the expected lifetime of humanity?
Yahoo (aka Oath) releases Bullet, real-time streaming query system
Yep :D

You have to arbitrarily decide where to end: typical 5-year-old, typical high-school student, typical math professor.

What people mean by "simple terms" is "simple terms that I understand".
I'm sure you can find yourself the answer if you are really interested, here is an example: http://www.computerworld.com/article/3122994/apple-mac/ibm-s...

Or this one https://developer.ibm.com/swift/
Many of the points touched in the article are simply the difference between designing a programming language for giving the authors a feeling of bleeding-edge cleverness and designing it for the benefit of programmers using it. It's quite more than an "excuse" to prefer Idris.
It's not about the number of carriers, it's about the ability to project enough power to reach political goals. In most cases you are not competing with other countries' carries, you are competing with land-based assets (airbases, railways, etc.). For that you may need a lot of very big carriers
> You can't pass generic interfaces to other classes that should handle non-generic interfaces (that aren't dependent on the generic constraint)

I'd like to see an example of what you mean. You can absolutely pass generic values to other classes. If the type you're passing the generic value to is not generic then the method should be. If you are casting then 99 times out of 100 you have a problem with your code because the types aren't compatible. i.e.

static void DoSomethingGeneric<A>(A value) => ...

static void DoSomethingSpecific(string value) => ...

IEnumerable<int> array = new [] { 1, 2, 3, 4, 5 };

DoSomethingGeneric(array.First()); // Works
DoSomethingSpecific(array.First()); // Can only ever work if array is a string[]

> If you cast to your "T" then casting is ensured.

If you 'get out' of the generic situation by casting to an object or dynamic, then at some point you're going to have to cast back to a concrete type. That is the point where your code will blow up. You're carrying ticking time bombs as values.
Banks experiment with delivering cash using drones (Sberbank)
Minimum wage is difficult to accomplish due to forex fluctuations and wide variations in relative purchasing power. Maybe an international rule requiring a minimum wage pegged to a local CPI basket?

But then, I suspect multinationals would still find a way to arbitrage to the detriment of low-skill workers.
Can I get more details?
I know idris (apart from improving some haskell warts) also adds dependent types. Are there any good simple examples of dependent type use, that isnot vectors-of-length-N?
> working on a simulation based game
> stories like these are a great inspiration

I'm sorry if I come across as stupid.
I don't see the connection between these two assertions.
I agree. I had some of my best ideas in cigarette breaks (or, alternatively, at night when I was just about to fall asleep).

Also, going to the bathroom can do wonders if your mind is stuck on some problem. Seriously.
What American universities can learn from Germany (2016)
Most Inspirational Movies of All Time That Keep Moving Forward
VSCode[1] has multicursors and I believe that atom[2] does too... not advocating for your switch, you should be happy with whatever editor you choose, but, that feature is more wide-spread than people realize.

[1]: https://stackoverflow.com/questions/29953479/multiple-cursor...
[2]: https://atom.io/packages/multi-cursor
This is merely a way for him to demonstrate his design process on his own terms using a complex real-world project.

Sure, he might love to work at Ableton, but as a portfolio artifact this project may very well attract attention at other places which are interested in that kind of skill-set. I think that's really the intent rather than a single-minded, unsolicited appeal to just one employer.

Its not unprecedented. Googly-as-heck went much further [https://medium.com/@googleyasheck], spent 8-months publicly preparing for a google interview, blogged about it, then didn't get hired by Google. He instead got hired by Amazon. Not bad at all and not a waste of time-- though I bet it was hard for him to get rejected by his dream employer.
This College Alternative Only Makes Money If You Make a Salary
Mutt bg run:

https://www.mattcutts.com/blog/ppt-attachments-in-mutt/
I think the parent was referring to the fact that the numbering does not resemble any modern definition of binary --- there are 64 ways to arrange 6 2-stated things, but the I Ching numbering doesn't have any clear 32-16-8-4-2-1 (or other set of) weights to each "bit".
Yes, this kind of cancer is brutally fast.

My father died less than a year from the diagnosis. The only real symptoms appeared 2-3 months before doctors even considered cancer.

The tumor was sneakily sandwiched between different organs, on the tail of pancreas.

As far as I know (from Polish oncologists) it was basically undetectable early enough to fight successfully. And it was probably developing for 15-20 years before.

I would really love to be able to easily check my pancreas for any unhealthy changes as the inherited risk is pretty high.
Which theme? vscode has hundreds of themes, and most of them ported from sublime text or other editors. https://marketplace.visualstudio.com/search?target=VSCode&ca...
I can't edit my comment any more so I'll just throw another one here.

My criticism of `toArray()` is that it's making the rest of the code mostly useless. If you are just going to keep a traditional array around in a cache at all times, and you need to convert your underlying storage to that array any time you iterate then why not just use an array directly? It would be faster, have lower memory usage, and be simpler.

The whole point of using a typed array is to avoid the overhead of a normal array, and in your implementation you not only are using a normal array (and all of the downsides of it, larger memory footprint, slower iteration, the JIT still needs to box and check types, etc...), but you are also keeping a copy of that data in a buffer, as well as converting between the 2 quite frequently and inefficiently (your method to build the array in `toArray()` reads each word from the buffer 8 times and just shifts it around a bit each time).

It would be easier, faster, have lower memory usage, and simpler to understand to just replace this whole module with `const bitArray = [0, 1, 1, 0, 1, 1, 0, 0]` at any size, since that's basically what it's doing under the hood but with a lot more complexity and overhead.
The thing is, from the Snowden leaks, we _know_ that the NSA relies on being the most powerful hasher to identify people and things as they do. As I said, it's only a possibility that they could be actively trying to damper _consumer_ (not ASICs) SHA hash rates.

But it's unlikely. It's just a motive for them really.
That's essentially the basecamp's working schedule! 6 weeks of work, 1 week of tying loose ends and 8'th week sabbatical.
The Calibre Content Server
If I own a plastic company I can easily write an agreement where, for example, Widget Co. agrees to buy only my plastic for some price. Now imagine a state legislature came in and said that Widget Co. can't write that, that Widget Co. always has to be open to buying plastic from other companies and that when we spend a bunch of time negotiating price and writing a contract, Widget Co. can just run that to a competitor and write a new for one cent less. That's obviously infringing on my ability to write contracts.

But then we do that exact thing when the product is labor and not plastic. Your freedom of association is on the macro level, as in you can go from firm to firm to firm and if that firm requires you to join the union you just keep moving, same as if that firm pays a low wage or has no health insurance or anything else.
Wow, finally we have <input type=date> and <input type=time> in firefox. Thank you!
I've always wondered the same about iron ore, granite, marble etc.
Well that and what is the point if it were actually true?

The NSA oops dropped a ton of cyberweapons on the streets and they would have gotten away with it, if not for those meddling kids .. kims .. well. Of course not, some other meddling kids would have wreaked havoc abusing the dangerous tech they didn't secure.

Whose fault is this really?

The damage was done the moment they lost control of that software. It could have been North Korea, some criminal gang, scriptkiddies, another country ... and that's bad and they'd be bad. But if you're a country that got hit by this ransomware you're not thinking "ow darn those North Koreans at it again" you know very well it was the NSA's fuckup, and if it hadn't been NK, someone else would have caused a large amount of damage using that tech in one way or another. They've been warned about the dangers of their inability to keep cyberweapons secure for years.

Maybe from within the US for those who are somehow still rooting for the NSA, pointing fingers at one of the usual suspects is ... satisfying? But from outside it just looks childish. What I'm seeing is other people doing the cleanup, dealing with the aftermath, and what's the NSA doing? Fingerpointing. What does this gain anyone?
But how do you really know if the LHC works? You need people to communicate with each other.

And do you really expect politics to raise funds for such a project if nobody can explain to them what they are doing?
A MOOC is a massive online course, so why calling your service uMOOC if it provides 1:1 tutoring?
It is not a class, it focus on a single learner and it is not free (which is expected as well from MOOC, otherwise it is traditional remote education) so it seems very far from the spirit of MOOC.
The lion is not hunting the gazelle, he is stealing it from cheetahs. Cheetahs are not admiring gazelles- they are busy not overheating, and not getting speared with sabrelike horns on the head of the gazelle. Nobody is admiring the gazelle, except the gazelle.
It's a 52 minute video - maybe it's great, and given that it's been submitted here, that's at least some validation.

But 52 minute? No, I'm not going to invest that much time on something that might just be someone ranting about how bad things are.

If there was a transcript I could skim, or even read, things might be different. To me, the thing that's killing the web is videos like this. Unsearchable, unindexable, it's hard to see how it's making a real contribution to world knowledge.
Продается территория отдыха в Бектемире 350000 у.е
> for attachments we have a plethora of cloud hosting services that allow you to send a link instead of the entire attachment.

Is there an email client that, when you drag a file icon into the composition window, doesn't attach the file but instead uploads the file to cloud storage and inserts a link? Now that I think about it, that's basically what Apple Mail's Mail Drop feature does (file is uploaded to iCloud, I think on send, recipients don't have to use Apple Mail and the file only remains on the server 30 days).

Thinking about the usual steps to attach a file compared to including a link to a hosted file, I think the latter much more takes one mentally out of the composition mode to deal with the hosting/sharing; dragging in a file attachment

"I'm writing an email that references a file. I get out of email to find the file. I'm dragging the file into the message window. I'm sending the email, it seems like its taking longer to send because it's a large file attachment."

"I'm writing an email that references a file. I get out of email to find the file. I move (or copy) the file to my cloud storage place (Dropbox, Google Drive, etc.). I set the file to be shared. I copy the link to the file. I go back to my email and paste the link (or write some link text in HTML email and paste the URL). I'm sending the email."
flag as spam?
Tell that to a manatee! ;-)
Which Country Are International Airports In?
Maybe I'm becoming a bit of a killjoy, but I'd prefer stuff like this stayed on Reddit. HN feels like the last place around where interesting technical discussion happens and I'd love it to stay that way.
hehe xd
> Aren't nearly all markets regulated by Governments thanks to stuff like Laws?

In general you are of course right. However in economics we usually use 'regulation' as a short hand for laws that are not general laws but more specific.

In this discussion we were talking specifically about the regulation of competition. Specifically the believe that market automatically centralize and that the government is the only way to stop this.

I'm not trying to make a statement about anything else.

>
That seems to be a very simplified/unfavorable view on that argument. I'd say unregulated markets incentivize preventing competition.

I'm not sure what it means to 'prevent competition' in a free market? How would a company go about doing that? Buying all the places the competition wants to buy? Or what are you talking about.

The problem is that you think to prevent this you put into place 'good regulations'. The reality however it that its exactly these regulation that companies will then use to actually prevent competition. Preventing competition is only successful if the government is carrying the cost.

> And yes, we'll have to keep arguing about the "good vs bad" for each and every law. That's why I really don't get "there should be no law"-guys.

Again, I'm not against law. Not at all. I absolutely love the Common Law. Contracts and property rights enforcement are essential functions of governments in a capitalist system. What I object to is destructive top down regulations that companies can use and manipulate to their benefit.

Anti-Trust regulation is one such top down regulation. It has most of the time been used to restrict completion and go after efficient business in the of the losers of the competition. It the exact kind of thing that is so problematic with this top-down management approach. Companies no longer compete in the market for costumers but rather fight zero sum battles in court of to influence the regulatory agency.
> Creative Commons seems like a good license for this though

I don't think that CC licenses are a good fit for data collections in general. Let's see what other open data projects do:

Some open data projects were not satisfied with CC licenses, which is why ODbL was created:

https://opendatacommons.org/licenses/odbl/

Also, many open data projects choose to put their stuff into the public domain (or license it as "CC0" which means exactly the same). This is, for example, what Wikidata does:

https://www.wikidata.org/wiki/Wikidata:Main_Page

(Wikidata the structured sister project of Wikipedia.)
From a market perspective, there are really two distinct markets: temporary paper users (newspapers, mailers, the stuff you write your school papers on...) and archival paper users (eg libraries). For archival users, the biodegradability of paper is a bug, not a feature, even though for the bulk of overall paper users are probably the temporary users, and need to be able to compost or recycle your waste paper.

Imagine being able to drop your book in the bathtub and just shake it off; imagine future historians finding a thousand year old abandoned library in mint condition. A non-biodegradable paper wouldn't replace wood/rag pulp paper in any meaningful way, but it would have its uses.
Multi SSL Host with ELB
This app would let you get a chopper to escape a traffic jam
I'm guilty of the Lua feature, and even though it's only covering the existing muttrc API, it can already do quite a lot. The Lua feature is (not yet) turned on by default at compile time (and thus in systems distributions).

I'd be very happy to have more feedback and help to extend further that API and have some great scripts happening!
We don't need to make "terrorism" a special case. The number of deaths due to terrorist activity in the West amounts to a rounding error on the roster of ways people die. We already have the tools and means to deal with it, we just don't seem to be using them. We do, however, need to counter the effort of governments to use terrorism as a pretense for their attacks on civil liberties.

The response to terrorism seems to demand ever increasing surveillance, collaboration between tech companies and intelligence agencies to undermine user privacy, militarizing of police forces, limiting free speech and political expression, control of the media (including social media), extrajudicial detainment and murder on a global scale.

And yet, every time there is an attack, it seems there's a clear and obvious trail of evidence leading to the conspirators that was ignored, which could have been followed up on by existing methods.

Is it the case that terrorists are just that good or that governments are only pretending to fight them in order to justify authoritarian power grabs?