skysight-inc/HackerNews huggingface dataset:
A couple of people have suggested this idea - pure by default, as opposed to impure by default. In Frege, as you point out, anything written in Haskell is pure by default. However, if you want to call methods from libraries or the JVM which are written in Java, then you have to tell Frege their level of purity. So effectively, your Haskell code is the "island of purity" inside the wider sea of impure Java runtime.

But yes, I think this is a workable idea - so long as there was some way of identifying 3rd-party code purity instead of the annotation.
The difference is not nesting your container in VM. Instead, the container is secure, isolated as VM. Then container becomes the foundation for hosting platform, e.g. EC2, not just app deployment atop IaaS.
From the article: "In France, the current state of emergency, which lawmakers quickly agreed to extend for three months, allows authorities to raid homes without warrants. The country’s interior minister said Wednesday that since November 13, French authorities have conducted 2,235 searches and arrested 263 people."
Also anecdotal. I have a daughter with Aspergers (just diagnosed, so I'm new to this).

My wife and I are both Dutch/Friesian, but I am reasonably certain we are not related.
I am a programmer (with dyslexia), my wife is an artist.
Both our fathers are technical with degrees/jobs in electronics. Her father has numerous patents in aerospace.
My wife's mother has manic depression.
Most of my cousins are dyslexic, one is autistic, a few have Aspergers children as well.

I think I've created the perfect storm to have a child in the autism spectrum.
Ask HN: Is You Manager Result Oriented or Vision Oriented?
My last manager was result oriented and he deeply cared about the problem and it was fun working with him. My new manager is too much of result oriented who doesn't care what the problem is but cares about the results to show to execs. Its not much fun to work for him. How is your manager along these lines?
When we asked what the total cost would be, the quote was ~$1100. The total bills that came to us were well over three times that.

That sounds like an opportunity, no? If I were a hospital, I'd start providing cost guarantees to my patients and their insurers.

In fact, some of that is already starting to happen with capitated payment systems. Instead of paying for each procedure, a hospitals get a fixed amount per patient per year. If they can keep costs low, they keep the difference. If they can't, they take a loss.

It's important to remember a lot of healthcare providers are hamstrung by current regulations as well. Even just to start a new hospital, you need to get a "certificate of need" from your state.

Healthcare is far from a free market in the US.
The solution to this problem is extremely simple. Government runs the last mile fiber to EVERY home. Then* pull it back to a central location and let ISPs compete for service there where the barrier to entry isn't billions of dollars.

REAL competition.
ILEC's still have a monopoly on copper runs in most jurisdictions afaik.
So supposing you simply freeze a relativistic fluid in place you'll get an amorphous solid with a characteristic length scale and characteristic time scale. Which are both Lorentz invariant.

Doesn't that work because the fluid has no particles in that description, because it is a continuous and smooth average about some ignored micro structure? It seems to me like you would easily loose that nice description if you replaced, for example, the smooth scalar mass density with a collection of discrete particles scattered throughout space. And that seems to be what you really want if you want to quantize space, discrete things, not smooth functions. But you seem to know physics way better than I, so I am probably missing the point, have some serious misunderstanding or something like that.
Uber's competition is getting stronger
Glad you liked his talk! Yeah, you can tell that Aviv and I were not mic'ed as Ryan was, so we had to boost our audio.
If you plan to do native iOS and Mac OS X applications, yes.
Or you can just acknowledge the fact that it's basically a lottery and ignore equity altogether, since it never matters unless you're one of the founders, in which case it's your job to create the right startup.
Brother DCP-J140W Driver Download
3d printers are great for quick prototyping but they can't do the fine detail of proper sculptured/cast models which if you care about miniature gaming is presumably the point. (I mean there are people who play non-miniature wargames but it's not a big market). As for lore, I dread to think of the fights - shared-universe fiction efforts don't tend to go well.
I'm not sure that's true. Most insurance plans pay a percentage of charges with the patient on the hook for the remaining 10-20%.

If I were a patient, I'd go for the $500 MRI and pay $100 out of pocket instead of $300.
I have to seize the opportunity:

http://stanford.edu/~mkagen/codepoetryslam/
It's great that they are deciding to compete in the marketplace rather than the courtroom.

It'll be interesting to see if the zero-commission model works for them though - The 20% Uber takes is actually fairly reasonable (and much less than what a traditional taxi company takes from their drivers) when you consider CC fees & Collections, customer support costs, customer acquisition costs, marketing, etc is all covered by that. Uber is spending huge amounts of money on growing the customer base (which is good for drivers as they have a liquid market of ride requests coming in all the time), and a service like this will most likely not be able to invest as much in that since they don't have the commission and investment to pay for it.
Why did disabling interrupts cause Windows 95 to hang?
Yes. People I've worked with regularly ask me for advice negotiating new jobs --- I have no idea why --- and this is my standard answer.

There are three kinds of cases where I've seen this information being hard to get:

1. Equity isn't a major part of compensation, and salaries are market-competitive. The employer says, in essence, "equity is not an important part of your compensation; let's concentrate on making sure you're happy with the salary and bonuses".

2. It's a relatively large company that is constantly hiring people, and they have a strong BATNA.

3. They simply don't know the answer, and the person hiring you isn't in a position to work with you to generate the answer (that work being "make three wild guesses at where revenue will be in 5 years, do a little research on what multiples companies are acquired for in their space, and figure out how much runway they have now"). If you know the % of the company you're getting, the dollars invested, and what the liquidation preferences are, you can come up with a somewhat decent guess here on your own.

If you're a key hire and equity is a significant part of your compensation, you should be able to get this information.

If equity is a significant part of your compensation, then, no matter what, you should be able to get:

* The number of basis points you're getting in the company

* The dollars invested in the company so far

* The company's revenue target for the year

* How much runway the company has at current headcount

If you can't get all of these, value equity at zero.
Custom MD5 implementation
I don't see the point in verifying that I'm connecting to Let's Encrypt. If I am not connecting to Let's Encrypt then the cert I get back won't show as being issued by them.
I gave you the lead in, now you provide the rest!
It's on Bluemix!!!

Here is my experience with Bluemix:

1. We needed to get bills to send to our accounting department. There is no way to get this out of Bluemix. We needed to contact 5 different people and send 2 different support tickets.

2. At one point we couldn't log into our accounts, the authentication server was down.

3. The docker container doesn't always get internet. Also it sure as hell is guaranteed to not have internet if you restart it.

4. If you use their SAAS databases, then some of them you can connect to from the outside world, but some you can't. And there is no way of knowing which.

5. Just because IBM makes a product available doesn't mean it works. We used NodeRED together with the IBM developed database connectors for DashDB. That connector will timeout after ~24 hours and then not throw any errors when you keep writing to it. Took 3 days to figure this out and fix it.

6. Their deploy system is nice, pity it brings down your service for 5-10 minutes even for deploys that are literally 100 lines of java code.

7. It's painfully slow to push images to their docker hub. Took 3 hours to upload an image with ubuntu and java. And our uplink is 50mbit.
Corporate Identity Packages
I don't think you can count on the file system to actually persist data on disk when you call flush(). Example http://rhaas.blogspot.it/2014/03/linuxs-fsync-woes-are-getti...
That's why we have so many mechanisms to slow official reactions. We know that, as humans, we are prone to rash decisions in the face of crisis. Even the patriot act contains a sunset provision, an internal recognition that it was likely a knee-jerk reaction to fear. But the renewal of that provision is not a rash decision, nor is it taken by ISIS. The decision to keep the Patriot Act alive year after year is a cold political calculation divorced from any immediate crisis.
Researchers Want a Robotic Space Cleaner to Digest Debris and Turn It into Fuel
> if at-will employment were legal I'd have to save and save and save money for anything because I could not be certain to still have a job tomorrow

You're not certain to have a job next year (your company, for example, could go out of work; you could be grievously injured; war could sweep through your country). You ought to be saving, saving, saving anyway; building your own savings is the only way to have true security.
Understood, which brings me back to the original question of wondering how exactly the server knows which fragments the client wants.
What is a Nanny Share?
I find this amusing, 'Fair' seems to be a word with different meanings to different people based on where they stand.

A journalist thinks, Uber is fair and innovative but a ad blocker is unfair and cheating. Steve Jobs collaborating with other CEO's to drive down programmer salaries is unfair and cheating, while Uber offering the same to drive down driver salaries is perfectly fair to us.

I imagine a job market where companies bid for programmers who would work for least prices. A global kind of a platform which consistently drives our salaries lower.
I have fiber at my NJ House but at my office, which is less than 1.5 miles away, I can't and won't get fiber since Verizon stopped building out the area. And according to the techs it is never going to happen now. Which is disappointing since when I moved in 5 years ago I was told that we were on the map to get fiber at the office (and the house already had it). Fiber is right across the street from the office they just don't want to bring it into the complex (which has about 100 offices).
Have you tried kotlin? It is developed by jetbrains, works in the JVM and you can mix java code and kotlin code in the same project. It is still in beta but it has been developed for more years than swift and both look quite similar. Jet brains said they wanted to release the version 1.0 the the end of this year... Plus it is fully integrated in intelliJ idea
How to Add Simple Real Time Streaming to Your Express App with Server Sent Event
Why do two places in the same geographic area have a 3x price discrepancy?

Because determining the cost basis for medical procedures isn't all that easy. It's not hard to figure out what the MRI machine costs, but how about the physician and nurses? How about the building? They do a lot more than just MRIs at these hospitals/clinics. From what I've heard from people working in hospitals, the hospitals themselves have no idea what their procedure costs actually are.

What they do instead is charge as much as they can for each procedure and hope they turn a profit at the end of the year.
> When I've met parents of Autistic children that were not Aspergers, I did not find a consistency of logical thinking.

I have very similar observation. For this specific scenario, I think we need to look up the whole family history, more than the children's biological parents. An ASD child's siblings could be neurotypical, which is the case for most families with ASD children that I have met. I wonder if a parent who is neurotypical but has siblings of ASD may have higher probability to have ASD children than those in whose family history there are no ASD members at all.
The prices for medical procedures in the U.S. are fixed at the well-known, stable amount of whatever the provider thinks it can pry out of you and your insurer.

If you go to a mechanic, and get a quote for your auto repair, in most cases that quote is the maximum amount you can be required to pay. To charge more, or to add on services you did not request, would trigger consumer protection laws against deceptive business practices.

If you go to a physician's practice, and get a quote for your human repair, first off, congratulations are in order for getting any number at all prior to service. But unfortunately, that number that you got is pure coprographitto, and it won't be the upper limit on what you pay.

It's much like those e-commerce deals where you can't see the sale price of an item until you add it to your shopping cart. Except in this case, you don't see the price under after you buy the item. And the sale price has a negative discount, meaning you actually paid more for it. You can't meaningfully comparison shop under those conditions.

This is why those high-deductible plus healthcare savings account plans intended to spur comparison shopping cause people to simply forego treatment altogether instead. The only price people can really be sure of is that not going to the doctor at all costs $0 now out of pocket. Going to any doctor can range from "I can actually afford this," to "healthy and bankrupt beats rich and dead, I guess."
I have tried this, but get splitting headaches around noon time. Anyone have advice on eliminating headaches when fasting?
Same here - suspected a problem with my iOS content blocker, but that doesn't seem to be the case.
In the US, there are plenty of places that have at will employees. There is a social safety net for them called unemployment insurance, available to anyone who hasn't been fired for cause (must be well documented attempts to correct the deficient behavior). The time period differs from 26 to 72 weeks depending on the state of the economy (worse times have longer insurance periods).
The .name property doesn't seem to get set in Firefox either, but error stack traces do show the variable name as the function name. That's the important part IMO.
Those fools were given billions of dollars to upgrade the stuff by state and local governments and never followed through. They either need to write a check on the order of about $50 billion, or they need to follow through on what they promised.

Let's all pretend they didn't just run fiber in the areas they needed it for cell towers and ignored everything else. And as for profitability - it's a long-term investment. If they're laying the right fiber, it will last them a LONG time without needing to be replaced.
Thanks for making this and letsencrypt-nosudo!!! I used letsencrypt-nosudo and it worked like a charm.

Frankly, this kinda thing is what I expected from Let's Encrypt and was bummed when I saw the bloat they ended up shipping.
Does HR know this? I'm afraid not.
So, what stops NYC from taxing Uber? That $15 billion is going to have to come from somewhere.
Even if you are an early employee you can still get hit by a later stage series that gives a high valuation but with a preferred ratchet if you IPO at less than a specific price. It is almost impossible to get information on the specifics of the deals. I am not sure if you vest at least 1 stock option if that will qualify you to see the docs and/or if companies have other ways to prevent that or if they will in the future.
How do they describe something that's working spectacularly well as, "broken". Sure, maybe it's not optimal or has some problems. But, broken? Really?

But I do like what they're doing. Extending the option period makes perfect sense. I think they might have gone a bit far on the value sample. I think current % ownership + internal/external valuation should be sufficient.
How do they describe something that's working spectacularly well, "broken". Sure, maybe it's not optimal or has some problems. But, broken? Really?
Many "professional" educations require continued learning to maintain your license. While I don't think a "programmer license" is a good thing, a voluntary way of demonstrating this would be good
But so many of the terrorists were well educated. They don't suffer lack of money or education, they suffer from a lack of meaning in their lives.
Take a look at britain in the 50s, or the US in the 60s. Speech was more heavily stymied then than it is today. It cost more to do so, but governments then still tracked people's activity. If anything, today's technology allows us to recognize and react to such behaviour whereas previous generations remained unaware.
I assume you mean one-time a priori to needing them. Otherwise, it's a non-starter; half the purpose of a system like this is to allow the emergency services to determine if you're unresponsive. Defeats the purpose if you have to authorize the system to tell emergency services that you can't interact with the system.
Interesting I wonder who compiles that data exactly? Also what this means is that if you are already clearly over 50% or clearly under 50% your behavior would be predictable and you might consider increasing market share.
What do you want to do with the language?:

Here are some choices I think are interesting as new languages:

Elixir : interpreted / scalability / concurrency / fault tolerance/ friendly community

Rust : compiled / close to C speed / memory safety / concurrency

TypeScript : compiles to Javascript but with types / runs in the browser

Elm : compiles to Javascrtipt / functional / runs in the browser
I don't think anyone is advocating LEARN TO CODE STAY INDOORS. I work as in a Head Start Lab in what we call the STEM Lab. We have 250 3-5 year old children spend an hour in the lab. They do go on a HORRIBLE Literacy Program (BUT THERE ARE NO Developmentally Correct Literacy Programs I can find). Children spend about 10 minutes on the computer and I believe the ability for the kids to learn to look, listen and respond correctly is why we see a HUGE statistical advantage to children that come to my lab as opposed to the 750 children who do not have access to the lab. So that is it in terms of computers 10 minutes over a 60 minute time.

We do teach coding principles by pattern recognition (big for literacy) and to problem solve. Heck we even do engineering with a problem, come up with a plan and then a creation. The kids always blow me away with what they come up with.

You can teach the great parts of coding outside with your kids (I do) and then see where their interest lie. My daughter who is 9 wants a Robot she can program and we will go the Arduino route. My two older kids never touched a computer growing up and no real desire except to play a game or watch Netflix (They didn't become a part of our family till they were 11 and 15). My 4 year old LOVE playing programming board games (the Turtle Game? and Robo Rally) Teaching kids how to think is a lost art and we have many things we can use to help us. Learning to CODE is code to me to help children learn to think and to learn it early which is good to me. CODE for CODE sake is dumb.
Cell phones have always been able to tell time. I wore a watch all the way until I purchased my first dumbphone. I'm not interested in watches for accessorizing/aesthetic purposes, so as soon as it's primary function was supplanted by my phone, I ditched it.
Were you adequately hydrated?

(Also, I accidentally fatfingered my reply. If you got downvoted, that's probably my fault. Not intentional. Sorry.)
Using the TOC will break your back button. Be careful.
Who are you target audience for this product that will take off like a rocket?
Where do they hangout online, that you can share your launch with them? In forums? Social Media?
If you have an email list of subscribers, send them the link...
Flip the switch, share the link on here.

Not launching = failure = not a bad thing, but just learn from it and launch!

p.s There are a lot of people alone in this world.
Download PP Jailbreak iOS 9.2.1 for cydia install – iOS jailbreakiOS jailbreak
wrong. Latency matters when you're playing/interacting with the device. watching TV is a passive activity with no user input, latency does not matter in that case.
>they only need to cover the additional mileage/depreciation, not pay for the entire car lease.

Don't forget the extra insurance required when you are using your vehicle to transport passengers, commercially. Of course, not many people actually buy it, which is essentially insurance fraud. Don't think so? Call your insurance provider and ask their opinion.
Early stage investors can indeed get diluted but they usually have the right to invest at the later stage.
I know quite a few recursers and they're all lovely people and talented programmers. Once I can arrange for a months-long gap in my work life I plan to apply.
I am in control of my career and run my own business which I find a lot of enjoyment out of, but I wouldn't say that it is always fun.

There are plenty of headaches that come up that suck (customers not renewing), things I don't want to (tagging thousands of photos manually), or things that get in the way of family (not being able to turn my brain off from work mode when I am home).

There are some also great benefits though like feeling more free in terms of hours and vacation time. However, all of the customers and people I interact with don't have that luxury so I pretty much end up working the same ~8-5 day everyone else does so I can get things done.
You make it sound so easy. Professionals at picking the right company (aka venture capitalists) get it wrong the vast majority of the time. Nobody has any guarantees about how things will end up.

You really think the 90 day exercise window is fair? It means an employee who just left a company has a huge burden with their vested options- either come up with a lot of cash and take a massive risk or have your equity compensation be worth nothing.
When I was growing up (80s), the computer was treated like a black box in education. You'd sit at the computer, recite the incantations, and the computer performed the magic. At school, they sat you in front of the computers and you just tinkered with the software for an hour while the teacher finished grading papers. At home, chances are good your parents didn't understand much about computers, so you were mostly on your own, and computers were so expensive that you didn't dare mess with the hardware.

These days, it's a whole new game. We can give our kids a more holistic education around coding because we have things like Arduino, Raspberry Pi, Lego Mindstorms, etc. We can teach code as one among many tools to get a job done or otherwise affect the world, rather than teaching coding as an abstract end in itself.

As an example, my daughter wants to build a garden with me in the near future. Part of that project might include some Arduino-based sensors. If she's interested, I can teach her all about it. But either way, there's a lot to learn.

All of this is to say I agree with you, that code is perhaps an equal, but not superior, among many other ways to help teach a kid how to think.
After decades in this industry, I'm convinced that this is the only rational strategy. Treat equity compensation as "close to zero value" unless it's immediately convertible to cash.