skysight-inc/HackerNews huggingface dataset:
I understood Haskell once I internalized the actual purpose of non-strict semantics.

Abstractly your program is a tree rooted at main. In a language like C you concentrate on building trees knowing that you are going to touch every node. So you are trying to design small trees that have good execution semantics as well as being correct in the problem solving domain. You have to address the problem at 2 levels. Because C is strict every function you call will be evaluated before it can return some result.

Haskell is different you can build any tree you like because a node will only be evaluated if its result is required for the current context. You are free to work with models of data like "the integers" or "all possible game states".

Concretely in C if you wanted to find the smallest positive integer that satisfies some property P you would write something like

for (int i=1; ; i++) if (P(i)) return i;

This is a single node in your program tree which modifies a variable until a condition is met.

In contrast in Haskell you might do something like

find P [1..]

I would interpret this as find operating on an infinite lazy tree and discarding the infinite tail list (which is an infinite computation) once the result is found.

Applying this simple example, in Haskell you aren't concern with limiting the shape of your program's tree. You build the correct model for your program regardless of constraints like infinite lists or terminating searches early. You just allow non-strict evaluation to process your input data because you will never have to strictly generate an infinite integer list before scanning it.

At root non-strict semantics is just a reversal of the order of reduction of expressions.
In the scenario I gave, the potential new employer did know about the non-compete and chose not to hire as a result--whether or not the non-compete would actually have applied. How did we know? We asked as I was asked when I was hired at that company.

That said, in lawsuits, lots of people and organizations tend to get sucked in whether they deserve to be or not. The bottom line is that non-competes have significant chilling effects whether or not lawsuits are ultimately filed.
I did some work in maize and other plants while I was in grad school and for a while afterwards. So I speak from intimate experience at a big school, with someone who had just left Monsanto and moved to academia.

There was a lot less careful balancing like you're talking about and a lot more "hey this could increase yields!" because in academia it's publish-or-perish. Things might have been better at Monsanto from a balancing perspective, but it may also have been just as yield-focused.

I'm not saying that NOBODY is trying to balance. But your statement that scientists know this and work on it was completely unqualified, making it sound like they ALL do. Anecdotally I'm not sure that's true.
Sensor to Detect Earth's Magnetic Field Discovered in an Animal for First Time
Anti-Uber Managed by Q's Approach to the Service Economy
Unity3d provides C# to JavaScript compiler

Unity3d does too many things (except new versions of C# :P) and ties to itself. There should be a direct C# -> WebAssembly compiler in future.
> his example numbering system had exceeded 22000

There was a lot of correspondence going around. In Carroll's time, good cities would deliver and pick up mail from your home four times a day. (And now plenty of people check their email less often.)
Time for China's own class of corporate criminals to get outta Dodge before the 粪 hits the 风扇. It's so much easier to cook the books when the economy is hot, but when money gets tight, there's no hiding place. I predict addresses of new US homes will contain at least one number 8.

Also, it helps America. The middle class can't buy homes any more, so it's nice we can import a new group of rich people. That way we can keep playing games in the real estate and mortgage markets.
yes[0], the author mentions "first fit" which presumably is "first fit decreasing" which is one of those.
His approach was, from what I understand, to try a few approximate techniques and choose the best result without trying to run an exact algorithm with unbounded time.

[0] https://en.wikipedia.org/wiki/Bin_packing_problem#Analysis_o...
The important thing (for retrogeeks like me) is that http://sourceforge.net/projects/cdesktopenv/ is not doing anything particularly evil.
6 tips for teaching kids to code
The YubiKey does support the OATH-event based OTPs as described above, but the Yubico OTP takes advantage of the fact users do not need to type in anything to make the OTPs longer and more secure.

Each Yubico OTP has a plain text public ID as the first 12 characters of the OTP. This is used to identify the YubiKey which generated the OTP without having to perform any OTP processing. The remaining 32 characters of the OTP are an AES-128 bit encrypted hash. This hash is made of the Private ID, a string known only to the YubiKey and Authentication server, to further validate the OTP.

In addition to the Private ID, the OTP also contains counters tracking how many times the YubiKey has been power cycled (usage) and how many OTP events it has preformed since it's last power on (session). These counter values are stored in the authentication server and checked for each OTP. If the usage counter is less than the value on the server, or if the session counter is less than or equal to the value on the server, the OTP is rejected as a replay attack.

This means the YubiKey OTP will not get out of sync with the validation server, as well as adding additional randomness to the OTPs generated.
I'll give you an example by posting in exactly the same way I always do.

When I was in church I heard a sermon that stated that teachers are held to a high accountability level than others, because their words have a great affect on all the people listening to them.

I agree with that notion and think that authors of content should be especially careful not to give out misinformation, and more deeply that they should not spin information to such an extent that it is attempting to manipulate the feelings of others to some end ( often personal ).

I react to articles I see to have a counterpoint to whatever spin exists. The point is to bring some semblance of balance to the discussion rather than having it be one sided.

Another thing is the word 'nice'. The definition of the word 'nice' is basically to be ignorant. It is pleasing to people if you are ignorant and just accept whatever they say. I don't believe in being nice; I think it is detrimental to the community and society in the long run.

If people cannot take the heat of criticism then I don't think they should be spending hours creating articles aimed at a group that contains people who do not agree with what they have to say.
You are, presumably, already a developer, so you already understand nesting.
Perhaps a better example that a beginner could find quite reasonable after learning about start and end tags:

<u>Underlined. <b>Bold and underlined.</u> Bold only.</b>

Why shouldn't that work?
if you goto chrome://settings/content it appears you can disable mic + camera access for all pages
I get the sentiment (they should have tested more thoroughly), but I for one appreciate the on-demand update mechanism. Would you rather play a game with previously unknown bugs, or have them smashed on launch day and get a patch to make your experience more stable?
Meditation: Using selective attention to tune parameters of a neural network, aiming at optimizing.
Or they are hoping that the company will IPO one day and be worth 100+ billion in which case they will have quadrupled their money.
> Natural simply means 'existing in nature'

It took me 15 seconds to find a dictionary entry with seven different definitions for the word. But thank you for your valuable contribution.

> But implying that something that is natural (ie, not borne of human activity, per your usage) is by definition good is fallacy.

But as a heuristic it's probably not terrible. The paleo diet people have some strange ideas but the diet itself is really not bad. Veganism as a heart healthy diet is playing out well for a lot of people. And so on.
The story of how Mew (Pokemon) came to be is also pretty interesting. From memory: when they were getting close to shipping, they had a completely full cart (only one or two bytes to spare). They removed all of the debugging stuff, which freed up enough space for a new Pokemon to be defined. A programmer secretly added Mew right before they shipped, and Nintendo didn't find out until a couple of weeks later.
Yes, but approximate algorithms for NP-hard problems hadn't been as thoroughly studied back then -- this was 1996, after all -- and even if I'd had the appropriate papers at hand, I probably wouldn't have invested the effort to implement anything complicated. There was just simply too much to do in too little time. The simple approximation using greedy packing did pretty well in practice; I'm sure how close that comes to optimal is well understood by now.
Poor Pope, seduced by secularists into destroying his Church from within.
As a former Rocket employee who came from gleaming big corp, I used to think that, but later realized that the slightly more aggressive, chaotic culture was fairly typical of the startup world. Big companies have had the resources and time to iron out HR and management issues over their half century of existence...

When you look at it more closely, the Samwers have effectively managed to reallocate billions of dollars into startups all over the world in places where raising money, or working for a startup, was practically impossible. Remember the second largest location for venture capital funding, the UK, only receives about 1/20th as much as the Bay Area alone.

The more mature Rocket companies (btw Zalando isn't, strictly, a Rocket company - it had a distinct set of actual founders) are now pretty desirable employers in their respective countries, and deliver relatively good customer service, certainly better than many much bigger and more resourced companies, and usually crushing the non-existent, overwhelmed service you can expect in most emerging markets. Is the backend a little messy and "move fast and break things", sure, but I was surprised by how BAD most backends actually were in the business world period, and the codebases I had a look into were, by those standards, alright (for example: enforcing foreign keys! a luxury in the Era of Mongo and "logic is in the ORM"). What about the warehouses? Perhaps not quite Amazon, but definitely a huge step up from the average e-commerce startup. At least you know where your inventory is, you're not somehow missing 3%.

Yes, Berlin can be a bit abrasive on egos. I left in part because of that, or at least it tipped me over the edge of setting up my own thing after dealing with one too many fake-angry German (hi H!). But with a bit of time and distance I really appreciate what the Samwers tried to do, and there's definitely a lot of founders who got their "change in life" thanks to a few months/years in a Rocket company, making their mistakes at someone else's expense.

It's also quite impressive that Oli is still as hands on as he is, very numbers driven despite flying continuously around the world, spending less than a day in each business yet knowing their numbers better than their managers. I think the tone of the email, and his motivational speeches, is taken out of context; also, the "vision" is, when you strip the hyperbole away (in Australia: "I do not want to be before the wave, or after the wave, I want to surf the wave"), relatively accurate. By modern and especially American standards, he's quite a polite fellow if demanding.
"That's false. I think you are mistaken about what an H1-B visa is:"

No, you do not understand the H-1B http://www.dol.gov/whd/immigration/h1b.htm

"The intent of the H-1B provisions is to help employers who cannot otherwise obtain needed business skills and abilities from the U.S. workforce by authorizing the temporary employment of qualified individuals who are not otherwise authorized to work in the United States."

You looked at only the foreign worker part and not the American company part.
... that you can notice ;)
Any discussion about TDD requires a link to Rich Hickey's Hammock-Driven Development talk: https://www.youtube.com/watch?v=f84n5oFoZBct

The important thing that TDD or any other software design methodology is trying to accomplish is getting you to think about the design of your programs. However you want to accomplish that is fine as long as you take some time before you open your editor and think before you start writing code. It doesn't necessarily have to be TDD.
Service to run production apps in Docker
This is why we see all these Early Access games that run like garbage. They are still in the develop new features and fix bugs phase, and have not yet gotten to the optimization/strip out debug code phase.
> In what possible way is Apple's success with their proprietary code and processes exaggerated? [...] facts are facts - Apple has been wildly successful in profitability, largely because of their proprietary ability to design great holistic user experiences that people like to use.

You won't find anything in the comment you're responding to that says anything contrary to what you've written here. You're reframing the argument into something that it is not. No one is talking about whether or not Apple is successful.
Try a rewrite at a company with more than 100 employees... cf http://www.joelonsoftware.com/articles/fog0000000069.html
Is-negative
Is quicker to ask a human but you can also use fishbase. What fish do you want to identify?
I had a job interview at Zalando a while ago, and apart from the huge bunch of bananas at the entrance to the developer's den, the one thing I remember most about was the fact that apparently they're using stored procedures for basically any database transaction.

Which is probably a more unorthodox use of databases these days, at least for Postgres (I've heard it was more common for SQL Server and I once had the questionable joy of debugging a petri net solver in Oracle).
Ask HN: Has political correctness in tech gone too far?
It feels as if there is a mob of silent assassins lurking on twitter and media outlets looking to out anyone who says anything that isn't glowingly politically correct.

They are sort of like "political trackers", except they are targeting mostly white, male programmers - but in reality - anyone who disagrees with their narrative (whatever it is) is a heretic.

I find it offensive that there are claims of sexism in OSS and tech. Codes of conduct. I feel like I can't give an opinion, or even make a mistake speaking without being stared down or ruining my career.

I don't want to be politically correct. But it looks like they only way to survive is to be that.

Am I the only one who feels like outsiders are assaulting tech for their own selfish agenda, and we were already diverse by design decades ago?
Antimony is a CAD tool from a parallel universe
it can be a nightmare but I did extract some small features from gmail... they minify names and things like that but they also add bloat in their obfuscation process. But I still think that a binary web would be a step backward.
Exactly. You said it better than I. :)
Java has survived these 3 points. I think that Java is an excellent language that is dying because Oracle has not handled correctly security issues and because Oracle has a very bad reputation.

Security ought to be the strong point of Java, not its weak point.
Blocked for me when using Chrome Versjon 42.0.2311.90 on Windows 7.
YouTube Launches YouTube Newswire,A Channel Featuring Verified Eyewitness Videos
Wienerbrødsdej – Puff pastry for Danish pastries
5% AND $1k/month?

Doesn't make sense. I also envision if you refused - he'll retaliate with exhorbitant fee for past, unpaid services to make you "change your mind".

Let him know that you need to think about, clear all bills with him and then fire him.

Someone needs to go back to school to learn a few lessons.
I wonder if European Commission would be interested in adding this to their investigation, couple of hundred million dollars should be enough penalty for violating users privacy.
My point was that, eventually, it won't even be a web frontend. They'll just get the web browser out of the equation. Of course, a web "widget" is still going to be there, it just won't be a program you open.

I do believe Java failed mostly due to politics -- and more precisely, due to this:

> browser vendors (especially microsoft) were against java becoming the dominating platform

Everyone agreed, in principle, that a portable, high-performance VM was what we needed. The problem was that every vendor insisted it had to be theirs, while ever so slightly sabotaging other vendors.

In the meantime, they all had to provide a working web browser.
Which is no longer an option.
KontactMagic: Find almost anyones email address is now live
So I have Chrome installed (although I don't use it as my primary) and I checked...

NaCl Enabled	Yes
Microphone	Yes
Audio Capture Allowed	Yes

In Settings my 'Ok Google' is (and was) unchecked. What gives?
I'd rather play a game that, if I should want to play it 20 years from now and there are no update servers - which I do still do with my old consoles - I can pop it in and not worry about bugs I have to figure out how to get patched. Games will inevitably have bugs, but developers have become too reliant on the update mechanisms and games have shipped completely busted.
First one? Probably. If it happened twice or thrice within a few hours, I would start being suspicious and reach for a backup. But maybe, I'm too paranoid.
6 ways to formalize and enforce code reviews
Disney reportedly cancelling layoffs and suspending H1B worker training
It is both good and bad. It allows delivery of critical fixes and new content, but it also decreases the demand for code quality from the start as well as increasing DLC. The bigger issue though is for the people who can't get it, like those whose only options for internet are dail up or satellite (with a 5GB per month limit). Sadly the market doesn't care about this small group enough to matter and we get left behind.

But, even with having a worse experience than a day 1 patch (that being unable to get the day 1 patch because it is 10GB and you only have 5GB for everything for a month), I wouldn't call it the worse thing ever to happen to game development.
Am I misguided to think that strict / lazy has some relation between push / pull effects in other systems (GUI, parsing) ?

Beautiful comment btw.
I bet this is for something else, probably html5, just like Flash has mic/camera access permissions.
Product Hunt, the Startup Kingmaker, Faces Charges of Elitism
I was just looking into U-Block. What's better to use: U-Block or U-Block Origin?
Unfortunately many of the the really nice things about working in Objective-C and Swift are actually parts of Cocoa. I imagine the language will feel a bit like you're in a straight jacket without them.
You know what. I think you're right. It's not overly pedantic to say that the article shouldn't use SQL to mean RDBS – or RDBMS, as I see it more commonly.

My comment was specifically in response to your approach, not your overall point:
> What does that even mean? SQL is a wire protocol for relational queries.

First, if we're being pedantic, I disagree with your usage of "wire protocol" to describe the SQL language, but I get what you're saying. What I was trying to comment on was your feigned confusion. It was perfectly clear to me what the author meant by "SQL" in the context of the article, and I think you understood too.

If you had said something like, "SQL is a language and bad term to describe Relational Database Management Systems (RDBMS), which is what the author really meant," I wouldn't have commented. I probably would have upvoted actually, because I agree.

Anyway, not a big deal, I don't think we're in conflict with the substance of your point, just how you chose to express it in this one example. Have a great day. :)
Actually you have `npm run named-command` too so you could get a go like thing going.
> Everything I've seen seems so "In my experience..." as opposed to a formal proof.

The scientific method is ill-equipped to formally prove a generalized theory of software development. There are too many significant variables at play; too many equations to solve. We are left with little but "In my experience..." to guide us (as well as local experimentation, where science can actually be of some help).
But what are they marketing? It isn't just their characters and movies. Disney is huge and the majority of it heavily relies on technology of many types, including their marketing. I would say they don't have a single core competency, it is a multi-faceted company.
I'd suggest reading the book Clean Code, for some insight on how to write, well clean code ;)

Chapter 2 covers naming conventions

Also note that conventions are different for different languages.

You can also look up the Google style guides for Java, Python, etc...
I get a 404 when I try that link, as well as one from a cousin comment: http://sourceforge.net/projects/cdesktopenv/

Wonder what's up with that?
Yeah i thought about that too. My PC already had 8GB of RAM in 2009 and even today that is still totally fine for most games.
However, consoles usually share RAM between GPU and CPU though and high end PC GPUs today have up to 8GB of VRAM which will only increase once 4K content becomes more common place, so something like 64GB shared RAM for a supposed PS5 does not sound so outlandish as it may seem at first glance.
It might not be that much of a runway. I'm not sure how many employees Uber has but Crunchbase says between 1k and 5k. If that is close to the top estimate and their cost per employee is near 200k then a billion dollars may end up being less than a year of runway when you factor in marketing costs and anything else.
Thats like trying to say emacs is easier than eclipse. Sure it may be more efficient once you are used to it, but its not more intuitive.
You (or your friend) might appreciate this piece, by Greg Baugues, on delayed bonding: http://baugues.com/bonding
These concerns are back for VR. Also, remember that Crash Bandicoot was made at a time when devs weren't sure how mouse-look should work.
Maine is the closest point to Africa from the US

Lobstah + African Nightshade
I have the exact same settings in chrome://voicesearch/ as nakedrobot2 but my "Ok Google" setting was already off.

From chrome://voicesearch/:

NaCl Enabled	Yes

Microphone	Yes

Audio Capture Allowed	Yes

From chrome://settings/ under the Search heading, "Enable 'Ok Google' to start a voice search" is unchecked and has always been unchecked.
Except that almost the entirety of the theme parks are run by technology to rival any other part of the company.
Is-postive – The most pointless NPM repository
Be – directory and environment management for collaborative creative projects
I will wait 24 hours before responding to your comment in the way I initially intended to.
Efficiency and ease of debugging? Just because it's possible to transpile to JS doesn't mean the resulting code will be fast/responsive or easy to debug. Which in turn means it won't be used for significant projects.
Yep -
http://www.nintendo.co.uk/NOE/en_GB/news/iwata/iwata_asks_-_...
Has anyone seen an explanation for the why the images end up with that colour palette?
Finally good coffee in France