skysight-inc/HackerNews huggingface dataset:
Disclaimer up front: I work for GM. I don't work on chips or components for my day job. What follows is solely my own opinion.

Some things to emphasize:

OEMs (GM, Ford, Toyota, VW, etc) do not design components, and they do not want to. They design specifications for components, and then get suppliers to bid. This is great for efficiency in established ecosystems, not great for agility.

To my knowledge, GM did not cancel any chip orders, because GM itself had no chip orders (this is oversimplified). The suppliers cancelled chip orders.

For a 1st tier supplier to move to a different process/chip would also be difficult, because they do the same thing the OEM does - supply a specification, and get 2nd/3rd tier suppliers to bid on it.

A wholesale migration to a modern architecture is risky and costly.

Smaller process/feature size on a wafer is believed to be less resilient, for example to heat and vibration.

The risk to large automakers is that something goes wrong and they have to do a recall. The risk to up and comers (Tesla) is failure to grow. Also, Tesla has a small product line and absolute loads of cash.

If you were going to design a new car electrical architecture from scratch today, you would have something like a 40-60V system with a centralized controller (or pair of controllers in a safety redundant configuration).

Even with a largely cleansheet design, Tesla uses 12V because of the sheer ubiquity of 12V components.
Granting the premise that there are no absolutely neutral parties, we can still agree that there are parties which are less neutral than others. Having a direct financial interest is a pretty hard line: for example, if the author was heavily invested in geoengineering companies, or had even been paid by geoengineering companies to write the article, I hope everyone would agree that his opinion was suspect. In this case, the author does not have a direct financial interest, but he has (I suppose) an indirect one, which is why I say I appreciate the article, but would prefer the same argument from coming another source, if I had the choice.
This is a necessity for a minority chain, as it has to adjust the difficulty more often than Bitcoin, otherwise large variance would cause the difficulty to rise so much that it wouldn't be profitable to mine, effectively killing the chain.
Have folks seen good Linux tools for actually monitoring/profiling the GPU's inner workings? Soon I'll need to scale running ML models. For CPUs, I have a whole bag of tricks for examining and monitoring performance. But for GPUs, I feel like a caveman.
What about AT&T?

This just in: Ex-FB employee says Amazon, not FB, is the problem.

¿Por que no los dos?
To stop and consider if SEO is the best tool and the point in the brand's arc. Yes, of couse do all the usual obvious things. But beyond that, the question is: What marketing tool / tactics should we invest (our finite resources) in? It quite possible SEO isn't the best investment.
Interesting take on the obesity epidemic:

https://slimemoldtimemold.com/2021/07/07/a-chemical-hunger-p...

tl;dr: people are getting fatter even though they’re consuming less sugar and calories than 20 years ago, eating less than people 100 years ago and burning more calories. Even animals are getting fatter. Possibly pollutants in the air are responsible.
1. Don't participate

2. Communicate with the business through some other means (all local businesses I deal with have a phone), and if they don't provide one, then stop doing business there, too, and find a way to tell them why.

3. If your friends won't communicate with you simply because you won't use a Facebook-owned communication channel, then I have bad news for you: They might not really be great friends.

Sorry to be rude, but this idea that "you don't have a choice to use Facebook properties" is ridiculous. We all have a choice. I haven't used Facebook for close to 10 years now, and I never signed up for any of their other properties like Instagram and WhatsApp. I had an Oculus and stopped using it when the Facebook purchase happened. You do have a choice.
I disagree. Python doesn't get anywhere near the amount of hate as Javascript. Ruby never had that level of hate. Go attracts some criticism, but it also has a lot of ardent supporters. I have extremely negative feelings about Java, but when I work on a Java project, I can't assume that everybody working with me feel the same way. Lots of people who work with Java find it tolerable or even pleasant. Javascript is like PHP; when you join a group of people working in it, you can freely shit on the language without worrying that you're going to hurt anybody's feelings, because everybody hates it. Even people who love it, hate it.
I don't think the average lifecycle of a paper product is anything close to 200 years. Even for books that's pushing it, when you consider how much more toilet or printing paper we use and discard...

And bleached paper generally uses enough toxins in its supply chain that it can't be easily composted. Therefore when the fibres are too broken down to be recycled again, it generally has to be disposed of in an anaerobic environment, which produces methane as a byproduct.

Now of course, while methane is a powerful greenhouse gas it stays in the atmosphere for a much shorter time than CO2, and it can be captured for energy generation. Even so, while solid wood objects are probably quite good for carbon sequestration, I don't think paper will be unless a few key aspects of it change.
Well, yeah, these models can not interact and observe the world to test the veracity of claims. They are language models and the target for them is text production. No one expects them to understand the universe.

My comment was in response to
> GPT-3 is probably a better approach to knowledge processing

and the paper is relevant in that it shows the limitation of current language models in terms of logical consistency or measures of the quality of text sources. GPT-3 and other models are not trained for this and obviously they fail at the task. This is evidence against them being a "better approach to knowledge processing."

Even if we trained future models preferentially on the latest and most cited scientific papers, we will still have issues with conflicting claims and incorrect/fabricated results.

However, that does not mean that it would not be practically useful to figure out a way to include some checks or confidence estimates of truthfulness of model training data and responses. Perhaps just training the models to answer that they don't know when the training data is too conflicted would be useful enough.
> Barbaric literally means primitive and unsophisticated

This makes for the foundation of a nice story, but no, that's not what 'barbaric' means. It's not what you'll find in any dictionary, and it's not what the root of the word is. Barbaros, in Greek, referred to non-Greeks, with an early connotation of foreignness. It picked up a connotation of cruelty and savageness as early as the Romans. Any dictionary since then will give a primary meaning of cruelty and savagery, not just 'primitive and unsophisticated'.

(Finally, my eight years of Ancient Greek at school comes in slightly handy!)
If the cost of a carbon credit is higher than the cost of sequestration, and sequestering operations generate credits, then in essence by paying for carbon credits you are paying to clean up your emissions.
I don't think being a standard is the problem. The general loss of interest in the language was the problem. If it had continued to gain or maintain interest we might've had a later revision of the standard. Other standardized languages get revised regularly, hell even Ada, Cobol, and Fortran receive updates at least once a decade.
I built this around 2015-2016, the idea was to have a "soft" landing page with the headlining features (stability, performance etc.) and links to further pages: the success stories page[0] (which should have been emphasized more) and the wiki[1].

[0]: https://lisp-lang.org/success/

[1]: https://lisp-lang.org/wiki/
As far as I know Twitter had not been responsible for ethnic cleansing mole times in multiple countries not helping dictators stay in power: https://www.iheart.com/podcast/105-behind-the-bastards-29236...
They actually theoretically have a thing for this already. It's called AUTOSAR (now AUTOSAR Classic). It's supposed to be a component architecture to write down the software against a framework that can be backed by different MCUs. Of course, in practice much of the underlying esoteria of any given MCU/board configuration bled up through the abstractions and/or produced custom extensions.
For another gentle introduction to GPU architecture, I like "The Graphics Codex", specifically the chapter on Parallel Architectures: https://graphicscodex.courses.nvidia.com/app.html?page=_rn_p...
Thanks a lot for the quick suggestion. What you're thinking of would be running social network posting and/or adds? Is there something I am missing?
Any good mask will make it very hard to breathe under strenuous activity. N95 masks also get blocked after an amount of air passes through them so they become ineffective. Best not to wear them if you’re gonna be in the wind.
Eh, it's sort of a naming conflict.

There were two dimensions of "vector" -- whether you used XMM-style registers, requiring the compiler to auto-vectorize different operations. The old vector ISAs had things like dot product instructions. Those things are now all gone, because it turns out it's hard to optimize.

We in the industry call scalar-for-each-thread ISAs as "scalar ISAs" these days. For instance, Mali describes their transition from a vec4-for-each-thread-based ISA to a scalar-for-each-thread-based ISA as transitioning from "vector to scalar" [0].

[0] Compare 4:26 and 6:29 in the "Mali GPU Family" video on this page https://developer.arm.com/solutions/graphics-and-gaming/arm-...
That or FB will use its monopoly and vast reach to put you out of business.
This is a common anti-pattern when smart people start thinking about (brand) advertising.

“I have such strongly held opinions about my favorite soda! No amount of advertising will change my mind. I am immune to advertising!”

And then they go to the grocery store, and remember their girlfriend told them to pick up some fabric softener, which they know nothing about. So they look on the shelf and they think “Ok, Downy, I’ve heard of that one. It’s probably fine.” And away they go.

And the next time they need fabric softener, they reach for it again, because it worked fine last time, and what’s the point in spending any more time thinking about fabric softener?

This is what brand awareness advertising is meant for. It’s meant to change your weakly held preferences, not your strongly held ones.
What on earth has DeJoy (I'm really not a fan) to do with service disruptions in Germany due to flooding there to give one example linked on that page? The USPS is handing off parcels and some countries struggle to deliver them for various reasons, Covid being one of them but if you check out the different countries there are a wide range of events that can disrupt deliveries.
To state the obvious, in case we're talking past each other: terraforming other planets (i.e. Mars) is certainly not a way out of our climate problems on Earth. I meant that the tech to fix Earth will help us on other planets—a one-way tech transfer.

> If you live in a sci-fi book maybe… we can barely maintain a space station… We can't even maintain earth

In 100 years, people will be complaining to their representative that the solar shade is causing their petunias to grow sideway, having forgotten that said shade was science fiction back in 2021.

Also it's kind of unfair to say "barely" for the ISS—it's only the 9th space station ever and it's intended to be a giant experiment.
I don't think I can underline this point enough. Helmets are just as effective on the slow/no speed fall as they are on the high speed ones. In many ways, I wouldn't be surprised if they are more effective there.
Yeah my K2 + SE run now allocates ~98% of all my available RAM.

I have to upgrade my computer to load the map if any other applications are open (something is also messed up with my swap, it just grinds to a halt)
Yeah, i don't trust him either. After all, bill gates is also responsible for the COVID-19 vaccine nanobots and has yet to compensate me for that chain letter i sent to everyone i know.
Discourse | Full time | Remote | https://www.discourse.org/jobs

We build a community platform for civilized discussion on the web — we feel so strongly about it that we even named our company Civilized Discourse Construction Kit, Inc. We started in 2013 with 3 co-founders unusually passionate about online discussion. We’re now a team of 54 and growing fast.

First and foremost we are a hosting company. The product that we host and develop, Discourse, is of course 100% open source software.

We are a completely remote company, working from 20 different countries and 15 different timezones. You’ll never guess how we coordinate our work. Wait, did you just guess Discourse? That’s right, we use Discourse as our primary team coordination tool to build Discourse! Discourse excels at asynchronous, distributed teamwork, so we can keep interruptions like instant messaging, calls, and meetings to a minimum.

Folowing our recent https://blog.discourse.org/2021/08/discourse-series-a we are hiring for multiple roles:

- Full Stack Engineer | UTC+7 → UTC+13

- Designer | Any time zone

- Customer Solutions Engineer | UTC-8 → UTC-5

- Operations Engineer (Americas) | UTC-2 → UTC-6

- Operations Engineer (Asia) | UTC+6 → UTC+10

See all open roles: https://www.discourse.org/jobs

To apply, please contact us via email at team@discourse.org
A tiny project in javascript/nodejs land has a bonkers node_modules folder full of files upon files upon files. The whole ecosystem is rotten, top to bottom. I personally know many devs who have hit the eject button and now just code in Elixir. They opted out of the lunacy that is nodejs/javascript.
How would the AI know that "made of green cheese" isn't just another way of saying "crystalline rock surrounding an iron core"? To find a contradiction in a statement like "X is A. X is B" it'd first have to be intelligent enough to know when A != B. In your example, that's not as simple as 1 != 0.
But we still have music that is being considered "the downfall of humanity" PLUS the shenannigans of FB as the cheery on top
How many teenagers committed suicide because of rock and roll?

The issue isn't a changing of culture, it's an issue of mental health. Previous generations "looked down" on things like music because it was a cultural phenomenon they didn't understand or care for. I don't recall any previous generation that was facing massive mental health issues as a result of their cultural changes.

I still think some of the new music being produced is garbage and some is good. I think it's hilarious to see 20-somtehing girls wearing baggy clothing that looks like it's straight out of the early 90s. None of those things have me concerned for their mental well-being. Sanity perhaps*.

*joking
One similar method I've heard of is aggressively trimming fast-growing varieties and burying the trimmed limbs to build soil. Medium-size trees grow faster than small ones, and many respond to pruning by growing even more quickly.
Sure but that's not related to the point I'm making. The point is that not following software design best practices can leave you open to liability, or at least put you in such a weak legal position that you are compelled to settle.

If/when Tesla gets hauled into court over its software flaws, any lack of adherence to best practices will make the company appear negligent.
> unless you're like carrying a gun and executing them after the conflict is over or something like that

I think that's safely out of bounds of "bonafide self-defense" :)
But we're talking about biking across campus, not biking for sports. So not really "strenuous activity" where you'd notice that. (even just because you don't want to be sweaty at the other end either)
Falling on a stationary bike is a lot easier than you'd imagine. And the extra foot off the ground that you will be, can easily add to the damage.

I remember when I first started using clipless peddles, you free the foot on the wrong side, and odds are high you are hitting the ground. Stupid easy to do.
Chialisp is interesting.

https://chialisp.com/
Even a single hardware iteration intended to be a drop-in replacement in some cases won't be due to relying on implementation-defined behavior that is not guaranteed by the datasheet and wasn't considered a constraint by the people designing the silicon. Sometimes it's a bug, sometimes it's just "didn't think that was important".

Either way, you're left with something where the saturation behavior changed, or it's no longer possible to read out a value without risk of corruption since they assumed it can be treated as write-only, or some other hard to find and debug problem.

Swapping out chips is an exercise in testing and risk management, and never should be done without care, even before we start talking about safety critical applications.
Maybe this could be called "The move to PRC machine" since blocks by the GFW are already a thing.
CEOs are at their wits’ end – they don’t know how to get their employees back in
It was surprisingly reasonable. They developed their own standard because the US restricted the export of strong SSL, and then had a hard time upgrading when that changed.
Most drive by wire systems I seen are nothing, but a simplest closed loop PIDs.

It's very close to what you are taught in the "How to write a PID controller" class without much extra creativity.
not sure if they're banned or not, they're not recommended because the valve lets you exhale unfiltered air, which is rather pointless for covid protection. For particulate filtering they're perfect though.
The gif in the story was generated by adobe tools in the bad old days, circa 2005. I noticed the nerfing happened in the last 5 years when I looked closely at what Lightroom does.
Then the litany of Christian scientists will disprove you.
Then I'd have to sign in to MS instead of Google to store everything, I've acheived nothing.
Speaking from experience, I can tell you automakers are already shipping vehicles that some Infotainment apps are web technologies. Not electron, but a similar system to run an encapsulated web page.

I’m doubtful of the cluster being run by a browser engine though.
Snake bites can be abused too! https://news.ycombinator.com/item?id=20255373

No mention of Kambo (secretion from a tree frog) but it does contain opiate analogues as well
The statistics don’t lie. Biking in the Netherlands is incredibly safe even without helmet wearing.

https://www.sciencedirect.com/science/article/abs/pii/S09257...

Turns out there are other ways to make cycling safe. One could argue that helmet wearing might make it even safer, but we are talking about optimizing a number that is already very low.

I’ve been to Stanford before and the campus is pretty car free. It is big and mostly flat, so most students have bikes to get from one building to another, but you aren’t speeding around or anything, it’s a very Dutch biking experience.
This is the most likely reason. I've taken to just wearing a mask as soon as I walk out my door, since everywhere I'm going requires one anyway. It's more of a pain to keep taking it off and putting it back on than to just leave it on. I also wear a shirt the whole time I'm out even though it's technically not required while I'm in my car.
The Navalny's team promised to remove personal data tracking only on 8th of September 2021 (i.e. https://www.dw.com/ru/umnoe-golosovanie-otkazhetsja-ot-sbora...). And the case against the app was opened way before that.
> We don't even need clinical reporting to tell that [radio, movies, magazines, TV, video games, the internet, cell phones] has a bad effect on teens. Just observe a teenager

I hate this absolute relativist stance, "something was supposed to be bad once but is now accepted hence anything that comes to exist must be good".

> Every generation has complained about the impact of some technology on kids.

Don't you think the tech used by people increases at a way faster pace nowadays ?

Do you genuinely think that the invention of books is comparable to giving a 13 years old kid a smartphone with intagram ?

Just look at what's trending on instagram, they're catering to the lowest common denominator. It's the fast food, if not crack cocaine, of entertainment, literal "content" to fill up the "containers" we are.
Not for casual riding.
Here is Twitter CEO promoting a dictatorship as a place to go for meditation: https://www.washingtonpost.com/technology/2018/12/09/latest-...
> every socialist I talk to actually think a 15-25 hours week of work is sufficient for society to function

I'm a libertarian. But I'll point out that full time was 40 hours before women entered the workforce, doubling the amount of workers. Add in technological progress and the gains from offshoring, and 15 hours per week might even be too high.

From my perspective, all that surplus has gone to supporting the value of the dollar in the face of extreme monetary inflation (the dynamic that MMT proponents are trying to double down on), creating many make-work jobs centered around the new money fountains - eg Wall Street.
GPT3 and other deep models cannot predict the future. They can only generate alternative presents.
The author makes the mistake of associating cycling with head injuries. In fact, for young people the risk of head injury on a bike is significantly lower than the risk of contracting Covid on campus.
People thought the Beatles' music was making women mentally ill.

It's the same record on repeat.
I am glad someone raised this issue. I see this problem serious in Malaysia and Indonesia due to palm oil trees. People have cleared pristine forest and replaced it with pine trees.

And now palm is ubiquitous (You generally can't avoid it tbh like sugar) this problem is becoming more and more serious. These pine trees don't support convivial environment. And it impacts many ecosystem mostly orangutans.
But the Dutch have experience, from a very young age.
...it saddens me how true that is given the last few years. I still like to think most people are capable of a deeper level of understanding.
I think you are misunderstanding me.

What I mean under a computer is a Turing complete machine. A circuit just doing some LP solving, or PID is not necessarily a computer.
Yes, but it's a substantial proportion of the cases where people were charged.

Like the recent case where the guy was shot while they had their hands up and were backing away from the person with the gun.
> Spending time trying to "prove" in Coq an incorrect, flawed specification is an insane waste of time. A model checker can show you the problems in (literally) seconds.

Sure, if there's anything a TLA+ model checker is good at it's searching for counterexamples. But in pretty much any case where such a search is computationally viable, it's also easy to set it up in a proof assistant. By and large, model checkers use the exact same toolset under the hood as the "sledgehammer" automated proof search in a proof assistant, such as SAT and SMT satisfiability solvers.

> It resulted in a verified implementation, that to the best of my knowledge, no one uses is production.

No one uses a TLA+ model directly in production either, because that's not what TLA+ is. The question only makes sense for a tool like Coq where one can work end-to-end with an actual implementation.