skysight-inc/HackerNews huggingface dataset:
Even knowing a polynomial algorithm for SAT would not have practical implications unless the algorithm has a reasonable run time. Matrix multiplication is a great example of a problem where the best known runtime complexity algorithms are not used even though for matrixes the size of the universe they would be faster.
Thanks, this in insightful. Is there a way I can reach out to you?
O notation doesn't apply to hardware in that way. The naive algorithm is still O(n^3) on a GPU. Remember that O notation is concerned with behavior at the limits and ignores constant factors. Parallel hardware can only provide a constant speedup for problems of arbitrary size, hence it does not show up in O notation.
You are off by orders of magnitude. The difference in memory density between DRAM and SRAM (register file) is not 100 times, more like 10x. Standalone "registers" - memory elements of pipelines, state machines etc, - are again not more than ten times less denser than SRAM.

After DRAM goes SSD and after SSD goes disk. The difference in price per GB for SSD and disk is about four (4x) times, I looked for that numbers recently. The difference between tape and disk is, again, about 4-10 times (from memory).
I kind of don't believe there is such a thing as "just a name". People persistently confuse names with the thing named. If you want to communicate truthfully, you have to take into account the psychology of your audience. So "it's just a name" is not a good reason for misleading names.

I realize this isn't a big deal for quarks, but it's been on my mind a lot. The application to politics is left as an exercise for the reader.
You cannot generally trust that C primitive types are atomic.
I don’t think they’re actually intending to refer to physics here—they could have said “as fast as theoretically possible” instead.

A square matrix with n rows and columns has n^2 entries, so if you need to look at all the entries in two matrices to compute their product, then you need to do O(n^2) work just to look at all the relevant entries.

The only way you could get around this is if you know many entries are 0, or identical, or have some other structure such that you don’t need to look at them separately.
It's typically still the O(N^3) method that's implemented in OpenBLAS, BLIS, cuBLAS, MKL, etc. There are some high performance implementations of Strassen's Algorithm with a fixed level of recursion that start to perform much better as the matrix size gets large (see the work from UT Austin's BLIS). From my understanding for the more complex algorithms the hidden constant simply grows too large to be worth it on conventional hardware.

As another poster commented, these are O(N^3) in work, not necessarily the wall clock time you see due to parallel speedup and cache effects, but will scale as O(N^3) once you're at a size past all of these. These implementations are highly tuned and optimized for hardware, much much more so than the naive 3 loop implementation. The predictable and 'easy' access patterns make the simple algorithm hard to beat.
Yea, I started with the "AFI Top 100 Films" and went through all of those (spoiler, you've likely already seen many of them if you are even slightly into movies). Definitely focuses on American films (surprise!).

After that I have begun the "1001 Films To See Before You Die." I suspect I'll be finishing that up in about 3 years (need to hang on that much longer!). Most if not all of the AFI Top 100 Films are in the 1001. Also, again, some of the 901 remaining films you may also have seen already. But the 1001 have a lot more French New Wave, Italian Neorealist, and generally a more cosmopolitan mix. To be sure though the list skews Western.

I'm happy to have another list of films. The set of Kurosawa's favorite films, of course, intersects with the above two lists but appears to add, unsurprisingly, a lot more Japanese films.

Somehow I had to smile just imagining Kurosawa watching "One Flew Over The Cuckoos Nest". Does that film even make sense for someone growing up within Japanese culture?
There are plenty of walkable cities in hot climates all over the world. Look at South America or Asia. After wearing appropriate clothing--loose open-weave linen, shorts, etc., not dense cotton t-shirts and tight baseball caps--and spending significant time outside, one can grow accustomed to the heat.

In many countries in Central and South American it's common for men to wear pants and even suits in 80+ weather and nobody's complaining--because they've grown accustomed to the heat after being outside all day. Go to Hong Kong or Singapore or Japan in the summer where it's stifling outdoors and men are wearing full suits as they walk about their day. I'm not saying we have to wear full suits in Florida--I'm just saying that one grows accustomed to one's environment.

Americans feel they deserve to wear in Florida whatever they were wearing in Chicago; and then since most of their day is spent transitioning from one from freezing-cold refrigerated space to another to freezing-cold refrigerated space, with only brief flashes outdoors as they walk from their car to their shopping mall, they never get the chance to accustom themselves to their environment. It's a self-fulfilling prophecy.
Yes, I thought either FF or Chrome had implemented this before.
> Another issue with grid street neighborhoods is that many don't like thru traffic and noise. Thus the dead-end cul-de-sacs that many academics hate are loved by residents who prefer the reduced car noise and extra privacy.

Those cul-de-sacs funnel all the traffic onto feeder streets, and of course all of the services are on the feeder streets. So while the dead ends and crescents are quiet, I don't walk there, I walk to the services and have to put up with much more traffic and noise than I would in a grid setup.
Nationalist bickering is hardly productive.
> There's no logical reason to believe this is the case. It's a social assumption caused by the fame of Einstein and the way pop culture has constantly told us FTL travel is "impossible", putting anything that can do FTL immediately into the realm of "if you can do one impossible thing, why not N impossible things". But C being the universal speed limit is a theory only 115 years old. That's not very long in the grand scheme of things. And now we're seeing respectable and serious physics research that explores the concept of a warp drive. Whilst still in the realm of impossible, it appears there are gradients of impossible and FTL travel may slowly be moving between them.

This is, in my layman opinion, a very generous interpretation of in favor of the possibility of FTL. C as a fundamental limit is core to one of the most well tested and accurate models in the history of science. The Alcubierre drive variations are essentially just fun math puzzles for physicists to play with in their spare time. Until very recently they required exotic matter and/or ludicrous quantities of negative energy, and the best we've managed to do since then is replace those impossibilities with a ludicrous conventional energy requirement. Even if that was fixed there are still other problems to deal with, like the interior of the bubble being causally separated from the rest of the universe, meaning you couldn't actually control the bubble.

I'm not arrogant enough to believe that I understand how the universe works, so I can't say it is definitely impossible, but it is foolish to believe something is possible that the best evidence in the history of mankind says isn't, until we have evidence that it might be. UFOs can be explained by a lot of things significantly more likely to be real than alien visitation with FTL drives. I mean, if you're willing to believe that, then why not believe they're from Earth's future, or an alternate-timeline Earth, or any other sci-fi explanation that we have roughly equal expectation might be real as FTL.
I've suddenly been having issues with Fastmail and tikTok and I wonder if it's because of the same issue?
that’s directed by Carol Reed, not Orson.
Yes, I realize that my conception is a platonic ideal and the real-world application of my ideal is bound to be messy and there will be disagreement. In this situation it would come down to a judgement call.

I would allow the patterns because they are knitting related. I don't want to restrict any user's freedom to upload a pattern - even if it's political. And I don't want to restrict anyone else from downloading those patterns. I suppose my desire to let people share needlework patterns outweighs my desire to exclude politics. I'm more concerned about user behavior around political patterns rather than the political message of the patterns themselves. To this point, I would be weary about any user who starts to agitate and evangelize.

The key is how these users are behaving outside of those particular pattern pages. Are they intentionally trying to inject politics into other knitting discussions? Are they trying to recruit like minded people, or shaming other users who disagree? If so, that's when I would warn the user to stop, and then ban the user if they aren't making a sincere effort to be less contentious.
Or in gaming... the tens (hundreds?) of thousands of communities, clans, guilds, modding, custom content and game modes, speedrunning, the wacky interactions and personas you can happen upon. It was (is?) glorious.

I regret not having documented/archived some of that from ~10 years back, but all the more reason to start today, eapecially given that not everything is gone yet.

And the feeling/experience you merely get to store in your head, the files serve as anchors for memory retrieval.
The last time I paid attention to this stuff ten years ago, the operations were 'galactic' to get to these theoretical bounds. Constant terms such that you'd need matrices with n = many billions to start to be competitive with normal matmul or Strassen.
Oh god Stephenson, he'd have made a much better example for published first drafts, but he's been doing this his whole career. Even the Big U and Zodiac, which I love, could both benefit from some serious editorial review.
I agree. In my experience, most back injuries are the result of insufficient core strength, insufficient stretching, or insufficient cross-training. The chair and posture has a lot less impact than stretching my back, wrists, and doing some situps.

I have to admit though, I don't stand up and walk around as much when I'm at my desk at home, compared to the office. I need to set myself a timer to walk around every 30 minutes.
> For sites that don’t yet support HTTPS, Chrome will fall back to HTTP when the HTTPS attempt fails.

It's in the article!
I don't accept this premise. What data are you relying on to suggest YC participation is an indicator, much less a key indicator, of a higher chance of success than a "typical" startup?
> What happens when the site I type in the URL bar doesn't support HTTPS?

The article says: "For sites that don’t yet support HTTPS, Chrome will fall back to HTTP when the HTTPS attempt fails."

Yes, a MITM could block this access. This would be an active attack and thus detectable, which is fine if you're the Great Firewall and your existence is government policy but likely to be a problem for some other types of attacker.

In the passive attack case this is strictly better (previously a passive on-path attacker gets to see all the unprefixed URLs typed into a Google that didn't match an HSTS rule it knew, and with this change they do not) in an active attack nothing changes.
That makes a lot of sense. HTTPS adoption is now very high[1], and this might push it a little bit further for sites that don't redirect to HTTPS automatically. I've been using Firefox in the experimental HTTPS-only mode, and the web is quite usable without cleartext HTTP.

[1] https://transparencyreport.google.com/https/overview

It's not a big change from security perspective though. HTTP requests shouldn't be getting cookies any more, and the redirect isn't revealing anything new (not until we get DoH + ESNI). You still need HSTS preload to defend against active downgrade attacks.

An interesting side effect of the change is that sites won't have have a working HTTP redirect any more. Inevitably, there will be sites that let their HTTP versions rot and break, which will eventually force all other web clients to default to HTTPS for web-compatibility.
I like that title a lot - it is a more concise statement.
Yeah, that's how I look at people who work for the gangs that killed 200 million people last century, and continue to do most of the killing even today. Most people call them governments and they find nothing wrong with working for them.

People have different worldviews, news at 11.
Hence the quotation marks.
> The boom is caused by the air being compressed in front of the object? Is the loudness of the engines irrelevent to the intensity of the boom, it's all due to speed?

Yes, that’s it exactly. The part I would add is that after the air gets compressed, it rebounds, which is a wave. This wave emanates at the speed of sound. Ok fine, but what does that mean?

At subsonic speeds, each new pressure/sound wave emanating from the object is contained within the expanding sphere of the wave that came before it. Think of ripples in a pond, with each new ripple slightly to the left, but still completely “contained” by the one before it. The two ripples expand and never touch. (We’re pretending our pond has no edges here and that the waves don’t reflect.)

At supersonic speeds, the center of a new wave is outside the expanding previous wave. This has significant consequences for how the two waves interact. Subsonically, they didn’t interact at all. But supersonically, each new wave is expanding outside the previous wave, which means that pretty quickly they collide. And when they collide, they interfere. This interference is what goes boom.
They grew wings and spread to every corner of the Earth? We call them "birds" now.
PyWebIO is more lightweight and supports coroutine and web framework integration.

Although PyWebIO is indeed a bit crude, the usage scenarios of PyWebIO and streamlit don't exactly overlap.
Spray and pray has another name... venture capital. I think a lot of founders are waking up to the misalignment of interests between founders (growing a sustainable business) and VCs (dilution)
Metadata is the biggest little problem plaguing the music industry (2019)
I know this is looked down upon around these parts, but I own real estate. I started by buying my own place over 15 years ago and every time I move, I turn the previous place into a rental investment. Say what you will about "rent seeking", but we've poured lots of money into maintaining our properties and providing people, who want to rent, with a clean, well maintained, affordable place to live.
The specification of Brainfuck fits in two paragraphs, according to your definition, that should make it a very easy language to program in.

The fact that Scala's features work well together is a myth that's been debunked over and over. Just look at the number of semantic meanings for "implicit" or the underscore character.

Scala is just what happens when a language just adds every single feature under the sun with very little care for user productivity.
Not trying to defend HM (never tried their chairs), but I own a new Steelcase Leap V2 chair and I have the same issue. The replacement is as bad, leaning to the right. Apparently it is a design feature.
I don't understand how these expensive furniture shops can ignore such obvious issues.
One of the unexpected things is Dartmouth BASIC from 1964 had matrix primitives, despite being an otherwise primitive language. MS never took up the feature, but I know Wang BASIC did on their 2200 family of machines.

For example:

10 DIM A(3,3),B(3,3),C(3,3)
20 MAT READ A
30 DATA 1,-5,7, .45,23,9, -5,-1,0
40 MAT B=A:REM assignment
50 MAT B=ZER:REM zero array
60 MAT B=CON:REM all 1s
70 MAT B=IDN:REM identity
80 MAT B=TRN(A):REM transpose
90 MAT B=(2)*A:REM scale
100 MAT B=INV(A),D:REM invert array, determinant in scalar D
110 MAT C=A*B:REM matrix multiplication
120 MAT PRINT C:REM prints something close to an IDN array
I am American.
Is that actually useful in practice?

When you're talking about things like displays, performance is extremely important. We're talking about 178MB/s to update a full HD screen at 30 fps, which requires networking pretty much no normal user has.
When most people are taught algorithms, it's done so in a way that seems to emphasize that algorithms in "P" are very fast--I doubt many people have encountered an algorithm worse than O(n^3) that's still polynomial--and the "NP" algorithms are very slow, and this gives strong rise to a solution in "P" must necessarily be better than one that is "NP". Even when complexity classes are introduced, and there's a segment on "you know, you're ignoring constant factors which could be really big," there's still no practical experience with cases that do have big constant factors.

Let me give an example where such a case exists. In 2005, a paper came out finding an algorithm for determining undirected graph connectivity in log space, which means you can't keep an unbounded stack of nodes that you have visited (as the trivial depth-first or breadth-first search algorithms do). This algorithm relies on converting the input graph using an "expander graph," basically replacing every node with an instance of a graph. When I computed how large an expander graph had to be, I found that the smallest one was ... 3^65536. It's still a constant factor, but it's larger than the number of atoms in the universe. This kind of constant factor isn't unusual for combinatorics problems (this is the same kind of space where Graham's number comes up).

My suspicion is that if P=NP, it's likely to be so only via this kind of crazy combinatorial input, which is to say, the P algorithm is completely impractical.

Outside of combinatorial algorithms, there are several other cases where the asymptotically faster algorithms are generally disfavored due to practical concerns: primality testing (AKP is a P algorithm, but slower in practice); matrix multiplication (we keep finding better exponents, but the dominant algorithm remains Strassen, and even then, that's only going to be used for distributed matrix multiplication). You mention linear programming, but my understanding is that interior point methods are generally preferred in modern implementations over simplex methods, the former being polynomial and the latter exponential (although very often polynomial in practice--another great example of typical case being far faster than worst case).
The result was past three sigma, not exactly at three sigma. But good point, because if it was exactly at three sigma I would have snookered myself. :)
Yes, exactly, government funded enterprises don't innovate like private funded enterprises. They simply can't overcome the political obstacles in the way.
I misread the pricing page, thanks for setting me straight. $10/month for that is actually perfect.

Still, I think the Element desktop client is really lacking compared to Discord and I haven't been able to get any of the alternative ones working smoothly.
I find the hag capisco more comfortable for working. something about it just makes you naturally sit up straight. I slouch in anything else.
I scream, you scream, we scream for ice cream.
This specific story aside, the point is that for those in their teens, it's very possible that expressing those views is being done to "rebel" rather than as a true belief or as an opinion held with the full appreciation of its implications. i.e. the act of holding such a rejected view is the point.

Which isn't to say such views should be tolerated, merely that the approach taken for interacting with such individuals really should account for that.
In this case Firefox was first with a slightly different implementation (a warning instead of directly falling back to http).

https://blog.mozilla.org/security/2020/11/17/firefox-83-intr...

I think the idea originally came from the extension HTTPS Everywhere and its EASE mode back in 2018.

https://www.eff.org/deeplinks/2018/12/how-https-everywhere-k...
Teachers union “not convinced” social distancing can safely be cut to 3 feet
hdoc uses Clang to parse your C++ code, so anything that Clang compiles should be fine. It's one of the benefits of using a production-quality parser instead of a homemade one like some other tools do.
Some friends and I got like 5% into building a website for this a year or so back - an analogue to a CV site where you could upload your team profile, competencies etc.

As with many ideas like this, we kinda lost interest and moved on to other things. It's possible there's a gap in the market.
naah, nobody in tech needs to be onsite anymore. you just need to be able to do voice chat.
Humans are emotional more than rational. Positive numbers won't outweigh the anecdote of being stuck in a traffic jam while the bike lanes sit there, effectively empty.

City planners and bicycle activists need to work with human nature, not against it.
More specifically, Nokia bought the parent company of Bell labs, Alcatel-Lucent.
Does this include sam?
Ive taken up Bouldering as a sport that is super compatible with WFH in a city. You can go to the gym, and interleave shoulder and core excersizes with coding sessions. I did this before the pandemic and am not in the city now, but when I go back, its a great way to stay in shape in that environment.

Rings are a cheap and portable excersize tool as well.
Then it just means we are too lazy to care about anything other than profit. Subsequently we suffer for it.
Well, and with respect to cities generally, there are many cities I like to visit quite a bit that I really wouldn't care that much to live in--especially if it meant giving up my ex-urban/rural home.
Show HN: Today's Top-Rated Data Sold on Ethereum
Science does not and will not be able to explain the origin of life. The statement still holds. It's very arrogant of us to assume otherwise.
The people paying for these sorts of developments are the people who do that planning and strategy, and people are terrible at automating their own jobs. People presume tasks which they find simple will be easier to automate than tasks they find complex, and imagine a small number of skilled operators having their capabilities multiplied by systems that take care of the tedious labor. They see the ditch diggers being replaced by robots which the foreman can command. But the human brain is fantastic at estimating the size of a rock half buried in the ground, and terrible at keeping track of hundreds of workers' schedules.

It's difficult to admit that what tends to make you a smart and valuable human is your ability to behave more like a computer. It's even more difficult to admit that the parts of your job you consider the most fulfilling and impressive can often be rendered unnecessary with minor process changes or ought to be done by someone else whose skills are more appropriate for those tasks.
In the US, the rates of sexual violence and violence in general has been decreasing year over year despite the estimated reporting percentage of rape increasing.

If anything, the accessibility of pornography is reducing violence.
That’s, like, your fault, then? Because the data does show 100% effectiveness. And I do trust the data, because (a) explicit, deliberate lying just doesn’t make any sense, for any of the people involved here. And, (b), all the vaccines have been 100% effective. Not a single fully vaccinated person across all the trials has been hospitalized or died from COVID.
A `firm order` is a business term to mean an order which is non-cancelable. It would be correct to say Pfizer was only tangentially connected to Warp Speed as Warp Speed money was used to place the firm order of $2 billion doses with Pfizer.

Pfizer knew for a fact, even if COVID was miraculously cured, or it turned out there was a super cheap treatment, or anything that made their vaccine worthless, they could still sell $2 billion units to the US.