skysight-inc/HackerNews huggingface dataset:
>XLS is used inside of Google for generating feed-forward pipelines from "building block" routines

For those that aren't familiar, control flow - or non "Directed Acyclical graphs" are the hard part of HLS. This looks like a fairly nice syntax compared to the bastardisations of C that Intel and Xilinx pursue for HLS but I'm not sure this is bringing anything new to the table.

As for the examples, I'm kind of flumoxed that they haven't given any details on what the examples synthesize to. For example, how many logic blocks does the CRC32 use? How many clock cycles? What about the throughput?
I'm going to sound like a grumpy old man now, but it's important becaues it's very difficult to get performant code as a hardware engineer. Generally it involves having a fair idea of how the code is going to synthesize. What is damn near impossible is figuring out what you want to synthesize to, and then guessing the shibboleth that the compiler wants in order to produce that code. Given that they haven't tackled the difficult problems like control flow, folding, resource sharing etc. It makes me hesitant to believe they've produced something phenomenal.
Putin's approval rating is actually pretty high even when measured by NGOs sponsored by the "West". You'll be surprised, but it is quoted to be 60% in July 2020. [1]

And while it is possible to blame Putin for this Navalny's incident, he isn't the only one with motive/opportunity. It is actually very sad that some HN readers sometimes have a strong tendency to blame Trump/Putin/Another for Everything. I get that they are very unpopular figures among liberals/progressives, but let's at least try to pretend to be more objective for a minute. How about maybe for a second or a little longer just think about it before proclaiming that clearly it's Putin? How about being maybe a little bit more self-critical for a minute? Maybe you don't have all the information and all the facts yet? Or maybe some facts aren't facts yet, and maybe there is a massive propaganda campaign (BBC/CNN/etc.)?

In my opinion, there is an alternate hypothesis. Putin is trying to finish building the last 6 km of the gas pipeline to Germany. It has been blocked by US sanctions for a long time. This incident adds fuel to the fire, and conveniently allows the US to impose more sanctions, and bend Germans (who actually want that pipeline because it is beneficial for Germany) to their will.

[1]https://en.wikipedia.org/wiki/Public_image_of_Vladimir_Putin
Memory and I/O were separate spaces with separate pins and separate operations. The Nanoprocessor had 11 address lines for reading instructions from a 2K ROM. It had 4 I/O device select lines for accessing 15 I/O devices.

So if you added RAM (as in the real time clock), the RAM was accessed through I/O instructions. You'd write the address to one port and read the data through another port. It ended up looking a lot like microcode, with memory accesses split into two pieces.
That's not quite true. One got put in prison for "fraud".
Absolutely, maybe I should have used something like Monument Valley (https://www.monumentvalleygame.com/) as an example? I'm making a point tangential to performance though. Why aren't assets like this made in visual tools for web design (e.g., Blender, Cinema 4D, or Houdini) the same way they are for other mediums like video games, movies, and image assets?
The rumor mill suggets the volume is similar to Ice Lake (very very low)
I'm struggling to understand the intent of your comment. In no way is it about "not having the right". I took it to mean the implications of a souring relationship - which certainly isn't the "right direction" to see relationships evolve.

China and India are economic giants - it'd would be preferable that they not see each other as not friends.
Curious on what is the general view of Indian population, twitter is full of trolls and paid campaign. From what I gather in chinese forum, I don't think any one believes China was the aggressive side, their most aggression is on getting Taiwan/ROC back.

It is funny to see on twitter some people accusing other side's aggression yet boasting about victory of getting further across LAC.
I really liked that idea, but at the time when I was looking for a new scale none of the mechanical ones I encountered had the combination of a resolution of 1g or less (I also use it to weigh beans for espresso) and also able to weigh up to a couple of kg. Though maybe I just didn't look hard enough.
The largest observed angular velocity is 0.24c which sounds like a bigger issue than it is. The centripetal force from that is still significantly weaker compared to the 10^12 to 10^13 m/s^2 you get from surface gravity.

You can largely ignore relativity at 1/4c so centripetal acceleration ~F=V^2/r. F ~= (0.24 * 300,000,000 m/s)^2 / 16,000m = 3.2 * 10^11 m/s^2. https://en.wikipedia.org/wiki/PSR_J1748%E2%88%922446ad

Which means the Star has a significant bulge but the minimum and maximum surface gravity ends up well within the range for neutron stars.

PS: I am sure someone has done a fairly detailed analysis of the forces involved but a quick search did not find anything.
Except on Google for Android I only randomly see the reader or simple option. For this site, it's not there. This is a stupid "feature" of Chrome's.

Edit: Got it. If I enable simple view in accessibility features, the option shows up for this site. The way it's implemented by Google is still dumb. This should be in the menu.
What is the difference between the storage drives?
I was wondering about that strange way to put it as well - was there a particular reason the article didn't want to mention the team behind the theory?
I feel you :) Appreciate it!
As a non-mac user (and also not a professional in your terms), one of my biggest gripes about keyboards is that full 5250-style 122+ key keyboards (with f1-f24, without a fun/modifier key) are either old (massive & won't fit nicely on my desktop) or expensive ($100+). Neither one has analog volume control, which I use frequently, and windows doesn't make it easy to map them, though the new windows powertoys feature might help. The color is also annoying (older are all beige, newer tend to have beige keys, which looks even weirder), but that can be fixed.

See here for the whiny text file I've been keeping notes in: https://gist.github.com/Efreak/d0d327517ab806e2abc9f193ad5ea...
Show HN: I converted ReactJS.org to use hooks
Xiaomi phones are better and cheaper than Samsung, Google, and certainly Apple equivalents. The Mi 10 Ultra is ~780$ and is just flat out better than a 1200$ phone from Samsung, including the best camera of any phone bar none.
with 57inch props - large beasts though so it would be a personal helicopter style suit (https://en.wikipedia.org/wiki/Martin_Jetpack) not true jetpack - it makes 94kg thrust at 23kw, so 2 of them is enough with 60kg/7kwh battery making for 9 minutes of hover (though full discharge is truly bad for the batteries).
Below you say your point is "cameras don't remove enforcement bias, so your complaint is really that they don't remove racial bias at a systemic level in the legal system...

Did it really need to be pointed out camera won't remove racial bias from the entire legal system?

They remove bias at the "give a person who is speeding a ticket" level and more importantly they limit the damage that can be done at the moment of enforcement.

Cameras don't get to go "I think I smell drugs" and have your car torn to bits.

Cameras can't exploit a poor understanding of your rights and accidentally consent to a search that would have been illegal otherwise.

Cameras don't "fear for their lives" and shoot someone.

Bias in the places enforced needs something more than a camera, but that's common sense.

By limiting the bias in who is targeted by a biased police enforcement structure and the strength of that enforcement at the moment of the infraction, you take away a lot of the power that is being given to a biased legal system.

Right now they end up in those same neighborhoods, except instead of giving anyone who speeds a ticket, they pull over people who fit a profile of who they want to pull over.

They turn "speed enforcement" into stop and frisk with a pretense. And to add insult to injury, their targets are usually the people who can afford this sort of attack the least.

You need more than a camera to stop police from being out there, but by seriously raising the barrier for them to be able to stop people, you force them onto back footing in their harassment, which is a start.
> In fairness, "systemic" is not well-defined, and it's routinely used as a weasel word. For example, if we're talking about police shootings of Black Americans, and I invoke "systemic racism" to imply that police are prejudice against blacks in their killings and thus America is a racist ethnostate, you could point out that police kill whites and blacks at comparable rates when accounting for crime rates, at which point I would retreat to "'systematic' refers to whatever system is causing blacks to commit crimes at elevated rates, i.e., legacy of slavery and racism" which is probably correct but supports an opposite set of moral implications and solutions.

Why would this support an opposite set of implications and solutions? Seems to me that you really cannot "control for" the legacy and current existing reality of slavery in the US, you have to abolish it entirely. Only at that point will we be able to even talk about controlling for the past effects it's had on the economic mobility of black populations within the country.
Additionally, you can power solar panels and they'll emit light! It can be used as a quick visual inspection that all the panels are working if you have a ton of them.
That is not true.

Putin's approval rating is actually pretty high even when measured by NGOs sponsored by the "West". You'll be surprised, but it is quoted to be 60% in July 2020. [1]

[1]https://en.wikipedia.org/wiki/Public_image_of_Vladimir_Putin
Any secret service of the world can manufacture it.
This isn't a rejection of vaccines, just a rejection of using the WHO for them. It isn't clear what that means, but there is a lot of speculation.
Apple and Google have launched coronavirus exposure notifications without an app
How so?

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

It's not the sort of thing you export.
What's the difference? Why do you need an app?

It's built into android.
I agree. I don't feel much difference between the 15" MB-Pro i7 4-core from 2014 and the i9 8-core from 2019. The i9 really isn't noticeable faster on single core. Instead it gets hotter and its fans starts sooner. So I recommend keeping the old one if you have it.
TDP is 15W, max turbo is 50W (if the laptop can handle it).
Assertions are usually the stuff similar to “I have just added a key to a dictionary, now I look it up again to get it’s owned-by-dictionary address - what do I do if it doesn’t exist now?”

In such scenarios you can only kill the process - there’s no way to recover from such an error and handling it in any way but by disabling the subsystem (or killing the process) is impractical.
Well, officially they didn't just take it, they "guaranteed the local population's freedom", who then "chose" to "join the Russian federation".

It's a joke, of course, but I don't think it's really that different from what e.g. Turkey (with the US' blessing) does in Syria, Israel does in Palestine etc. I don't think either of them are really about territorial expansion as much as they are about security concerns. Russia is -quite understandable- not too trusting with regards to promises of peace, so they won't let a very high-value strategic location like Crimea (which hosts their black sea fleet) fall under NATO control, and they want a buffer in a kind of DMZ between themselves and NATO, which they had in Ukraine before Ukraine's strong man fell out of favor and the pro-Western movement gained power.

If they were after territorial expansion at any prices, they'd probably just pocket the Asian Ex-Soviet republics. Much larger gains including resources, not in Europe, ergo NATO does care much less.

Similarly, China's posture in the South China Sea can be explained in the same way. Building artificial fortified islands isn't an aggressive stance, it's defensive. They remember very well that the British did to them and they understand that the US isn't a friendly power and has every reason to want to limit China's power, as they massively profit from being the world's only global super power.
We're citing Wikipedia now? I don't claim it's wrong, I claim citing Wikipedia is poor practice and surprising to see here. It's excellent for getting a broad overview but when it comes to specific facts or figures, these should be cited directly.
> "Yes, but what they're talking about isn't a security denial but a configuration check."

Configuration is a part of security though.

Let's say AWS credentials are leaked. One of the most common uses for leaked credentials is to launch EC2 instance for crypto mining. A malicious actor tries to launch RunInstances on $20k worth of instances and gets denied because there isn't a tag on the instances. Would you want the error to say 'Access denied because you didn't don't have the following tag...'?
Paperless Parts | Boston, MA | Onsite (post-COVID) | https://www.paperlessparts.com/

Paperless Parts is a Boston-based SaaS startup that is leading the digital transformation for custom part manufacturers with a software platform that helps manufacturers increase revenue and win more business.

Our engineering team is exceptional, and we are highly committed to making our customers successful. If you want to be part of a startup that’s helping transform one of the most critical industries in the world, apply today.

We've experienced amazing growth over the last six months, and are expanding our engineering team. We have an immediate opening for a frontend-focused Full Stack Engineer. This position requires a CS degree with major side projects -OR- 2+ years of professional software engineering experience. React experience is a big plus.

More details here:
https://www.paperlessparts.com/careers/full-stack-engineer-f...
It's a proof that you control the profile. You claim on your Keybase profile that you control an HN (or Twitter, reddit, ...) account, and then you post a proof on that service to verify that you do indeed control it. https://book.keybase.io/account#proofs
This has not been my experience, at least not flying domestically in the US. In order to get to the gate, I have to get past TSA and the security checkpoint, which involves presenting my boarding pass and ID to an agent.

If I've not checked-in electronically and have to get a printed boarding pass, I've had to present ID and credit card at a kiosk or ticket desk as well.
Probably CES.
I don't think 9/11 was simple. But by and large you're correct that they don't have the patience, organization, or funding for the most part to execute more elaborate attacks (at least on the West, one could argue ISIS was pretty damn organized in their conquests in Iraq and Syria.) They seem to prefer more immediate low-effort things like simple suicide bombings, driving into crowds, or in the UK even knife attacks. We should be grateful for their lack of vision.

I'm specifically worried that the most dangerous thing about Coivd-19 is that it woke up the world to how much damage an infectious virus can cause. Technology is now at the point where you can engineer a virus like this in many university labs with maybe a team of a dozen or so and low millions of dollars of funding. That's potentially within reach of major terrorist organizations. If you're just lashing out at the world it's tough to get more bang for your buck so to speak.

Fortunately, the circles of educated, STEM type of people and radical Islamic militant types are largely exclusionary.
> And yet, the current mathematics relies heavily on the ZFC set theory. Why is that ? (Is that assumption even correct ?)

Set theory is the de facto modern standard because it has straightforward notation and sufficient power to prove the things most mathematicians care about, both algebraically and analytically. Other foundations exist, it's just that most mathematicians work at a level where set theory is more of a communication and notation tool than a foundation for which the nuances matter.

> From what I've learned so far, the set theory suffers from Russel's Paradox[0] (does the set of all sets that does not contain itself, contains itself ?).

No, naive set theory suffers from Russell's Paradox, but ZFC does not. ZFC was defined in order to avoid Russell's Paradox.

> That's what motivated the formalization of Type Theory and the invention of Type Systems in programming languages.

Russell's type theory, yes, which predates ZFC. But this has nothing to do with programming languages, which weren't a thing when this problem was being considered.

As for why category theory isn't used as a foundation - that's not really what category theory's "charter" is about. As user johncolanduoni explained, category theory is more of a framework for describing things with convenient algebraic abstractions than it is a foundation for mathematics. Category theory as practiced today is mostly done at a higher level than the foundational set theory.
Ideally. In reality it rarely happens. And it's certainly not needed, the entire basis upon which evidence-based medicine is founded is that an effective intervention should be statistically measurable in it's effect regardless of our knowledge of the underlying mechanics.
FWIW, I upgraded to one of the 2020 MBP Ice Lake machines. I've seen much, much improved CPU and GPU performance that makes my daily life better.

I think much of the increase comes from going from dual core to quad core and perhaps not as much the single core gains, but still, I'd be curious what kind of software he's deving to not see much improvement.

If he's doing compiling or web-dev transpiling kinda stuff, I'm really surprised he's not seeing better gains.
Sounds like python is not batteries included compared to other languages in this regard!
Wow first I've heard of this, do you have a source? I'd like to read more about it.
I have to admit I haven't look into p2p social networks in years. The ones I've tried in early 2000s (such as freenet) had really dodgy users. Perhaps a lot was learned since then.

Anyway, I agree with you that what really prevents people from using the system for nastiness is moderation and not necessarily identity. However, the problem is not only fringe and extremist beliefs, but actually becoming a platform for actual crime, through sharing of photos and videos of abuse. That's what worries me the most about p2p social networks and the reason I'm generally not ok with storing other people's data in my computer, even if encrypted.
I'll state that I think the cons currently outweigh the benefits with most TSA practices, but the justification is verifying that you are who you say you are. AFAIK this is the only area we do this sort of strict verification in addition to numerous baggage and personal item checks. Well I guess we also do this if you're going to see an important government official or visit the NSA headquarters or something.

Where it gets hazy to me is why this is a security add anymore. There was an initial scare of vetting that all travelers weren't secretly terrorists waiting to pounce on the cockpit. So you secure the cockpit (good, simple add-on there) and you add in metal detectors and X-rays for weapons and contraband (literally what we were doing pre-9/11). You need a passport to get into the country, so it's not like they don't have a record or a means to monitor suspected people coming into the country. Just seems asinine that they continue to do the ID checks and x-ray your entire body at this point.
MLDSAI Inc. | Mobile/Drone Engineer | Remote | Contract

MLDSAI a Machine Learning, Data Science, and Artificial Intelligence software company.

We are building a computer vision product for one of our clients, a Fortune 500 insurance company in the US.

We are looking for someone who has shipped production mobile apps on both iOS and Android, and who is comfortable integrating with lower level drone SDKs (e.g. DJI).

The position is 100% remote, with a full time commitment. Candidates will be expected to provide code samples of previous original work and/or solve a real world programming exercise in a paired setting.

Please contact info@mldsai.com.
> The premise is somebody might be so dangerous they can't be allowed to fly, but simultaneously so innocent there is nothing the government could arrest and convict them for.

What if they have illegal evidence that you’re dangerous and can’t arrest you because it wouldn’t hold up? What if they’re not ready to arrest because they think you might lead them to people higher up in your organization?

Think mafia. Sure the thug did illegal crap and you know it, but he isn’t worth arresting. You want the boss.

Or to use a more scifi spin: Data science says you are 99% likely to blow up a plane. But you have done nothing illegal yet. Now what?

edit: for the record I don’t think any of this is a good idea, I’m exploring what the reasoning might be
This is also a problem when using CloudFormation. CloudFormation will often create resources without tags and then add the tags in a separate call.
Recent and related: https://news.ycombinator.com/item?id=24185621. I feel like there may have been others?
I definitely believe you. A Russian colleague, who is living in EU for several years, found it justified that Russia invaded Poland back in 1940. We were all baffled.
It is IMHO completely insane that we limit a virtual good of zero marginal cost like knowledge in a physical way. People could be educated/manipulated in a way to appreciate knowledge over materialistic thing, which would have an ecological impact of almost zero. And that is just one advantage.
https://www.techpowerup.com/268029/intel-nuc-roadmap-peeking...
The 15W processors don't turbo to 4.8Mhz (Oops! Ghz), though.
Less than 28% of the American diet is from animals (meat, eggs, and dairy) by calorie. https://grist.org/industrial-agriculture/2011-04-05-american...
> Maybe it’s even appropriate that the legal standard to get secondary physical screening during air travel is lower than the legal standard to get thrown in jail?

No. That's a subversion of due process and politicians who support such systems are enemies of the American people.
Hosting on shopify.

Ipfs, tor/onions are giving publishers total control.
I actually think Tiger Lake is the most exciting thing Intel has released in years. I know that's a pretty low bar, but I'm still surprised that the reaction has been this meh.
What are the implications of this for things like DNS caching, replication, root servers, negative lookup, etc? If you run your own DNS and want to create gigabytes of NUM records, that's great. But I wouldn't expect Cloudflare, Google, etc. to want to cache that data, so that could create a situation where most of your DNS is cached somewhere, so it's distributed, fast, reliable, and local, but your NUM records aren't cached, so now you've got servers that are out of sync, or are falsely returning negative results, or you have to implement a mechanism that treats NUM records differently in clients.

I don't know if any of these concerns are applicable, but I'm curious.
> baseless tinfoil skepticism

You can throw around these funny derogatory phrases all day, they lend no credibility to your fantasies.
Exiting Left: Mark Fisher and Egress
Well it's helpful not to look too deeply into it, but this is for a permanently remote position.
> allows the US to impose more sanctions

Trump has done nothing but cater to Russia, which has been discussed at length. Lookup Russian bounties on us soldiers.

And whatever doubt-sowing your attempting can easily be disregarded by Occam's Razor https://en.wikipedia.org/wiki/Occam%27s_razor