skysight-inc/HackerNews huggingface dataset:
Recording in one's own home is exempted under the GDPR[0].

I suspect something broader was involved here.

[0] Article 2(2): "This Regulation does not apply to the processing of personal data [...] by a natural person in the course of a purely personal or household activity"
Cigarette sales just went up in San Fran, stupid stupid stupid.
The majority of voters, government workers, journalists and commentators in SF don't want to drive out the homeless.
The story of the man behind the Doonesbury Election Game
As an outsider these descriptions sound like Avon or Mary Kay or Amway.
I read the argument in the article as something like “strong advanced type systems like Haskell’s are good because instead of manually writing hard functions, one can just write the type (ie the meaning of the function) and do a bunch of menial compiler-directed work to build up one’s function in little steps. This is great because one doesn’t need to “actually” write such horrible functions.

I find it slightly silly because one still has to read such functions so it is still hard to know that they do the right thing. For example, consider the function in the article which has type:

Sem (State s ': r) a
-> S.StateT s (Sem r) a

It seems pretty obvious what this morally should do.

In some cases it is possible for polymorphism to force a value of a certain type to always behave a certain way. E.g. a value of type [a] must be the empty list because that is the only value with that type. On the other hand there are multiple values of type [[a]] (I.e. an empty list or an infinite list of empty lists or anything in between). A more complicated example is that the only thing a function with the signature of compose ((b -> c) -> (a -> b) -> (a -> c)) can do is compose functions whereas a function of type (Int-> Int) -> (Int-> Int) -> (Int -> Int) can do just about anything. Outside of abstract Haskell libraries, code tends to look more like the second case than the first.

In this case it is hard to be sure that the function must behave in the correct way because of its type. I think it hinges on whether it is possible for Put to change the type of the state. If it can then types force you to always take the newly put value and return it with Get, otherwise it would be possible for Put to eg only sometimes work. So if one has to check that the code is correct, one must either read very carefully and check the code, or one must very carefully read the type signature and deduce that the code is correct.

In the first case the fact that the compiler made the code easy to write doesn’t really help much. Perl5 taught us that just because a program was easy to write it does not mean it will be easy to read/check.

In the second case, why do we have a program at all? If there is only one correct program we could have written then it seems to me that the program is in fact the type and the compiler ought to have been more clever and written it itself. (There are of course plenty of issues with that statement).

It seems to me that claiming “Haskell is great because it helps automatically write difficult functions which are impossible to check” or “Haskell is great because it makes me do the manual steps in writing a function that can only ever do one thing and mixes that pointless code in with the thing I care about” is a bit silly.

This all being said, I do think holes are a useful feature but I don’t think they are useful for entirely writing a function for you. They are particularly useful in proof assistants like Agda where one must manually exhibit a million trivial propositions and holes help fill in all the boring gaps. Agda doesn’t really suffer from the “multiple things a type could mean” issue.
I can easily see that being the case, but can you point to some references with these numbers?
What’s really bizarre is that Salesforce is happy to fly ten of their internal consultants to a meeting, spend all day talking about your business requirements, then end up telling you to hire a 3rd party consultant. I don’t understand what the consultants who work for Salesforce actually do!
Sure, it might be a bad thing for SF if too many people stop smoking cigarettes and switch to e-cigarettes. In the late 90s tobacco settlements, States and municipalities got payments from tobacco companies. Some of them traded that annuity income for up-front bonds. If too many people quit smoking, they might have to pay back those bonds[1].

[1] https://www.propublica.org/article/how-tobacco-bonds-work-an...
READ THIS: https://medium.com/@_unwriter/the-resolution-of-the-bitcoin-...

https://neon.planaria.network/#/
https://twitter.com/_unwriter?lang=en
In that case you probably want to just go with the plumber your inlaw recommended. Would kind of be awkward to explain that you wasted their recommended plumbers time only to save a few bucks with some rando from the white pages.
Honesty it makes more sense in the modern usage. Assuming something which should have been proven seems like the opposite of begging for [someone to ask] a question.
Seems like politicians just trying to win public favor by taking broad swings at a hot topic, rather than trying something that would actually protect the youth, or anyone for that matter.
How has history not convinced these people that prohibition is ineffective and a waste of public funds?
You know we're talking about 0.2% pa, and even that is optional.

Investing in the stock market has never been cheaper. I've been investing for just over a decade and investing costs have easily more than halved in that time.

I've got a mid 90s Motley Fool book somewhere, that quotes 1% as a reasonable management charge just for a tracker.
You realize bitcoin core can’t scale? It literally can only process 4 tx/s whereas original bitcoin (bsv) can do thousands of tx/s
Cool, good to see that all the other problems are solved.
Now that’s a flex!
Huawei Telecom Gear More Vulnerable to Hackers, Report Says
Not even that - they optimize for public perception of effects.
Of all the things they could be doing… taking a crap in the streets is fine, but vaping is not. Got it.
I've never dealt with the CFPB. However, three times I have complained to regulators about companies misbehaving. It appears that every time the regulators did little beyond forwarding the complaint, but in every case it resulted in the company promptly behaving itself.
> does an application behaving according to the UX language of the rest of the system actually benefit the people using that system?

The answer is of course, no. Unless your target audience is already technically-minded people, most users will struggle the same and simply do not internalize the "UX language of a system", only noticing when the departures are huge.

Examples of such departures that can actually make a noticeable dent on the average users' productivity with software are:

- the move from classic menu -> ribbon menu

- single desktop -> multiple desktop

- stacked windows -> tiling by default

Examples of changes that do not affect anyone's productivity but annoy UI purists:

- Input doesn't glow the same way native input does when selected

- OK and cancel swapped places or are aligned to the other side (I'll grant you the importance of swapped buttons if they pretend to look native)

- The menus are behind the titlebar instead of using the global menu

- Using a custom set of icons for standard behavior

- Hierarchy of background colors is not respected

- It's using the horrible Qt file picker again

All of this is coming from an UI purist that has seen how cross-platform development looks like. Having a good language design that is good enough for all targets requires work to come up to but is well-treaded ground (and there are many already out there you can just copy). Alternatively, having 3 codebases for the same app multiplies the cost of frontend development by anywhere from 1.5x to 3x depending on the feature and architecture and that is simply absurd for the overhwelming majority of applications given all options.
I always find its best not to defame someone, no matter how much you might dislike them or their policies, unless you have a specific fact you want to cite?
Notably none of these are (yet) for violations of the GDPR. The ICO has issued enforcement notices, but they haven't levied any penalties so far.
Do you make punctuation mistakes specifically for your marketing text to stand out of others?
Bitcoin core altered the protocol by removing instant transactions and adding segwit. So it’s not bitcoin anymore
Well... interesting if true. Also quite unfortunate, since I rely on xdotool and keynav in my daily workflow. I want to like wayland, but it's rather designed to intentionally break things I'm using.
Then ban cigarettes too? SF is a joke.
Would you support methadone being freely available over the counter? After all, it is a valuable tool in helping get people off more dangerous opioids.
>> fairly robust applications with very limited CS training

Historically, this hasn't gone well. I'm sure many Software Engineers here can attest personal anecdotes to that.

> peak hn

I believe that are saying that this this is the epitome of what HN has become. ( what they believe to be non-software engineers discussing things. )

While I don't encourage gatekeeping, I think anyone can become a software engineer if they read the right books and spend enough time. I had a similar sentiment about seeing the line:

>> fairly robust applications with very limited CS training

This is an oxymoron. Non-technical people simply cannot build 'fairly robust applications' for reasons they quite simply don't understand. Building robust applications is way more than making it work. You also have to make it maintainable and scalable. Salesforce code I've seen written by people with 'very limited CS training' is neither of these.
When you talk about irresponsible marketing, do you mean from the e-cig companies specifically and do you have examples?

My only experience with the e-cigarette marketing have been commercials where some guy is standing there telling you the same type of stories being shared here “I used to smoke x amount of cigarettes a day, now I use this”, followed by the usual boilerplate “nicotine is an addictive substance” disclaimer, a brand/logo, commercial ends.

Seems benign enough, I can certainly see how some may be turned off by the existence of such marketing at all, is this perhaps what you meant by them being irresponsible or could you help me understand a bit better?
As your link says "...Elvis points out that one eighth of the iron in the asteroid belt is more than a million times greater that the estimated iron ore reserves on Earth, which may suffice for centuries."

By the time we start running out of materials from the asteroids, I think we will have recycled some of the material that was previously mined.
Do you want needles for heroin distributed for free or do you want your tax dollars to be spent on treating easily preventable diseases because it's hard to obtain needles?

Making things illegal doesn't stop people from doing them.
How do they protect themselves from thieves intending to steal from their insurance? I.e. thief "lends" bike to themselves (fake account) and falsely claims it was stolen? Clearly some risk (needs real identity, insurance fraud), but clearly some gain too.

The only solution is to put up a bond of approximately the street value of a similar stolen motorbike.
Well that's certainly an alarming symptom.
A waterjet/laser makes plenty of sense if you're interpolating anyway. And ball Mills aren't designed for plunge cutting, so using two different tools would be a suboptimal solution. Since the holes have no features in the z dimension, there's just no reason to use one in this particular case.

Edit: ok, looks like it is hemispherical, so you're right. I had thought initially that it was two layers of offset circular holes.
I would just skip Electron and make a PWA (add2desktop) instead.
This goes to the definition of causality. Ultimately you can never "prove" causality, even with the best designed experiment. You are allowed to make causal claims for non-RCT data. Lookup Bradford Hill criteria, just to start.
Right ok, thanks :)
You lumped all tobacco products together when really there is a specific problem with kids purchasing e-cigarettes. If cigarette rates were spiking in the same manner then maybe they would need further restrictions.
> Selling consumer electronics is a tough business to survive in, ask Circuit City... oh, you can't, they are out of business.

Circuit City is back in business.

https://www.dealerscope.com/article/in-time-for-black-friday...
From the article: ``illegal . . . for online retailers to ship the goods to San Francisco addresses."

Does anyone know how the government of SF would enforce that on an online retailer not based in SF? Tell them they've been fined, then sue them in state court if they don't pay?
Forget about big tobacco? Are you kidding? Bans like these are a huge boon to big tobacco. I'm sure they're writing thank you notes to the Board of Supervisors as we speak.
Vaping is much safer than smoking, so you should allow vaping while you restrict tobacco.

We don't know if vaping is safe. So, using the precautionary principle, you could ban it or restrict it for non-smokers until we get more data. Public Health deals with population sizes, not individuals. Imagine 100,000 non smokers take up vaping. Some of them will be harmed (because nothing is risk free). We need to have a discussion about how many people being harmed is an acceptable risk, and how we communicate that risk to users.

And there's some evidence that people who start vaping with nicotine-containing products will become addicted to nicotine and move to tobacco. That isn't helped by companies going out of their way to design a more addictive vaping product. This is another reason to restrict vaping products and only allow them to be used by people who smoke tobacco.

Personally, I disagree with the ban and I prefer Public Health England's stance. I think banning vaping while allowing internal combustion engine vehicles on the road is dumb. https://www.gov.uk/government/news/e-cigarettes-around-95-le...
Για το δύο στα δύο Νιγηρία και Αίγυπτος
How are they sold? In Australia they have the gory death warnings, are sold in cabinets with no logos (just a plain font list of brand names) and are ridiculously expensive $40 for 20. Cigars might be an exception(?)
Stop spreading misinformation.
Bitcoin SV is restoration of the original protocol. BSV can do thousands of transactions per second whereas btc can do only 4. They both share same blockchain until 2017. Now think again, what will real businesses choose, a crippled fake bitcoin (btc) or massively scalable real bitcoin (bsv)?
Wildcards are a measure to track what others are (automatically) doing with your email address, provide a way to remove yourself from shared lists of bad actors, and sign up to something a dozen times. What they don't do is provide privacy against human eyes.
The Information Commissioner's Office maintains a list of the UK fines.

> The ICO has specific responsibilities set out in the Data Protection Act 2018, the General Data Protection Regulation (GDPR), the Freedom of Information Act 2000, Environmental Information Regulations 2004 and Privacy and Electronic Communications Regulations 2003.

https://ico.org.uk/action-weve-taken/enforcement/?facet_type...

https://ico.org.uk/about-the-ico/news-and-events/news-and-bl...
Uh. Interesting one.
There has been an increase in vaping, but the health benefits of vaping instead of smoking are so large that they swamp the ill health effects from increased vaping unless you get 20 new vapers for each person who quits smoking.

In this debate people really underestimate how bad smoking is for you.

UK NHS estimates e-cigarettes about 95% less damaging than smoking.
https://www.independent.co.uk/news/health/vaping-quit-smokin...
Slack should make a phone/device.

The fb foray into a phone market with that device was an utter disaster and a joke.

The fb phone basically introduced one “feature” ‘the circle profile pic’ and the physical phone was chintsy and lame....

Go back in time to the danger device. The hiptop was cool, and all, but even then there was a miss. Regardless of the fact that danger became android... there was still a miss.

We beed a messaging only platform device.

This need has not been solved.

If a slack-first device existed where i have topical channels for things and branch channels, but i can dm and pm and mm people.... thats the device i want.

Just give me a slack-first os on a device and ill be ok.
Let's go with a proof of stake coin like tron. They have a 2.5 billion market cap. That's more than all of the pentagons ai budget. Congress was bitching about the f35's 94 million dollar price tag. Do you think they are going to vote to give a budget for not only the attack but the person ell and hardware as well? All for a, according to HN apparently, "insignificant financial threat". Doubtful. Easier to just regulate it with a single pen stroke.
“...how on earth would big tobacco profit off of the loss of this young man. I would hate to think on such callous terms, but if anything, we would be losing a customer. It is not only our hope, but in our best interest to keep Robin alive and smoking.”

- thank you for smoking
200k is lower middle class in sf
Had a full work up. Lungs are "undistinguishable from a non smoker" in terms of capacity. Heart rhythm is normal and RHR has dropped from 90s as a smoking coder that sat a lot to the 60s as a non-smoking coder that moves a lot more (Thanks apple watch!). HRV has gone from 20s to 60s-70s in the past year. VO2 Max (at least from Apple Watch) has gone from about low 30s to low 40s in a year which puts me at good, but not yet super in shape for a 40 year old.
Holy shit, it's ~$100/metric ton wholesale from China, and they'll ship individual kgs for ~$3 + shipping.

Oh my God, we're free!

THANK YOU! You've saved us!
All of the issues Californians face and this is all they can accomplish? Another ban? The largest economy in the US and this is it? What a shithole. Literally.
Ironic given the EU has just missed passing a zero carbon 2050 pledge.

https://www.theguardian.com/environment/2019/jun/20/eu-leade...
From the Surgeon General:

> E-cigarette use among U.S. youth and young adults is now a major public health concern. E-cigarette use has increased considerably in recent years, growing an astounding 900% among high school students from 2011 to 2015. [0]

[0]: https://www.cdc.gov/tobacco/data_statistics/sgr/e-cigarettes...
From a business side of things, the advantage of Salesforce is that it can very easily be managed by non-devs. It has straightforward sales functions baked in: reporting, forecasting contact management.
For sure, Airtable can be used as a lightweight CRM. Depending on your business, it might be all you need -- it might even be preferred if you're bootstrapping and constantly iterating early on! But Airtable falls down when your sales/marketing needs grow -- those hires probably won't have the patience to develop tools that tie into Airtable.
To reference the old Jim Barksdale line, Salesforce is the "bundle" option, and Airtable is the "unbundle" one.
There have been multiple webview-using equivalents through the years.

A big part of why Electron-likes have succeeded so widely where those did not is because they suffered from absolutely massive fragmentation, both in features and in performance/bugs. Electron (comparatively) does not, because it bundles its own full stack. You have to deal with upgrades to it when you choose to do so, but not "everyone simultaneously has a different version of their webview, many of which you have never seen and cannot reproduce, and you always have to deal with them all".
Why is Silicon Valley hiring bird experts?
I support and advocate for 100% across the board drug decriminalization, so prob not the best one to ask.
So, like in Chicago with the gun-stores, you'll have vape stores open up just outside the city limits. It's not illegal to vape, just to sell vaping products or ship vaping products to SF addresses.
This is very interesting. Seems like a good way to get people to save.
Netflix has major competitors in Hulu, Amazon Prime and Unnamed Disney Category-Killer.
Big tobacco has been suffering sales drops because of vaping. This will make smoking cigarettes cool again
Also. There are almost no kids in SF. There are more dogs than children. True fact.

San Francisco is bending backward on a lot of issues. Homelessness, scooters, airbnb, housing, weed and now vaping.

I will never understand what the officials are smoking here.
There is a bit of a contradiction in banning e-cigarettes "for the good of the children" while legalising cannabis, which is known to have adverse effects on teenagers.
French video game company with a Japanese name producing a major software title for an American company that sells worldwide.

That might seem unremarkable by today's standards, with practically everything being global in nature, but I appreciate details like this — logiciels sans frontières !
> Convinced part of the problem with political offices is that elected politicians have no incentive to actually consider second order or third order effects of any piece of legislation they pass.

Whereas companies that harm the public often don't even care about the first order effects of their business.
> Sharegrid reached out to me once (because I was selling a camera on Craigslist).

Are you saying Sharegrid was suggesting you should instead keep the camera and rent it using Sharegrid?

Quite some sales technique if so...
This just screams of a moral panic that's no different from when Congress held hearings about how violent music lyrics or violent video games were corrupting the youth.
I wonder if this could be used for high availability between two ec2 instances (vrrp/hsrp style)
Would you support methadone being banned while heroin is available over the counter? Because that's the proper equivalent comparison to the e-cig policy.
You're acting like a jerk and you don't know what you're talking about but I'm going to humor you anyway.

1) Here are three from NY (there's isn't much more case law than this because small claims cases-- to my point-- are rarely removed to higher courts):

1a) Shaw v Point Lookout Toys, LLC., 58 Misc. 3d 789: "While the court appreciates the defendants' concerns, they must be weighed against the "salutary purposes of Small Claims Courts which is to provide a simple, informal and inexpensive procedure for the prompt determination of claims within its jurisdiction" (Kilinski v Melendez, 182 Misc 2d 55, 57, 696 NYS2d 780 [Sup Ct, Nassau County 1999], citing UDCA 1802 [the UCCA 1802 counterpart applicable to District Court]). Indeed, these underpinnings of small claims court have been deemed a substantial right to which parties are entitled."

1b) Fordham Rent A Car Corp. v. Hyman, 109 Misc. 2d 176 : "For this court to direct the removal of the small claims action would ignore the intended purpose of the 1979 amendment of subdivision (b) of section 1805 of the New York City Civil Court Act (CCA) which seeks to prevent divestiture of small claims jurisdiction"

1c) Moise v Brown (26 Misc 3d 1224[A], 907 NYS2d 438, 2010 NY Slip Op 50243[U] [Sup Ct, Kings County 2010]) : "Transfer and consolidation here, therefore, would prejudice a substantial right of defendant Keon K. Brown, that is, the right to have his claim resolved according to the standard and rules applicable in the Small Claims Part of Civil Court, whereas allowing the Small Claims action to proceed would not prejudice Plaintiff in this action."

2. I'm not saying the cases don't settle. I'm saying that small claims cases which don't settle almost always go before a judge. They are rarely disposed of by pretrial motions because small claims courts strongly discourage and in some instances prohibit pretrial motions. In CA, for example, a defendant could file a motion to dismiss but that's about it. Other means of disposing cases (e.g. summary judgment) are unavailable.