skysight-inc/HackerNews huggingface dataset:
I couldn't disagree with you more. The article referenced by GP mistakes the form for the function. Just because the computer uses different technology than human tissue, doesn't mean it isn't emulating the same ultimate processes that are happening in our bodies.

And even if we don't have the correct algorithms in sight today, there is every reason to believe that whatever processes are occurring in our brains and bodies, can indeed be simulated and replicated virtually.

The only way to argue against this idea is to claim that there is some special magical non-material aspect to our existence... which no article or neuroscience education has yet demonstrated.
How does it compare to openhab?
Hearts of Iron (3 and to a lesser extent 2) are probably the biggest example of a warfare game with a focus on logistics. 3 especially got a reputation for being difficult and unfun, even among many fans of Paradox's other games, though obviously there are more contributors than just a logistics focus.
Check out doorbird
https://www.doorbird.com
You're not a troll, we thought you were. We were very wrong. You were the complete opposite and wanted to help.

Paul has publicly admitted that he was wrong on the podcast. It is funny in hindsight. He denied that we said we would OS it then I reminded him that he made the graphic announcing it!

Big mistakes made on the messaging of this and lessons have been learned.
Moscow's suburbs may look monolithic, but the stories they tell are not
Indeed. I had a brain fart apparently (and have updated it crediting you here). Thanks!
> and it is a great place to do business

What are the main pros?
It's not just the Trump thing. He loves to butt heads with the social justice types in a way that makes him look awful. Wrote some creepy antifemist blog-posts too.

In the wake of a shooting (can't remember which) he tried to push his WhenHub product as a journalism tool.

And his fence-sitting support of Trump has always been "now I'm no Trump fan but here's a long list of things Trump is good at and I'll be very defensive about criticism".

I was a huge Dilbert fan, so watching his decline sucks.
How does it compare to ARM Mbed OS?
But the sign's content is chosen by external audit right? That's different.
They would have started their High TDP ARM CPU design at least 3 years ago, and had they done that, the NUVIA guys wouldn't have left Apple to start a company of their own design CPU for servers.

So I seriously doubt that is happening, not to mention it makes little financial sense.
In the area of kernel development, maybe, but Apple develops WebKit, Swift and some other projects in the open.
Authenticity promotes well-being in life and at work
Twitter begins testing Reddit-style nested conversations
"If you can’t explain something in simple terms, you don’t understand it"

Here's an example of a simple explanation that otherwise would require complex math
https://youtu.be/ZcpwnozMh2U
What is Room Of Requirement, if I may ask?
A thread from 2018: https://news.ycombinator.com/item?id=17532003.
Is there an comparison to FreeRTOS and mbed? I could not find a good article online so far. There is a "Why create another RTOS?" section under https://www.zephyrproject.org/what-is-zephyr/ but it's very light on details.
That isn't hard at all. This one refers to it as technique used by the Soviet also.

- https://www.washingtonpost.com/news/made-by-history/wp/2018/...
Nothing in the Endocannibalism page suggests that any mentioned group ate their own members to the exclusion of eating members of other groups. That topic isn't discussed at all anywhere on the page.

The most prominently mentioned example, though -- New Zealand -- was definitely not exclusive endocannibalism.

The exocannibalism page confirms that the Wari' also practiced exocannibalism.
Randomized testing is very good, but it is so fundamentally different from model checking that it's not an approximation in any meaningful sense (except in the sense that both are automated methods that can find bugs). Again, even an explicit-state model checker can quickly check infinite executions. An interesting hybrid between the two is concolic testing (see https://youtu.be/MDzRV3OQtyQ which quickly shows the difference in power between concolic testing and randomized testing). Concolic testing is one of the most promising areas in formal verification these days.

Also, the use of the term "non-formal" in the article you linked is incorrect. If it runs on the computer it is, by definition, formal. The author meant "sound" or "exhaustive" (although, while all model checkers are exhaustive, many -- like the one in this article -- don't actually try each input; they're exhaustiveness implies soundness, not a particular brute-force algorithm. How well they can actually beat brute force is, however, another matter...).

BTW, it is possible to use the TLC model checker for randomized tests of TLA+ specifications in a way similar to randomized testing of "stateful properties", as checking random walks of the state graph.
The ISP bill is only part of the overall cost, and a small piece of it at that. You also need a physical address for that connection to be installed at, power for equipment, and someone to respond when something inevitably goes wrong (admittedly the person could cover multiple cities potentially).
Has Nature come to this? Taking opinion polls and brandishing results?

Germans will get a more ambitious timeline by voting (or not). That's what shows what they actually prefer.
After struggling with a disabling fatiguing illness for 10 years and thinking it was incurable, I was just diagnosed with a rare sleep disorder and am awaiting corrective surgery. I'm excited to see what I can accomplish with a normal energy profile.
GitHub for Mobile – GitHub Universe 2019 [video]
Part of my aim is that the data behind counterarguments be as easy to reach as the opinion they led to. It's one thing for me to see that 30% of users think vaccines cause hemmorhoid-face. It's another if I can see that their beliefs can all be traced (after factoring out cycles within that community) to a single no-longer-licensed proctologist.
Look-n-feel issues sound very subjective to me. And I don't like common Gnome's attitude of "We know better than you what's good for you, because that's what some new theory dictates, so we'll make it hard for you to do it differently". MS suffers from exactly the same mindset.

Personally, I never had problems with KDE design. If anything, I prefer it to Gnome's. Plus KDE is so customizable, that if you don't like something, you can find a way to change that.
It is 63-78 months for first offense, 46-57 if you plead guilty.

So still kinda long 5 years.
Munro said the Model 3 had the best powertrain of any EV on the market.

He had negative things to say about the quality of the rest of their electrical components, noting that based on the cost of the components Tesla should have an 18% markup...because Tesla is using consumer grade parts, not automotive grade parts.

What other manufacturer sells hardware upgrades to their late model year vehicles?

Almost every car sold to consumers in the US today allows you to replace most parts of the car, which includes upgrading nearly every component, if you so desire. Sometimes the automakers sell upgrade parts; usually they leave it to third parties (i.e., the "aftermarket"). It's actually not a good thing that Tesla is the only source of upgrade parts for their vehicles.
The Long, Sordid History of New York’s Penn Station
> I think I've seen some research in the past that women and girls perform just as well on math and numbers as men and boys, as long as you separate them from those cultural expectations.

Stereotype thread studies doesn't replicate that well.

https://replicationindex.com/2017/04/07/hidden-figures-repli...
Which, for anyone who has learned the hard way, has to be enabled before your internet goes out.
Any discussion of open source home automation should include Mozilla's "Things": https://iot.mozilla.org/gateway/
Honestly I prefer the code itself to stand out more as comments can be very bad but the code never lies.
In their architecture diagram they're comparing their stack to one with distinct native UIs for each device type but they don't really explain how they're replicating that functionality. Unless there's some trick there should still be 3 UI blocks in the Ruby side of their diagram.

I won't go so far as to say this makes things worse but it seems like you're just moving things around. You can still have distinct client code on the Ruby side. If your goal is to simply move all this work out of JavaScript and into Ruby because you like Ruby, it seems fine.

You no longer have the explicit rest API to force a separation of UI and business logic but you can just enforce that with coding practices. You lose the ability to decouple UI dev entirely though.
> The TLA+ model basically pointed out that the (finite sized) message buffer can grow without bounds if notifications are missed over and over (e.g. a super shitty RF environment). I've got a strategy that might work for polling it periodically, but I don't know that I would have realized this failure path without modelling it.

Obviously I don't know anything about your use case, and I apologize if this comes across as unsolicited advice, but this sounds like a pretty textbook example of a situation where load shedding is your only option -- even if you manage to figure out the polling problems.
There is so little helium in the atmosphere that distillation is totally pointless. Almost all the refined helium we get is a byproduct of fossil fuel extraction.
It’s also worth pointing out that non-repudiation requires stronger properties than cryptography alone can guarantee. If I surreptitiously leak my private key onto the internet I can later plausible deny that I signed messages. (The Signal protocol deliberately leaks old MAC keys for this reason).

If you really want non-repudiation then you have to have hardware, legal, and procedural controls in place.
I’ll go with the follow-the-money argument. It is almost always the correct answer.
Funny and sad, because it is true. This practice is very commonplace.
I would be very worried about going to NK if there was even the slightest possibility that they could think that you were trying to conceal your U.S. citizenship from them. That, it seems to me, would actually be a legitimate reason for them to suspect you of being a spy. Not that that really matters. The North Koreans are perfectly happy to detain U.S. citizens for non-legitimate reasons. Going there as a U.S. citizen seems to me like a crap shoot with terrifyingly high stakes.

(Not that I ever really seriously considered going there before, but I am definitely not going now that I've posted this!)
Thanks for a thoughtful answer.
Better title for HN:

Arrest of Cryptocurrency and Tor expert [...]
Hippie Inc: how the counterculture went corporate
I'm thankful for Hacker News and its community.

I am successful largely in part because of the community and its discourse. I was introduced to the growth mentality when browsing this site back in 2010, and astonished by how open and humble people approached their failures.

This resonated with a lot of my personal struggles. However taking on a growth mindset put me on the right course and helped me take on increasingly larger scope and responsibilities at work, and also improved my relationships with family and friends.

Fortunately I'm now in a position where I can help shape culture, and pushing for learning and open mindedness has been an underlying principle for many of my actions.
Also, German voters want the bikeshed to be green.
The point they are making is that the inflation index doesn't properly account for increase in quality that these technological innovations are offering. In fact many measures treat a 1992 cell phone as an interchangeable good with a 2019 state of the art smartphone and in that basket of goods the cost of a phone has risen substantially. Never mind that the 2014 phone that's free with a contract can do stuff that in 1992 we didn't even imagine a phone doing.

Similarly, by treating health care as a single good and ignoring all the new treatments that get introduced we see the cost of healthcare is dramatically up. But the cost of getting a treatment that didn't exist in the time period was infinity. Regardless, patient outcomes are better too on a per condition basis so the treatment quality has gone up too.

I'm not sure many people would take the option to pay a 1970 price for a 1970 standard of health care if they could have that choice now. But the inflation indices treat 1970 healthcare and 2019 healthcare as almost interchangeable.

For education, my 2nd year undergrad course used a textbook that was a grad school book at MIT in the 1960's so the material being taught has advanced too. Again, interchangeable good in the index.

If inflation is wrong, then most measures of inequality are also wrong because inflation adjusted incomes are wrong.
Please fuck off with this constant horse shit about black holes containing meaningful “data” or the universe being a hologram. It’s flat earther tier insane. Anyone who spreads such ideas should be mercilessly ridiculed, and anyone posting articles sympathetic to such theories should be permanently banned from HN.
Do you have the same approach about all other linux-powered devices - cars, fridges, TVs etc?
This is really cool! I'm continually blown away by the quality of some of the projects Shopify open sources.
I will also add this. If you or someone you love has an addiction, or if you're just interested in the societal problem, you need to understand this about addicts: they don't have much, if any, free will when it comes to their addiction. Even if they want to change, which is not a given, it is very hard and does not happen overnight.

The only truly effective way to deal with it in the short term is to make it impossible, or as hard as possible, for them to perform the behavior. This is why the interlock works.

If you want to understand why criminal penalties don't work well (although I'm not opposed to them), think of it this way. An addict is like a lab mouse, operating purely by stimulus and response. For every one time a person is caught for DUI, they get away with it 79 times. They learn that they can get away with it. In a sense, they are actually rewarded by getting away with it.

I have long thought that it would be incredibly helpful if DUI offenders were required to have a special decal on their licences, that would prevent anyone from selling them alcohol. Non-DUI alcoholics who wanted to get sober could also get one. This would be virtually cost-free to society and I believe it would save many lives and help many people get clean.
It was only a matter of time
Election Results don't appear to indicate this though.
A request. All those new upcoming Themes. Could you at least make a video demo of them(in case they're somewhat ready) if not the date of their release, so that I keep them in mind and wait for them? Hoping for a Christmas release
Home Assistant is the best one by a long shot. Largest community, most integrations, etc.

Just one more comment for the pile of 5+ that already replied.
This doesn't count as substantive enough for HN.
Web speech to text is still available on Chrome... https://www.google.com/intl/en/chrome/demos/speech.html
There's a lot here but this specifically talks about AdS/CFT which seems to be a pretty core concept https://www.youtube.com/watch?v=klpDHn8viX8

Just linked this on a similar information theory thread [1] (glad it's so popular on HN right now!)

1: https://news.ycombinator.com/item?id=21653230
Smiling at the runaway-recursive irony here (while agreeing with you).

"Facts are not the most effective form of argument" might be a little less contentious. Evidence is neither necessary nor sufficient and sometimes counterproductive.
Chroot into arm from amd64 with systemd-nspawn
This is good for bitcoin!

Btw in this context Dorsey is better described as ‘Square chief’
Articles on HN don't need to be science, they just need to be interesting. We're not running an academic journal here!

https://news.ycombinator.com/newsguidelines.html
That’s a highly misleading statistic, based on assuming that anyone with medical debt who declared bankruptcy did so because of the medical debt. In fact, the rate is much lower: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5865642/

> However, the magnitude of the bankruptcy effect is much smaller than previously thought: we estimate that hospitalizations cause only 4% of personal bankruptcies among nonelderly U.S. adults, which is an order of magnitude smaller than the previous estimates described above.

WaPo’s fact checker gave that statistic three pinnochios: https://www.washingtonpost.com/politics/2019/08/28/sanderss-...
Dopamine fasting is a tech fad that sounds silly – but might just work
Probably them pinching pennies, not using automotive-grade components. This keeps happening: https://www.thedrive.com/tech/27989/teslas-screen-saga-shows...

Enjoy replacing literally every part of your car if you expect it to last close to a decade.
The 1700X and 1800X had some issues with GCC failures under heavy load. Linux apparently uses more CPU resources faster than Windows does, and caused excess voltage drop in some scenarios, as I recall reading about it.

I think various sites online called it Performance Marginality.

That was only a problem with some of the first gen Ryzen / Zen 1 chips.

And I think it also involved the motherboard, because my 1700X never did it when I have my ASUS board set to boost with all-core overclock, but it did act a bit funny under normal settings.

With the current Zen 2 chips everything seems fine. I did have some weird RAM corruption errors with my 3900X when I had the RAM set to 3600 and I did 24 thread Rust compiles. However, that didn't happen with the release version BIOS, it was only after the ABA (I think? The one that fixed RDRAND) Agesa update that was supposed to fix the excess voltage levels and I think they went too far. Everything was perfect running the RAM at default 2400 speed.
>>But merely publishing information in a book or on a publicly-accessible website for all to see is not generally going to get in you trouble

They Tried that, but that pesky 1st amendment got in the way. Research the CyptoWars (which is seems are heating up all over again) and the PGP Source Code Book.

The US Government has been attempting to censor speech for as long as it has been in existence. the latest attack on crypto by the US Government for "national security" reasons is just the latest in the long line of abuses
It does not require any use of the unsafe keyword.

See the playground link containing a demonstration of the issue: https://play.rust-lang.org/?version=stable&mode=debug&editio...

The 'unsafe' keyword in the internals post is referring to the stdlib implementation of Pin. The stdlib's use of unsafe is supposed to uphold safety guarantees for all functions that aren't exposed as unsafe, and the stdlib failed the guarantee here, thus allowing a soundness bug without the user using 'unsafe' anywhere.
My kids reminded me how much fun it was to be one.
I have over 500 sensors integrated into my home and when all done will have over 1k. I find the biggest problem when you get big is that home assistant has no way to deal with back pressure of updating networked sensors. Once you have issues with say 5-6 sensors it starts cascading.. you hit 10 which could be just ecobee sensors or homekit it can bring down homeassistant.
Take a look at the Souffle Datalog compiler:

https://souffle-lang.github.io/

Some benchmarks here showing it beating a lot of other engines:

https://souffle-lang.github.io/pdf/cc.pdf (this paper also cites LogixBlox)

They translate datalog into a straightforward relational bytecode, then use Futamura projections to compile that bytecode into a template-heavy "monolithic" C++ program.

As far as I remember one of use of C++ templates is to specialize for different sizes of tuples, so fast assembly is generated for particular queries/facts. They are doing at least 3 nontrivial transformations, and the last step really leverages C++.

The generated C++ is also multi-threaded, which is a big win.

I watched a talk on Rust where Niko M said he prototyped the new borrow checker with Souffle I believe. It's somewhere on YouTube.
I bought a Vizio tv a couple years ago that came with a very simple remote. The remote had power, volume, channel, and input buttons and nothing else. It seemed like they intended you to pair it with a smart phone to change any real settings. At some point about 8 months after I bought it turning on the screen caused a message to be displayed informing me that there was a new more fully-featured remote available and that they'd send one to me for free if I registered at the displayed url. The message could only be dismissed using a button that did not exist on the included remote. I literally could not use the television for two weeks while I waited for the new remote to arrive in the mail.
Excellent post! Great details!
But I have a question: You mean that vectorized execution helps make the best of modern CPU hardware characteristics. Have you tested the performance of these vectorized functions for different hardware architectures and different generations of CPUs?
This can be a good first place to look, but don't rely on it.

Many integrations have their local access via reverse engineered APIs, and they often go away when they get popular enough.

I wrote the Samsung Family Hub smart fridge integration for home assistant and one day Samsung removed the local access in a fridge update and now there is no way to access it without their android or iOS app.
Interesting, never heard of NegativeScreen before.. thanks for that! Will have to try this out!
No matter how you look at this, this indictment now shows that we are not free to travel as we wish.
Sure, but not all of us are building products at the scale of Amazon and Microsoft. When you're shipping something like DynamoDB, the argument for TLA+ is obvious. What's harder to come across are the people finding ways to make use of technologies like this on a smaller scale, and I think that's one place where Hacker News really shines as a way of connecting people.

At least personally, working at a small and understaffed startup, I'm not always going to find the time to put together big case studies on interesting things I do, but it's a lot easier to share a sentence or two on a casual Hacker News thread. I wouldn't be surprised if it's the same for other people.
> Finally, GRIFFITH announced his intention to renounce his U.S. citizenship and began researching how to purchase citizenship from other countries.

Maybe Virgil should have renounced his US citizenship _before_ aiding NK. He should of seen this arrest coming from miles away because of strict sanction laws. Not sure how much they paid him to go to NK to make this all worth it.
Cool suggestion. This and adding support for Dark mode is on my list of improvements for future versions. In this version the layout of the front-page remains the same including the size of the clickable elements such as links to comments, article domain and op links. The reason I didn't change is because I tried other HN client apps in the AppStore that use different home page layouts and I always go back to Safari because I'm so used to click the small elements. It's certainly something that can be improved though, maybe the default layout is like Safari's but with an option to have the enhanced layout with bigger elements.
Perhaps computer scientists, but software engineering is almost entirely about trade offs, so a software engineer who can't talk in those terms won't succeed at more than basic levels.