skysight-inc/HackerNews huggingface dataset:
Just out of curiosity, is there a particular reason why some people refer to lambda calculus with a definite article?

My professor in CS Theory would refer to it as "the" lambda calculus, but another professor I had chose not to (I call it "lambda calculus").

This is totally trivial, I'm just wondering if there's a reason why you, or some people, say "the" lambda calculus.
> it's just a formula. I also know it doesn't do any logging, or "launch nukes", and that it is thread safe.

So the type claims. Without looking at the implementation or using `-XSafeHaskell`, you don't know if there's an `unsafePerformIO` call lurking.

/pedantry
A Physicist of Online Groceries
I did something like this myself:

https://github.com/danielvarga/string-art

My algorithm uses a bit fancier math: I reformulate the approximation problem as a sparse least squares problem over positive integers, solve the relaxation, and truncate and quantize the solution. It works quite well in practice, check out the images.
Citizens United was not about campaign contributions. It was about whether or not a corporation could use its funds to create materials denouncing (or praising) a candidate for office.

Summary: http://www.scotusblog.com/case-files/cases/citizens-united-v...

Full 183 page opinion: https://www.supremecourt.gov/opinions/09pdf/08-205.pdf
how about an HG private repo?
My biggest complaint about AWS is still EBS and having to guess about for the right provisioned IOPS. Throw in confusing extras like EBS optimized instances, enhanced networking. GCE just abstracts away all these details.
Looking forward to the day Google Cloud provides on-demand GPU-backed machines. Currently AWS is the only game in town for that, as far as I know.
The article provides basically two counterarguments to terraforming Mars, derived from a foundation of Aristotle's virtue ethics.

Argument one: terraforming Mars would destroy its beauty.

Argument two: terraforming Mars would demonstrate hubris.

Let's break these out.

Argument One

P1) Terraforming Mars would destroy its beauty.

P2) One should not destroy beauty.

C) Therefore, we should not terraform Mars.

P1 is loaded with some questionable assumptions. Namely, that a terraformed Mars would not be beautiful. Or that shifting a thing from one type of beauty to another creates a loss that is incommensurate with any benefit from that shift.

I personally find technology very beautiful. So when people attack wind farms as "ruining" the landscape, I just scratch my head, because I find them awe inspiring, like a cathedral.

We all know there's no accounting for taste. So we should be wary of someone claiming aesthetic appeal to hijack an argument. Anyone can say they find what another person is doing "ugly" to claim they should stop. That goes both ways. I can claim that argument style is ugly, because it creates an irrebuttable nuclear option that sabotages coherent debate. So if you stand by the principle of avoiding things just because one person claims they're ugly, then avoid that argument. If you don't stand by that principle, then don't argue ethics derived from your personal aesthetics.

The second argument is about hubris.

The problem with hubris though is there is a fine line between trying something hard out of ego, and trying something hard because you want to strive for something better. There's an element of hubris in all major human endeavors. It's hubristic to try to eliminate malaria. It was hubristic to go to the moon in the first place. There's no way to sort bold worthy projects from bold unworthy ones.

In defense of the hubris argument, it is important to admit the limits of our knowledge, and the high possibility of failure. Maybe a lighter gravity and lack of a magnetic sphere will lead to bizarre results from any attempt to terraform the planet, and likely not leave it any more habitable.

That's exactly why we should try to find out. We have a planet that is n of 1 right now, it's the limits of our knowledge that would inspire us to learn more from Mars. Terraforming Mars is driven not by our ego, but by our insecurities.
Isn't the Jedi's goal only to bring "balance to the force"?

So their mission isn't to "do good", but more like "not let there be any bigger evil than what already existed" (that would break the equilibrium of forces). At least that seemed to be the theory. In practice, they were mostly law enforcement agents of the Republic, until the republic turned into an "evil empire".
> Someone could be a 4th standard deviation genius

What does this mean? I am not familiar with that. Is that related with IQ or some other metrics?

I googled 4th standard deviation, and it pointed me to Wikipedia article
https://en.wikipedia.org/wiki/68%E2%80%9395%E2%80%9399.7_rul...
Reading that article, I am still not sure what "4th standard deviation genius" means - does that mean "1 in 15787" of people based on some intelligence metrics?
Indeed, one could hope that is the case! :-)

But my point with suggesting the macro applies equally to the more traditional sizeof division. I have seen code that divides the two sizeofs every time an array length is needed. I think it's better to put that calculation in a macro so you only do it in one place.
cool! tell us more...
this is undefined behavior. &arr + 1 can overflow

No. From 6.5.6 Additive operators:

7 For the purposes of these operators, a pointer to an object that is not an element of an array behaves the same as a pointer to the first element of an array of length one with the type of the object as its element type.

8 [...] if the expression P points to the last
element of an array object, the expression (P)+1 points one past the last element of the
array object [...] If both the pointer
operand and the result point to elements of the same array object, or one past the last
element of the array object, the evaluation shall not produce an overflow; otherwise, the
behavior is undefined. If the result points one past the last element of the array object, it
shall not be used as the operand of a unary * operator that is evaluated.

So &arr + 2 can overflow, and &arr + 1 cannot be dereferenced, but &arr + 1 shall not overflow and is not undefined behaviour.
Hi. Thanks for the article! Perhaps I missed it, but I'm wondering why you had to deal with daylight savings at all. Isn't all the time data involved here either UTC or GPS?
It shouldn't copy anything - I'd expect it to be optimized to not allocate any memory at all.
FreeDOS 1.2 Official Release
Where exactly are you from? Are you in Eastern Europe by any chance?
> We're running on average around 25k servers a day

25k number of servers or its the cost of the servers ?
Twitter and PayPal in front of Microsoft? That has to be a joke, or calculated in some way.

I understand if he doesn't want to include them in the "gang of 4" for some reason, but trying to shoehorn PayPal or Twitter in front of Microsoft on almost any list is ridiculous...
> After using the language for two years I find that the types are actually enough to understand a new library, however, am taking for granted that it's an acquired skill.

I think this overstating it, unfortunately. I'm an intermediate Haskeller, and when I tried to use `hasql`, I found the lack of documentation to slow me down.

It's a testament to the power of types as documentation that I was able to use it at all, but examples and simple cookbook-style "Here's how you do this thing" or "Here's how you use this component" or "You can't do this because the interface doesn't allow it; here's why" would have sped up my acquisition of the library immensely.
My mistake I meant to also include McCutcheon v. FEC in my comment. Citizens United only got that ball rolling.
If you want to come visit China and learn here, get in touch. Incidentally we are working on a noodle-related startup!
My Nexus 5X has asked me a few times if I'd like to unlock it with my voice, so it seems like they've got it working to some extent.

I think that beyond the security concerns, it will be really useful when you share the assistant, so that it can have the proper context for recommendations, calendar info, etc.
> please encapsulate the logic in a macro.

Why?

When reading such code, it means I would have to go and lookup a macro definition. So, there's a clear drawback. What's the benefit that makes it worthwhile?
I go with the interruption :) if the employer doesn't care why should I?
If these people's personal statements reflected their true intentions for what they want to do with their Stanford education after they graduated, they wouldn't have gotten in regardless of how good their grades, test scores, and extracurriculars were. Stanford isn't for these people. They could just have gone to some other university, still achieved their personal goals, and made room for people who really mean it when they say they want to make a mark on the world.
Appreciate the corrections from both of you.
A more detailed article here: http://www.g-truc.net/post-0708.html

with a cleaner way to do _countof using a template in C++ 11.

You can also use the template technique to pass a fixed size array to a function, and have the function determine the array size (without needing a 2nd length param, or null terminator element). Similar to strcpy_s(): http://stackoverflow.com/questions/23307268/how-does-strcpy-...

MSVC has a built in _countof: http://stackoverflow.com/questions/4415530/equivalents-to-ms...
Good point! I edited my comment to say "one of".
Right. But std with musl is already available from the project; this is mostly about rustc.
You've been on here 4 years and are surprised at the top comments criticizing the content of a post? :)

There's a reason this meme exists: http://i.imgur.com/Z6pFTjj.jpg
Where are we on the actual math of solar power?
I've seen several articles and threads lately that make claims of solar energy matching or surpassing that of more traditional (coal, gas) energy.

What's the "simple verdict" on it--is there simple math?
as i understand it, the growing opinion of toxicologists (who, if drug use comes up in court, are the ones who get to have expert opinions on what drugs do), is that the delta-9-THC can cause short term psychosis. on the other hand, CBD prevents it (and has most of the non-recreational benefits of the plant). further, THC and CBD levels can vary dramatically by strain.

in this study, they do claim to measure THC concentration, but don't measure or talk about CBD, and have a sample size of 17.

there's stuff going on that needs to be studied, but this study isn't contributing anything useful.
What Shape Is the Universe?
2011. Would be nice to know before reading.
Number of servers
why is it so applauded that privileged women do well. Look at these people, from the most privileged backgrounds possible who worked at places like Mckinsey. Yet because they are women we somehow pretend they had it hard. Give us a list of people who aren't from the most privileged backgrounds possible, regardless of gender or race.
Coming early 2017: https://cloud.google.com/gpu/
EEVblog Channel: How Much I Make on YouTube REVEALED
Five Mostly StackExchange Links to Bookmark Right Now
The SSD as a boot drive will require an OS reinstall anyway though.
The parallel example will definitely not work as you expect, and will likely result in most duplicate lines still being present. When using --pipe this way, if you don't declare --block to be the size of the file (in which case there's no benefit to using parallel), each parallel execution will be run on a separate 1MB (default --block size) chunk of the file before outputting results all separately, then together in a single group (stdout), to the output file.

If you're looking to spread work across CPUs and correctly get the desired output, I'd do something like:

parallel -a input.txt --pipepart mawk \'\!a[\$0]++\' | mawk '!a[$0]++' > output.txt

I used mawk because it is typically much more performant on large files.
Wow, your bill must be gigantic.
I lookup your list due to curiosity.

So far I am on the third one, and I learned few thing from it: https://www.youtube.com/watch?v=-pKR212H5vQ

#1 Y Combinator hosted a Female only founder conferences in the year of 2015. Where is the Male only founder conference?

#2 She explain why her spirit animal is a beaver in the video 23:13. Later she explained how a small honey beaver can take down the lion king. The method is "run between it's leg, and bite it in its balls."
How likely do you run into array bigger than 2gb?
I always short-circuit McLuhan, 'the medium is the message' at its logical extreme really means that... the message is McLuhan, the concerted pr campaign described in this article would back this up.
I tried to use mitmproxy to fiddle around with ad requests a while back and found it really hard to get good performance from it. All I wanted to do was find all responses that looked like XML (regardless of headers) and do some simple replacements. Even after fiddling with settings to make it not buffer large responses it was still slow enough that it really affected my general web browsing through it. I ended up using Fiddler instead, and found the performance much better right out of the gate. Which is unfortunate since I can't really share Fiddler scripts with people on osx/linux.
I'm not sure if it's a praise for C though. Arcane design and lack of clarity might be fun to decipher, but it's not something that you'd want to see in the programming language.
But arr != &arr even though they have the same value. #8 applies to arr (P), but in the post OP is using &arr which is a ptr to array[x] and doesn't apply to it.
So already stated that the person could have given his own contact list to facebook, but also the opposite. The surgeon could have given his contact list to facebook and figures if person X has me in their contact list, I must know them.

Lesson: give facebook a throwaway email and phone number if you can, if you really do not want this to happen. Also only browse facebook in incognito mode.
Fantastic post! I learned a whole lot by reading this.

You also have access to some very nice milling and 3d printing equipment. That is one beautifully designed and soldered PCB.
I have serious trust issues with Google. Their history of discontinuing services, dismal support (even for a paid service), and neglect of bugs in SDKs/APIs - all three of which I have experienced first-hand - has left a long-term bitter taste. No doubt some individuals are fantastic, but the organisation as a whole gives me an enduring impression of being systematically arrogant and aloof.

AWS by contrast have demonstrated fanatically helpful support (even on business level, the cheapest), fixing issues within days of reporting, and a willingness to maintain obsolete/deprecated services (like SimpleDB) long after I'm sure they'd wish everyone had migrated away.
"Error establishing a database connection"

Looks like HN traffic took it down. Here's Google's cached verson (Archive.org didn't have it): https://webcache.googleusercontent.com/search?q=cache:cC67C6...
Looks promising but it would be useful . One of the problems with hardware hacking in the US is the demise of local shops like Radio Shack that sold components. It can be very intimidating to order a few parts from the big sellers like Mouser and Arrow. There are a few places that sell kits but a subscription could be a nice present for a kid. Consider advertising in senior oriented magazines since grandparents might be the main buyers for this.
Apparently, it's coming soon to GCP.
IIRC it is canonically called NELEMS(a).
This is cool!

Have you given any thought towards building a home GPS powered NTP server? That would be a cool variant on your project.
Minor correction: LaVoy Finicum had foster children, not the Bundys.
There's a USB adapter and software that lets you transfer files/scripts to and from the calculator. You can also record data over that port as well.
You have to make a rule, see

https://awesomewm.org/apidoc/classes/client.html#client.type
https://awesomewm.org/apidoc/classes/client.html#client.floa...
https://awesomewm.org/apidoc/libraries/awful.rules.html
Wut? searches mental database for any trace of right-wing egalitarians... You must be thinking of... Nietzsche? Definitely not Nietzsche. Maistre? Mmm... no. Can't be Maistre. Bonald? Filmer? Okay, you win, I give up.

In case you're wondering how this plays out in practice:

http://www1.udel.edu/educ/gottfredson/reprints/2009academicf...
Sounds like there's a lot of money in DMCA take downs.
(like I said elsewhere, I'm a beginner, so I might be over-euphorical about controversial ideas. Also I don't in any way propose working only with type definitions instead of prosa documentation, however I think type definitions can go a long way to introduce the basic operations to the user)

In this case, I'd try something like this:

words :: Sentence -> [Word]

(Sentence and Word being aliases for String)

A function named `words` with `Sentence` as a parameter implies a common-sense do-what-I-mean function, like breaking on all sensible whitespace. With common sense in play, it's your task to make the function behave like people expect it to (which differs per person of course). If you choose not to, don't write `words`, write a `split` with a parameter for character classes (or indeed a boolean function working on a character) the split should be performed on.

(PS. I assume you are implicitely critisizing Prelude's `words`, which breaks on anything that's `isSpace`, which is explicitely defined. Its definition is way out of my competence, there are probably good reasons for not including thin spaces. If not, they could probably get included with a due process -- with common sense, it's always an iterative process till it's done)
Calculus, Statics, Machine learning, Economics courses in coursera. Being more helpful to colleagues. More exercise. Less browsing. Less junk food. More water. Mastery over profiling tools. Understanding how floating points work. Working out the floating point exercises to make sure i had understood. Learn to form sentences without using "I".
Good question. I think it's just an oddity/ambiguity of English (and other languages as well, I'm sure). I know that calculus (with derivatives and integrals) has been called "the calculus" in the past. I mostly just say "the lambda calculus" because that's what I've heard.

Another way that it seems consistent in my mind is that there are many calculi (systems for computing things) out there, and the lambda calculus is one particular calculus that uses lambda expressions as the building block. The pi calculus is another example. The "the" feels a little more appropriate when "lambda" is seen as a modifier specifying which calculus I'm referring to.

In other cases, I'll drop the "the", though. For example, I might say "There are three types of lambda calculus expressions.".
YouTube red support seems excellent (the one time I used it).

And my father asked support for help with his Google Home routers with a very specific question and support was absolutely phenomenal. No going through lame troubleshooting steps; it was clear we got connected with a well qualified network engineer immediately.
Well, it's not small, but definitely not that crazy. We're running an immutable infrastructure and the majority of the servers are a "cattle".

To be more specific, we redeploy servers from images instead of replacing just the code. The majority of servers (99.9%) is preemptible (meaning that they will be deleted every 24 hours) and thus we get a huge discount. Also our whole communication is through pubsub so the servers don't communicate directly between each other.

Thanks to all these optimizations, we run only what we need at any given time, which keeps the cost low. It's still much larger that anything I've ever expected, but I'm still trying to convince myself that this is the sign of success.
I found burps active scanning feature in the pro version insanely valuable. So far it has found blind SQL injections, numerous xss vulns, command injection and even XXE. I think it's very hard to script such a comprehensive feature into mitmproxy (that is burp pro with collaborator servers).

Still if you're comparing the free version of burp with mitmproxy they do seem very similar. I wouldn't know for sure since I've never used mitmproxy.
Why I'm not disappointed by new Macbook
I had also gotten absolutely swamped in Google Analytics with things like:

Language:
Secret.ɢoogle.com You are invited! Enter only with this ticket URL. Copy it. Vote for Trump!
o-o-8-o-o.com search shell is much better than google!
Vitaly rules google *:｡゜ﾟ･*ヽ(^ᴗ^)ﾉ*･゜ﾟ｡:* ¯\_(ツ)_/¯(ಠ益ಠ)(ಥ‿ಥ)(ʘ‿ʘ)ლ(ಠ_ಠლ)( ͡° ͜ʖ ͡°)ヽ(ﾟДﾟ)ﾉʕ•̫͡•ʔᶘ ᵒᴥᵒᶅ(=^ ^=)oO
Google officially recommends o-o-8-o-o.com search shell!

However, I recently applied the following account level filter and seems to have helped a ton. I can't guarantee this will 100% work, but it has certainly helped.

http://imgur.com/a/z9gSg

EDIT: Here is the regex so you can copy and paste it:

\s[^\s]*\s|.{15,}|\.|,
We don't do takedown. We do this https://blog.pex.com/the-daily-wars-of-online-video-platform...
I don't think this is illegal. What is the clause in the spec that allows &arr[1]? I would try and see if it also applies to (&arr)[1].
Doesn't every language turns into insanity to decipher once you look close enough?
I feel like machine learning needs more content like this. Practical application of all ML techniques with code samples but more importantly real source data, data manipulation and a firm understanding of the desired output.
Wouldn't it be relatively easy to patch it to load settings from an ini file?
Probably not very likely, but keep in mind that this method could also be used without actually allocating the array -- akin to the 'offsetof()' macro. (Which is undefined behavior.)
Let's put it this way. A startup that insists every one of its developers touching ML has a sound basis in fundamental theory is going to get left in the dust.

Anyone who wants to be the guy/gal who understands the fundamentals will be valuable. But we don't need everyone trying to be that person. And most wouldn't be successful, though they'd be successful as the guy/gal who does other stuff.
>Where is the Male only founder conference?

TechCrunch Disrupt?

[0] http://www.businessinsider.com/hbos-silicon-valley-had-diver...
Oddly, I live in Saskatchewan and was just seriously considering doing the same thing. Have a happy New Year!
Because of speed of light/latency issues, I won't move to GCP until they have an RDS-postgres equivalent
I always feel sad when I see these lists. I've always heard once we have female founders then we will see companies that are useful to women. But all those companies looks so useless to me. I think the problem is that they're targeted toward rich women. I hope someday people will create companies for poor women.
It won't take too much to feel confident soldering. Watch a few videos, do some intentional practice, and you'll be good in no time. I just kept building projects and I'm fine now.
The FAQ says that soldering is required on all projects. Online instruction is given etc.
Was anyone else's first thought "Hmm... cool," followed by "I hope nobody asks me this on an interview?"
Was just thinking today of how to get started with hardware as a software engineer. Signing up now. Quick conversion suggestions - show real people on the landing page, show pictures of the real product.
Linkedin knows some guy I went on vacation with over a decade ago. Linkedin keeps bringing him up. I only met him once, nearly 15 years ago, and we didn't keep in touch.