skysight-inc/HackerNews huggingface dataset:
For small n, you can reasonably brute-force all (n x n) multiplication formulae in characteristic 2 because there's a naive bound on the number of element multiplications and the coefficients are binary. As n gets large (say, n>3?), the cost of brute-force becomes prohibitive.

Beyond brute-force, I imagine that this problem could be phrased as a max-sat problem, mixed-integer linear program or similar. There are generic solvers that can get solutions for problems of moderate size. But unless it's a fairly rote translation to the solver's native representation, it's often better to write a custom solver and port heuristics into the notation native to the problem. As far as I understand it, that's the approach that the Fawzi et al and TFA took.
It's a little sad to hear that from multiple former Intel employees at multiple levels. They're all tremendously down on Intel. Maybe there's a bit of "refugee bias"? I really do hope Pat Gelsinger pulls through and defies our pessimism.
> unforced errors and mismanaged

No. Managing innovation at the scale of Intel is a challenge. And their customer base (PCs and servers) is shrinking. Also, this is only like 15% of the workforce. Which is only 5% more than a typical culling.
Intel marketing is NOT aimed at customers. It’s aimed at Dell and HP et al.
Sounds like a vanilla numerical math course?
Hi, I'm User A!
As bad as the FBI is, it pales in comparison to the international terrorist activities of the CIA.
We at Strex Corp believe that you should be at your most productive, and smiling helps that. Please smile while you work. And come on down to the company picnic so we can be more productive.
Amid rising seas, Atlantic City has no plans for retreat
> The announcement of the layoffs was theatre for Wall Street.

I'm interpreting this as "the (publicly-traded) company used a layoff announcement to appease investors and show them that executive management is taking steps to ensure the company operates more efficiently, thereby keeping it within the good graces of these investors/hedge-fund managers/etc".
For what it's worth, the laptop I currently use for work I requested a few years ago specifically because it had an Intel CPU – not necessarily because of performance (though that was a factor) but also I know how to get important performance counters out of it for diagnosing performance issues. I don't know if I'd make the same judgment today, though.
https://oxide.computer/
There was a huge surge of people buying new gear to outfit home offices for WFH. That's over now. Not everyone is back in the office fulltime (obviously), but we'e not out rushing to buy new stuff when we just did all that not too long ago.
Not a US citizen, but aren't the retirement funds managed by someone who should be held responsible for not diversifying?
Not quite. Per this other comment[1], there's a difference between correctness vs fitness for purpose. The code was correct -- if, previously you had walked through the logic of the attack with them, the coders would have said, "yep, that's what we want it to do -- lend that much, based on those oracles' prices".

They just didn't realize that there are dangers of using a price oracle for collateral valuation that has recently shown a sharp upward movement. (Which fals under "fitness for purpose".)

So the code correctly lent to someone at Mango's current valuation, it just didn't require the optimal-in-hindsight collateral ratio for such a volatile asset.

[1] https://news.ycombinator.com/item?id=33173028
> If we can, and as long as doing so doesn't take undue resources (electricity, etc.), then it makes sense to capture the water, right?

Whether it's worth capturing depends on how much water is worth. At 100x it's very hard to have a water price low enough that growing tomatoes is cost effective but high enough that it's worth putting in this kind of effort to recapture 1% of the water from their production.

(Part of the problem here of course is that agricultural water is rarely traditionally "priced")
I would describe them as pecked. The lines are not even straight.
> It's one of a few large companies with that distinction

Because the rest went bankrupt.
This[1] seems to be the Bloomberg article it's referencing. It doesn't say it will lay off 20% of staff like this article is referencing, just "thousands" and:

"Some divisions, including Intel’s sales and marketing group, could see cuts affecting about 20% of staff, according to the people."

Some divisions, not the entire company.

Also this is in the article:

"Intel’s last big wave of layoffs occurred in 2016, when it trimmed about 12,000 jobs, or 11% of its total."

So if the headline were accurate, this would be twice as many people as six years ago. While it's possible that will be the case, I'm guessing it's more likely the number will be closer to the 2016 number.

I think this article misinterpreted the source article, either by accident or deliberately for a juicier headline, and should be replaced by the Bloomberg article instead.

[1]: https://www.bloomberg.com/news/articles/2022-10-11/intel-is-...
I wonder if I still have my prototype somewhere, exactly the same thought..
We humans exist in 3D space, yet perceive the world in 2D (with some additional depth perception added).. Sooo.. our perception is 1 dimension less.
If someone were to inhibit only 2 dimensions, they'd perceive one dimension less, so 1D. Now, to translate that back into something a human could see, it'd just be... bands.. My engine had the bands extend the entire width, but same thing.
I also made a 1D version, where you.. yes, move along a single axis, and your perception is thus 0 dimensions, simply a point (extended to fill the entire screen) that changed brightness.

I also made another one were you were a a typical 2D platformer character, but with the ability to rotate around your own Y axis, so the levels were fully 3D environments, and it sliced a plane through the world with the origin being the player character. You had to turn around yourself a lot to get an idea of the environment.
> I think that's a great thing. I don't want companies to stay giant in perpetuity...

Except that semiconductors are a national security issue at the moment.
Intel invested a lot into EUV thus enabling ASML to do it, but did not take advantage of the technology because they thought not to take "risks" even though they could have easily set up different teams invested into different technologies and picked the best one. Business people running the company was a failed experiment clearly.

Good thing Pat is back and now going with EUV to remain competitive.
Someone will fork or clone Signal and distribute an app that continues to support SMS and MMS.

I would drop Signal for that app, even if I had to pay for it.
Used to work at Intel campus on previous job with another company.

No one really worked and would go home early.

It was really weird.
>Another analogy I've seen used is that in countries where men violently force wifes, daughters and sisters to veil their entire body, they are all very surprised to be accused of misogyny: they love and admire women like we do dogs, and only aim at protecting them from dirty cavemen as much as possible.

This is just a thinly veiled criticism of Iran(?) that has almost nothing to do with the parent comment.
When they support Android, that would be lovely.
Good investment. Would recommend you set up raid 1 for the hard drives if you can afford it, single redundancy is very nice to have. I'd also recommend jellyfin over plex or any of the other big proprietary players out there. Jellyfin just works, and has a pretty good list of plugins for metadata.

The biggest drawback I've found is that I did have to make an account with opensubtitles to have automatic subtitles, and if you try to load too many pieces of media at once you may run into the 50 api's downloads per day limit for free accounts.
Didn't even realize there was SMS built into Signal (apart from the "Invite via SMS" screen once in a while).
I bet vision transformers understand math better because it’s somewhat artistic
You can investigate whatever, but at a certain scale of investigation it starts to make sense to think about how wise it is to spend the resources, time and collective effort on any given investigation carried out in the way it was meant to be carried out.

E.g. we could do a really hardcore investigation into whether the moon is made of cheese despite all evidence to the contrary. Then we could fly there have one guy be like "Yep it is not cheese". Then have a psychological analysis of that guy and send another one just to be sure, ad infinitum leaving nothing for actual serious, on the edge of knowledge investigations.

That overdriven would dadaist investigation is of course just a carricature I made up now, but the underlying issue is real: science costs us all and we should spend it where it helps. Sometimes that must also mean not knowing to which ends we do investigate something. But it should not become dadaist in a way similar to the outlined story.
For all the talk about this being a massive attack, the number of casualties is in the tens and blowing up a few apartment buildings seems to be unlikely to be consequential to the war. It all seems like a waste of money and combat power on the part of the Ruzzians.
Isnt this only a concern if you plan to retire in the next 5 ish years? Even 5 years seems a while to correct itself unless there’s a larger market implosion. The last 5 years has seen the tail end of a recession and a pandemic
Students break acceleration world record for electric vehicles
> Who bought a laptop because it had an Intel CPU?

If you're a Linux user, Intel integrated graphics have always been the most compatible and most well-supported option.
https://www.georgiacriminallawyer.com/false-statement-to-pol...
At the risk of being pedantic, no. Apple Stores aren’t able or empowered to provide Apple ID support beyond what the public website based recovery workflows provide. I am sure someone will note that someone at an Apple Store has helped them reset an Apple ID password. What I mean is that Apple Store employees have neither procedure nor access to override Apple’s account system. You have to call support for assistance beyond what the website can do. I am sure Apple Store employees have been helpful and I’m sure policies have changed over time.

As an Apple user I find this as frustrating as it is wise. Mostly for future-me who may one day not be as savvy and manage to screw myself.

I don’t fully trust iCloud Keychain and Apple to never lose my data in a “I don’t concern myself with backups” manner. So I opt for using Passkeys where I can also add my FIDO2 tokens.
It depends on the individual and what one defines as a "career". Being an excellent spouse, mother, and homemaker are a form of career. It's a career that countless women over millennia gravitated to because they are the bearers of children, have less body strength on average, are vulnerable for 9 months at a time, and have far fewer ovum than there are available sperm. Some women will be on either end of the bell curve, but to be closer to the middle of the bell curve is nothing to be ashamed of. Instructing women to emulate everything typical of men is to indoctrinate them into self denial. Bearing and raising children and being a supportive spouse takes a form of grit all of its own. It's just a type of grit where the building of self-worth isn't required.

I'm reminded of a time I was in a circle of people from various backgrounds, and the person in the middle of the circle asked the women to raise their hands if they've ever been told they are pretty by anyone besides their mother. Every single one of them raised their hands, even the ones who weren't conventionally attractive. The men were then asked to raise their hands if they've ever been told they are handsome by anyone besides their mother. Not a single man in the circle raised his hand, and this group included a few particularly popular individuals with the women in this cohort. That experience isn't representative of everyone, but it told me a lot.

> All that role model and life advice stuff isn't just made up for no reason, it's there to help people get a good life for themselves in the world that they exist in.

Choosing a role in life is efficient. Spending one's entire life without learning the role one is suited for usually means a lot of wasted time and effort. Yet this is antithetical to what we tell young people today, which is that what is most important is who they are in the present as individuals. The individual is important, but individuality is overrated because everyone is an individual, more or less, and individuality provides no structure or framework.

Past societies figured this out because life is simply too short to blow a bunch of time figuring things out from scratch. Today, we have longer life expectency and automation has made everyday life very easy, so we've fooled ourselves into thinking that it is our individuality that we should be exploring to the exclusion of selecting roles that take the greater society into consideration.
Music for Programming[0] is a nice site with mixes of music, most of it ambient, intended to provide focus while programming. Each mix has a setlist so you can follow along and perhaps find some new artists to explore.

[0] https://musicforprogramming.net/
Depending on your setup you could just generate TOTPs on command line and copy to clipboard, that's what I've implemented: https://github.com/Ciantic/totper

It works pretty well with pass (password manager) that stores each individual entry in GPG encrypted file. GPG is pain, but if you happen to use it already then it works.
I think IBMs case is a bit different -- after all, other companies may have innovated in the space, but they are the ones who actually came up with the PC standard we still use today (and then quickly lost control of it). By comparison, Intel has nothing to show on the mobile space, just a few half hearted attempts at mobile CPUs that fizzled out.
That.. doesn't happen at all. I am from and in India, I would know. The only carrier that gives a free phone here is Jio, and that's a feature phone. In absolute terms there are way more people in India with enough purchasing power to buy iPhones than in almost all other countries except China and the US, just because it population is that large, but I'll agree it won't compensate for % share. It's still ironic that Apple manufactures phones here and has still failed to capture the country's market.
To what? Facebook owned WhatsApp?
The lines are, visibly, not even straight. The surfaces of the boxes are ground to flatness we could not improve on today.
TLDR.

there's something I don't understand: car companies and everyone else can't seem to get enough Chips and yet Intel is laying off employees?
If there is no way to give money for a service I have no problems with getting it via other means -- when Discovery season 4 came out it wasn't available in the UK, so I downloaded it. A week later after the backlash they put it up for sale, and I spent the £20 or whatever to buy the series.

I have no problems paying for netflix, disney, prime, and now paramount plus. I subscribe to apple TV for for all mankind, then I stop when it's finished.

What I won't do though is pay to watch adverts, that was Cable/Sky TV's market, not interested. Sell me the program and I'll buy it, try to include adverts and I'll get it elsewhere.
They have US fabs, they are too big to fail from the perspective of the US government.
I get 1.85 * 10^13 joules for 10 grams at 0.2 c from https://physicscalc.com/physics/relativistic-kinetic-energy-..., or about 4.4 kilotons of TNT equivalent. I think that you may have slipped a factor of 1000 somewhere (calculating for a 10 kilogram probe, maybe?)
>financialization of the global economy has been disaster of boom bust cycles

??? Hasn't there been booms and bust cycles in america since founding?
Great book for learning OOP and how to implement a bytecode compiler and interpreter for a small language. One of my favorite books.

A few years later Budd worked on a successor where the compiler and much of the system was written in Smalltalk and image-based. Only the VM was in C: stop and copy garbage collection, bytecode interpreter and primitives. Small and straightforward. A wonderful system for learning how to implement languages.

Sources to several versions: https://github.com/crcx/littlesmalltalk
The direct technical explanation for the fidelity gap here, as has been stated elsewhere in the comments here, is that Meta's metaverse VR tech runs off of a smartphone chip. Performance is thus very limited. Further compounding this limitation is the fact that since it is VR, the application has to render the world twice every frame - so rendering capability is ostensibly cut in half. The result is bland, low-detail, flat-looking (and in this case jittery and glitchy) graphics.

I think this gap could easily have a hand in preventing the Facebook metaverse from reaching mainstream appeal. We've had gorgeous graphics in games and virtual worlds for quite a long time now - just look at what Crysis achieved fifteen years ago. To the average consumer who doesn't care about the technical limitations and issues behind the product, this is like rewinding the clock twenty years.

As far as why Zuckerberg is so hyped on it - your guess is as good as mine. Just seems like a really misguided attempt at creating a new platform/ecosystem that they control entirely and can monetize.
"It has been found in studies from Europe, Scandinavia, [...]"

Is it common to differentiate between Scandinavia and Europe like this?
Probability exists as a concept in our heads just like god, math, frequencies, cosmological models and quantum field theory.

I can accept that. What I don't quite understand is how restricted your concept of "physics" is.

Can physics explain that if you put together a glass of hot water and a glass of cold ethanol you end up with a warm mixture of water and ethanol?

If the answer is "no" that's fine! Maybe physics cannot explain much for you.

If the answer is "yes", I wonder how can you do statistical mechanics without dealing with probabilistic concepts.
If you have a strong welfare state, it should make it easier to fire.

This is the case in Denmark, some countries offer incentives to lay staff off temporarily but, generally, it isn't the case (which is why you have unbelievable levels of unemployment in Europe).
https://www.flowful.app/
Can't promise Eno quality, but flowful claims something similar

Previously: https://news.ycombinator.com/item?id=32149989
When words of family start floating around or when social activities are provided/expected.
Imagine the scenario where they did do this. And the employee was intransigent and didn't follow orders. Do you think it's possible this sort of person would also present a skewed account of what happened?

You have no idea if the perspective presented it accurate.
Yes, primarily because of people like Paul Robeson.
> After the quarterly report on October 27, nothing better can be expected.

How to tell an article is written by a hedge fund shorting the company.
If you're invested broadly in the S&P, so long as companies are "properly" valued, it is okay if INTC falls and AMD rises.

If a major player is massively overvalued, though, then index funds, too, will feel some pain as the exuberance in a major player dissipates.

I hold some INTC directly after having been extremely impressed with the company's dedication to rigorous process in engineering interviews in the mid-2010s. I'm sad to see such a great company go through hard times.
Hellō has you set up multiple recovery providers and methods, making it unlikely that you'll lose access to your Hellō account. Visit https://wallet.hello.coop after you go through https://www.greenfielddemo.com/ and you'll see the workflow.
I dont need to come up with one - they already exist in the form of trademark (WIPO NCL) classification.

I suppose the hardware would be class 28, the app store would be class 35, there are other classes that would be applicable too given they also provide services, etc.

Preferably they would be even more granular than that - I believe the chinese system is a bit more detailed in that area.
When I switched from Android to iOS this was the number one technical regression, and for years my go-to example of nice things Apple keeps from us. It’s unbelievable how Signal is sabotaging itself here.
Yikes, this is pretty scary. Hope everyone impacted at Intel comes through this. FWIW I have also heard of freezes at many other large tech companies, offers being rescinded, and over hired teams having to reallocate people to other teams.
> Nobody has the right to obtain copyrighted entertainment products. Unlike, say, having access to food or water, or even education, there's no coherent moral framework that says that you are obligated to the latest TV shows or movies under your own terms.

The only coherent moral framework for the existence of copyright at all is that it is a societal level intervention to maintain financial incentives for the production of creative arts and livelihoods for creators. If the lion's share of the returns to the production of IP is being soaked up by gatekeepers like streaming services and publishers then the alignment of the principle to its aim starts to attenuate.
ADHD, as condition seems more like a 'hardware' thing. It's intriguing to imagine how conditions like that can be helped with a 'cognitive' approach. Perhaps it's used more to help manage things through techniques and strategies.

Kind of like video card drivers that have patches for specific games to work around issues in the hardware.
Whether or not they're ``held responsible'' to the degree anyone in such a position in the US is (i.e. lolno), grocery stores and retirement homes do not accept epicaricacy as payment.
Austrians don't care too.

I can't understand who and why anyone cares about SMS these day, besides receiving government emergency notifications.
> (Note that's gzipped, so the actual size is much higher in-use.)

OK; I did a quick dig to see how big Wikipedia is, but you've dug deeper.

You can still stick the whole English Wikipedia on a single disk, probably with all linked media (I suspect that a lot of what's on Wikimedia isn't linked from Wikipedia articles). So the main cost issue is serving content to the network; and there are lots of server farms that would cheerfully do that for the love.
anyone feel an eastern european oppressive brown-gray stone communist vibe reading kafka?
As someone with ADHD this site is incredibly hard to read and navigate (and probably would be for anyone even without it).

If you want this to be a useful resource, please consider:

-removing the distracting movement from carousels or moving the content entirely out from carousels

-removing the expanding sections and instead display all that content by default (no reason to hide it or make it expandable when it's so small)

-maybe the most impactful, adding some more margins and padding to give content enough space to breathe so my eyes can focus on one thing at a time

I tried looking through the accessibility menu but nothing there was able to improve these significant issues in the default styles.
No, it's because both sexes rate female voices as more soothing and trustworthy[1].

1-- https://www.debbiegrattan.com/blog/why-trust-female-voice-ov....
I don't know if it even wins there, to be honest. I'd say they're on par if anything, with a slight edge to JetBrains, as they have better support built-in vs needing plugins.

I'm a long time JetBrains user though, so I admit upfront I may have some bias here.
There's another John Nagle who is a scientist at CMU (at least, from what I can tell, he is the not the Nagle of Nagle's algorithm).