skysight-inc/HackerNews huggingface dataset:
once you end up with a typeclass and associate the methods the unpacking goes away and you're just working in a context parameterized by some typeclass. i expressed it via that route to help make the connection to modules more clear. (there are occasions when you don't take that last step too, which is why i also sort of pointed towards that route). lennart's post shows an example where this sort of falls down -- but the followup also shows a nice haskelly solution that works, mainly, except when we want to intermix. he also suggests explicit type arguments as a way to make things nicer -- those have now landed in GHC :-)

the other relevant work in a broader sense that I should mention is regarding effectful contexts where idiomatically you declare a subclass of monad with the relevant operations, then instantiate it via the mtl or some other means, so you can swap out the IO backed "real" one or various harnesses or add in logging layers, etc.

finally, i guess i should add that as a rule of thumb i've noticed that purity and laziness both help provide ways to give "modular separation of concerns" directly. in particular, the most obvious thing we can do is just have each function do one thing to a bit of data, and produce a different bit of data and that's innately modular. but when we're interleaving IO (for example with mutable datastructures) and concerned with _when_ computation happens (in a strict setting), then it feels we're paying for this too much because we get big intermediate structures. but if you get the knack of just using pure lazy structures directly, you can sort of "amortize out" the computation cost in a nice way and also the space cost (as conceptually some big data structures become produced "on demand"). of course if you get it wrong, blammo :-)
Somewhat. Dependency deduction is relatively small.
> you know there will be people pushing the clearance, so they should think about failsafes.

I'd imaging you'd just put up height restriction bars on all the roads entering the path.

Add in a sensor that checks the height of other transport around in case a car somehow got higher after passing a safety bar. ....

You'd reduce accidents to normal levels.

The Chinese would have thought of this on day one....

[edit]
"To prevent traffic accidents, Mr. Song said guardrails would be constructed between the bus tracks and the car lanes that pass through the elevated bus. The rails would be able to absorb at least 70 percent of a collision’s impact to reduce damage to the bus and other vehicles. Lanes for the elevated bus would be limited to passenger vehicles no higher than 7.2 feet, and the buses are designed to meet zoning and bridge height regulations in each city."
I usually don't think too highly of PC in general, but this was simply uncalled for. Why say anything, man?
> The guy digging proverbial ditches does indeed deserve more

How do you know? Do you have some kind of special formula to determine what people deserve to be paid? Otherwise, it's just subjective.
The URL of this page contains the path "i-wont-hire-people-who-use-poo". I can't stop laughing!
The map area is 10 miles so that the servers don't get crushed
Mocha 3.0
According to Wikipedia[1], "firefox" is an alternate name for either a red panda or red fox. Also according to Wikipedia[2], a (now-removed) FAQ[3] from Mozilla itself says that the browser is named after the red panda. Other pages on Mozilla's website seem to support the idea that the name comes from the red panda[4].

1. https://en.wikipedia.org/wiki/Firefox_(disambiguation)

2. https://en.wikipedia.org/wiki/Firefox#Trademark_and_logo

3. https://www.mozilla.org/en-US/projects/firefox/firefox-name-...

4. https://www.google.com/search?newwindow=1&q=red+panda+site%3...
> and AFAIK wouldn't be able to 100% obviate Gecko's current renderer, for legacy reasons(?)

I assume they'll make the cut-over at some point as WebRendern should run on most post-2010 hardware. Will Mozilla drop support Firefox for those oldest machines? We don't know, they don't seen to have developed a strategy as yet.

There are software shims for GPUs that can't provide the required OpenGL features but performance is awful.
Security might play into this, but the main factor would be giving internal documents to a third party that didn't have everyone sign a large stack of NDAs.
Wayfair does, in Boston.
These days I actually cannot recall when that happened to me the last time, hence my curiosity. I remember null pointer dereferences in C++ on Android being impossible to debug, but honestly cannot recall the same for C# in VS. Might be that we simply don't write code that's susceptible to that problem (writing libraries ideas of applications makes you kinda defensive sometimes), or maybe that our code is often a bit conservative out of necessity, so no C# 6 features yet (others have pointed out that certain constructs are prone to let you guess on which line it happened).
Fast Access to Python from Within LaTeX
There is some room for Enterprise platform built on a modern stack. We were actually planning to build one few years back but funding fell through. ATG, Hybris & Websphere Commerce are all riddled with tech debt and take a very long time to customize and deploy. You are unlikely to do this with VC funding though it requires very sizable investment and it would take close to 2 years to build an MVP.
I don't know much about this topic, but Obama is now a lame duck and not likely to do something immigration-related before he leaves office (since Clinton is positioning herself as more protectionist than Obama has been).
Understand integer conversion rules
Apple having a safe store wouldn't change.
The American government gets its powers from its citizens, so yes, actually, American citizens == American government. Americans are responsible for the acts of their government: Period. Whether you like it or not.
Do you require the code with which we got the answer to the challenges to be in python?
I travel often to China, yes not just Mobile Tech, but also many fronts it is taking the lead. The bottom line, East Asia has the highest average IQ on the globe, and China produces almost 4x engineer degrees each year of what US has.

With globalization in a world that is flat, and the extremely hard working attitude plus education-first tradition there, the future looks great on its side.

In US, we're dealing with so many social issues while other countries are catching up on many key fronts.
You provide nothing to back up your assertion that it falls apart. I have written image capture and 3D reconstruction algorithms in Haskell which interacted with webcams, OpenGL, networking, etc.. and never felt like it was "falling apart".
Sure, there's more than one cause of breath odor, and one of those is perio, the prognosis of which is improved by regular flossing (and other oral therapies). Morning breath doesn't reek the same way perio breath does, and it's a world of smells and other issues that are hard to forget.

The truth of the research is that flossing doesn't significantly contribute to oral health when done alongside adequate manual brushing- diet, hygiene habits, and personal chemistry accounted for. That's not new info; clean is clean.

However, most people don't brush adequately or frequently enough and aren't using good electric brushes, so flossing does help them.

And it sounds like you've been really lucky so far, but don't rely on odor as an indicator of your health. By the time you can smell a lot of things, they've been problems for a while.
toomuchtodo's comment is on the money, it is a bit of a fad right now with the recent acquisitions. But only by a margin.

AI is a bit of a counter-intuitive market: it's a high growth segment, but the structure of the market top heavy, and several things make it an unattractive investment:

1. Democratization: much of the technology is the public domain, meaning anyone with a CS degree can muddle together their own (and many have). That means if you invest, you investing in pure AI, which means you're investing in cutting-edge technology - i.e. Research, which very difficult to assess.

2. Dependencies & Go-To-Market: intelligence (i.e. pattern predictions) that's actually useful on a market wide basis require massive amounts of training data. There are a couple of resources, like ImageNet & Yahoo's data dump, but in the interim - AI needs to be domain specific. As such, the dependency is a widely used application (i.e. Facebook, Instagram, Google). You see the dilemma. Therefore, what seems the likely outcome is acquisition.

3. Unit of Economics: For this sector, it's the accuracy of its predictions. This is almost too one dimensional to assess as the basis for investment. Acquisitions decisions are made almost exclusively by the R&D department. Therefore, if you invest, you need to know what makes one AI different/better than the next.

IMO, it's too early to put money in. The structure of the market is still nascent, heavily favoring incumbents (Google & Amazon offering AI predictions as a service). It's difficult to see how an AI startup can break in, and how it can be profitable.

Take the above with a grain of salt, as it's tailored to my risk appetite.
Bitcoin drops 20% after $70M worth of Bitcoin was stolen from Bitfinex exchange
Bcachefs: Transactions
It also means that pay will be determined by judges, not markets, as it is an impossible to define concept. More of the economy will get sucked up into litigation.

Comparable Worth is another incarnation of the Labor Theory of Value, which has long been discredited.

https://en.wikipedia.org/wiki/Labor_theory_of_value
The article doesn't actually say this, but the comment starts around 42:30 in the video [1]. It's as amazingly bad as you can expect.

[1] http://www.ustream.tv/channel/fWbQyaEMfbh
Well not really in a language as strongly typed as Haskell. At least, it provides you the type machinery to prevent a large source of these sort of bugs. It's not the end of the story either, there are even much more powerful languages than it which are still in infancy.
Definitely questioning that 1/20 figure, I had full anesthesia with a surgery earlier this year and I'm pretty sure I'd be informed of that kind of risk.
He regularly participates in design discussions with engineers, and reviews their designs, I think. From what I hear, outside of software startups, he's one of the most technical CEOs in the world.
"The lesson here is once again that the safest way to store Bitcoin is in your own (preferably offline) wallet, and not on a website or exchange."

That certainly makes sense to me, but it must be hard or most people would do so.
That'll surely attract the beginners, such efforts by the Rust team and the whole community are truly laudable.
Programming languages in coding interviews ranked
What's always the interesting to me about these kinds of unfortunate interactions is how amplified they become as they are reported. The title of the post is "Dumb Widdle Girls in Tech." A quote from the author: "It’s impressive that you overcame the intellectually debilitating condition of being female to understand the nuances of deep learning." To be fair, much of the post was balanced, but those 2 things stood out to me.

I'm not defending what Huang said at all, but I do think that it's unfortunate that the worst possible extreme sexism is always assumed at the slightest off-color remark. Should remarks like these be career or position-ending? Let's see what happens.
The whole Pacific coast of North America is becoming a gated region, closed off from those without at least quarter of a million dollars saved up. Unfortunately I think the mild weather and beauty of that area mean prices will never go down. Middle class people are seemingly bound to live in places that are too hot, too cold, or too flat.
What's the use?

Employer: We are willing to make an offer to you. We will offer a base pay of $125k.

Employee: what? I am already making $150k with my current employer.

Employer: Oh..we can't ask your current salary..so we just threw a number at the lower end to see if you would accept.
I agree with 'neither too high, nor too low' strategy while negotiating the salary.

These guides from The Success Manual might also help: https://www.thesuccessmanual.in/category/career-success

http://www.thesuccessmanual.in/chapter/how-to-negotiate-your...
Actually JavaEE isn't too bad.

JavaEE programmers might be a legitimate concern though ;-)
In a similar vein, there is evidence that laws which forbid employers from asking about applicants' criminal records on job applications significantly increase hiring discrimination toward blacks:

http://papers.ssrn.com/sol3/papers.cfm?abstract_id=2795795

This happens because many employers assume blacks have a criminal record, and asking the question tends to exonerate those who do not, rather than penalize those who do. The default assumption means that things can't get worse if the question is asked, but they can get better.

This law only banned asking the question, not running a background check. But employers don't even get that far, because they presumably do not want to pay for a background check on an applicant they assume has a criminal record.

Of course, this law was intended to have the opposite of its actual effect.
That was the least important part of my comment. If you're arguing there's no shortage because wages are much lower than the marginal value of hiring an engineer, it's on you to come up with evidence supporting this supposed (much) higher marginal value.

Everything I've seen points to a real shortage and desperation on the part of the employers: interns making six figures with free Manhattan penthouses, nonstop recruiter spam, 22-year-olds negotiating stock packages on their 8 fulltime offers before they finish school, fresh grads buying Teslas with signing bonuses before their first day of work, countless job listings that never ever go away, $10k+ referral bonuses, websites where employers apply to you...
Once you discuss rulesets and guidelines, it's probably rather a craft. Just because it looks like art from the past century doesn't make it art.
It seems like the Canadian government is responding:

> Foreign investors will have to pay an additional 15 percent in property-transfer tax as of Aug. 2 and city of Vancouver was given the authority to impose a new tax on empty homes.

The additional tax on foreign investors is a good idea, but I wonder how it will be enforced, especially when ownership is often hidden behind trusts.
Time Warner Cable in NC throttled it for me. I was only able to watch YouTube in HD through my school's VPN. How backwards is that?
Nothing to do with that. Authentication is an essential pillar of a security app, and the ability to effectively authenticate is an important component of opsec. If SMS is compromised (and it is not hard to imagine given how protective govt is about SMS exploits/sigint) then the authentication aspect of any app that relies on SMS is also potentially compromised. Weakest link and all that...
Ng-Elm: Embed Elm in Angular 2 Components
I love and look forward to these. I bought the drives for my NAS based on the previous one.
Mathematicians struggle understand 500-page ABC proof
I realize this was a use of sending short authentication codes by SMS, but at 160 characters the crypto can't be solid, if somebody decided to implement proper public/private key over it. So the transport is definitely a problem.
To get anything done in China there must be some sort of state sponsorship. Just look at the crackdown on original journalism recently. This intentionally causes only a few approved firms to prosper and allows for these ecosystem apps to flourish.

I find it hard pressed to take seriously the claim that being able to live in the WeChat app is an innovation. I can certainly see the appeal to companies interviewed by the New York Times like Facebook and Kik who probably look at that kind of usage model enviously, but I think it's important to note that the use of non-Chinese services is not looked upon highly by the Party and this can be seen as an expression of regional favoritism. As much as Facebook would hope you live and breathe in their ecosystem 24/7, 365, it's harder to get away with that in places outside of China.
What is your tech stack? The UI is gorgeous.
I know many Mozilla developers are "tab hoarders" with hundreds of tabs, so I am confident that your use case will get plenty of attention. :)
I didn't expect this to hit HN so soon!

Feel free to try WebRender 2 out--it should hit nightlies within a day or two--but note that this is still under heavy development, and there are a lot of very important optimizations that have yet to be implemented. The primary focus so far has been correctness and validation of the approach.

At some point either gw or I will probably write up an overview of how WebRender 2 works. It's conceptually similar to, and shares most of the code with, the original WebRender. Briefly, the main advantage of WebRender 2 is that it uses an approach loosely akin to tiled deferred rendering to minimize overdraw, whereas the original WebRender more or less performed forward rendering only. We also have a path forward to subpixel AA (though not implemented yet) without requiring readback, expensive framebuffer ping-pong, or GL extensions.
I don't think your usage is an anomaly at all. People use open tabs like a read-it-later list, and so far I couldn't get used to a service like that (or bookmarks) because I forget that I even added them in the first place (out of sight, out of mind). Right now, Tree Style Tabs, Tab Mix Plus, Session Manager and loading tabs on demand are what help me manage my tabs well.

I have had several hundred tabs open in Firefox many a times (yes, there are valid reasons), and that affects startup time (even with loading tabs on demand) and exit time (the time taken for process to terminate after the windows disappear). I have read about people who do the same (or a lot more).

In my observation over several years, Firefox has been able to handle many more tabs with lesser CPU and memory usage (aka sluggishness) than Chrome ever could. Chrome is always sluggish after opening several tabs and consumes a lot more memory. What's worse is recovery in Chrome. Restoring sessions and tabs in Firefox has been a breeze for a long time, and even as recent as a few days ago, I had to struggle doing that in Chrome (the session manager extension there is not reliable at all, nor is Chrome's own crash recovery).

On the multi-process model, Firefox is now using one process for the entire browser chrome (UI) and one process for the content. I have also dreaded that Firefox multi-process would become sluggish like Chrome, but we'll have to wait and see how the development progresses. The Firefox developers do know a lot more about Chrome's issues on this front, and I'm sure they will tread cautiously and adopt some kind of trade-offs that provide adquate security (better sandboxing), stability and performance.

To check memory use in Chrome, go to about:memory and you should be able to get details of all Chrome processes and the totals. Pressing Shift+Esc when in Chrome would also show all the Chrome tab stats (similar to a task manager window).
True, and it's pretty when it happens.
seems you can't trust any online services, and its too difficult to maintain a safe system of ones own unless one is a security expert, so therefore it seems to me it is pointless trying to use bitcoin
It's what's installed on the VMs so will run on 4.6.2 if you install it on them.
Will there ever be a dotNetFramework 5 ?? Version 4 is from 2012 which was already a minor update from v3 from 2007.

The new dotNetCoreFramework 1.0 just got released. It wouldn't sense to add mayor new features to dotNetFramework 4.6x, legacy is written on the wall.

dotNetFramework 1x from 2002 to 2005 is unsupported for many years and APIs and code ate incompatible with dotNetFramework 2+. Basically dotNetFramework rebooted with v2 and got really popular starting in 2005. All mayor features were available since v3. Though then the development stagnated and little new outstanding new featured were included in newer releases. Plus several APIs turned out to vanish pretty quickly and are dragged along as legacy like WinForms, Silverlight, WPF, Managed C++, ManagedDirectX and its next incompatible iteration, SharePoint APIs, WinFS, etc. Plus the incompatible different API WinRT aka WinRunTime aka UniversalRuntime with various incompatibilities in WinPhone8, Win8 & 10.

So Microsoft now has to maintain Win32 API and its subsystem (the reason why people are still using Windows, dating back to 1995 and source code compatible to Win16 API dating back to Win1 (1985) and Win16 is still supported on 32bit OS (technically it could also run on 64bit, if MS would want that). And UniversalRuntime (former WinRT) based on Win32 subsystem and still a lot less featurefull and little developer support and little apps - MS wants to push it, many hate it and almost all Windows applications continue as Win32 x84/64 applications even most games (Steam is big, the hate on WinStore is rightful). And dotNetFramework 2x+ the legacy big soup infested with dream buildings full of XML. And now dotNetCoreFramework in v1 still pretty rough and unfinished and the usual v1 were you want to wait for service pack 1 or v2.

In comparison Java is source compatible to at least v1.4, but in reality often back to Java 1.1 or 1.2. Sure there are some crufty APIs that got a better alternative that is recommend and several third party frameworks come and are now enterprise/legacy tools and newer things are now popular. While Java stagnated a bit with Oracle at times, it's still a nicer experience than the quickly vanishing and legacy API that Microsoft releases out en mass. And also Google is supporting Java on Android as its main API.
I can't speak for Canada, but in the USA; all a foreigner needs to buy a home is cash, and a phone call.

I'll get hammered for saying this, but I feel it's wrong on so many levels.
The article pretty much sums up my experience living abroad as a Chinese.

A few years ago when renren.com was still the most popular social media for Chinese users, it was filled with people sharing funny pictures and videos, interesting news and discussing trending topics automatically suggested by the site.

Around that time on Facebook though, people are still posting their vacation photos, text status updates and nothing more. Nobody was sharing anything on the platform.

Now Facebook has became Renren No.2, while Renren lost to WeChat.
I feel like this is similar to an "allowance for bad debts" in Facebook's accounting. A risk of doing business.
My instinct is that it will likely be a small source of income for the government. Will it help with affordability issues for locals? Unlikely.
I think the "living in a WeChat ecosystem" proposition doesn't hold much appeal from a user perspective, but from the perspective of companies looking to build apps it can be quite appealing. Native development is very expensive, and being able to plug in to a platform with identity, location, payments and social network is a huge win for a company looking to get a product out quickly and cheaply.
From a Facebook abuse and law enforcement operations perspective, if this happens more often it will become a huge pain in the ass. They have procedures in place to provide geolocation and such for urgent subpoenas and warrants (example: a kidnapping in progress). The level of stress that the FB team responsible for this ticket queue must experience is immense.
Software is a hit-based business on which winners scale very large, very fast.

All other things (education, market) being equal, the biggest pool should generate the most hits, and the most advancement.
Many (most?) of these people keep their BTC in these exchanges because they're constantly buying and selling it. They aren't interested so much in actually using Bitcoin as they are in making money from it.

They are gambling -- and they just lost.