skysight-inc/HackerNews huggingface dataset:
> The technology is already at the point where it's useful.

Useful for certain limited purposes, yes. But that's not where it needs to be to start taking the place of human drivers in everyday usage, in order to reduce harm in everyday usage (which I agree is a good thing to do). For that purpose it needs to be more reliable than the human drivers are, and it's not even close to that and won't be for quite some time.
Yes - in fact many people do this regularly...for instance, identifying and shorting pump and dumps (usually popular penny stocks).
I can see this being used as an easy way to add JIT compilation to an existing interpreter.
Ask HN: How to avoid excessive use of laptop/mobile/PC/Internet/Social Media?
Hello Guys,

From the past few weeks, I am feeling slightly headache after work because of the excessive use of all smart devices. I usually spend my 11-13 hours per day either on laptop or mobile. I am using so much internet and Social Media Sites. I am a software engineer by profession so I need to work at least 7 hours on a laptop. I want to change my habit and don't want to use any smart devices, internet, Social Media Sites more than 8 hours per day. Sometimes I get a headache because of all these.

Do you guys feel the same pain? How do you guys manage? How to slightly detach my self from all the Social Media Sites?
I avoided those phones like the plague, guess it was a good choice.

I bet it has a lot to do with the whole huawei backdoor story.

To be honest outsourcing such sensitive consumer device to a police state has not been a good idea for a long time.

I hope it will give good reasons to consider designing either open smartphones, or minimalist os designs with c++ or webasm apps. If smartphones get bloated, they won't be affordable anymore.
> The overhead of searching for symmetries and the exposition of dynamic clauses, make it a difficult trade off against the ruthless efficiency of traditional CDCL

That is certainly true. However, once all the other components have been optimized the hell out of them (of course that is a never ending story itself but probably with diminishing returns) the optimization of the symmetry breaking parts will follow. As I mentioned before, efficiently dealing with isomorphism in the search space is the ultimate (theoretical) optimization.

This development can already been observed looking at the history of graph automorphism packages. For a very long time "naughty" was the only significant player than suddenly came "saucy" and "bliss". As far as I know, one of the motivations for the newcomers was to use them for symmetry breaking.
Similar story with Adwords - if you want support with that, you ain't gonna get it. It's a maze of FAQs and automated email responses with useless information.

If you manage to figure out the incantation to email an actual person, they're some kind of 1st-level support whose purpose in life is to piss you off so much with useless pre-canned responses that you finally give up.

Truely, incredible that they get away with it. Also incredible that they're OK with this given how much profit they make from ads.

By comparison, I've had excellent support from Bing Ads in the past - unfortunately they represent a much smaller number of impressions than Adwords.
I wonder if a CTE with both sets and `intersect` between them would be more efficient than &&.
> Yes, but... The issue of using Waymo as an example is that Waymo/Google bent the rules to achieve these numbers.

Why does it matter whether or not Waymo uses maps, so long as they can solve the problem of cheaper, safer, reliable transportation between point A and point B? Yes, L5 autonomy is significantly harder and has huge advantages, but true L4 autonomy (which I do not believe currently exists) is still revolutionary. You're completely focused on the robotics challenge without understanding that the actual problem is just getting someone where they want to go. If they can solve the problem, it's not cheating - they just figured out an easier way to do it.

That said, I think L4 is still more than a decade away from where it can compete with Uber and Lyft.
Save Hundreds of Dollars on Computer Repairs
The city's website [1] says that cost includes the design, manufacture, install and associated civil works.

[1] https://www.kwinana.wa.gov.au/our-city/news/Pages/City%E2%80...
What is the benefit of using a SAT solver directly instead of an SMT solver, other than tweaking for a bit better performance in the SAT solver?
You Need a Front-End Developer ️ Now
Look at a program called Cold Turkey or something similar to block sites between certain times
I would buy a car guaranteed to drive as safely as I do, except autonomously. I'd do it in a heartbeat, and millions of people would line up behind me. It's not lack of customer demand that's keeping autonomous vehicles out of the hands of the public. It's risk-averse bureaucracy.
I don’t understand the obsession or even the belief that fully autonomous driving is around the corner.

When has anyone, much less Google, released a product that worked at such advanced levels from day 1 and starting from no product in the market?

They should deploy autonomous cars at limited production scales in specific environments, and build it out from there—but we haven’t even seen that yet.
A little-noticed surge across the U.S.-Mexico border: Americans heading south
This move will permanently destroy trust between Chinese OEM manufacturers with Google the same way revocation of private property reduces trust in the value of property. Long term wise, this could permanently splinter Android market share especially in overseas regions like India or Africa where Chinese phones command a large portion of the marketshare.
There's plenty of gaming publications, blogs and streamers which aren't "advertising". Rock Paper Shotgun is some of the best writing on games right now, and has been for the past several years. Eurogamer is also excellent.
this is so damn simple, that I fear for us, for not having thought of it sooner ><
Thanks for your interesting reply as well. I recommend Americans to read it thoroughly.

> A famous video about this topic is here https://www.youtube.com/watch?v=d-7o9xYp7eE.

Yes, I know that video. I've seen it more than once. Its very interesting, and I've seen other videos by ACLU on the matter as well. These videos though are all about the US of A which isn't the country where I live. All your examples are also from the USA. My comment is not about the USA (which kinda makes it off-topic in this thread). I can't comment about the legal system in the USA; I'm far too clueless about it.

> 1) The police might have told you it was for one case but it was for another, as the police can lie.

True, but I'm not afraid for such. I mean, of course I did a few naughty things in my youth (like running around with a replica plastic colt .45 which had these plastic arrows. I bought it when I was like 3 or 4 in Spain crickets) but there's also statute of limitations.

I myself was part of the target group. And as much as I said it to be unlikely male family members were involved, I could not be sure. Now I am 100% sure.

If the government wants to screw me over, they easily can. They easily can break in my house and plant some evidence in it, or on my computer. Locks aren't hard to pick, for starters. They can MITM my phone as well. What they cannot do is request my data at Facebook, cause I don't have such.

I'm also a father. If my kid was raped and murdered when she was to be 12, I'd want to see the person who did this behind bars (well, if not something else, but lets not get into that, cause that's why its good that I am not the judge on my own case, and why it is good that we have a legal system). Not just for my partner or my loved ones or myself; I don't wish the pain I'd endure as a father on any parent. So I want this perpetrator to be stopped. Family DNA is very costly procedure, so the police only resort to it when all other leads have come to a dead end.

I mean, to me, if I'd die today, that'd be less worse than seeing my (only) kid die. I had my father die a few years ago, I don't think I'll ever fully recuperate over that. But my child, my offspring, is -for me- almost the most important living organism on this planet. (Except for the planet itself.)
What makes it obvious? Just because it has usually been done that way in the past?

Paying for organ donors comes with a host of problems. It’s far from easy.
The average that real knowledge workers work per today is probably closer to 6, including meetings.

I did a simple poll of HN a while back. Here is the result:
https://imgur.com/qdSltlM

It's a normal distribution around 4-8 hours. There's no correlation with hours worked to seniority.

Poll language here: https://strawpoll.com/47x15cf1

I specifically included meetings, etc, in the time counted.

If you took anecdotes from office workers IRL you'd think everyone was in the top quintile. You can argue that its an unrepresentative sample (people browsing HN) but I'd postulate that people not on HN are using downtime elsewhere.

And I'm not convinced the 8+ people are being more productive with their time (as per my busy work note in the other comment). Anecdotally, the people who most complain about being busy seem to be the least impactful.
He is right.
A long time ago in a VUE.js app
> Americans will experience 10,948,000 anomalies per year. Or, about 20.8 events per minute.

One possibility is that driving is simply too challenging in the general case.

Note one of the problems discussed in the article, that self-driving algorithms can't cope with bad weather such as snow when road markings are invisible. Humans also can't cope with this situation. We don't drive with strict adherence to the rules of the road, and for example the tracks left by the car in front of you are far more important than any buried lane marking.

If we demand (for example) that autonomous vehicles cause less than one accident per 1 million km driven, then some situations that humans brave on a daily basis (thunderstorms, blizzards, icy roads, residential streets with children around) may never meet that standard even with a "perfect" autonomous system. Thus far, we've papered over the contradiction because we have human drivers to blame.
This is something I didn't consider. Will definitely try it out. Thanks!
I wonder how many of those deaths anyone is punished for? My guess is under 10%. Mostly it's just considered an "accidental death" and life goes on, as I understand it.

But I (fortunately) don't have much experience with this.

The only possible solution is that the SDC and/or software manufacturer is legally responsible for any accidents the SDC causes. I think that coverage has to be part of the legal package for these things to ever be sold in the US. But that would be money, not jail time, of course.

Fortunately the car(s) should have video and data logs from the event, so the evidence situation should typically be very clear.
The best games I've ever played were played with others, and I don't think it was a waste. And not necessarily multi-player games, even playing Zelda with someone, and solving all the puzzles together is a blast. Or Mario Kart. Heck, all of my favourite games are made by Nintendo.
> SDCs should only need to beat that safety level

And they can't as they current are, and won't be able to for quite some time.

Also, what they need to beat is not the aggregate safety level, but the average reliability of human drivers. Not all deaths are due to driver error. And they need to beat it by a large enough margin that people will accept that they are more reliable.

Finally, as another poster pointed out, there is the issue of liability. We know how to assign liability if a human driver makes a mistake. How do we assign liability if an autonomous self-driving system makes a mistake? I can tell you that, if I'm the human who owns the car and I'm still going to be held liable if the car's autonomous self-driving system makes a mistake, I'm going to be very, very hesitant about letting that system control the car, even if the statistics show it's more reliable than I am. At the very least I'm going to want to closely monitor what the system is doing--which of course defeats the whole purpose of having it. And if I'm an automaker and am going to be held liable if my self-driving autonomous system makes a mistake, even if a human driver is in the car and I can't control how they operate the system, I'm going to very, very hesitant about selling cars with that system, even if the statistics show it's more reliable than human drivers.
There we go: 2 gig-e ports means it will be useful as a router/firewall. I hope they don't price it too high.
Having 5+ companies each pouring billions into trying to make this technology a reality separately is ridiculous. All these companies should come together and work on a standardized single solution that can be shared between them. It will come much faster and be less expensive if they are pooling their resources.
I agree that native Mac software is insignificant, desktop software is insignificant to most consumers period. Except for apps made by Microsoft,Adobe, and who else besides game makers are making software for PCs?

I’m nowhere near Silicon Valley, but I can say that hardly any money is going into desktop software development. Companies are following Microsoft’s lead. Even c# shops are strategizing how to get rid of their Windows dependencies by going to .Net Core.
Think about the Model 100 and consider how generally poor the marginal return on computational power we've seen over the last 40 years.

A friend half joked that only real improvements have been in font rendering, search engines and porn.
What distro are you using that has these issues? My Debian server has been running solidly for years without crashing or (automatically) updating. I've also never had any problems with QA or package management; everything installed with the system package manager has always run, installed, and updated smoothly. I'm not a linux expert, but what you described are all issues I associate exclusively with Windows and, to a lesser extent, recent MacOS, both of which I also use frequently.
I’m working on a project to help with this problem — basically trying to combat isolation by connecting with small groups of remote/indie workers that are local to you.

I’m collecting interest to see if people would find this useful. If this sounds interesting to anyone, please let me know (contact info in profile)
Why reminisce when

https://en.wikipedia.org/wiki/DRAKON

available as either

http://drakon-editor.sourceforge.net

or

https://drakonhub.com

is essentially the same with the added benefit of
contemporary language backends?

https://www.youtube.com/user/DRAKONlanguage

bzzz, bzzz, bzzz...
I don’t understand how can anybody take it seriously an approach that relies on statistics for self driving cars. Even if it is 95% correct who would risk getting killed 5% of the time while driving?
And still a lot of funds will invest on the HK market as its much more trusted that the main market.
All male and female should compete in the same league, except women can still earn prizes in the female category.

That way we could really see females beat males for example in tennis.
The amazing thing to me is that I don't [know] anybody who thought it was coming in the next couple years who based their estimate on anything but hope and magic.

I'd agree that a bit of the proper sort of analysis would show that this wasn't easily happening. But I think the kind of thinking that imagines this as possible is extremely easy to fall into.

We've all been on software projects where the launch date was the earliest day nobody could prove it was impossible to finish.

Sure and I'm pretty sure a lot of software engineers have given or agreed to completely unrealistic estimates after having had this experience. If anything, the "software crisis", the inability of software engineers to provide good estimates even after hard experience and warnings is an expression that over-optimistic thinking is natural for human beings in this situation.

My theory is that in situations where a human is asked about the difficulty of a mental task, they essentially can only fall back on a basic language-expression of said task and rationally try to calculate with that - the brilliance and the limitation of we language-generating, language-using creature is the ability to correctly distill a complex and messy task into fairly simple sequence of symbols. But that correctness actually exists in a complex and dynamic context, most of which we screen out. A command like "Drive to the store" doesn't take into account all the compensations needed to do the driving just as "Create an inventory system" fails to specify all the client-specific "gotchas" involved in such a task.

So going from our normal language-distillation process to a complete software system that doesn't have the continual dynamic compensation of our intelligence is an inherently difficult problem - even though we can probably only do it at all because of our "language facility".
Assume 0.00034% chance of an anomaly for every mile driven, we have 340 anomalies per 100 millions miles driven.

According to AAA, drivers between the ages of 25 and 29 have 526 crashes per 100 million miles driven.

Humans are incompetent drivers to an extent we would never accept for robots. If we tried releasing automonaous vehicles that were even 100x safer then humans, we would end up banning them for a generation.
> Creating so much rental supply that the nightly price of hotel rooms is effectively driven down to the cost of long-term rental (so that long-term renters aren't 'crowded out') would require a massive amount of excess supply. But who would willingly continue building such supply right as returns were falling off a cliff?

Nightly rooms are always going to have a premium over long-term rentals. In a healthy market, this merely accounts for the increased risk and hassle of having a new guest every couple nights instead of having a single tenant for a year or more. It's not actually cost-effective to repurpose inventory unless you have an even-worse shortage in one market than you have in the other.

Deliberately separating markets by fiat, incidentally, doesn't really work out, and other instances of this behavior (eg zoning) is another root cause of this problem.
> Non-PTW games seem to be largely dead

Strongly disagree. The microtransaction games are flooding the market, but there's still a substantial number of quality games which have a purchase once model. More have been released this year alone than I'll ever have time for.

pockettactics.com is a good place to start for seeing what quality games are out there and what the new releases are.
Thanks, I didn't parse "MatPat" as a personal name.
Probably only on a recent pip version. Pip 10's dependency resolution doesn't like our requirements files (we have contradictory versions that work due to the order they are in the file), so we've mostly only gone up to pip 9.
YouTube’s Copyright System Is Broken
Assuming it only loops once in the query yes, that's 5 seconds. But (and I'm guessing here) having it in the where directly leads to something like a n+1 issue for full tablescan/non indexed queries as a right or non anchored i/like quickly leads to without the propper index.

What I'm meaning to say is that, the issue is not solved, it is simply worked around by narrowing down the set queried, not really postgres magic but usage of own data knowhow.

I believe a Trigram index whould solve the issue at its root.
pockettactics.com is a good place to start. They highlight the quality games, frequently put out "best-of" lists, and avoid F2P games unless a F2P game is particularly exceptional.
How much more expensive would an iPhone be that’s assembled in the US?
Like I said in the the other thread, it has to be the automaker that stands behind its product with a financial safety guarantee.
Could potentially be content creators that pay the subscription only. But yeah, something somewhere has got to give. Eventually people are going to be sick enough of ads that they will pay $5/month to remove them.
Do they even respect licenses to being with?
It usually is efficient enough, mainly because in practice it is very easy to find slightly too long paths, and fairly easy to prove smaller lengths unsatisfiable, so any solver spends most of its time proving, after finding the optimal value n, that n-1 isn't possible.
Trust me, a lot of Australians hate the current leadership and would love to see them gone. Unfortunately we are tending towards the trial version of USA.
None, Australian government has banned Huawei for government work. Me and others have demanded the government to ban them from consumers but no. Huawei is allowed to sell to unsuspecting businesses/consumers in Australia.

Huawei could sue the Australian government over the ban: https://www.afr.com/business/telecommunications/huawei-won-t...
When it comes to security everyone's guilty until proven innocent.
Here's a starting point:

The Best Offline Strategy Games For Android & iOS: https://www.pockettactics.com/guides/offline-strategy-games-...
That would be reasonable, but China has had such an advantage for so long that just getting them to a level playing field will appear to be a devastating loss. This has been furthered by how the situation has been portrayed in the media in both China and the US and around the world, with the US as the aggressor. I believe this has caused the Chinese government to miscalculate, thinking the US will lose support and back down. Instead they have been backed into a corner. Saving face is life or death for the Chinese government, so the US getting an advantageous deal would require literally world war III and I don't think anyone involved is stupid enough to actually try to make that happen.

I expect that the tariffs will stay in place permanently because any acceptable deal would require the Chinese publicly harassing their own people on behalf of the US government, and there is no way the US could enforce that. So the easiest solution are tariffs that will rebalance trade naturally, and probably the world polarizing into two main economic zones, US-centric and China-centric. And then we all just try not to kill each other for the forseeable future.

The thing that really annoys me about this is that if China would just be patient and play by the rules, be genuinely friendly to its neighbors, it would take them like 20 or 30 years longer but then the whole world would just place the crown on their head and they would peacefully become the world's only superpower. Naturally, maybe even justly. Now we all get misery because of impatience.
Game of Thrones final season remake petition gets 1M signatures
I don't agree. Something like Pokémon from the GameBoy era would run great on a phone, even if it was upgraded with modern graphics[0]. But nobody wants to pay $50 for a mobile game, and I expect Nintendo won't allow it because it would sabotage hardware sales.

[0] Pokémon Go doesn't count.
A lot of that was probably imported western trash. In terms of trash production I would guess US is way higher. Just a guess though.
In addition of what the author said, the ergonomics of playing console or computer desktop games on a smartphone are usually bad. I'll get my Bluetooth controller and then complain that the screen size is too small. Then I'll project the display to my TV somehow and...I might as well be playing on a console.

As for the majority smartphone games, I haven't many that don't have sketchy F2P/P2W mechanics. I will quite often try games but then end up deleting them the minute I see them start to introduce timers and other pay-inducing mechanics.

The closest I got to keeping a native smartphone game was Another Eden but I eventually encounters got tough enough where I needed to start paying to get through some encounters or else face a nasty grind.
We detached this subthread from https://news.ycombinator.com/item?id=19954032 and marked it off-topic.
Freelance marketplace Fiverr has filed to go public