skysight-inc/HackerNews huggingface dataset:
> The regulations for pesticide in Oregon is so strict, baby food would fail. Tomatoes and grapes would fail with 10x above level.

I can't tell if this is hyperbole or not. Would these things actually happen? Are tomatoes and grapes not available for sale or what?
You should not up vote it even once.

Because next it will be, "the wrong business is using the space" and not generating enough revenue. This is how we ended up with condemnations of private property. Someone decided that it could be put to better use, as in generate more taxes. Kelo vs New London ring any bells?

Simply put. Once a foot in the door of abusing the rights of private property owner's is there, there is no end in sight of justifications to come
0: Fix those scrollbars on your homepage
I have never changed completely on my own.

They say you're the average of the 5 people you spend the most time with. Well, you can choose those people, so choose wisely.
Easier. All you need is a hole in the ground, some compost, and the sun.
Nice to see the 3x3 work continuing to go well with that 5-10% speed up. For anyone who hasn’t seen it, Ruby declared a target for Ruby 3.0 to be 3x faster than 2.0.

http://engineering.appfolio.com/appfolio-engineering/2015/11...
No, I'm just a dissatisfied customer. Don't want others to fall into the same trap I did.
People would want to work on to have an international treaty of banning whale hunting altogether ...
Correct, but serious issues do arise, e.g.: https://en.wikipedia.org/wiki/Apollo_Guidance_Computer#PGNCS...
My only feedback is "thanks!"
Right, and I'm saying it uses the GP104 asic, which has that disabled so that other features can be enabled (higher clocks, for example). I don't think you can find and example where the Tesla shares the same chip as the GeForce and something like fp16 is different. I'm sure they do a lot of shady things, but I believe part of this is just chip design tradeoffs.
I think this is just a very visible specific case of assets becoming worth more relative to wages
Ask HN: How do you measure your serverless performance?
No, it's $8000 if you want to buy one now. https://www.thinkmate.com/product/nvidia/900-2g500-0000-000
Also, did you know that by smiling and being nice to people you can add chemicals into your body that make you happy?

This is true, and why it's common to tell someone who looks miserable to smile - it really is a two way thing, emotions affect expressions and expressions affect emotions.

https://www.theatlantic.com/health/archive/2012/07/study-for...

These days of course a person is likely to take offence, thereby making themselves more miserable than they already are, or maybe feeling righteously offended is as close to happiness as they ever get, in which case the desired outcome has been achieved anyway!
AFAIU this doesn't do a whole lot in practice: OpenGL does not support partial repaints - or maybe it does with obscure extensions. What it may do is avoid updating the screen at all when a window updates only a part that is hidden behind something else.

A quite valuable and IME underused Wayland feature is clients sending an opaque region and the compositor using it to draw windows ("surfaces") without alpha blending where it isn't necessary. Alpha blending uses significantly more fill rate than plain overdrawing. Opaque regions can also be used to determine that a whole window or a region of it doesn't need to be drawn at all. I had implemented that as an experimental optimization in a customer project once. In the end it didn't work out because the 2D acceleration in Vivante GC2000 is broken garbage - they even pulled the documentation of it, but still advertise the feature in marketing material.
How to screen record on iOS 11
This comment ignores the fact that wages have stagnated while productivity has skyrocketed.
Most people don't get to choose how many hours they work.

Employers, especially those that pay benefits, want you working as much as possible. Anything less is money on the table.

(I'm not an employer.)

It's good for an employer if you work overtime, all he has to pay is time, or time and a half, or nothing if you're salaried. He doesn't have to pay more benefits, as he would with an additional employee. Of course an employer wants to get as much work out of you as possible for benefits paid.

As an employee, working overtime only gets you more cash (or even none). Working less makes your benefits more valuable.

Even if employment is strictly for money, with no benefits at all, there's an administrative overhead to hiring and managing more employees.

As long as we are employed by employers, and especially if we get health insurance through our employer, there will always be pressure to work more, not less.
Anyone aware of any independent formal security audits of this version of this or any prior version of LUKS?
It's even lonelier when you post to a site intended for people who are alone and your post is silently rejected.
Let me disagree. Corruption is corruption but not cooperation. The same as cancer is a decease but not your new living form. The “bribery game” is bad corruption model because corruption often occurs when you don’t have a choice and you have to accept the corruption risk (which can cost you infinite money). “The public pool is multiplied and divided equally among the players” – they modeled Denmark but not Kenya to learn corruption, didn’t they? “Corruption is largely inevitable” – they should learn about blockchain.
Lastly, I grown up in corrupt country (Russia) and I do not only think that bribes are acceptable but also think that anyone who does this should donate the same money to anticorruption agencies to treat this disease.
"First material evidence please, then you get some more money".

They spent their entire first budget on a warehouse near Las Vegas to store such potential material evidence. Without any convincing material evidence. So what else does he want?
That's nonsense. There's no objectively healthy inflationary rate.

Low interest rates are the key factor in driving demand for borrowing. Low interest rates signal a healthy supply of savings from which to borrow. So, low interest rates naturally match a large supply to a healthy demand. Such a scenario would create a market for investment-led expansion.

High interest rates signal the opposite. Either the supply of available savings is insufficient, or relative demand is high enough to drive out uncompetitive demands for savings.
Top Web Development Articles of the Week (25 Dec 2017)
That is all nice and helps as long as you don't reverse the reasoning like: Oh you can't view/feel depressed, well then just work on it more. For many the gap is just to big... no matter how much effort they put in it.
Autopilot with WiFi link for video streaming running open source flight stack
It has. The low-work-hours future is here... It's just unevenly distributed.
F1 is not won by top speed, it is won by dynamics. High rpm.
Those old high HP monsters are used in the US with drag races, but not in competitive modern race tracks.

We are not in the 90-ies anymore.
What particular speed improvements do we expect from 2.5.0 release? String interpolation speedup?
Weird machines, exploitability, and provable unexploitability [pdf]
You missed the point of the post. Pythagoras could prove sqrt(2) is irrational but the proof already implicitly assumes it exists.

"exists" in mathematics, basically means that it does not contradict the axioms of whatever system you're working under, or result in a logical inconsistency. For example, the set that is the subject of Russell's paradox, cannot exist in any reasonable system of set theory, and its definition shows that naive set theories are logically unsound.
I think the simplest 'solution' would be for universities to stand for freedom of speech, refuse to back down to any extremist students or professors and tell them that if they don't like it, go elsewhere Time to stop treating students like customers who are 'always right'.

And I think the same could fix 'outrage' culture in general. Refuse to back down, ignore the complainers. Every time someone tries to get someone else fired for some 'mistake' they made in Twitter or whatever, tell them to sod off and say you don't care what a small minority of complainers say on those sites. They don't matter, their numbers are so small tha you can safely ignore them and life would continue as normal.

Remove the tribunals, remove the free speech restrictions, ignore the complaints about statues and offensiveness and just run the university as it always has been run. Things will improve pretty quickly.
Speeding up the Build of C and C++ Projects
Bringing the war home itself is personal.

RAF in this context stands for Rote Armee Fraktion aka Baader Meinhof gang. See e.g Wikipedia
To that, I would argue that security is (or should be) part of the spec; if it’s not secure, it’s not correct. Having it be a separate and lesser concern is how we end up tacking on security features as an afterthought.

To borrow from the kernel devs: Security requirements are just like any other requirements.
didnt he always have a deadmans switch for his twitter account?
Interesting view; I suppose if you look at HN as an extension of YC, then you're right: it would make sense that HN tends to focus/cater more to the growth/funding points of view.

For me, HN has become a source of news/ideas related to innovation (with an obvious leaning towards digital/technological innovation).

I guess, given how I see this community (and use it for access), it's refreshing to see an article like this :)
Meaningless, entertainment listicle.
There is already active research on this. Clark Barrett has been applying SMT to deep learning models to prove smoothness guarantees.
Well, #3 references food for sure but people don't use metaphors as it is across industries. I don't "eat" movies and shows rather watch it. So, in my opinion at least, it should be all-you-can-watch.

In case of #4, it's just slightly unusual grammar? It should be - range of appliances doesn't make a smart home rather than range of appliances doesn't a smart home make.

English is not my native language but the article was still a painful read.
i don't think there is a natural crypto price which is what is being exploited here
You can verify general properties, like resistance to adversarial inputs and smoothness.
Hit the Cyber Underground for the Hottest Travel Deals
I didn't know these were still going. I remember they used to be reported in Practical Computing magazine in the later 1970s/early 1980s here in the UK.
It isn't an obscure feature. You can implement partial redraws in OpenGL in the obvious manner, by selecting a single-buffered visual.

This of course has all the expected downsides, like tearing, and modern GPUs are fast enough that there's rarely any point--but it's certainly possible.
Darwinism and Neuroscience needs to get further into society.

I'm sure when we evolved - we weren't designed to ever have productive meetings with groups larger than four or five.

That's why associations follow the Robert's rules of order.

By recognizing human limitations we can come up with appropriate workarounds.
Inflation, taxes, and regulatory burden.

Savings have been systematically eroded for 50+ years. Total taxation is now 40+% of GDP. Private sector workforce participation is dropping. Regulatory burden dramatically increases health care, housing, and transportation costs.

All of these policies have worked to keep you in the office.
Sure, but everyone of those faltered after years in the business and not after just one year in decreased sales.
Why investing in Bitcoin is meaningless
Not sure why you are downvoted. Must be all the newbies.
Julian Assange's Twitter account disappears
Anticorruption agencies can essentialy be neutered by corrupt leadership. They're subject to public funding. This is what happens as we speak in Eastern Europe (notably Poland and Romania). Bad economic conditions, lack of infrastructure and education only make it worse. This is why the Marshall Plan did wonders to post-war GDR. And this is why halting EU funds to corrupt Eastern Europe states will only make matters worse and reutrn these countries 90s cleptocracies.
> If that person reads my writing, they don't get any value from it.

To be fair, they may well think you are referring to them, because of your words here and how you don't seem to acknowledge the reality of their condition:

> also I defeated crippling life long depression, food addictions, weight loss, and few other things many people want to label "diseases" we have no cure for or control over

Sometimes really all the person can do is avoid suicide for another day. That's the only choice available. To keep living or not. Traditional logic is not available to the suicidal person at that point. Only depression logic, and as the saying goes: depression lies. People who love their families end up feeling that their family would be better off without them dragging them down and instead of asking for a hug, they kill themselves. Depression blinds you to what your options really are, and what the truth is. You can't rationalize your way out of it with facts because depression destroys facts and replaces them with the conviction that you aren't worth anything.

> But for everyone else, I hope they can see that real change is possible, and ignore all the neigh sayers that will give them an excuse not to try.

I agree with you that the availability of an illness to be used as an excuse for poor choices comes with some baggage. And many people can improve their quality of life and relationships through making better choices in what to do, and allowing those better choices the time to accumulate into meaningful change. I am proud of you for improving life for you and your family.

In terms of professional help, I do believe it starts with taking and listening to a therapist and trying to create change based on thinking differently. It often works. If that fails, a trial-and-error journey with medication begins. If that also fails, the person is screwed until further notice, or they can try a bunch of experimental things. All of this is only possible if they can afford the costs of therapy and treatment, which is by no means a given.
BtleJuice Framework – Bluetooth Smart (LE) Man-In-the-Middle Framework
Retail isn’t growing, but it still accounts for 80-90% of sales in almost every industry. Online sales will probably overtake brick and mortar… in 5 to 10 years—in the US.
Amazon is big, but only really in he US. And only certain verticals. And only typically among affluent urban households.

You’re describing why online will badly damage NYC retail, which is the context of this conversation.
There is a whole world outside the United States.
As noted on the release notes, do not use this for production systems (for now) unless you have a backup of your data
The difference between Android and iOS is pretty huge and it's the reason why I'm using an iPhone instead of my previous Android device. I feel like scrolling on Android is way too delayed.
Housing price increase just doesn't go to landlords. It goes to City and state coffers via tax. Chicago had two housing tax hikes in 2017, for example.

Edit: Added links

> For homeowners in Chicago, the average increase is 10 percent.
https://rebootillinois.com/2017/06/13/big-property-tax-hike-...

> Summary over past couple of decades

https://d2dv7hze646xr.cloudfront.net/wp-content/uploads/2015...
People like to tout this idea about a lot, but I've never seen it used in any rigorous way. It's SUGGESTIVE of program behavior, but I haven't seen any tools for (attempted) extraction of even just FSMs from basic type-level state machines like that. You want to write down a property about "Email Verified" and the paths to values of that type and have the system check it. Real programs are too large for mere suggestion to have any assurance value.

... and I think this presentation had a lot more to offer than the absolute bog-standard techniques of labeled transition systems, whether you do it in the types or not.
Honestly, I'm kind of surprised that turnitin's bot listens to robot.txt, or that the 'anti copyright infringement' bots do the same. Seems like it provides a very simple way for a cheating site to just thwart their entire 'system'.

But hey, I guess it's one of those cases where the law and basic ethics clash a bit; with certain laws saying 'unauthorised' access to a server is illegal, then ignoring that would leave them under fire for that instead.
Why is the other[0] submission 'dead' ? It is not dead for me.

[0] https://news.ycombinator.com/item?id=16003979
ERB generation should be a lot faster, which will be a boon for a lot of Rails apps, and according to the release notes there's a 5-10% performance improvement overall from removing all trace instructions from bytecode.
I had this one in mind: https://www.khronos.org/registry/EGL/extensions/EXT/EGL_EXT_...

Note that Kristian Høgsberg, for years the main developer of Wayland, is among the authors. So I guess it is actually not so obscure in the Wayland context.
It tells you how many frames old the current back buffer is, so you can repaint as necessary to take it from the state n frames ago to the state now.
> Not raising funds to stay small and happy

But in this winner-takes-all reality, is that possible? If your business concept becomes successful, what prevents a bigger player to copy it, improve upon it, and steal away your customers?
I would be interested in a source code scanner that tells you how many functions or lines can modify a variable and show a table of variables/counts. This could be helpful on a new small codebase or checking variables in a specific ugly class that always has scope errors so we can tell our bosses it sucks.
Just to prove the point, the Tesla p40 has the same chip as the GeForce you site, and it too has slower fp16. This is for a $5k card .
Visitors from the UK are harder to please than their American counterparts?
It doesn't. I fell like this article is a summary to a game theory study.
The failure here is not an AI failure, it is a security failure, and specifically a rush to deploy 'smart' technology without a sufficiently thorough consideration of the ways a sufficiently resourceful and determined attacker might exploit it. Unfortunately, I can say with some confidence (based on the repeatedly-demonstrated persistence of complacency) that we will see many more examples.
ITT: people complaining about Netflix
Just because seemingly rational humans wouldn't buy at such a price isn't the same as "no human would buy." I remember reading tweets of someone angry at coinbase because they bought a ton at $8000 and tried to sell at $9000 but was unable to. Bitfinexed makes a lot of outrageous leaps in logic.
What a Deep Neural Network thinks about your selfie
I moved to SF back in 2011 and I got burned by a few startups. I remember reading HN back then and someone said the average time to become a millionaire if you were chasing startup exits was 5 years. I probably in the best position now to have a successful exit, but I'm beyond the 5 year mark.

I think evaluating the viability of startups is a skill that I've gotten better at as time goes on. I've been at 5-6 failed startups (small old companies) with zero upside on exits. That being said, the time I was the happiest was when I was working for myself for about 18 months on things I was passionate about.
Fast nnn file browser v1.6 released
Newton, Massachusetts, a City So Delicious They Named a Cookie After It
They might out-advertise you, but it's not at all easy to beat a well oiled team of three talented persons on the technical front. Just throwing money at a problem does not guaranty a superior product.
Nice try Wildberger!
But the article points out that a major input into this system is the valuation of properties by banks, which prefer to see corporate renters. It seems possible, at least, that a corporate landlord may, because of this, prefer to push out an individually-owned renter in the hopes of securing a corporate renter, because the property valuation by the banks will then increase. This would be immune to the popularity of the individually owned shop, so immune to an actual demand signal.

In other words, it's not the customers, it's the banks and the corporations who own the buildings.
We might have a difficult time telling you how we do it, but I suspect that the why of that we do it is that we've been in situations in which thorough and clear explanations significantly helped us and/or others, and we hope to have a bit of that for ourselves at the ready at all times.

With that said, practice writing down thorough explanations of things, then play with the way that you've structured or presented the statements. Think about how a reader/hearer might respond to what you've said. Then practice what you've learned by communicating with friends/contacts.
It very much depends on how you define a startup
I think economic would eventually benefit economic itself first.
BUT what I want to say about this problem is I don't think such number really means so much.
Numbers tell you something of course, but they are just part of aspects after all.
And I have always a prejudice that the whole economic system is some kind of lie about trust, which is useful in old days. but today that more likely we just have no courage and power to change it.

However after watching I think is only a way of life vs way people view others.We would soon notice something we want to notice
Six myths about blockchain and Bitcoin: Debunking the effectiveness of the tech
And THAT'S WHY it's good for corporations to have closed non-libre drivers :) They can make an easy buck by selling 'more expensive' licenses. You are the buyer, you decided for a closed solution, so pay more for it!
I wish there was a good catalog of Chinese devices we could import to America. One of my friends can read Chinese and showed me a color E-ink note taking tablet that's available in China that was similar to reMarkable. That's something I'd love to get my hands on. I'm sure there are many other nuggets from China that don't make their way over here for the general consumer market that some people would love to buy.
6 Essential Tips on How to Become a Full Stack Developer
Absolutely true. As a small business owner, the amount of regulatory and accounting overhead beggars the imagination. I only hire consultants, due to the lower overhead and paperwork burden - I couldn’t even imagine hiring an employee.
Good, he's done nothing but damage to his cause in recent years. Not sure what happened, but glad it's stopped.
This entirely depends on the discussion.

As a manager, I use 1:1 to discuss matters related to or pertinent to the individual. I use group discussions to discuss group-level matters -- this is usually something related to project work, i.e. scope, design decisions, etc.

I don't compare the two because they are both "meetings". Each serve a purpose, and ideally both are executed well.
metis is a first-order automated theorem prover. the metis tactic will handle encoding the goal as a first-order problem, using ~just the rules you provide it, invoking actual-metis, and reconstructing a proof (in the kernel logic) from the output proof. so, it is impossible to prove things that are false using the metis tactic (ie, metis is entirely out of the TCB).

re: the simplifier, I feel like it's a bad example because coming up with good simp rules and knowing when to add them and when not to when writing new code in Isabelle/HOL is almost an art.