skysight-inc/HackerNews huggingface dataset:
Are there other systems where combinatorial explosions of states do not occur? Is there something in TLA that makes it prone to this where other model checkers perhaps aren't? Slightly related, isn't state space explosion an intrinsic part of any such problem?

If possible, could you explain what you mean by symmetry, and how it reduces state space (it's a big ask, I know).

sorry for the firehose of Q's! I'd really appreciate an expert's view though.
But slow down code, and they sure notice quickly.

Yet electron is not only a thing for hobbyists, but something even large companies bet their livelihood on.
Most advanced passive cooling in traditional buildings I see seem to be in the Middle East and I don't recall every seeing any passive cooling in traditional Western architecture. The loss of passive cooling is probably a consequence of the homogenization of architectural styles we've experiencing for the past several centuries.
Not to mention the 3 military conflicts in the region we were involved in because...oil. At least now we have shale oil of our own to pollute with...yay?
UV index sensor on your sunglasses?
RetroArch will be Steam’s biggest emulation launch yet, coming July 30
Oh wow...I've never gotten around to playing with Inform7, but always meant to and have played a lot of games written in it. Emily Short is a big favorite of mine.

Funny thing is I always assumed it was already open source.
Eve Online’s communications blackout explained
I really do wish people would stop citing this pre-frontal cortex development stuff as evidence against young adult's ability to make rational decisions. The actual studies do not support the claims people make using them. This is probably the worst example of the pop-sci industry run amok I've ever seen.
If you think that's interesting, check out the buran shuttle which landed autonomously from orbit, a feat only replicated in the us decades later with the x-37.
Aren't the other members the ones that Netflix is disrupting in the first place? What can it hope to gain from this?

(Honest question)
Renewables are already cheaper than most fossil fuels. No further research is needed. We can use current tech to displace everything except the more efficient LNG. Natural cost declines will eventually overtake LNG but for now we can replace coal and peakers quite economically, especially if fossil fuels weren't much more heavily subsidized than renewables.
the phrase 'dont shoot the messenger' exists for a reason. (the messenger has always shaped the message, even when it was a runner man)
I'd noticed that most cabs have out of state plates, and now I know why - thanks.
Very wise; excellent advice. Any adult who has faced the prospect of unemployment can probably hear this fairly well, but is there any way to communicate this concept to younger people? I'd have loved to come out of college with a better perspective on what "employment" means for a life.
Yep, but even Marx must have surely noticed the addictive nature of his theories
I’m not so sure I feel comfortable giving them money now.
Its just much much less efficient than going straight from wind into EV batteries.
It is likely that this RCA was shallow because it was intended for everyone--including non-technical users, who (at least in my experience) tend to misinterpret or get confused by deep technical or systemic failure analysis.

It would be excellent if Stripe published a truly technical RCA, perhaps for distribution via their tech blog, so that folks like us could get a more complete understanding and what-not-to-do lesson (if the failing systems were based on non-proprietary technologies, that is).
And the next best, the fully electric Volkswagen ID.R: https://www.youtube.com/watch?v=TRCiGABQupA
Model checkers are essentially glorified fuzzers, so the way they work is inherently vulnerable to state space explosion. The way to address that is to move closer to building things that are correct "by construction", and prove them as such. Symmetry is one way of doing this, it allows you to "reduce" a whole lot of redundant checking to something much simpler, based on some underlying properties of what you're working with. A logical proof works much the same way, of course.

TLA specifications are typically "checked", or rather "fuzzed" by model checkers; this is not formally required (TLA+ even includes a proof language) but things tend to be done that way.
(JANUARY 22, 2019)
I don't know if this is a rhetorical question or strongly held belief on your part, but this kind of thinking is what has led to such a grotesque invasion of personal privacy via trackers and other data gathering techniques the last few years. Legality is not the right standard. How about basic courtesy and erring on the side of respecting user privacy?

If all of us pushed our behavior to the legal limit, society would likely fall apart. Orderly society only happens because the vast majority of people respect the rights of others.
if using a blockchain for example? yes they can be
The MPAA? Of "Fuck the MPAA" fame?
> But here’s my question: If its financially advantageous to install solar on your roof, wouldn’t it be greatly more financially advantageous (given the main cost for solar installation is the labor) for energy companies to install solar at scale?

No, because the law in many markets requires energy companies to buy the net product of customer-premises solar at retail price whether or not they need it, so building more production capacity with the same basic output profile as the rooftop solar that has been deployed because of government subsidies, customer environmental concerns, and expectations of future retail price moves (and soon government mandates) would be counterproductive.
Except there are lots of ways to feed yourself that don't involve stealing. Sure, it is ethical to steal food if that is your only option, but if you choose to live off of stolen food, I don't think that is ethical, just like it would be unethical for a well off person to leave a restaurant without paying.
I have built lots of super performant systems in C & C++ but not for crypto specifically. Almost every time I ran tests to see if we could use something more productive, I absolutely love C/C++ but I recognize there are safer and more productive (subjective) languages and tooling for a team as a whole many times.

So I'd actually side with your productivity thought on this, but would want to validate it some. If the difference in performance is a few ms 95% of the time and that is good enough given volume then I'd go with the most productive tooling. Another point, if your team knows Go and not Rust, I'd immediately just use Go first, you can always optimize if really needed later. When you try to learn a language while trying to build a detailed product that has a lot of performance requirements it is super hard to do it correctly the first time in.

That said, if the difference is a few ms but you are running millions of transactions a day then those ms do matter in terms of infrastructure costs, so you'll have to balance that thought. Most likely if this is the first time you guys are building the order executor you'll likely have need to touch it (from an architecture point) again in the next 6-12 months so I'd just use the most productive tooling first and learn what you need to and then implement it differently the next time (if needed).
It gets to be the favored disruptor, and now the MPAA will help kill any other competition in exchange for sweet deals
> the less technically minded

The less tech minded usually do what the more tech minded tell them. The problem is we 've lulled people with "security", green lock icons. We all know that all security is temporary, but we also chose to appeal to people's natural need for safety. The point is even the best digital security measure is nowhere near good old physical security.
> "Scaled to the offense, not the offender" is a good principle, but how do you make it work for offenders like Facebook or Uber?

The problem is many people are very slow to adapt and understand that at this point enough "entities" are so rich and powerful that any scaling to the offense is practically impossible unless you want to scale the offense itself. It's the same when some people imagine everything "cyber" is perfectly analogous to the traditional ways. This also results in things that don't fit their purpose.

So either you consider Facebook's offense as far more egregious based on their size and reach and apply a proportional punishment, or you consider the offense as the same as anyone else's but you scale up the punishment.

Anything else is basically giving a get out of jail free card to the already powerful while helping eliminate their competition that can't take the same level of punishment. So without defining fines as percentage of revenue or directly punishing executives (much harder to pull off) these fines are indeed jokes. They do not achieve their purpose.
> For example, in Swedish, the word for future is framtid which literally means “front time”.

It's the same in Danish, but if you have a meeting at 1pm and you want to change it to 2pm (moving it further in to the future, or further "front time", forward in time) you are moving the meeting back.

Introductions to linguistics are littered with poorly translated examples and misunderstood grammar points from languages that aren't even particularly exotic (like Japanese and Chinese). So maybe Aymara, just like Danish, have some back-looking phrases that refers to the future, but I am not convinced that people who speak Aymara, would put the Delorean in reverse, when aiming for the future.

> But Spanish and Greek speakers see it as quantity, as volume taking up space.

Author doesn't even try to explain which linguistic property causes this.
What's the incentive of lying that the hack didn't happen and he still had the funds? Just shame? I don't think it is very sensible to lie at that point. You will just get caught later and it will be more painful.
Netflix is such a sell-out. First the ISPs, now the MPAA.
Not if you use a perceptual hash, which is a well established technique that Facebook already uses for other purposes
I should mention, people have been using lenses to approximate FFTs for 150 years.
I don’t understand why they would do this, or what the benefits are. Personally it gives me a strong reason to ditch Netflix now, which is a bummer.
Planes will be decarbonized later. We can start with the low hanging fruit, coal, peaker plants, and preventing new coal in growing nations. Batteries are improving every year, Teslas costs suggest they will have thr density in 10 or 15 years to displace the lower range flights. We could also utilize hybrid tech in planes, we can add a small amount of electric power just for takeoff and regen it during descent. But still, planes and certain industry will be decarbonized last.
But then you get increased losses when transporting the energy into the city, plus the costs for the distribution infrastructure. Rooftop solar tied to the grid can be used by your neighbours when you aren't using it, which means almost no transport loss, not even crossing a transformer.
For my personal data I use Backblaze and an external drive (using windows file history to manage the external drive). For stuff that originated from my phone (mostly pictures) I let iCloud manage that and then replicate it to OneDrive so I have two cloud copies.
Wait...are you Emily Short? Or were there multiple authors for that work?
Ask HN: How would you expose local Raspberry PI to Internet without third party?
I want to expose it to Internet because once that happens I can think of quite a few possibilities that would open up. I am listing some here of the top of my head:

1. Host a blog

2. Host a small private social network

3. Connect to my personal media server, streaming services, file server.

4. Monitor "smart" home. Car and other home utilities should be able to feed data into this PI.

5. Host alternate services for Google Keep, Calendar, etc,.

Currently my PI sits behind a NAT and can't be access through web. But I think it should be possible to access it form outside because my BitTorrent client works flawlessly. Can we create a similar PI network for discovery of other PIs and make them accessible from Internet? How would we go about building such a network?
I believe the homeless (and everyone else), should be prosecuted in full for crimes they commit.

I think there are two types of homeless - those who are sane and normal but down on their luck - once they get a job and support they can be contributing members of society. These individuals need all the support we can give them.

The second type of homeless, sometimes referred to as homeless by choice, those individuals who are drug addicted or mentally unstable to the point they can't even keep it together to get a government check need to be handled differently. I think we should have some form of long term holds for these people until they truly show they can survive and flourish without it.

Cities are becoming overrun with the second type of homeless. These people are generally filthy, spread disease, commit various crimes of opportunity even including assault and murder and rape, and abuse drugs and alcohol until they die.

I suggest we categorize the second type of homeless by issue involved and severity and have mandatory facilities to either help them recover or simply hold them long term. Categories could include various levels of drug addiction rehab, mental health, etc.
One great one is machinery in factories. Faster recharge time, zero emissions.
Show HN: Sunshine (Distraction free social network)
This is in beta and I’m still building some functionality, but I invite you to check it out in the meantime.
Optical networking switch was my first thought.
How many people working 50 hours a week are being compensated such that they can retire in 15-20 years? I’d guess vanishingly few.
>>The point is to deter future violations

>>has been priced into Facebook's stock

So, the fine has failed its purpose already - considering FB stock price has now gone up when compared to when the scandals became public (choose any point on the timeline that you wish).

Anyone who thinks FB is going to change their behavior after this fine (I hope that's not what you are implying) is - how to put it nicely - not a very bright person.
My understanding was that some kind of wave-particle dualism was well accepted. It's exact physical meaning may not be understood, but isn't there experimental evidence that photons, even individual ones, behave as waves in some circumstances (as does as any other 'particle', in fact)?

I've seen this dualism claimed pretty recently by Leonard Susskind.
Can someone explain me why this is good or bad?
Yeah, maybe a third of them did I play elsewhere. But I consider this a signal on how good the commender already is.

Don't think there is a good way for steam to pick that up automatically without it being a privacy nightmare. An "I played that" button would be nice, help steam improve/validate recommendations and might even be used to advertise new content / sequels / etc.
If wholesale energy cost goes up because of reduced demand, wouldn't that financial impact fall mostly to people below the poverty line? IE, those people who cannot afford to install solar/wind/alternative power sources and only have the grid as an option - those people would be forced to pay higher and higher rates(widening their financial gap to ever get off the grid).
Depends on the type fishing and type of fish. Sitting there watching a bobber can get boring. Precisely throwing lures into tight spots when bass fishing is challenging and exciting. Fly fishing is an art, regardless of the type of fish. Offshore fishing is definitely peak fishing excitement IMO, but there is nothing cheap about it.

Let me also add, that the beach is made to surf and/or play games on. Sunning is boring :)
It's been considered!

https://www.technologyreview.com/s/608840/a-material-that-th...
Actually the Buddha was the son of the chief in a fair-sized republic who had every luxury available to him. He specifically left home and began to beg for his food for the social/political purposes I mentioned. It was a huge deal for a twice-born Kshatriya lord to eat food from a lower caste person, amounting to treason against his society. If you’re interested, please read about this before making up your mind.
What’s a good alternative? Their Netflix Originals are owned by them; non-original library sucks to begin with.
Perl 6 文档之 – 语言
Not really addressing your point, but a sidenote on the topic of Australian regulations -- Due to some subsidies/incentive schemes which came through in some states about 10 years ago, some residential Australian rooftop solar installations are selling any excess into the grid at a rate of 0.44/KWh and will be until (from memory) 2024.
So what? Netflix included with all the other tv bloat channels? More tv content on Netflix? Better licensing deals for Netflix?

Maybe Netflix and other cooperating services will jack their prices to $20 so I can finally unsubscribe.

95% of these Made by Netflix titles suck and haven't justified the price hikes.
One reason is the org offers some kind of moralistic authority over art through its ratings system.

This has influenced what we get to see in theaters.
https://en.wikipedia.org/wiki/This_Film_Is_Not_Yet_Rated
It now also reminds me of the controversial Moon Mode on the Huawei P30 Pro. On smartphone cameras you might now incorporate things in the lens rather than in the firmware. Be it improved lunar pictures or snapchat/instagram filters...
Ask HN: What are some good channels related to computer science?
Few days back @sherlock_h asked about favorite channels to learn stuff - https://news.ycombinator.com/item?id=20385679

I would like to ask about your favorite computer science channels to learn core stuff like kernel, algorithms, chip design, interpreter & compilers, cryptography and particularly networking.
Certain providers will strip your exif data completely. I’ve seen email providers, I think yahoo, and other websites do it. The geotagging has definitely been removed as well as the exif camera data. It might be hard to track images this way if everyone is manipulating it including FB/Insta.
https://sunshine.social/@dalton/status/87fcd5af-faa7-40d1-a6...
Tesla's sales and sales of EV's in general look like they are in the early days of an exponential growth curve. They have been at around 100% or better YOY sales growth for the past 3 quarters. At that rate it will only take a few years to go from niche to dominating the market. Car sales in general are flat or in slight decline and Tesla is seeing 100% YOY growth. It doesn't take a rocket scientist to see that if that trend continues for a couple more years some of the traditional auto makers are going to go out of business. The real nail in the coffin though will be if Tesla crack full self driving by 2021 which is what they stated they think they will do.
>There is nothing inherent in "being black" that leads to greater basketball performance. Also, define "black," good luck.

How so universities define someone as black?
First the investors?
> He’s a parasite

This guy’s cost to society is likely far lower than your average homeless person in a city like San Francisco, which spends something like $250,000,000 per year on the problem.

That said, I’m not saying putting homeless people in the woods to steal from nearby cabins is a scalable solution.
Sure, they are both, but my point was - if they have wave-like characteristics, they must be a wave of/in something; if we can have experimental evidence that the wave exists, I would consider that experimental evidence that the field the wave is a wave of must also exist, to the same extent.
On the contrary, I think FTC's willingness to fine companies $5B --- a sum squarely in line with what investment banks were fined during the 2007-2008 crash --- will absolutely influence Facebook's behavior in the future.

People conceptualize Facebook as a single entity pursuing a single goal, and that's understandable given the company's management structure. Nonetheless, it is not that; it is a collection of organizations and product teams with differing incentive structures. The consent decree targeted specific operations in Facebook, not the company as a whole --- and those operations were idiosyncratic and outside the main flow of revenue to the company, to begin with. A business unit that makes $50MM and nets -$4.95B is one not long for this world.

And, once again, you can't know how the market priced the fine, because it was priced in long ago, and you don't have a counterfactual price-without-fine to compare it to.
Luna-16 returned lunar soil after Apollo-11.

If Luna-15, the previous one, succeeded, that would be another story :) but it didn't.
Regarding diagnosis, Asperger was merged into the autism spectrum on the latest DSM. CID considers it to be a subgroup of autism.

HFA/Asperger can be said to be of higher average intelligence when compared to other autists, but that is not necessarily true when compared to neurotypicals.

However, "social struggle" is a common trait (and required for diagnosis AFAIK).

Just my thoughts on the discussion, from a fellow aspie.

Edit: by the way, krn's comment was spot on for me. I live by myself. I leave my house once every week to buy food and supplies. That's my only social contact. I dropped out of college and have only worked on my own software projects. Most people would consider my life very lonely but I quite like it :)
California developer tries to bribe homeless to leave
Media Literacy and Game News
And that's bad.
I like this a lot. What are some other sandboxes like this?
The Art of Futuring: Unknown, Unknowable and Uncertain
> "Scaled to the offense, not the offender" is a good principle

No, it's not, but it kinda works, well enough for most people. It punishes poor people too harshly and wealthy people can shrug it off too easily. But for the vast majority of people it works.

For companies it doesn't make sense at all, there just is too much variance between companies. I also doubt it is what happened here, the 5 billion looks scaled to the offender as well as the offense.
14 months in jail in exchange for 70 million
Even if the entire world now wanted Teslas and nothing but Teslas, the manufacturing ability is just not there. Inevitably the vast majority of the market would go to other companies. That was always the relation between Tesla and established car companies: Tesla has better EV technology, but others had the better manufacturing ability by far.

In theory, this should favour the established companies - Tesla doesn't patent their EV advances, and they aren't the only EV player anyway. It should be easier to add EV tech to existing chain than to establish an entire new supply chain. But every established company is very invested in ICE, and has large internal lobbies.

It's interesting to see who gets the better of this - the established car companies' objective advantage or their internal political disadvantage. The recent moves might suggest these established companies are getting their internal politics in order, which should allow them to do EV better.
And the simulation would produce simulated feelings, but that doesn't mean there would actually be qualia.
Dad tricks both of his young daughters into ending their tantrums
65k is barely liveable now? What percent of the US do you think makes over that amount?
I'm recently in the camp of "Deep Adaptation"
>Isn't it the same as printers watermarking printouts? I don't see this as a necessarily bad thing.

I can't see how you can adopt a stance, which places accountability above blanket surveillance by condoning behaviour, which makes an assumption that a crime has been committed by default.

https://www.eff.org/deeplinks/2017/06/printer-tracking-dots-...

https://www.eff.org/pages/list-printers-which-do-or-do-not-d...