skysight-inc/HackerNews huggingface dataset:
What if, in a democracy, 51% of voters agree to take away the voting rights of the remaining 49%? Would this still be a “democracy”?

Related to this is the question of whether a democracy even makes sense without freedom of speech. How is the voter supposed to know who to vote for if the opposition party is not allowed to criticize the incumbents?
is there a text transcription of this talk for video-impaired readers? (I'm deeply triggered by the obvious falsehoods in the description paragraph, and I have morbid curiosity about the rest of the thing.)
> Good people upholding their morals instead of dropping them at the door when they go to work

Who gets to define the "Good people"? We've seen time and again that the social media platforms are far from altruistic and in fact enable movements like Trump '16 and Brexit. I agree with your general point though, we should hold companies accountable to the same rigor that we have for govts and individuals.
> UML was the swan song of the classic waterfall SDLC gang.

The Unified Modeling Language (UML) was the graphical language for Object-Oriented Analysis and Design (OOAD).

Classic waterfall was more of a top down, divide and conquer approach to software design and development.
> From what I've seen, Rust comments are the most condescending.

You must have missed the “Java's GC is so bad, just use Go”, “Go's error handling is shit, use exceptions!” or “Rust is so complex it is unusable is the real world”, etc.
just as a heads up, as someone who's worked as an F# dev for the last three years: it's HM, but compared to the other languages mentioned (Haskell, OCaml, SML), it still tends to feel C#-y when doing fairly complex things. Also some things don't quite feel right: indentation is sometimes finnicky, type inference only really works left-to-right (might only be a problem for me, I do a lot of Haskell in my free time so right to left feels more natural), still has all the baggage from other .NET languages, which helps interop, but also means that when you try to bend the type system a bit you end up with method overloading. Even for simple things like optional or named parameters (which can only be done on uncurried instance and static methods, but not on functions). Type providers feel great until you have enough that they break your editor and they slow compilation down massively. editor tooling also feels pretty immature (it didn't work well at all on my machine, but YMMV).
I think if you want to use an HM language, go with OCaml/Haskell, don't bother with F#, unless you specifically need the ecosystem. OCaml/Haskell's ecosystems are smaller compared to .NET, but you can still get by a lot of the time, and IMHO you get a more polished language + an ecosystem that was designed for it, as opposed to getting a language that at points feels dodgy + a big ecosystem that (for the most part) wasn't at all designed for the language you're using.

TL;DR: F# is only worth it if you need to take advantage of the .NET ecosystem, otherwise just go with SML/Haskell/OCaml
Many of the comments here are focusing on Rust as the obvious alternative, but it's great that the article twice also mentions Swift and Rust together as the obvious choices. If Swift ever gets more adoption outside Apple's platforms, it will be a game-changer. It's a very elegant language with much stronger typing than C++. It feels like writing in a scripting language but retains the type and memory safety.
depends where you come from. If you come from Python, Java, you'll find that there's a lack of support for networking, etc. and that it is not vast at all. After all we lack a W3CEndpointReferenceBuilder (https://docs.oracle.com/javase/10/docs/api/javax/xml/ws/wsad...).... not sure how it's possible to be productive without that.

If you come from C you'll think that there are allocations everywhere and judge it unfit for purpose (even if in my experience, C libraries and software tend to allocate much more than C++, and use worse datastructures like linked lists, etc. just because it's easier to code in C).

Finally the C++ committee and standard library implementers refuses to break ABI / API, which means that :
* the C++ standard is not able to follow the state-of-the-art for e.g. hash maps, as the fastest hash maps (if you only care about speed of insertion / retrieval, which is let's be honest 99.5% of the use cases out there) because unordered_map has strict requirements that these newer hash maps do not satisfy.
* things like regex stay broken
Thank you. That video was pain to watch, I hate this low-information-density bs.
> It's not like you need to update orbits nearly as often as part physics. The max time warp is 100000x, and at that speed if you updated orbits every 10 game seconds that would only be 400 calculations per tick, per craft. So without that simplification you might need a smaller cap on satellite swarms, or a max speed of 10000x, but time warp would still be well inside the realm of "possible".

KSP's most well-known n-body physics mod does precisely this. 1 integration step is performed every frame by default, but during warp an integration step is performed every 10 in-game seconds for vessels and every 35 minutes for bodies [0].

> You could probably get processor use really low by using an exact curve for the most influential object and a very slowly updated offset for other influences.

The Keplerian curve no longer applies once you introduce additional influences, though, so it doesn't really matter how (in)frequently updates are applied for those other influences.

The approximation wouldn't be very good farther away from a body as well, as the difference in effect between the "most influential" and less-influential bodies would be smaller.

[0]: https://github.com/mockingbirdnest/Principia/issues/2247#iss...
Uh, hello? By law India is a democracy, where it has always been OK to criticize the government - at least up until 2014, when the current government began abusing the British Era sedition laws. I think every Indian on this site is old enough to remember who the protests against the Delhi Rape Crisis and the government response were effectively coordinated on Twitter and Facebook.

Twitter wouldn't have been breaking any laws if precedent weren't being set by this government.
In my alma mater for most courses we had to actually discuss what we wrote(and maybe some other topics) with the lector as part of the exam. Some were open book, some were closed. Regardless of that however when you get to talk to the professor it's very hard to fake knowledge and especially logical thinking. It sure takes more time(we usually had one on one for about 20-30 minutes per student), but you can size a person way better than just reviewing what he wrote/selected. And there is no obstacle(other than time constraints, which can be worked around) to continue doing this even during the pandemic. I think we are overestimating technology such as AI and its applications. Some things are just plain better when done by a person. I had a very positive experience with one professor who chose to round up my grade instead of down, because my errors were technical(carelessness mostly) not logical, so he then asked me questions from subsequent chapters to see my reasoning. I really didn't care that much about the grade, but that discussion and the overall experience of failures that could lead to positive change through introspective analysis is something that you can't get from an AI or any pipeline processing.
based on the Nix documentation the macOS situation does not look as positive as described by this comment:

- if you have an M1 mac, it does not work (https://github.com/NixOS/nixpkgs/issues/95903)

- if you have an intel mac, when you install it, you have to add the "--darwin-use-unencrypted-nix-store-volume" switch to the installer, otherwise it does not work (https://nixos.org/manual/nix/stable/#sect-macos-installation). i do not want unencrypted things on may computer. (and yes, there is a long section of the documentation about other approaches with other tradeoffs, and if you have a T2 chip then maybe it is ok (but why isn't the installer detecting this automatically?)... the point is, with homebrew there is no such problem)
>People messing with the sterilization or the self-checks for sterilization could easily result in bacterial food borne illness which can be deadly.

Yes, it's deadly, this is exactly the reason why we should make sure that McDonalds staff can properly operate their icecream machines by making the machine as easy to use as possible. If you have untrained staff that keep running the machine out of specs because the machine is cryptic and user hostile to them then operator errors could slip past the machine self checks because machines aren't perfectly reliable.

By instructing McDonalds franchises how to properly operate their machines and by updating the UI of the machines to properly warn of dangerous operating conditions the franchises can achieve greater safety for McDonalds customers.

As it is right now, McDonalds is actively endangering its customers with these machines.
> This amounts to saying that we should accept codebases continuing to contain exploitable vulnerabilities indefinitely.

Right, why shouldn't we?

I have a CLI application for storing TODOs. It never accesses the network, I don't really care if it crashes, it does not have an expiry daye.

I have a constant amount of time to work on it. To me it is more value to put that time into new features that save me a couple of seconds here and there as a daily user, than to put all the time allocated for months or a year of working on the app to re-write it in a different language to remove the occasional monthly crash I don't care about.

For me, the decision is a no brainer: my time is better spent in the stuff that adds more value, and "avoiding exploitable vulnerabilities" is not it.

I suppose that this is the situation for many apps.

You are claiming that this is wrong. Prove your claim.
> It seems insane that McDs franchisors would tolerate this

Their hands are bound. The situation arises from the contract whose terms are dictated by McD HQ. The relationship is entirely asymmetric.

The only working remedy in form of the Kytch add-on got nuked from orbit.
Develop with Linux GUI Apps on Windows 10 with WSLg
Probably - yes.
Signal Is Wrecking Your Images and Videos
Sylvia Nasar's take on John Forbes Nash, Jr.'s type:

"He was a mathematician who viewed mathematics not as a grand scheme, but as a collection of challenging problems. In the taxonomy of mathematicians, there are problem solvers and theoreticians, and, by temperament, Nash belonged to the first group. He was not a game theorist, analyst, algebraist, geometer, topologist, or mathematical physicist. But he zeroed in on areas in these fields where essentially nobody had achieved anything. The thing was to find an interesting question that he could say something about."
> The market sets the price of your labor, and you have to engage with the market as best you can. That is just the reality of working in a market.

You've conveniently not addressed the concept of forcing companies to transparently compete by requiring a salary range. Is there a downside to requiring companies to be transparent in their salary offers? It makes companies directly compete with each other, as companies offering low salaries will receive less-qualified applicants. This also allows employees to avoid the sunk-cost fallacy, as applicants won't be required to complete the application and interview process before discovering the salary of the job.

Bottom line, most markets start with the seller providing a price. Auctions begin with a set starting price and bidders are able to tell when the reserve price has been met, car negotiations generally start from a sticker price, and most retail stores I've been to have listed prices. This doesn't stop competition; in fact, grocery store profit margins seem to hover around the 2-4% range according to Google. This is backed up by the FY 2019 results for Ahold Delhaize, which indicate that the operating margin is around 4% [1].

> Women and bipoc have the same leverage in negotiations that white men have.

The Howard and Heidi case study indicates that aggressive behavior impacts a woman's likeability more than a man's. A meta-analysis of psychological studies [1] indicate that dominant behavior can absolutely affect hireability. Does this affect salary? I can't imagine it has a positive effect. In addition, another link present in the article [3] indicates that women and minorities expect to make anywhere from 7-11% less than white men. This is relatively strong evidence that minorities and women ARE being disadvantaged in an environment where the average pay isn't specified.

> people are simply not doing basic things like applying to multiple companies or negotiating at all, or staying at the same company for years without a raise.

I think a lot of where we disagree is that you believe that shopping yourself around and asking for a raise is the proper way to obtain your full worth in a market, whereas I believe (and the author believes) that providing an average salary or salary range gives transparency to the process.

[1] https://www.aholddelhaize.com/en/media/latest/media-releases...

[2] https://psycnet.apa.org/record/2015-56707-001

[3] https://hired.com/h/wage-inequality-report/#impact-expectati...
That's one way to see it, you can also see Nature as synergistic very often.
This Wired article is highly relevant, and discusses some of the reasons these machines are often broken, and McDonald's fight to stop a startup from helping diagnose/mitigate these problems.

https://www.wired.com/story/they-hacked-mcdonalds-ice-cream-...
I see UML as the worst of both worlds in a slightly different opposition: ad-hoc diagrams, which aren't necessarily informal (they can be formal enough with limited, improvised concepts) versus standard diagrams, which offer no guarantee of being formal rather than vague.

The vocabulary of UML offers a useful common ground (for example, distinguishing metamodels and class diagrams from object diagrams), but fancy UML features beyond the most basic diagrams would be not only time-consuming but off topic on a whiteboard, and too cumbersome and fundamentally informal for their intended uses of detailed design and model-driven code generation, with standardization providing strictly negative value.
Nonsense, No/lo-code is the polar opposite of UML, No-code is the ultimate Agile, it’s exciting and fun to build with, because it’s alive, because it executes immediately, resulting in a powerful iterative feedback loop. UML is static and tedious to build, because any gratification is delayed so far into the future.
I know because I’ve done both, in fact I’ve invested all of my wealth (many millions) into developing a No-code ERP/CRM platform and it’s incredible - will launch this year.
> Shermin Voshmgir writes that blockchain “introduces a governance layer that runs on top of the current internet, that allows for two people who do not know or trust each other to reach and settle agreements over the web.”

It allows them to transfer crypto coins between them, but you still have the problem of actually delivering something phisically if it's a physical purchase, and blockchain will not help with that at all... if you settle the transfer when the purchase if agreed upon, the buyer takes a big risk as nothing forces the seller to actually ship. If the settlement is delayed until the buyer confirms delivery, then the buyer takes all the risk as the buyer may choose to not confirm the transaction. Is there anything in blockchain that allows you to solve this problem?
I eat no added sugar whatsoever. Only what's in the bark of a tree.
Honestly, I feel like math is one thing I don't have to practice or drill as it's possible to deduce most things without actually having to drill/learn the concepts - at least on the basic level and if given enough time. This is why I loved math as a kid, because I was too lazy to study and it was one subject I could do well at by nature. So I think the article downplays the genetic influence of it. But of course it's better to think that you can have more effect on your intelligence rather than not psychologically, because otherwise you may end up doing nothing to improve yourself. But I still feel that genetics has very high influence on innate math, abstract logic capabilities. Some people are just addicted to solving abstract problems while others can't force themselves to think about these at all. For instance, if there's an abstract problem I could spend hours and hours without noticing time passing by, and I don't think I ever had any specific raising or environmental influences to be this addicted. There's other issues that I have absolutely zero patience to do, it's as if I have ADHD in some fields and I'm only deeply interested in certain fields. And to me it makes evolutionary sense. It's better in a community to have people specialised to different niches, so people's brains are wired differently to support different niches and specialisations. You can't have everyone thinking about abstract problems all the time - because there would be no one to do the real worldly things any more and abstract thinkers would simply die of hunger or eaten by predators.
There's a fact based companion to the Discworld series, 3 volumes on science and one on folklore.

The folklore one makes a good case that many of these legends are initially attempts to stop children getting killed in dangerous situations.

"Don't go near this water hole, the water is surprising cold and there's weeds that can trap you like the Winslow boy 20 years ago" vs "The evil Jenny Greenteeth waits in the weeds to grab small children to their doom"

https://en.m.wikipedia.org/wiki/Jenny_Greenteeth
> The whole point of an optional type is to prevent accidental unchecked access to the value

no ? it is to model the idea of "a value is there or is not there". definitely nothing more. If replacing a T* t by a optional<T>& incurs a meaningful performance cost (like a branch) then optional just won't be used
I wasn’t directly alluding to that, more so something like access to a market is more important and maintaining a relationship with the governing gatekeepers of that market is the priority, until the governing body says they cant do an increasing level of business in that government’s markets, thats when the corporation will consider to exit the market entirely

If you want that to be “shareholder value” then sure, but I’m saying corporations don't have strong opinions on anything except antitrust and employees telling them what to do. It is much more predictable along these lines instead of imagining any other abstract expectation of corporations and being surprised over and over again for your whole life.
What disappoints me upon seeing your comment is that someone chose to write nearly 400 words to complain about how irritating the parent's one-question was without answering the said question in the slightest.
The users give them some leeway because they make cool products.
Future of Coding Weekly 2021/04 Week 4
To me, the distinction maps onto the Effectual vs Causal distinction. For some path "A to B", some people prefer to consider their present tools/resources (point A) and work forward opportunistically. While others prefer to consider the end-goal (point B) and work backwards recursively. If the analogy is unclear: a theory is a tool; a specific problem is an end-goal.
I know .NET doesn't have the sexiest reputation on HN, but I put forth it's the moste pleasant ecosystem to base a career on.

The main language (C#) is mature yet growing, the toolchain well defined and stable, the community mostly dramafree, backward compatiblity excellent and like the post illustrates, Microsoft gives a lot of thought on upgrade paths.
Go figure. Personally I'm able to reproduce the issue: with JavaScript on, no problem. Disable it, I'm not redirected yet, but I see the appropriate measure quote. Re-enable it, and I'm redirected to the appropriate measure article.

I still argue that JavaScript is no an appropriate technology to display static text (at least not if we care about screen readers).
People using VPNs can already access the censored tweets. They're only censored in India. I understand the sacrificing your principles argument, but imo the only principle that matters is do what you can to make the world a better place. I don't see how shutting down twitter in india accomplishes that. In fact I'd say shutting down is unprincipled because it deprives literally a billion people of something they might enjoy.
Yes the Vapor discord is very active and people are very helpful.
From what I recall it was exactly the same 10 years ago.

This is a repeating pattern, let's reinvent X but call it something else to bask in the rays of disruption and mislead regulators/consumers long enough to succeed.
(Throwaway account, because this is personal).

This is an especially insidious problem in the field of domestic abuse. I was once in an abusive relationship with a woman who later turned out to have a Borderline Personality Disorder. She managed to convince herself, all her friends and family, and eventually me for a while, that I was actually abusing her and she was an innocent victim. Much skilful manipulation and gaslighting covered up the fact that she was the one gaining all the benefits from this abusive relationship while I was suffering tremendous psychological distress. Amongst other things, there are many books and "behavioural models" that are written in such a way that no matter what a husband says or does, it is always proof that he is an abuser. If your partner starts reading books by Lundy Bancroft, it is time to seek the exit because nothing will convince her that you have not committed the crimes that she has invented in her head.
And I make money replacing C++ systems with ones written in AOT/JIT managed languages, with different kinds of automatic memory management.

The last time I did full stack C++ development was in 2006, nowadays its use is constrained to a couple of unavoidable native libraries, or GPGPU shaders.

Not everything can be proved in practice when management prefers to give money to the ones that sabotage projects like Windows Dev team has done to Longhorn and Midori efforts.

Are you aware that for quite some time any of your Bing searches using Asian servers were powered by Midori?

Thankfully this is a problem that eventually will get fixed by generational evolution, pity I won't be around to fully witness it.
Ask HN: Did HN banned me? Can you see h this?
Hey I do not know what is happening but when I comment my friends can’t see my comments here is this standard HN procedure , if you see this please upvote if you are shy or comment but I don’t know what happened have I been shadowbanned
> upholding their morals

What ethics are you talking about?

The ones where they silenced "Far-Right" Sceptics of Corona-Measures in Europe? A rapper responding with "ok, dude" to a trans person? HK Virologist Li Meng-Yan? The government of Hungary?

Or where they permanently ban conservative cartoonists, the MyPillow guy, Project Veritas – but not the Ayatollah?

AFAIC there's nothing special here to see. Standard Twitter Behaviour.

Also OP's critique is misguided, as there is no specific Indian law Twitter would have broken (according to the article) if it hadn't complied with the government's request. Likewise, there was no law forcing twitter to permanently ban the accounts I've mentioned.

Twitter is just a typical SV org, laden with upper-class virtue-signalers, who couldn't even notice their own bigotry if the stench of human-feces covered San Francisco actually made it into their comfy homes.
can't wait to see what they will be doing with multiplayer
This. And I suspect the United States are amongst the easier places to leave, along with the European Union.

In both cases, the populace are free to roam and settle within the borders, but moving outside the borders is a whole different matter (with a few exceptions, but there are always exceptions).