skysight-inc/HackerNews huggingface dataset:
Fundamental difference between static and dynamic: static typing disallows writing a certain set of perfectly valid programs while also having the advantage of disallowing many invalid programs. So the question becomes: how badly do you want to work in that space that is not permitted by static systems?

And that space is where your data itself is highly dynamic. When you just want to represent data as maps, do generic operations on maps, then spit out more maps back to something else. This description applies to many many real world systems, particular in the more business-type domains.

Another space where dynamic really shines is dealing with relational data in a relational way. Relations are just sets of maps, the most natural thing in the world to work with dynamically. In a dynamic language I can just write code that peaks into the map, transforms certain fields, then passes the whole thing on down the line. I don't care what combination of selects and joins got me that relation, and in reality there will be many, I want to reuse my functions regardless. Although this is where more structural type systems can help ease the pain over nominal type systems.

I feel like this is a great blog post talking about the downsides of static typing in a real world system: https://lispcast.com/user-wizard-scenario/. I appreciate that the author has real world experience with both Haskell and Clojure and comes from that perspective.

Ultimately I'd say that if a program can be written in a static language, it should be, however some programs deal with information that just defies fitting into your type system without herculean efforts. Just like static languages will look down on dynamic languages for reimplementing poor ad-hoc type checking, dynamic languages can also look down on static languages for poorly reimpelmenting dynamic behavior with a bunch of functions mapping Any to Any.
if (
typeof stripe === "object" &&
typeof stripe.handleCardPayment === "function"
) {
stripe.handleCardPayment(/\* ... \*/);
} else {
logger.capture(
"[Payment] Card charge — Unable to fulfill card payment
because stripe.handleCardPayment was unavailable"
);
}"

This is silly. With modern JS tooling you should never be worried if a function exists; that should be caught at compile time.
The people who wrote this report are activists sympathizing with the BLM movement, just look at the names and their social media presence. It's basically propaganda, twisting and omitting inconvenient facts.
Right to repair matters – according to a farmer and a medical worker
Most technical people don't get paid to solve problems, they get paid to work on problems. That paycheck is an hourly/weekly/monthly paycheck.
That’s why I like Hacker News front end
Give my regards to your General Hannity Ill see you slobs on the battlefield.
Part of this seems to be that people are afraid of removing parts of a system. It's easier to add stuff because you "know" you aren't removing some important bit, so it's "safer", even though the new stuff is likely to interact with the old stuff in unexpected ways and break things anyway.
All you need is to fake the right signals. The sensor itself has no concept of what a face should be - get enough inputs and the GAN will eventually figure out what it needs to get the right output.
I understand where the phrase is from. I am saying the rule is not as absolute as you think it is. Linus himself breaks userspace on occasion where it is warranted.
Deep down in the reddit comments there is a statement from the university, which mentioned "The former supervisor's desire to clearly distance herself is understandable when an accusation of racism is in the air." Some other comments also mentioned a "racist cartoon".

It is also mentioned in the report: https://www.nzz.ch/english/swiss-phd-students-dismissal-spot...

> The writer accuses Gerber of a «racist attack on the Chinese people.» He was referring to a specific tweet: a cartoon that Gerber had posted in response to another user's tweet. It depicted a comic character that had been altered and had stereotyped Chinese features, with yellow skin tone and slit eyes. This drawing circulated on social media in the spring of 2020, and was deemed racist by some users. Gerber said he only shared the cartoon because of its political message. The underlying topic had been China's stance toward Taiwan and Hong Kong. «In retrospect, I realize I didn't question the rendering of the Chinese person enough,» he said.

So it is about "yellow skin tone and slit eyes".

This is crazy. I don't understand how is this OK. One Twitter of cartoon , you are expelled? No chance of explanation or apologize?

Even the CCP wouldn't do this. I am pretty sure a Chinese student wouldn't be expelled from the university from one single anti-CCP social media post.
As a reductio ad absurdum, suppose that you and I and a few friends sit down in a circle and sell the same hot dog to each other over and over again. What value have we created? Assuming that the price of the hot dog remains the same each time, and we’re spending the same money over and over, according to your formula we have created an infinite supply of hot dogs. Q can go as high as we want it.

That’s quite a hot dog! Maybe that’s how Jesus fed all those people with just a couple loaves and fishes? The hot dog of infinite bounty. :)

I rather suspect however that Q in that formula is only quantity of goods sold, not quantity of goods produced or consumed. I’m more interested in the actual amount of value produced- the amount of work done.
Seems reasonable that using a tool that massively gathers and exfiltrates data from a website gets you banned.
By western values the country killing millions purely for financial reasons is not evil, but the peaceful one is? :-D

As for religion - anyone who knows even a bit of western history knows how much effort it took to take the oppressive religion back under control.
From a financial perspective, no one cares if the blue collar laborer has a sense of accomplishment at the end of the day. We've automated away plenty of jobs out there with little concern about the devices having to be babysat or how the observers feel.
I've run sites that have a lot of pages where 80%+ of the traffic is web crawlers.

Google sends some traffic so I can afford to let them scrape. Bing crawls almost as much as Google but sends 5% as much traffic. Baidu crawls more than Google and never sends a single visitor.

I hate reinforcing the Google monopoly, but a crawler that doesn't send any traffic is expensive to serve.
FaceID uses a 3d surface to identify your face. These GANs are making 2d images. Until you can make a dynamic controllable 3d surface and generate the faces in 3d you have no hope of defeating FaceID.
SingleFileZ is supposed to be used to archive webpages.
The scientist couple driving an mRNA vaccine revolution
No, this is incorrect. The email in question was not leaked by us, but by a source inside Belarus.
Surely the Soviets deserve some credit for never designing and continuing to fly something as hysterically unreliable and dangerous as the Shuttle?

Although you do have to wonder how the Buran would have fared if it has survived the Soviet collapse.
Privacy , like security , has its own “threat models” and compromises depending on who you’re trying to get privacy from. So this is absolutely a privacy feature and it astonishes me that amount of people who don’t get this and try a No True Scotsman.
The experts cited in the article are some of the most well-known researchers in the field of aerodynamics. John D. Anderson is the author of 7 reference textbooks, all of which are commonly used in the field. His research took him from the US Airforce Aerospace Research Laboratory to the becoming the Chief of the Hypersonics Group at the US Naval Naval Ordnance Laboratory. He was Chairman of the Department of Aerospace Engineering at the University of Maryland. He is a member of the National Academy of Engineering for aerospace engineering. His name is attached to enumerable scientific journals that I encourage you to search through if you think that an average Hacker News user knows more about aeronautics than him.
Where is NT, 2000, 8.1 in that list?
Ostracism was democratic process, there was a vote and majority decided. "Cancellation" is nothing like that.
The intended (and, in fact, widely understood within mathematical community) meaning of that statement is whether the roots of polynomials can be expressed using radicals, ie. as algebraic expressions involving four standard arithmetic operations and taking roots.

I’d rather quibble with the part where they say that this is “immediately” seen from Galois group, as showing solvability of a group is not trivial matter at all.
Now, when you say something, you have to stand by it.

Honestly why? I've said a lot of things in my youth that I don't stand by any more. Surely there must be room for people to grow and mature.
PSA: If you're going to try sending odd file formats to your printer. Just leave one sheet of paper in the tray whilst experimenting.
Again, how does any of that tell you whether a high-priority issue exists in the old version of the code that you're running, as opposed to in the latest release?
Apple cares about locking their users into their platform more than they care about their users.

Users own their Apple devices, Apple does NOT own it's users.
I still have my .Mac email address.
University researchers get Facebook users to install a plugin that exfiltrates their data and their friends' data from the platform.

Besides leveraging a browser plugin for scraping rather than FB's official APIs, how is this different from Cambridge Analytica? And didn't most people want Facebook to fight back harder against that behavior?
Right, which is why I said the title is misleading.
Simone Biles: Reflection of a Mental Health Crisis
Why do you not use your real name to post this?
>> but if I were forced to do social login

I wonder what it would take to "force" me into doing a social login? It would have to be something drastic, like a website that provides me with needed oxygen.
I think about types (almost?) every time I write a function.
What type of data does the function expect, and what type of data am I supposed to transform this data to?

For instance, if I calculate the time that has elapsed between two points in time:
- what does my input look like (e.g. two objects that look like XY)
- in what form should I return the difference? Time in seconds (i.e. number), again an object that looks like XY ? ...

I can't imagine saying I would care about types rarely.

Another nice benefit of st langs is that you have to read manuals less often.
IDEs so a way better job showing you the type of every variable (and result of an operation) as well as the options you have at your hand for a given type (including their documentation and example code).
Yes I know dt languages and their tools try to catch up.

> or expect my compiler to do it for me). If the documentation is incorrect then I treat that as a bug, just as if it was a logic bug.

Well, I don't expect that with Dr languages as well, but I am glad that the compiler does this (or in DT languages at least the IDE due to type hints).
I mean, it saves a lot of time (money) later on ... even if you notice it right away the first time you use the code
As great and useful as datetime is, I still have to google the syntax every time I want to use it. Maybe that's because there are so many different time formats and standards, but I wish it were a bit more intuitive.
-10 to TameAntelope's social credit score

They are now below the cutoff point and no longer have access to public transport or certain dining establishments.

https://en.wikipedia.org/wiki/Nosedive_(Black_Mirror)

https://www.businessinsider.com/china-social-credit-system-p...
nah, I'm cool with both, so long as no one is forcing me to add them to my app. Which Apple is doing, so go figure
The one really first rate recent SF novel I can recall is: "This is how you lose the time war" [0] by Amal El-Mohtar and Max Gladstone. It's far from being Hard SF if you like that (I do) but the humour and poetry of it won me over very fast. I bought it purely on the basis of the delicious title!

The "Lady Astronaut" series [1] by Mary Robinette Kowal is not first rate, but it is reliably entertaining and a fairly Hard SF alternate history with some interesting choices.

I'm going to take a liberty and also recommend a much older SF book that I rarely see mentioned; "Fiasco" by Stanisław Lem. This one's all about the characterization and the big picture of humanity's fatal flaws. Not hard SF as such, but he tells a good tall tale when he needs to mess with space and time.

[0] https://en.wikipedia.org/wiki/This_Is_How_You_Lose_the_Time_...

[1] https://www.goodreads.com/series/193730-lady-astronaut-unive...

[1] https://en.wikipedia.org/wiki/Fiasco_(novel)
Because the claim "you're not thinking about types" is absurd. You can't pass a LoggedInUser to a thing expecting a URL. You can't pass a AccountIterator to a thing expecting a UUID. You can't pass a function closure to a thing expecting a string. And so on.

You have to be thinking about types, because the computer can't. Since your programs work (I assume), and computers can't be doing this for you, by process of elimination, you're the one thinking about types.

What is actually happening is either that you've so deeply internalized it you don't realize it any more than you think about individual muscle contractions while walking, or you don't recognize what "thinking about types" means. For instance, I imagine an obvious riposte to my first paragraph would be "But if the code expects a URL and I pass it an LoggedInUser, I can set it up so the LoggedInUser can yield or function as a URL", which is in fact precisely "thinking about types" because you just changed the type of your LoggedInUser.

(You want to see someone who is truly "not thinking about types", go help someone learn programming for the first time, who truly innocently tries to pass a User to something expecting a URL and is truly surprised when that doesn't work because they truly, deeply thought the program would just figure out how to turn that into some URL they had in their head for the user, but never explained to the code. That's "not thinking about types". It is nonfunctional.)

As others have said, dynamic code requires you to do more thinking about types, not less, for two reasons: One, the compiler isn't doing it for you, and two, you have a lot more things to juggle in a dynamic language than in most static ones precisely because they give you more power. You shouldn't be fighting this idea, you should be embracing it; it is precisely the fact that they make you think more about types and leave more of the decisions to you that gives you the additional power in dynamic types you are enjoying.

But that additional power irreducibly comes with more responsibility. You can't claim you've obtained the power yet somehow dodged the responsibility of managing it. You are holding a lot more state in your head that has no existence in your source code than you would be in an equivalent static program. You can't claim you've got that state in your head but you're somehow not "thinking" about it.

You're thinking about types all the time. Your complaint is more than you like a programming style that involves very complicated type ideas that are difficult to express in a static language. (Or, possibly, that you haven't taken the time to learn to express in a static language. There are some static languages that work better with this style than others.) Or that you don't want the constraint of having to express them. So you stick to an environment that loads the work on to you instead in return for the power of those more complicated things you never have to lay out for the compiler. But the work is getting done somewhere. It has to be, or your program wouldn't work.
Considering the fifth tweet in the thread is Laura directing folks where to install AdObserver, no I don't think that is implied at all.
It doesn't work like that. Users can't ask about options they don't know about.

And even if they do, too many developers couldn't give two shits. Great example is how users overwhelmingly opt-out of tracking when the OS warns them about it (because "developers thinking about users" never even considered not tracking)
I have an anecdote which I entitled "The Man Without Pants". It takes around 20 minutes to deliver but the gist is that I spent a month working for a man who had a peculiar dress code - and that wasn't even the weirdest thing about that place.
Arguments are convincing
To add to that, validating response types[1] beyond the I/O boundaries is also rather silly.

[1] Second example here: https://www.smashingmagazine.com/2021/08/build-resilient-jav...
EASTL: An Alternative C++ Standard Library
Now there’s worry the chip shortage will turn into a chip glut
Assuming the new cars are available at price families that traditionally buy Xth hand cars in rates, can actually afford.
Viral ostracism is quite different from the local-scale shunning of the past. Having a torrent of people shunning you for someone disagreeing with you is unjust.
I come from a very similar background (practiced law for four years, now in my 10th year in software) and this is a very well expressed framing that tracks my own observations. Personally, when I realized that was not a "true believer" and would be competing with those happy few who were, it strengthened my resolve to move on.
Could you expand on that? I've searched a bit but the Lisp read doesn't sound too different from what other languages do.
It is more complicated than that. The German speaking court in Vienna tried to elevate the German language above the others, if only to simplify record keeping and everyday executive functions. This was pretty obvious in the 17th century already, with formerly important Czech language being pushed aside long before any modern national movements. Multiethnic empires generally need a single language for their internal functionality, as few people are able to master languages as different as German, Czech, Polish and Hungarian on an adequate level.

Austria-Hungary in 1914 was a peaceful, growing and sort-of prosperous nation. The nationalist squabbling was incessant, but did not prevent a fairly fast growth of living standards and businesses of the old empire were tighly interconnected all over the map.

The war proved too destructive to handle, though. Even the most prominent nations of the empire (Germans, Hungarians) lost interest in anything but feeding their hungry families at the end of it.
The big picture is the following:

There is a certain kind of groups called "solvable groups". There is a theorem stating that a polynomial equation can be solved by radicals if and only if its Galois group is a solvable group. And whether a given finite group (such as a Galois group) is solvable is an entirely finite combinatorial question which can be mechanically checked.

Even better: A witness for the solvability of the Galois group can be transformed -- again nontrivially but mechanically -- into explicit formulas for the solutions of the polynomial equation.

Wikipedia has some examples on solvable groups and their connection to Galois theory, though I hope that someone has written some blog post or similar explaining this beautiful connection with less prerequisites. https://en.wikipedia.org/wiki/Solvable_group
No, you won't. If somebody removes that line they had a reason. That reason will make them remove the test that makes it fail as well.

Whether it's a good or a bad decision is another matter and not something the test will help with.

Tests that exist to check for the presence of a single line of code are deadweight.
I've done the same, I'm a roboticist by training, but I've successfully self studied abstract algebra, topology, and complex analysis.

It certainly helped that I took proof based real analysis and linear algebra in school. Writing proofs is really hard to learn without a feedback loop of a professor. So if you don't have any experience with that, I'd start with an intro to proofs book first.

but the group theory material is generally easier than something like topology or functional analysis, which I am certain I was only able to do from finding like minded people in the mathematics sub reddit and did basically a mock semester class on discord.

specific to algebra, I really like the classic Pinter book, "A book of Abstract Algebra", which does a great job of mixing in exposition and history that was really beneficial for self study.
> there's no right of free speech

I mean there's no encoded, constitutional right that cannot be superceded by ordinary legislation. There is the ECHR right to free speech, which has qualifications, but there is constant muttering from the Tory party about repealing ECHR. Which can be done by ordinary legislation.

> In the example you're quoting, you're aware that the restrictions were on the political wing of what was basically a terrorist organisation ( IRA) with which the UK was in what was basically a (civil) war?

Yes, I literally said that in my comment.
Google isn’t worth the trouble.
I pay for my email, you remember paying for stuff you use, an antiquated idea, I know, but restores the balance in the equation.
> You could try to claim that there's no business there but look at how Microsoft got spanked for giving away a free browser.

Yeah, it's practically the same thing if you just ignore the basic facts of the case.
Looks like there's actually a "summary of the key recommendations from each section" on page 2.

> Works cited:

> [1] Center for Internet Security, "Kubernetes," 2021. [Online]. Available:
https://cisecurity.org/resources/?type=benchmark&search=kube... .

> [2] DISA, "Kubernetes STIG," 2021. [Online]. Available: https://dl.dod.cyber.mil.wp-
content/uploads/stigs/zip/U_Kubernetes_V1R1_STIG.zip. [Accessed 8 July 2021]

> [3] The Linux Foundation, "Kubernetes Documentation," 2021. [Online]. Available:
https://kubernetes.io/docs/home/ . [Accessed 8 July 2021].

> [4] The Linux Foundation, "11 Ways (Not) to Get Hacked," 18 07 2018. [Online].
Available: https://kubernetes.io/blog/2018/07/18/11-ways-not-to-get-hac... . [Accessed 8 July 2021].

> [5] MITRE, "Unsecured Credentials: Cloud Instance Metadata API." MITRE ATT&CK,
2021. [Online]. Available: https://attack.mitre.org/techniques/T1552/005/. [Accessed
8 July 2021].

> [6] CISA, "Analysis Report (AR21-013A): Strengthening Security Configurations to
Defend Against Attackers Targeting Cloud Services." Cybersecurity and
Infrastructure Security Agency, 14 January 2021. [Online]. Available:https://us-
cert.cisa.gov/ncas/analysis-reports/ar21-013a [Accessed 8 July 2021].

How can k8s and zero-trust cooccur?

> CISA encourages administrators and organizations review NSA’s guidance on Embracing a Zero Trust Security Model to help secure sensitive data, systems, and services.

"Embracing a Zero Trust Security Model" (2021, as well) https://media.defense.gov/2021/Feb/25/2002588479/-1/-1/0/CSI...

In addition to "zero [trust]", I also looked for the term "SBOM". From p.32//39:

> As updates are deployed, administrators should also keep up with removing any old
components that are no longer needed from the environment. Using a managed Kubernetes service can help to automate upgrades and patches for Kubernetes, operating systems, and networking protocols. *However, administrators must still patch and upgrade their containerized applications.*

"Existing artifact vuln scanners, databases, and specs?" https://github.com/google/osv/issues/55