skysight-inc/HackerNews huggingface dataset:
Haskell has infinite and recursive constructs, lazily computed. That’s what makes their type system undecidable. Avail is constructivist in that sense, so immutable structures must be finite (i.e., you can draw them as a dag). For cyclic structures, you have to include mutable “variable” objects as well, but in that case the type of the construct stops at the boundary of the variable. The type of a tuple of variables is a composition of the declared types of the variables, not their current content. This is essential to ensure an object’s type is permanent, and the immutable acyclicity condition ensures everything reachable without hitting a variable contributes to an object’s type.
I own a parallela with a Zynq1020 fpga and a form factor similar to a raspberry pi.

Here is somehing that costs around a hundred dollars (a bit higher) called Zynqberry.

https://shop.trenz-electronic.de/en/TE0726-03M-ZynqBerry-Zyn...
Yep. 2000 calories is 2.32 watt hours. 2000 Calories (kcal) is 2.32 kWh. That alone should be enough to clarify the difference, especially if you've ever manually turned a dynamo. Even after energy losses, a person can push a few watt hours into a battery with a hand crank in 10-15 minutes, drastically exceeding the energy output of 2000 calories.
so which patent legal system allows punitive damage award without willful infringement?
Why is this implied assumption that Amazon will win, where Walmart seems much better
positioned to win groceries ?

One possible scenario, for example: convenience is key. So people shift from cooking at home(only ~10% love to cook ) to buying fresh, restaurant quality, heat-and-eat meals.

Key parameters to compete here are quality, selection and price. Walmart could offer good quality via help of external chefs, if they get critical mass they could offer enough selection, and since they buy much more food than Amazon ingredients will come cheaper for them, supply chain will be cheaper for them, and and the only place Amazon may have an advantage is more efficient food making process, so there some chance Amazon could win where(altougj most like the innovation will come from a startup, which also Walmart can acquire) , but even so ,will it negate all of Walmart's advantages, and won't be copyable in some form ?

And remember, even for wealthy people that care less about price, better cost efficiencies could mean better food, better reviews or better paid marketing.

So What about other Amazon differentiators: Amazon Ecbo ? Google will offer that. Instead of just delivering stuff, putting them is people's fridges. Is that something that people do? Is that something so hard to copy ? And is that really a meaningful differentiation ?
If the 1-3 person startup's application is geared around personal information and it needs a complex privacy policy to describe what it does with data, then yes, it will have to work very hard to comply with GDPR, but that will also result in meaningful improvements in privacy and data control for its customers.

Do you have examples of startups where data is not a core business concern, who still find it very onerous to comply with GDPR (and why it is so difficult)?

I'm sorry to come off as unsympathetic, but I feel I've seen a lot of complaints about GDPR, as though the impact on their business is accidental or a side-effect, coupled with apparent denial or inability to understand that their business practices are exactly the problem that GDPR intends to fix.
They can also be quite smart. What was your referrer, what's your user flow through the site, what do similar users do when arriving from the same pages and searches? What time of day is it for the visitor?

ie: figure out why they are doing what they're doing and direct them to ads that capture that intent.
It all comes down to who owns the machine. In this case you are really just leasing it from Apple.
stupid... hostile... a real obstruction in my life... an enemy

I think I'll clip and save this comment to demonstrate to my students the definition of an "overreaction."
And how is this related?
No, I'm looking at Twitter's numbers in production. Before and after very much tells the tale -- and it was mostly the same engineers, so it wasn't "oh well you had the B team doing Rails and the A team doing JVM code" or whatever other excuse you want to look for. Microbenchmarks aren't the end-all-be-all, but you see the same story there.
You're right -- this has been a very rumorless year. Interesting given how many leaks we've seen over the last couple of years; I guess someone got serious about tightening up. Or, of course, there's nothing much coming.

You're dead right on the laptop lineup. Touchbar, whatever, I don't think that's an enormous issue one way or the other -- but the incoherency of the tech specs matters a bunch.
I am writing replies on GDPR topics the other way around ("I see you are from the US"). GDPR is a regulation for a topic which is important in the European societies. Not so much in the US (free capitalism) or China (social score).
And as I understand it you can't punitively restrict access to the service for not consenting to that tracking.
Yes, exactly. Sorry, I've been pasting this in multiple GDPR related threads, but just want people to get a concrete example of this. Here it goes:

I have a profitable, bootstrapped SaaS business. It's not based on ads or selling data. I don't even have a freemium plan. Only a limited free trial after which you have to start paying. It's a trivial application that stores mostly already public data. Only email is required to login so that I can send password reset and other such communication.

I've been talking to a very well known giant corporation for months. The VP and director love my product and want to start using it right away for their department. But their legal team is scared shitless with 4% fines in GDPR. They are putting some draconian clauses, (various ISO certifications and such) in the contract that I, as a small company, cannot comply. That's their interpretation of GDPR. It doesn't matter whether it's right or wrong.

The VP and Director are really nice people and I've developed very good rapport with them. But I'm afraid their patience will run out soon and they'll go back to using spreadsheets. A lose-lose situation.

This is the side-effect of GDPR.

I'm all up for GDPR. I have uBlock, have blackholed all Facebook domains, etc. But don't assume that GDPR doesn't affect normal business transactions. Anyone who says, "Oh, how hard could it be?" has no idea what they are talking about.
You're making the assumption that there is a database in the mix for the 100X case. There wasn't, except in-memory. It wasn't a 100X improvement across the board, it was 10X to 100X.
Yes, that agrees with the shape of Avail’s type hierarchy. There’s a top type and a bottom type, and the latter has no instances.
iOS is not particularly different from OSX. That's why Apple developers get to use a super fast simulator instead of the dog slow emulator we Android developers are stuck with.
Car market in what sense? Making new automobiles? Yes you'll need to comply with the safety requirements of the markets in which you sell.

Selling used cars? Generally, as long as the car is sold as originally equipped, there's no issues. I can sell or drive a 1970s era car without having to add modern emissions equipment, bumpers, and airbags for example. At least I can where I live.
Adblock needs root to work as intended though.
Apart from including publisher results in a way that doesn't differentiate those results from apps themselves (a different icon would really help), I really can't say I have any complaints with search. That said, I tend to know the name of the app I want, rather than searching for apps with certain features, so in most cases I'm doing a very basic string match search.

I expect that Apple's approach to curation and discovery helps somewhat lessen the need for better search.
Sorry, just added that feature. Use left/right arrow keys.
I've noticed that, these days, I only find myself worrying about careful hand-formatting when the auto-formatter is doing an inadequate job. e.g., IntelliJ's default Java standard makes far too much stuff optional, which is another way of saying that it is full of cases where it forces me to make the decision.

Looking through Black's rules, it seems to me like the rules it's implementing are comprehensive and specific enough that I'd probably end up with few, if any, situations where I even want to take control. And I'd gladly give those up in return for not having to wade through so much diff clutter when I'm doing code reviews.
The Darwin Awards are going to become a big Tesla advertisement.
I am referring to computation, not abstractions. What's the trade-off between X and Y is the kind of place where having some specific numbers is very helpful.

EX: At what point if any can you say testing theories on public data produces more value than noise.
An example of what you describe is duckduckgo.com, cookie contain preferences without any user identifiers.
And this is exactly what Twitter did, and how Twitter replaced Ruby and Rails with the JVM.
>Obviously if ads are less targeted then they may be less effective so advertisers will make less on ads that cost more. This will hurt their bottom line, which in turn will make the products we buy more expensive. But that's exactly the end goal. I want to pay for things (information, products) with more money rather than with slightly less money and all my integrity.

I'm sure you considered all the poor people across the world that are subsidized by the ad driven model we use today. What we truly need on the internet is data gated behind pay walls to protect important information such as which facebook groups you clicked like on.
Along those same lines, I'd totally stick a crappy IoT digital scale in my kitchen so that Walmart, Amazon, the NSA. etc can track my $regularly_purchased_item consumption habits so long as said crappy little digital scale orders me more of whatever that item is before I run out.
I still have my functional Omnibot that my Dad bought when I was a kid.
It's more cargo cult for nitpickers.
Forbes Fictional 15
I'm 6 weeks into a keto diet, haven't been over 20g of carbs a day throughout. Sleep is much deeper, but I feel I need to sleep longer.

First few weeks (in particular) I had to drop my weight amounts in the gym and found (fighting in) martial arts I tired quicker. Helped this with BCAAs and cream in my coffee prior to exercise (prior to this, my first meal wouldn't be until ~2pm and I'd exercise in the morning fasted). I suspect MCT oil would also help? Also struggled with low blood pressure/headrush when standing up quickly. Helped this with dioralyte and increasing my salt intake. Other than that, it's been good.

Pretty amazing diet really. Far, far leaner, no energy dip in the afternoon, and I'm far less bloated and uncomfortable. Although that's possibly because my diet seems to be a bit more FODMAP friendly. Interesting experiment, either way.
I would add that if engineers/developers are unwilling to ask team members for help you have a big problem with the team, likely a recruitment or culture/leadership problem, not just a project management problem.

Teams work best together and to work together egos need to be checked at the door and people need to trust each other. Any problem on a team is the whole team's problem, and while one person may be accountable for introducing bugs, a good team will view that team mate as valued and capable and perhaps pitch in to mentor or help fix the problem quickly.

The Five Dysfunctions of a Team obviously points out a lot of what I am talking about much more elegantly than I can. What I am saying is that project management can only go so far, team leadership, culture, and recruitment is also hugely important to fix many of the problems you identified in the article.

Great article though, I shared it with my work-mates :)
I’d say that getting adapted to black coffee (I previously took it “light and sweet”) was the hardest part of starting IF for me. Took about 2 weeks, but now I’m enjoying it.
Wrong. It's a perfect test, to see whether a so called climate scientist is actually worth his salt.

> There’s a large difference between being interested in the history of science, and who did what and where they hailed from, and actually being interested in science.

I fundamentally disagree. If you are really interested in science, but not in the history of science, you are doing something very, very wrong, and you are bound to repeat a lot of mistakes if you are not willing to learn lessons from history. But my suspicion is, while many people claim to be interested in science, because it's 2018 and it is definitely fancy to do so, they deep down do not care. Participating in bullshit events like "marches for science" is a really poor disguise, in my opinion.
IEEE Computer Society work on tech's racial history a finalist in LA Press Club
I could see them doing something like the Surface where you have the detachable iPad, but a more powerful rig when its attached.
The reality is that the way humans write code is complex and if you try to use simple rules it's going to look bad in many cases.

What linters have been doing is to figure out --some-- rules that are general enough that can be enforced.

Complete formatters like black are making decisions for --every single formatting choices--.

In practice, they need to be complex if they want to have people using them.
> One interesting thing I realized is that communities are built around programming languages and it's really hard to influence another community from the outside.

IMO, that point is worthy of a detailed blog post or conference talk, if you would be so inclined. Would love to hear more.
We’re working on tools for writing/viewing Avail more easily. Stay tuned, it’ll be worth the ride...
That's the way I see it. Vevo means I don't get to see lyrics, I get a video with weird intro/outro patters and instead of just the song, I get the censored and shortened radio version of the song, and I get more ads. If vevo took their content off youtube and ran, I would welcome it. Youtube should be more than MediaMegacorp advertising-disguised-as-music.
I always thought benchmarking your competitors' products was fairly common -- how else do you think Apple came up with phablets and stylus, after denouncing it and declaring that nobody would buy something that big?
Possibly a bit off topic,but why do we charge the batteries at stations rather than switching them with full ones?
You can indeed get very strong and very lean with Intermittent Fasting. This is a goto site backed by plenty of good research.

http://leangains.com/
I probably won't use this for my own personal solo projects. But I'm happy to cede control over minutiae when working on a large team, because it's almost impossible to stick to one style in that case. Even just communicating what the coding style is exactly is too hard for most teams.
My argument wasn't considering the difference between having a thought and acting on it because I did not think it was an important distinction.

Whatever mechanism there is that makes you act on some thoughts but not on others, that mechanism is itself subject to the same mystery as thoughts are. What I mean is, you would have to make the decision to make the decision to act, but not before having made the decision to make that decision, and so on. What we in fact experience is no such regression of decisions, but instead merely the sensation of the thought, possibly followed by the sensation of acting.

That you identify yourself as the voluntary thinker of your thoughts and actor of your actions is a beneficial psychological feature surely, it's the difference between someone suffering from schizophrenia and someone not, but that feeling is necessarily an illusion because of the reasons I have explained.
Malware Found in the Firmware of 141 Low-Cost Android Devices
http://papilio.cc/index.php?n=Papilio.Hardware
> Intent matters

So shouldn't the website's intent to block you from accessing it matter?
FBI says foreign hackers have compromised home router devices
And for every rich person, there's 19 more that got screwed one way or another with scholastic loans.

The last major age generation (the ones who are in their 50's to 60's) pulled the ladder up on us millenials. Ive heard the stories that college education in the '60s and '70s were affordable to the point that a summer job would cover 100% of the expenses. Instead, I ended up in $30k in debt.

The debt is a fact of life. And so is the likelihood that social security will not be there when/if I retire. The age keeps moving up and up, which is a form of generational theft.

Next time, try depersonalizing these types of articles. The problem of higher ed debt is a scary $1 trillion behemoth with no end in sight. When that bubble bursts, we all should worry.
Hard to call a peak while it's happening, don't you think? I think one thing WF has that is not as obvious is a nice atmosphere and interior design. It's just relaxing to walk through it compared to a Safeway or Fred Meyer or whatever. I don't see WF falling behind any time soon.
> You don’t swipe it

You still have to hit the NFC coil by a few millimeters, it's a pretty comparable motion and effort.

And it takes longer than it takes an Aldi cashier to give out change.
The problem is for google, they have a lot of data but very few use cases that are big enough for all that data.

driving cars, but driverless car services will be slow to take hold and I'm not sure it's winner take all. To me there's not much difference between is it safe and is it the safest. And with a car buying cycles in multiple years and regulations slow to catch up they might not leap ahead enough. And it's not like netflix and amazon service where it's cheap enough you just use both.
If your business is not profitable when you respect the privacy preferences of your users you simply don't do business.

This is a false dichotomy:

1. Fully comply with the GDPR, no matter the cost, even if that's just legal and administrative because you're not actually doing anything in terms of data practices that would violate the law.

2. Go out of business, because you clearly are intending to do shady things that violate user privacy.

if you can't make a profit by selling 1$ burgers when you meet hygiene requirements just get out of the 1$ burger business

Perfect example.

Say I run a burger shop that is perfectly clean and in compliance with all local laws, but the EU passes a law that says I need to fully audit all my food safety practices, publish them in a public place with their format, appoint a food safety rep in the EU, and comply with other vague requirements that they deem necessary, just in case an EU citizen visiting the US comes and eats at my shop.

Now, if I ignore that, am I "breaking the law"? I guess so. Just like I might be breaking some Indian law by serving beef at all (hypothetical). But does it actually matter? Can the law be enforced? Should I care as a matter of civic duty? Very likely not.

Worse, should the entire citizenry of the EU suddenly decide that my small town burger shop in Iowa clearly intends to feed every customer tainted beef and deserves their opprobrium and any fines that can possibly be levied by the EU, just because I didn't fully comply with their law?

And if they do develop some enforcement mechanism to use against small town USA burger shop, how is it not my right to put up a sign that says "Sorry, EU customers, but please don't eat here, as I don't comply with your laws"? Is your argument seriously that I should comply with every law from every jurisdiction in the world, just because a customer from that jurisdiction might wander into my shop, even when I've expressly told them not to?
> You don't need to be a GDPR compliance expert to know that the costs of implementing GDPR are huge

So you don't actually know anything, but you are going to pretend to know that it's "huge".

> I doubt any GDPR experts actually even exist today

Then why be so condescending and pretend that you are actually one?
I emphatically agree with every point. I am in the exact same position and feel exactly the same. I bought a 2016 13” MacBook Pro and got rid of it because it just wasn’t... better. Still using a laptop and a desktop from 2013. And waiting...
Ultra-fast bootstrapping with Angular 6 and Electron 2
Well played sir.
Facebook, Google, Instagram and WhatsApp are accused of forcing users to consent to targeted advertising to use the services.

Privacy group noyb.eu, led by activist Max Schrems, said people were not being given a "free choice".

I mean, that just isn't a valid complaint IMO. You have a choice -- you can not use Facebook, or not use Google, or not use Instagram, or not use WhatsApp.

If you're using a "free" service that is ad-funded, why do you think you have a right to use it without consenting to the ads?
I generally don’t have a problem at work (Ramadan + Keto). Then again I don’t get up at 2 AM to eat. (Generally have a 18:6 fasting to eating cycle)

Can you share how you are measuring changes in his productivity? I find that, in general, to be fairly difficult to measure, let alone find trends in small time intervals (like a week)
"Business" means website visit from a US/EU citizen travelling Europe. And even blocking them by IP and logging it is a violation.

User can file a complaint against you, resulting in a ruling. Whether you ever see an "invoice" or see police officers is another topic. But you violate the regulation/law in another country.
Wow. A little research shows a home worth nearly a million.
So long as it isn't too helpful, I guess.

A coworker of mine at a previous job used a JS autoformatter built into his editor, and he couldn't insert a `debugger` statement into his source when testing locally because his editor would delete it immediately...

I spend about equal amounts of time fighting with my style linter, formatting my code, and disabling dumb lint rules. Maybe an auto-formatter would save time by reducing the first two more than it would increase the second (though if the formatter introduces bugs by deleting bad code all bets are off.)

I also don't really care about style... Who really cares where line breaks are? Who cares whether you line up your comments with spaces or not? That stuff doesn't "take time", affect readability, cause arguments etc, because we're not children.
I think you have it backwards. "Mono" as a prefix means one, while "oligo" means several. Therefore monopoly is a market with a single dominant player, while "oligopoly" would be a market with few but more than one dominate players.
Emergency Braking Was Disabled When Self-Driving Uber Killed Woman, Report Says
FBI issues formal warning on massive malware network linked to Russia
Looks like it's kinda up to the courts how to interpret it, but, also, it looks like your logic is valid with it being more restrictive than permissive.

"First, some courts have held that an item only falls within the preceding noun if it falls within one of the items in the list. The thinking is that if the preceding noun were being used to convey its unrestricted meaning, referring to subcategories of that word would serve no purpose. See, e.g., Application of Central Airlines, 185 P.2d 919 (Okla. 1947) (holding, with respect to use of the word including, that “if the lawmakers had intended the general words to be used in their unrestricted sense they would have made no mention of the particular classes”)." [1]

[1]: http://www.adamsdrafting.com/including-without-limitation/
I was barely aware of it. I had (and still have, it doesn't work) an Armatron, and read about some of these robots in books in my high school library and I was fascinated by them. Not smart enough to actually do anything with that fascination, but still... robots.

There was one that had six legs and looked like a viral sheath that I thought looked really cool, but I can't find a picture of for reference. I think it actually appeared on a news program or something.

edit: found it![0]

[0]http://www.theoldrobots.com/odex.html