skysight-inc/HackerNews huggingface dataset:
You can see examples of this dynamic even in modern times.

The Iranian Revolution: started as democratic revolution, ended into religious autocracy.

"Arab Spring" Egypt: started as democratic revolution, moved towards religious autocracy, ended in military dictatorship.

These are the most obvious ones, but there are loads more (Lybia pre-Gaddafi, Zimbabwe...).
ARM had Thumb, right? Is that a deadend at this point?
You’re missing the point of the article
I am building that(for all interests) here at Noomi[1]. (Link to get yourself registered for early access)

Regarding specific communities, HN, Github, and stackoverflow does a great job of finding other people interested in programming. Reddit has a few subreddits dedicated to the same too.

[1]: https://getnoomi.com
> WhatsApp is still a viable revenue source for Facebook even as they have no access to the text of the messages due to E2EE.

A friendly reminder to everyone that even if the encryption that is used to send the messages in WhatsApp seems to be solid they upload your entire chat history as unencrypted dumps to the cloud.

Even if you turn it off your chats will still end up there as long as whoever you are chatting with doesn't also disable this.
it's a matter of degree - Trudeaus scandals aren't in the same league as Trump. The fact that these violations were investigated (and has had a real, damaging effect on the PM's approval ratings when they came to light) shows that Canadian politics is doing much better than the US, where the president literally fired the FBI director for investigating him.
I skimmed the paper. They reported that the difference in total power spent in two(!) microbenchmarks when switching between L1I and the decode cache is 10% for one, and 3% for the other. The attribution of power was done entirely using a linear regression model on some core perf counters, and the core's own internal estimate for power consumption over the whole package.

I don't think you can generalize from that result to much of anything.
It's unprecedented because recorded history in California only goes back a handful of generations; ridiculously young compared to most of the world. Paleoclimatological evidence suggests that it used to be common and climate science says that it's likely to become common once again.
"next to last"
When I ask questions on slack I'm looking for wisdom and human interaction.

Yes I can google stuff. But I want to open the door to bonus knowledge. Eg. "Oh you want to use the subprocess library but we do it a bit differently because of X and Y. Here's a link to where we do it in library Z."
My job? In no universe I can see would I waste my time debating some random asshole on the Internet? To what end? Why bother?
Oh that's right 3 to 15 years of prison for criticizing the royal family....that's as fascist as it gets. Not a great model for any country to aspire to.

How do we know Thailand isn't just executing anyone testing positive for Coronavirus?

Would anyone report it if true with free speech laws like that?

Pandemic Problem solved!

https://en.m.wikipedia.org/wiki/L%C3%A8se_majest%C3%A9_in_Th...
I wonder how this interacts with branch prediction. Since overflows should happen very rarely I guess the branch on overflow should almost always predict as non taken.
So wouldn't it be possible to have a "branch if add would overflow" instruction or even canonical sequence that a higher end CPU can completely speculate around and just use speculation rollback if it overflows?

I think an important design point here is that the languages that need a lot of dynamic overflow checks are primarily used on beefier CPUs so if you can get around the code size issue, making it performant only on more capable designs is fine since the overflow check will be rare on simpler CPUs.
"I hope you're not drawing a parallel between Russian revolutionaries, later soviets and CNT/FAI, these ideologies have exactly one thing in common: their stated end goal"

The idea that the factories and farms should belong to the workers and that the workers should take the factories by force, is not a parallel and shared goal?
I literally don’t check anymore, I just smash the URL I wanna rip into YouTube-do. I’m shocked when they _dont_ work.
Why even have a conversation then?
/me mumbles something about the BOOLEAN data type.
They are, although nothing modern uses them and they're mostly just sugar for an extended attribute (the resource fork contents are stored as the value of the attribute "com.apple.ResourceFork"). Mostly, but not entirely: search the APFS documentation[1] for "resource fork" and you'll find inode flags specific to them.

[1] https://developer.apple.com/support/downloads/Apple-File-Sys...
It's the job of people who want things to do it or don't.

I claim that 1 * 1 = 1. I don't want to prove it. Terrence Howard not only claim that 1 * 1 = 2, but he also wants people to believe. As the person who wants things, it's Terrence's job to persuade people on what he wants.

https://twitter.com/terrencehoward/status/925754491881877507...

Terrence's burden to prove comes from the burden of want, and not from the fact that he has issued proclamations.
About the only things worth correcting are when the externalities of someone's incorrect opinion are significant. For instance, if someone mandated the ban of vaccines that's bad for us all.

But if someone not at my company thinks that the best tool to write a web application in is a hand rolled web server framework in C99 then it's advantageous to me to let him fuck those guys up.

About anything where loss is internalized properly to the party participating I think it's best to let that party kill themselves over it.

Unless, of course, they'll pay you lots of cash to tell them the truth.

The same behaviour is desirable for the opposite reason in your high-trust environments. There you don't produce citations. You are hinting at the direction of truth. The hint is way more important than the cite.
Instead of fusing them, shouldn't it be possible to speculate that it will not overflow, process the check on a separate slow path and do a roll back in case it did overflow?
I like his analogy about jailbreaking:

The most important difference between a jail and a home is who controls the lock on the door. Most smartphone companies want you to believe that the gilded jail they’ve designed for you is the safest place to spend your time. Precursor takes a different approach. By giving you the keys to the lock, it gives you a home.
Typically cameras just output the H.264/H.265 stream(s) via rtsp, and optionally a video analytics metadata stream. The part that records video from one or more cameras can be separate and is called a network video recorder (NVR). This split allows you to store several cameras' stuff in one place that is better physically protected and in a better form factor for having a hard drive, access a bunch of cameras' data easily under one UI even if they're made by different manufacturers, etc.

I'm working on an open-source NVR: https://github.com/scottlamb/moonfire-nvr that is secure, will run on a Raspberry Pi 4, and has a good recording schema. I wouldn't describe the UI as nice yet, but I'd welcome help in making it so!

There are some other open source NVRs (I see someone mentioned Shinobi). Probably a couple reasonably-priced commercial software options (people like Blue Iris, but it's Windows-only). Some commercial NAS devices have NVR support (eg Synology). Dedicated NVRs from manufacturers like Dahua/Hikvision (but my experience is they're awful). YMMV.
And ARM licensed the Hitachi SuperH patents when implementing Thumb. It's not exactly a new concept.
There’s no technical differentiation between downloading and watching.
Maybe, maybe not.

But there's something really cool you could do that would educate the person you're talking to (both in terms of instructing them how to google, and communicating to them the key thing you've found out) -- all the while being polite and formal! --

Say something like "I used this search query [foo bar] to discover [result-x&y]." Do that enough times and you'll make the whole world a better place. :)
You mean like a crowdsourced Bugzilla for everything?
It's just incredible how some people voluntarily participate in debates on the internet, and then compare people that try to engage them to sealions harrassing them. No one forces you to make any claims on the internet, but if you choose to do that it's on you to provide sources. That comic should have shown someone lecturing a bunch of sealions, and then being offended that they ask questions.
I hope it's not lost on people the fact that we essentially have a population of slaves bound to risk their lives protecting wealth and property they can't partake in and that probably shouldn't be situated, geographically, where it is in the first place. Also note that they're on work release, so it's unlikely that these people are particularly notorious criminals. They're (mostly) men who made mistakes and had their freedom stripped away profoundly for it. That's the state/region that birthed the Information Age and all its "progress."
That's not what the article is about, though. It's about how conspiracy theorists should shoulder the burden of proof, and it would be about 80% shorter if it just said that.
> I have never heard of Barbra Streisand...

Shit, now I feel old.
I completely agree with the impact of the variables you listed. However it's often the case that you need a starting point to estimate timelines. It's never acceptable to tell the decision makers, "We really have no idea how long this will take." Nor is it acceptable to say, "Sure, we'll have it ready in <licked finger in the wind> 8 weeks! Everyone get to work and make that happen (or else)!"

Having a concrete plan ("micromanagement?") for getting to the finish line is important, and the story point methodology is an intuitive tool for figuring out what lengths the tasks need to start out with on the timeline.
> To validate your hypotheses as quickly as possible with as little money as possible and the try and create experiments with asymmetrical risk.

> Because the world is so complex, you’ll often have an answer faster by just building some prototype of the hypothesis you want to test.

> If it catches on, you can always scale later.

I think one of the coolest real-world examples of this in practice is how Facebook runs thousands of mini-experiments with different users. Facebook is known for having one of the best data science departments in the world and when they want to change or add a feature of the website they do it for a small subset of users and see what the response is like. If the users seem to like it they can repeat the experiment with a larger subset of users. If the users don't like the change there's no big risk because only a few users were exposed.

Contrast this to how Snapchat completely changed their UI for nearly every user all at once and got a ton of negative feedback for it. That was a complete UI overhaul which is different than FB and their hundreds of mini-changes but the idea is similar.
Since it’s posted here on HN, I believe this is primarily addressed to those whom saying “no” would cost maybe a promotion, a customer, or even just impaired relationship with a manager.

Having to choose between your family and thousands of others is tragic and I can’t honestly claim which I’d choose, but being blind to that choice (intentionally or not) is probably even more tragic.
The Xilinx chip is mostly(fully?) supported by project X-Ray + Yosys.
Typically this is something that would be changed on the scale of the school system of a county. That resolves the school bus issue. As far as kids being picked up in the dark.. again, the school system can change start times during certain parts of the year so that doesn't happen.
The internal technology is webrtc which has issues with Safari
I think in this case, the fundamental problem that other replies also stated is the lack of a generality of context. The system was trained to recognize balls, but it had no concept of a person. Train it on balls and people, and I'm sure the performance would improve because you can tell the system to not track things classified as a person. But then your system is also trying to draw boxes around people. So, now maybe your BB (bounding box) for people and ball keep overlapping.
Now, you train it on image segmentation (draw an outline around objects) as opposed to bounding box selection and the performance also improves. The downside is now you require significantly more compute power on hand/lower sampling rate, etc.

I think it is a testament to not just human complexity, but human efficiency.
My team uses story points as an input into a time range function.
Yes it does, you can either push to multiple remotes individually, or setup multiple pushurls for a single remote.
I don’t think that beefier cpu and overflow checks are that related. I mean, you’re right, I just want to place some limits on how right you are.

1. Folks totally run JS and other crazy on small CPUs.

2. Other safe languages (rust and swift I think?) also use overflow checks. It’s probably a good thing if those languages get used more on small cpus.

3. The C code that normally runs on small cpus is hella vulnerable today and probably for a long time to come. Compiling with sanitizer flags that turn on overflow checks is a valuable (and oft requested) mitigation. So theres a future where most arithmetic is checked on all cpus and with all languages.

And yeah, it’s true that the overflow check is well predicted. And yeah, it’s true that what arm and x86 do here isn’t the best thing ever, just better than risc-v.
You're doing it right now.
The point of this article is not Google algorithm biases, it is the need for each of us to understand the reliability of the sources we use to form our own beliefs.
That's a good point. I definitely have too much of a US-centric view on this as I'm not very familiar with the project and was assuming at least a few of the major people involved are living in the US or a country friendly enough with the US that the RIAA has major reach. Russia is a member of a few major international copyright agreements, but I have no idea how that will play out practically speaking. I'm not sure to what extent various member countries actually cooperate. Maybe the RIAA will just give up after they get GitHub and GitLab and any other major platforms with a US presence to stop hosting it if the main people are in a country that's enough of a speed bump for them.
Then don't say anything at all.
In general there can be more than one candidate key for a given relation (table). Only one candidate key is "primary", all others are "alternate".
Very cool robot!
I can't believe that anyone that was around here during the snowden stuff hitting the fan would even remotely say metadata isn't useful.

"Law enforcement agencies have claimed that metadata helps to eliminate suspects by revealing their networks and contacts. But there is no information regarding the use of metadata by government bodies that are not officially enforcement agencies within the meaning of the data retention laws."

https://theconversation.com/think-your-metadata-is-only-visi...
Are you sure? I know Pebble always referred to it as "e-paper", but I recall seeing a lot of people say it's actually a type of LCD screen.

From a quick Google: https://hackaday.com/2014/02/16/fixing-the-unfixable-pebble-...

> The actual screen used in the Pebble is a Sharp Memory LCD.

It's definitely not e-ink btw, which I know is indeed different. It doesn't look anything like e-ink.
Counterpoint - a lot of people ask for sources as a pretty transparent method of "sealioning." (https://www.wikiwand.com/en/Sealioning).

The "burden of proof" might apply well to formal debates where a consistent set of participants are all acting good faith, but that's hardly the case in most online discussions. Even when people asking for sources are asking in good faith, it is unreasonable to jump into a conversation that you are not educated on and demand explanation from the person you disagree with.
I would venture that most people using Mesos in Kubernetes-like use cases were deploying either DC/OS or Aurora, not writing their own frameworks.
Once liberalism collapses, there isn't much of a choice between the two. If you accept the premise that liberalism has failed and that re-establishing it is impossible, then as a bourgeois you have two choices.

Either you do accept the socialization of your property, and live the life of an ordinary person, which is morally by far the best thing to do, or:

In an attempt to maintain your capital, you decide that you'd rather see fascism with you in a privileged position.

As far as anyone is concerned, if you decide that fascism is good for you because it helps you maintain your privilege, you are a fascist.

No one has ever said that all bourgeois are hidden fascists, but history tells us that, when (if) liberalism collapses, most bourgeois follow their class interests and support fascism, instead of trying to maintain liberalism and becoming neutral when that fails.

Why is this? Because the issues that historically led to the collapse of liberalism can always be linked back to economic issues. Therefore, trying to install a system that provides democracy, peace, and equality for all if/when liberalism collapses will necessarily require the revision of the economics that led to such an issue. This is why, in this event, there really isn't much of an alternative between severely limiting the private ownership of capital and fascism.
While tla+ supports pluscal so the the spec is closer to imperative programming one ultimately would do it's true there is an insuperable gap between the spec and implementation. It should be noted dafny and Verdi are better here. Both systems allow refinement by constantly reproving safety properties over code thats closer and closer to the real implementation including making runnable code. (Verdi does coq to ocaml and dafny does dafny to .net executable generation). Frama C and spark are similar. However there appears to be a philosophical difference: tla+ finds counter examples to the spec. Absence up to the number of states checked shows the code is bug free. Dafny, Verdi seem to proceed by showing the spec is proved through various proof checking (semi) automation. As such they don't explore state.

While unit testing and what not has it's place there clear advantage of FM is the developer comes up with the spec first then show/prove it rather than coming up with the spec bug by bug by bug which can be slower and more labor intensive and customer facing.

Look if you tell a Dev team we'll need to do four quarters of work over 15 jira epics implemented in two week sprints nobody complains that the plan is dumb because all the requirements aren't really nailed down, the scope could change, or the team might not come up with the algos .. So why even try?

But if you tell the same team we'll be using formal methods there's a lot of complaining because FM can't check everything ... Not down to the real final code ... So why bother? I find this dichotomy disingenuous by programmers.
This is a very common dedicated track bike, but at that point you remove all lights entirely.
The average person on HN is pretty smart. I see a lot of comments writing this off... it's not their responsibility, the other person should want to learn, etc. etc.

But if you wanna be a great person who does his civic duty and more to improve mankind, do please help others out in the way I outlined elsewhere, tell them "I used the search query [foo bar] to discover [result-x&y]."

You're both answering their question, while teaching them to be helping themselves in the future! I think framing search queries for good results is a bit of an art, and a lot of folks here are really good at it -- please share this skill with the world!
Expressing an algorithm at compile time is so very different from runtime when you do it in template metaprogramming. There is so much visual noise (for my personal feeling at least), writing such code is easier than reading and understanding. Nothing wrong with that special case of regular expressions here, more a general observation.

constexpr seems to try and step in, but there still is a large codebase around which is hard to maintain and extend. IMHO D and zig show that it can be better to have compile- and runtime-syntax much closer together.
It honestly worries me that this is the top comment on hacker news. Not because it is wrong (it isn't) but because of all places that website filled with tech workers and experts in the full software stack, full of people that work on and exploit meta data, it still needs to be discussed how important metadata is.

If we can't convince people with their ear to the ground, how does one convince the general public. Especially since it isn't intuitive how metadata is useful. Though the analogy I typically use is a private investigator following you around. Can't hear your conversations, but can see everyone you talk to, where, and for how long.
Arguably x86 only has a compressed encoding in the sense that super common instructions often fit in fewer than 4 bytes and some of the most used ones are 1 byte. I don’t think the compression is deliberate or optimal though.
Huh? All WebRTC is unicast.
The NSA is harmless compared to social media and other privacy threats. Without tapped lines WWII wouldn’t have been won. Silicon Valley was founded with that budget. They aren’t 24/7 trying to change your spending habits like social media. And they aren’t stealing your company or reproducing your product at lower cost to make your inventory worthless. Is it concerning? Sure. But so is the speech enabled remote control (which you can drill btw) and phone you use that listen and watch.
This reminds me of a CNN video I saw today [1].

Maybe this is what makes the difference between statisticians trying to predict the election and the method used by "Trafalgar Group" who try to understand each states regulations and specifics to make rule based predictions, instead of extrapolating from a big pool of data. In two days we will know who was right.

[1] Pollster who predicted Trump's 2016 win makes 2020 prediction: https://www.youtube.com/watch?v=0BOhRCeoMzM