skysight-inc/HackerNews huggingface dataset:
> What has in fact happened in recent decades? Has category theory turned out to be mainly a “simplifying abstraction” [...]?

In short: yes, with some exceptions. The majority of mathematicians are working on problems where category theory is of no importance.

A quick list of some of the major exceptions I'm aware of: the general cluster of ideas surrounding the Fukaya category, derived categories, and homological mirror symmetry [0]; geometric Langlands [1]; and the bulk of modern algebraic topology (I have in mind homotopy theory especially). It's also incredibly useful, practically speaking, for modern algebraic geometry and number theory, although my impression is that you have to get pretty deep in the weeds before it becomes more than a linguistic convenience. For a taste of the latter, see the discussion at the beginning of the category section of this algebraic geometry text (which is in principle accessible to someone who has taken an undergraduate course in abstract algebra – though I feel in reality a significant amount of mathematical maturity is required): Section 1.1 of http://math.stanford.edu/~vakil/216blog/.

Also, it has become somewhat of a meme here to talk about Homotopy Type Theory. I think this is overhyped; the experts in foundations don't seem to think highly of it. Many arguments for its utility or theoretical importance are, in my opinion, misguided – for example, the claim that set theory proves "junk theorems" such as "pi" being an element of "4."

[0]: https://en.wikipedia.org/wiki/Homological_mirror_symmetry
[1]: https://en.wikipedia.org/wiki/Geometric_Langlands_correspond...
This had nothing to do with the Mastodon code, Gab has made a big deal about all the "improvements" they've made.
unable to get this running on macOS... anyone else having issues?
> well done web page

That is an oxymoron.
another con is: It's very hard to figure out how high your personal tax rate is if you don't track all your spending. I guess it's less of a problem for you guys over the pond, but at least in countries like Japan and Germany where at least 60-80% of all payments are done with cash it's near impossible to know unless you track your spending by hand.

I agree with you that VAT would be cool to have as the sole tax, though.
What is the Internet Archive doing with our books? (2020)
I think you're maybe overstating the degree of homogeneity in Java/C#/Python. E.g., CPython3 cannot run Python2 code at all, and there are a lot of platform-specific modules and behaviors in the stdlib ("import os"). I don't think Python has any real single standard to the level of detail that C does, although I may be mistaken.

For C, on approximately the same platforms, to approximately the same degree: either GCC or Clang would be the corresponding standard-compliant implementation.
>Is it that expensive to separate your business logic from UI and write the small UI layer in whatever the platform's "best practice" native language is?

Yes.

>Is it that hard to find developers who know more than one programming language?

Who said everybody has a team or this luxury?
I really hate how Sam didn't respond on the first objection about double standards when other founders openly sexually harassed women on the streets and got nothing for that.

Like...what, commentator just made it all up and nobody noticed? Or it actually happened and Sam doesn't have even the minimal plausible excuse?
Yet another regressive move from a repressive party trying to have the cake and eat it too, with free market policies where it makes sense and a China style control with a single party where convenient.

These laws are likely to be enforced against Big Tech but the real losers are going to be users.
Note that Fosco was not Gab’s CTO until recently, which makes his appearance in that thread a funny coincidence.
Good callout. However, it might not be all that bad. CAD file formats are known to last for decades to maintain backwards compatibility, since the packages are expensive and upgrade paths of large companies slow.

CAD files (at least planar modeling as opposed to parametric or solid modelling) tend to have pretty straight forward data structures for geometry. Find the point or vertex struct and you're halfway there. The complexity is association and metadata which were nowhere near as bloated then as they are now.

As someone who works regularly for large asset owners, asset life-cycle information (digital and analogue) and the proper management of that information is often ignored because organizations pass that risk to the people working with the asset maintaining their own working knowledge to get their job done. We've had international Building Information Modeling standards since the turn of the century but there's often no business case or standard enterprise process to make leverage technology for asset management.

AI and ML are starting to appear more and more in the operations space, however many pilot projects have to start with digitizing the asset in the first place, which becomes a cost impediment for many getting off the ground.

It really frustrates me as there are great things that can already be done today but the initial step financially usually scares off anyone who has to know 5 years in advance what their operating budget is.
Again, assuming you're a professional that's just part of the job. So you will get paid for it, just include it in the estimates/your quotes. It's not optional. And really, it's not that hard to do..
> 46 residents of the Nuestra Señora del Rosario home in Spain died after receiving the shot.

Ouch. I would suspect some procedural error there, but who knows?

Back to Norway. I searched a bit more for articles about the 23. No evidence they were concentrated like that. All of them were over 80, most over 90, all of them were extremely frail to begin with. In those circumstances, it is to be expected that many would die under any circumstance, and for sure, the side effects of the vaccine may have pushed some over the edge. As of 23 February, the number has risen to 102. Health authorities keep a close eye on these numbers, of course, but still see no reason for alarm.

> I think it is safe to say anyone who claims no one has died after receiving the shot is not being honest.

Not honest, or not thinking it through. In the discussion elsewhere in this thread, there seems to be some confusion due to the fact that someone is talking only about those enrolled in the trials, while others are talking about all vaccinated people.
Neither does "master" in reference to content versioning or electronics. Not that that stopped anyone from getting huffy about it.
This must've been the perfect one to see live. You got to see it launch, fly, land, AND explode. Nice!
I don‘t get the heat of this topic. Yes they wrote some very slow code because it‘s easy to shoot in your foot with scanf. It‘s nothing new that most software could be heavily optimized by just benchmarking slow parts. There is no reason for this shit storm than to feel better than other developers.

The real problem is that they shipped a game with a loading screen which is taking minutes and not looking whether they could optimize it. THAT is the real shit show!
Professor called racist for arguing race isn’t the sole explanation for poverty
>Guess I never realized this was a controversial approach to take!

No, just non-represenative of most apps, who are closer to CRUD than "GPS Navigator".
QS World University Rankings 2021
It wasn't intended as an example of short selling because my point was that the GME saga isn't about short selling per se, but about sticking one in the eye of organisations that tank businesses just to make a profit.
The 737 Max flew millions of hours in North America and Europe before going down in Africa and Indonesia. I flew on it more than once.

The Max is no DC-10. It's a safe aircraft, provided the crews are properly trained.
God made the integers; factoring them is the work of man.
Everything is a Remix Pt. 4 Intellectual Property [video]
Does anyone know of a place where the cloud offerings from Amazon, Google, and Microsoft are shown side by side?

For instance, what are AWS Lambdas called in Azure and Google Cloud?
Salts have virtually nothing to do with the security of password hashes. Unix password hashes have essentially always be salted; they're cracked with dictionary generators, not with rainbow tables.
It's not just knowledge. It's also problem solving. It is part applying learned knowledge and patterns, but also making connections on the spot without having previous domain experience about it.

Intelligence contains all those aspects.
In 1974, India boycotted the most consequential tennis tie in its history
Must have been changed via SQL injection
> Any better algorithm to use or recommendation on salting?

The only thing that works are better passwords. But in theory Argon2 should be a bit better than bcrypt.
It’s still a part of the so-called nuclear triad. Whether it’s actually critical for second-strike credibility (absent a 24/7 in-air alert, which I think no longer exists?) is up to debate, of course, but that would be the rationale.
It's not unrelated though.

It reminds me of savvy car companies in the 1980s who realized there was a huge untapped market for cars that appeal to women. So the best way to deal with that was to bring in female designers.

I'd imagine the effect is similar here.
r/teenagers alone is 2.4 mil subscribers. I can see that being their main demographic now, the redesigns and new features (and forcing the app format) are fair signs that their are banking that growing demographic.
It is very common for airlines to switch out the aircraft last-minute on any given route based on a thousand different factors and moving parts that are involved with running an airline. I don't think such a feature would be super useful, if it's personal safety you're concerned with.
If one were to posit that we are in fact living in a simulation of some sort, breaching god would probably look something like a method to gain host bare-metal memory access or code to escape from a virtual machine.
>The most realistic scenario is that he knows exactly what he's saying and is doing so simply to rile up fanatics,

I don't know, if there's one thing I've learned from Q-anon and other modern cultists is that they are who they tell you they are. There's no need for mental gymnastics on our part to explain awful behaviour away.
Probably a difference between actual debate where people disagree and outright trolling. Your comment is the latter.
Perhaps because the paper is not about the specifics of the incident (which is menial work to figure out, left as an exercize to the header) but the fact that it can happen and a general explanation of the circumstances?
IME "faster than C" without going into a lot of details what manual optimizations have gone into a specific piece of the C code doesn't mean much. Writing C code doesn't automatically give you high performance, but it gives you quite a bit of wiggle room to manually optimize the code.

In my mind, different languages have different "optimization sound barriers", where further manual optimization becomes impossible, or at least runs into diminishing returns. For instance Javascript can be made nearly as fast as "vanilla" natively compiled C code, but that means writing asm.js by hand, which is entirely different from "idiomatic Javascript". It's not worth it writing asm.js by hand, when C compiled to asm.js (or WASM nowadays) is much more maintainable.

Same with garbage-collected languages in general. You can write fast code with very little overhead from the garbage collector, but this means you need to know exactly how the garbage collector of that language works, and the resulting code will usually look very different and will be harder to maintain than the idiomatic style of that language.

In standard C the optimization sound barrier is a bit further away than in many other high-level languages but it's not all that special, on the other hand C with compiler- and CPU-architecture-specific extensions is pretty good (e.g. extensions can push the sound barrier quite a bit further away).
> But the fact that we're increasingly viewing corporations as responsible and sharing in the guilt of an employee's personal and political views worries me a great deal.

For me it's sort of the other way around entirely. I don't view corporations as "responsible" or "sharing in the guilt", in fact I don't really see corporations as moral entities at all, except insofar as that's sometimes useful to persuade their CEOs to do things (e.g. not destroy the planet with pollution).

I don't know anything about Brave's corporate structure (and don't care to), so take the following as hypothetical. In any business, there are a number of people at the top trying to get rich. And that business will also employ any number of people who are not going to profit (e.g. janitors). I'm sure any business the size of Google employs a few racist janitors, it's just the law of large numbers. I don't "blame" Google for employing these people, nor does it dissuade me from doing business with them.

But when the person at the top running the company and directly profiting from it has terrible views, maybe I have a moral obligation not to give them my money, if that's possible. And if the board of directors of a company chooses to retain a CEO with deplorable views, maybe I have an obligation not to give them my money, either. So I think you can argue that someone has an obligation not to do business with Brave without saying that you blame the corporation as such. This goes double when the people are the top are funneling those profits into campaigns to deny people their rights.

At a high enough level of abstraction, a corporation is just a profit-creation engine. At a high enough level of abstraction, cancer is just a reproduction-oriented microbe. I suppose it doesn't make sense to blame either of them for what it does. Even so, I don't think it's right to aid them.

> society's ability to function as a diverse collection of viewpoints.

I worry about this too, quite a lot actually. But I think one requirement for society to have the ability to function as a diverse collection of viewpoints is that we collectively not tolerate people who have views antithetical to society functioning in that way. It's one thing to believe that it's wrong for gay people to be married: it's another thing to push for the state to prevent them from marrying.
have you actually tried to use their support, it was a single guy, who wasn't helpful, when I asked for a different rep, he copped an attitude.

I still use bitwarden for personal use, but I didn't find the product (2 years ago) to be really enterprise ready. [biggest issue, when you share, you aren't sharing, you transfer your password to a group, this password is then no longer backed up, if you make a personal backup.]

The support issue was we had something go wrong with a group, and a dept. lost the passwords entered, but all the shares still pointed to it, so attempting to use it error'ed out.
Companies that want to keep their power have to control information. Every company does it differently, but they all do it.

Mozilla's highest-paid official, chairperson Mitchell Baker, now enjoys a pay package that tops $1 million https://www.forbes.com/sites/georgeanders/2015/11/30/mozilla...
It's sometimes hard to tell the difference between the grifters who are parroting the qanon lingo in some sort of short term attempt to make a buck or gain a following, and the true believers. In the end, if it causes the same effects by poisoning rational public discourse, does it matter whether somebody is cosplaying as a qanon believer or not?
Still an excellent question! There's this (no proper references) that seems to suggest ppl lose the ability to make meaningful judgements about frame rate (or ~differentiate differences) after around 150fps:

https://www.quora.com/What-is-the-highest-frame-rate-fps-tha....
Be a bit more generous in your interpretation of others' comments. Looking at the commenter's post history, it's pretty clear that they're talking about the Indian government.
I don't really think there's any correlation. For instance, Ryanair which is a solely European airline exclusively flies Boeings while Spirit and Jetblue, solely American airlines exclusively fly Airbuses.
How to get into Y Combinator: application tips from the founders of LayerCI
These law may be bad but tell me why social media giants should be allowed to have their own censorship over the law of sovereign countries?
But, isn't the key length a constant and we are back to O(1)? Ok, in theory you could exhaust all possible keys of a certain length and proceed with longer keys. It would give us what? O(ln(n))?
Welcome to the New India, where it is difficult to differentiate between trolls, fanatics and media and to some extent general public.
The salts are typically stored together with the data, as is the case here. So, if you want to see if the first password is 'password', you salt it with the first salt and hash it with bcrypt. If the result matches, you know with a huge degree of confidence[0] that indeed the first password was 'password'. You can easily do this for the entire dataset, and for a few more common passwords.

[0] of course, there is a chance that you just discovered a hash collision, but that is exceedingly unlikely. It also means that Gab would have accepted 'password' as the password for that user anyway, even if the string they typed in was 'warblerer' (which it would also accept).
Think twice before calling law makers stupid , that too the eminent layers of the country with 1.5 Billion people and worlds biggest democracy.

With what kind of preconceived opinion you think that "things that they don't fully understands."
This is racism at its peak.

And can you even understand the article attached which is in hindi? If you would have , you could have made a reasonable argument here rather than making such a stupid argument.

what right do you have to name people you don’t even know ?
You don't have any and yet you go on and abuse people with your racist mentality.
So to reiterate:

> Is it be possible to disable?

No. You suggest this is possible with an extension, but it clearly wouldn't be permitted in chrome store (as per well known ad-blockers). Why wouldn't it be a setting in the browser? Clearly anti-user practices.

> Will they be releasing the datasets for how these ML models are constructed?

No. You suggest that the code is in the browser (which i doubt - its certainly not at the moment!). Even if it were it is effectively useless without the training datasets. i.e. its a blackbox.

> Do sites in "incogito mode" contribute to analysis?

No (at least this one is a positive "No") :)
What happened to "this destroys RSA"?
Sounds like they just buy up potential competition early... So let's get started writing /something/ and get an easy pay off when they buy us out!
You know pretty much nothing about me, unsurprisingly. I certainly don't need your pity, lol, this last year has been one of the best.
When they released the M1 macs without a design change, my initial take was that it was a cowardly move: they didn't want to attach a big design change and risk calling a lot of attention to what might be a flop. But I actually think it was more of a boast: showing exactly how changing only the processor changes everything in a clear A/B test scenario.
The economics and efficiencies offered by the Max series of aircraft are very appealing and competitive.
Our hospital here in Trondheim, Norway did mass vaccinate about one-third of their employees in one day (Astra-Zeneca, I believe). In the next couple of days, the number on sick leave was nearly high enough to be a serious problem. They have now learned to stagger their vaccinations a bit more. Nothing dramatic in that, but the side effects are quite real for enough people.
>C - and especially idiomatic C actually withholds a __lot__ of information from the compiler. People like to think C is just a portable assembler, but by god it ain't.

Well it might not be, but the fact that it "withholds a lot of information from the compiler" is an argument in favor of it being (a portable assembler), not the opposite.
That isn't really a valid option though, if this kind of thing is in the official documentation, and you have to read it in order to use that particular feature. It would be there every time you have to refer back to the documentation or refer someone else to it.
Why would they want that if they can build native SDK and won't be tied to anyone else?
How to increase conversions on an e-commerce website
I would advise to spend the next 10 years getting as much varied experience as possible, through travel, work, friendships, relationships, self learning and so on. Try to form a broad idea of what you want from your life, and move on that direction. Take opportunities, push yourself, keep an open mind.
If I understood the parent comment, isn't it more about shared CPU/GPU memory? This is something different which M1 has in common with game consoles and smartphones but not traditional PC's, isn't it?
It's a bag that you can wear on one shoulder. The design is going to be similar because of human anatomy. And if this company spent "years of research and development" on this simple bag, I'm sorry to say you wasted your time and money. It is a bag. With some pockets and zippers. It's not rocket science.

That said I think it is pathetic that Amazon is resorting to such blatantly unethical practices against the very sellers who make the platform work. It's a stupid move on Amazon's part long-term.
With that definition, would you think unlimited spam is also ok? Most likely you got reported by the community and picked up by the same sort of algorithm that exists on every other platform.
US drops key obstacle to global digital tax: Treasury
What's the de facto web data interchange language these days? Used by every programming language out there, every language has a library to load it?
How so? I tried Plasma 5 on Slackware -current on my AMD Turion and KDE3 (from a Trinity slackbuild) was much faster.
> Blaming a data breach on "mentally ill tranny demon hackers" (his words, not mine) is not a sane or rational thought.

I still think it's overly sensitive to get caught up on it. People say a lot of things when they're in distress, or angry - so what. Grow some skin (I would say balls but someone might get offended :rolleyes: (oops I forgot I might offend people without skin)).
This (150>120) seems to suggest that many people would be able to see (maybe it'd be better to call it "feel" the difference at this point) the difference between 120 and 240fps. but they most likely couldn't tell 150 from 240fps.
Hacktivist GhostShell says computers on Indian infrastructur have security holes
Oh, wow, speaking out the truth is considered controversial nowadays. What a time to live.
See also Steven Galbraith's criticism: https://twitter.com/EllipticKiwi/status/1367322432571240450
He's at least 60% right though
something something framework of the week
maybe the creator of the site is just a really enthusiastic star trek fan

https://www.irishpost.com/news/star-trek-the-next-generation...