skysight-inc/HackerNews huggingface dataset:
I think the term you're looking for is... "common knowledge"[0].

And indeed, there are peculiar things that happen once you cross the thresholds between knowing something, knowing that others know it too, and knowing that everyone knows everyone knows it.

Related to this, and I'm guessing where you were going with your wedding analogy, is the concept of intersubjectivity[1].

Intersubjectivity happens when you have people sharing subjective states or beliefs, and are aware they're sharing it. Pretty much all critical social infrastructure - all of modern life - depends on it. For example:

- Money is an intersubjective phenomenon. It holds value only because - and only for as long as - everyone knows that everyone else in the community will accept it as a means of payment. This shared belief is usually bootstrapped and maintained by a government declaring they'll accept a given form of money for purposes of taxation - but on smaller scales, can also start in many other ways.

- Organizations like governments and corporations are an intersubjective phenomenon. To borrow an example from Harari[2], a corporation like Porsche doesn't really exist in physical space - it's an abstract entity that exists only because, and for as long as, people believe it exists. It's independent of people employed in or running it - the board could fire all employees, and then the government could forcefully replace the board, and Porsche would still be there, with all the factories and offices and salons it owns.

- Companies are bootstrapped into being by performing certain rituals - offering monetary sacrifices to the government and getting the right priests sign the right legal paperwork. These rituals - and all laws in general - are also intersubjective. They have power only because, and for as long as, people believe they do (and believe everyone else believes it too).

It's kind of mind-blowing if you think about it - all the structure of our civilization is just an enormous pile of interconnected shared delusions. But it works, because intersubjective phenomena are extremely resilient - people can stop believing in them individually, but it doesn't matter for as long as enough other people keep the faith. It takes a critical mass of people to lose confidence in a visible way, or a memetic weapon[3], to shut down such an intersubjective phenomenon.

--

[0] - https://en.wikipedia.org/wiki/Common_knowledge_(logic)

[1] - https://en.wikipedia.org/wiki/Intersubjectivity

[2] - As much as I remember it. I was introduced to the name "intersubjectivity" through his book, Sapiens.

[3] - People don't have to actually lose faith in something - they just need to believe that enough other people believe that enough other people don't believe anymore.
It may be FUD, but people's concerns are valid. This is clearly another stepping-stone in the direction of removing control of the hardware/computer away from the user (under the guise of Trust, Safety, Privacy and Security). We just don't yet see the bigger, long term end state.

But if you ask me, "they" essentially want an un-tamperable and un-recordable pipe between hosted server and the monitor that emits electrons to your eyeballs.
I might be wrong but I don't think that Win10 even updates itself to new releases. I stayed on Win10 of 2017 year for 3 years. Of course it was receiving updates and there was option for major update, but it never forced me to do so.
The main advantage of typing is, for me, IDE showing errors as you type and better autocomplete, and they serve as documentation also (Of course you should read docs but types are helpful as quick reminder.)

Maybe I am just more absent minded than most dynamic programmers, but live IDE diagnostics and autocomplete are very important for me.
It does sound like a mason that can lift 5 bricks at a time is more productive than a machine that can lay bricks 5 times faster in a synthetic benchmark.
Rust's traits are a copy of Haskell's type classes. They are as far removed from dynamically-typed languages as you can get.
Unless you can exhaustively check your function for its whole domain, you really can't . Your function could indeed return pink elephants when passed unicorns.
> A common misconception.

> In tests, you test that values are correct, the types take care of themselves.

How can you be sure your function e.g. returns an integer for all values and never undefined for some values? Unit tests cannot check this exhaustively unlike type checkers.

> Types being correct does not imply values being correct, so you will have to write those tests anyhow, although you maybe be fooled by the safyness of static typing[1] that you don't have to.

As I said, types compliment tests, they don't replace them but types do reduce some of the burden on writing tests for you.

To nitpick: type checking can prove values are correct when the type system is powerful enough (i.e. dependent types) but this isn't practical enough for mainstream yet.
Microsoft will require proof of COVID19 vaccination to enter buildings in the US
Depending on SKUs, Intel PTT may be is fused off.

Some new laptops with dated bioses still don't have the firmware code to enable it.

So yes, if Microsoft spurs the OEMs, they can make the transition going a bit faster.
That's oversimplified. First robots usually did not make economic sense. After they were made useful and sold in quantities, this made them worth their initial investment.

The problem is simply fricking hard. Bricks need to be split into pieces (half-bricks, third-bricks etc) to accommodate windows, doors and edges. Due to real-world plot plans, there will be plenty of non-right angles. And yes, there's laying mortar which is an art form :D
> unless MS goes all anti-competitive and forces OEMs to build hardware that only runs Windows 11.

They didn't force OEMs, but some devices can only run Windows 8.1 with no ability to turn Secure boot off.

> ARM-based Certified For Windows RT devices, such as the Microsoft Surface RT device, are designed to run only Windows 8.1. Therefore, Secure Boot cannot be turned off, and you cannot load a different operating system.
Can't figure out from the article if the wine inside is consumable (or has leaked out). If not, that would make it maybe the oldest wine in existence, and although disgustingly old and perhaps mildly toxic, it would probably make it very valuable.
Locus of control is indeed mentioned in the paper as one of the factors that might explain the development of grit.
> There are plenty of other countries in the world that have economic problems where the Muslim population is insignificant.

Absolutely true. I still don't think the hypothesis should be rejected just on the grounds of it sounding Islamophobic, it should be rejected on the grounds of it being incorrect.
I remember when I discovered that while in engineering school. I would try to pipe all kinds of files to see which ones had interesting acoustic signatures. I remember .iso files to be particularly interesting.
I thought Objective-C was basically smalltalk, but maybe I'm mistaken
Similarities in Time Series
Software developers make the world a better place.

Unfortunately, most of they ways in which they do so were already done in the 70s. It's just repeating that work in more modern languages / stacks.
House prices are high because land prices are high. There are some cities where permitting is a nightmare and the "brainy" people displaced the "brawny" people but those are the exception.

>Although from the videos it looks like the brick walls don't actually hold anything up half the time, so might as well replace them with brick patterned wallpaper

Idea: Assemble the wall paper on the ground with a machine and install it in one go.
Right, there's no magic pixie dust in CUPS that you can't manually reproduce using a concoction of software packages, command line incantations and maybe some scripts. But then you're just re-implementing CUPS, manually.
Well, dynamic-wind itself does not do what unwind-protect does. You have to manually "save/resume" the dynamic environment with the after/before clauses of dynamic-wind.

To be fair, it's probably relatively easy to use dynamic-wind to raise some runtime error when trying to resume the continuation after the original context "ended".
QuiteRSS is such a great example of the software from the past. Not an Electron app, it runs blazing fast, does the right thing in an expected way and does not try to be anything more (like some AI that is "curating" feeds or tries to suggest other feeds).
I wouldn't be surprised if the architects making the plans had catalogues with existing designs. I would however be surprised if they gave weeks/months of work to get them into compliance with non trivial legal requirements away for free.
Do you have any example code?
If you can automate 80% of the jobs your customers require, you can make a billion dollars and send the other 20% potential customers to talk to Mailer Daemon. If you automate 80% of every job and leave 20% to every customer, you have no customers.
Seems a bit petty to me. As a developer I empathize with the possible lack of documentation (I don’t know, I never tried to integrate Sign In with Apple) but as a user I actually am super happy with it. Nowadays any iOS app that doesn’t support logging in with Apple makes me think twice about whether I really need the app.
Apple really has locked down its ecosystem.

It’s kinda depressing that there isn’t more choice and competition in the mobile space. Your choices are Android and apple.
> why can’t they let Americans in for free?

Population growth. The entry fee serves as a load-balancer to dissuade families who don’t have a specific desire to visit to go there just because it’s not too far away and free. Ok, it’s not just population growth—it’s also that the Internet has made it trivial to discover nearby free attractions, which leads to physical DoS attacks.

https://www.ribbonfarm.com/2013/04/03/the-locust-economy/
What you describe are existential types, a feature that every statically-typed language with parametric polymorphism has, either through some explicit syntactic feature (Rust traits, Haskell type classes, ML modules), or even without, as from basic logic and the Curry–Howard correspondence you can always encode an existential using universals.

∃a.P(a)
----------------- Remove-Exist
∀b.(∀a. P(a)→b)→b

Some static languages had existentials even before they got parametric polymorphism (Go interfaces). This is why we could do so much in Go without generics!
You can read RSS in Outlook for Office 365 (Inbox -> RSS Feeds folder -> Right click and Add a new RSS feed). Each new blog article is received in an email-like format.
> ton of jobs are "automated" by a computer that just gives a continuous stream of verbal instructions to a poorly paid human being.

Isn't that basically amazon warehouses today? (though text based)
Here’s a relevant MonkeyUser comic (I had shared this in a previous post): https://www.monkeyuser.com/2020/new-hire/
Ask HN: Modern Sci-Fi Book Recommendations?
I'm looking for a sci-fi book to take with me on my holiday. What are some great recently (< 10 years ago) published ones?
You have (psuedo)code like this:

def print_every_file_in(root_path):
for path in children(root_path):
if is_file(path):
print("file: " + path + ", size:" + get_size(path))
else:
print_every_file_in(root_path)

If you want to extract the printing part it's trivial in any language:

def print_file(path):
print("file: " + path + ", size:" + get_size(path))

def print_every_file_in(root_path):
for path in children(root_path):
if is_file(path):
print_file(path)
else:
print_every_file_in(path)

And you can easily parametrize what function to call on each node.

But in Python it's equally trivial to extract the traversal:

def every_file_in_path(root_path):
for path in children(root_path):
if is_file(path):
yield path
else:
yield from every_file_in_path(path)

def print_every_file_in(root_path):
for file in every_file_in_path(root_path):
print("file: " + path + ", size:" + get_size(path))

or even extract both:

def print_every_file_in(root_path):
for file in every_file_in_path(root_path):
print_file(file)

which for me is a very clean way to implement this and it's nontrivial to do in languages without generators.
This seems extremely petty, does the author actually think that this reflects well on them? It really doesn't.
In many ways this is what much of prefab is. Building is carried out offsite by robots, and humans just assemble panels onsite. However, this reduces the adaptability of the building, increases transport and storage costs and complexity, and creates new issues (apparently prefabs can be at higher risk of fire).

Construction is one of those things where the process is much less regular and perfectly-repetitive than outcomes would suggest.
What I learnt from the comments here is that this is a highly emotional subject and many people are making strong assertions without the strong evidence to back up their claims - on both sides.

If people from both sides could recommend books to read on this subject, I'd appreciate that more than the offhand comments.

Specifically: it would be great to reach a consensus on a few books that argue the case that the economy relies on finite and nearly exhausted resources, and a few books that argue that technological advances will greatly increase the capacity of economic growth.
> But now, as we all gradually adopt Test Driven Development

Snorted out loud at that one.

This post seems to assign value to static typing: That it aids in avoiding bugs. It then makes the case that TDD will do a much better job at it, and thus, obsoletes the need for this (having 2 systems would be redundant!).

The problem is, that's just one of the many things static typing does.

static typing also deals with the general problem of discoverability: When I'm writing code, how do I know which features and functions are available, right now?

"Just read a ton of docs and be a walking dictionary of API calls" is a really bad answer to the question. So is: "Welp, re-read the intro page of the docs over and over".

A much better answer would be: Well, at the touch of a single keyboard shortcut, or even 'as you type', you get a curated list of the most likely things you'd want to do right now so you can just eyeball that as you program.

static typing makes that way, way easier to do vs. dynamic.

But, I think even as far back as 2003, Bob "TDD!" Martin was already reframing all coding issues in terms of TDD so this isn't exactly surprising.
Even with leveling I can imagine a bunch of problems: to drive water away, roads are usually tilted to one side, or even to both, and there's a slight curve to them. Depending on the width of the road, that curve will have ever so slightly different characteristics which makes it harder to achieve (compared to humans doing it manually but less consistently).

Still, a lot simpler than laying bricks, which is why it's already there :D
Linked to this article, we find this one: https://www.theguardian.com/world/2021/jun/21/italy-recovers..... funny that "stolen" became "illegally gathered" and then the "wealthy Belgian collector", just gave it back and everything is fine. No consequences.
Rust traits are not subtyping, Rust's type system is principal (although with subtyping you could achieve the same thing as described by the OP, e.g. in C++, C#, etc, which only have subtyping but no existentials exposed as a syntactic feature).
I wouldn't obsess over the design of Apple's "Sign up with Apple" button, if the default darkmode just applies an inverted filter (inverting Google's and Facebook's logo in addition to the UI), and paddings and margins are all over the place.
You can annotate types in Python and Typescript.

Before that large companies like Google got around it by annotating in the comments. It may be an inferior solution but huge codebases serving hundreds of millions of users have worked this way.
As someone who owns multiple Apple devices and is generally pretty happy with their hardware and services, I agree. I wish there was at least a third option, if not more competition in this space.

RIP Windows Phone, WebOS, Meego, Firefox OS, et al
There were 4 examples in this article. Only one was in the CDC article.
People hate change and reality is that Windows is at the core of every casual's experience. Devs will bitch and complain amd threaten to switch to Linux but reality is that your already switched or won't. I've been developing using Windows for over 10 years and wouldn't switch for the world. In my latest gig I ssh into linux dev machine through VSCode and this is the best setup possible
While the grudge against Apple is real and has been discussed time and time again, the revenge described here is a joke: no-one will seriously use a web version when an app is available, the experience is really not as good, the findability is not there and for many apps device-features will be missing.
Well-paid/experienced partners, yes.

Starting salary for partners is around 300k at a big four. That's true for FAANG starting salaries, too.

The only difference is it takes 15 years to make partner at a big four, whereas (especially with college-age side hustle experience) you can start with a few years of experience.

Oh, the other difference is you can spend a few hundred thousand to buy-in as a partner, as opposed to a 100k signing bonus at a faang.

The fact senior partners make millions doesn't change the fact about starting salaries. At that point you're comparing a 25yo to a 45yo.
This isn't an actual charger though, just a basic off the shelf switching power supply, low power AC -> 5V DC.
The actual battery charger chip is on the phone (which again, will use a ready made BMS IC, so not really complicated either, all the smarts are already done).

There's some things to consider when laying out a switcher (keep loop areas small, keep sensitive lines from noise ones, etc), but it's not that complicated, and once you've done a few of them, it becomes routine.
And of course to pass safety standards there are clearance and creepage rules and EMI/EMC to keep in mind.

Any junior level EE/hobbyist with a few years of tinkering should be able to put this together.
Being responsible for the company under them is far more than just being a scapegoat, but yes, it includes taking ample blame when things go terribly wrong. No one needs to be omniscient, and maybe Bobby earned his salary through concentrating on other things, but he certainly didn't earn it by shaping company culture. The chief executive is supposed to see risks and mitigate them, or hire people that can, and if they don't, it's their screw-up regardless of who elses it is. I'm feeling repetitive here, but the difficulty and importance of the job is why they get paid many multiples of other employees, ostensibly.
US dealers see ammunition shortage as sales surge
Apple Redesigned Its Online Store to Be More Smooth and Mobile-Friendly
Also, adding complex robots adds the need for more qualified (hence more expensive) personnel. It's better to have only have to recruit and pay "bricklayer"-profile instead of the rare "can fix complex robots and is a bricklayer"-profile.
The rollout of Windows 10 itself contradicts that. Silently switching from opt in to opt out prompts, so people trained over months to click away the Windows 10 adware spam would suddenly find themselves with a Windows 10 installation.
This seems a bit trashy and tone deaf. Apple does have plenty of problems, and shouldn't be as rich as it is, but that doesn't justify ignoring the legitimate complaints that lead to apple's work to hide email addresses and personal information from vendors.

I might want to use app Foo, I might even want to have an account on app Foo for syncing purposes, but that doesn't mean I want marketing emails, and spam, and all sorts of other crap from the makers of app Foo.
Looks like it's not a law, but a common policy from credit card companies.

> However, many credit card issuers have policies against sellers charging a credit card account before shipment.

Src: https://consumered.georgia.gov/ask-ed/2016-08-31/can-merchan...
Good luck posting anything anti-apple on this site. The fanboys will be out in droves

Where as the advert for an apple keyboard gets voted right to the top
In my country houses are build in factories and then assembled on site. You rarely build a single house you build an entire neighbourhood in one go.
If you were that big of a company you'd do the same to protect your turf.
I'm usually exposing my email address while using Apple ID. When I'm logging from non Apple devices I want to be able to log using Facebook or Google and recover my account for this very reason.
HeritageType | Software Engineer - Research // Frontend // Full-Stack | BERLIN, Germany | PREFERABLY ONSITE | Full time

We're building a tool that automates complex design processes to create beautiful professional graphics. Our clients include Netflix, Warner Bros. and thousands of independent designers.
We are looking for a 2D Graphics Research Engineer to help us improve the performance of rendering in the browser. Main objective is to research new rendering techniques(using WebAssembly and modern web stack) and help us with development of our rendering pipeline to achieve visually pleasing results and fast rendering speed.

www.heritagedesigner.com

www.heritagetype.com/pages/engineering

- You’ll work on an exciting new product with an amazing people

- Very structured but hackathon work environment

- Competitive compensation and equity package

- Top-of-the-line equipment

- Straight forward hiring process: Interview + short coding task

- Relocation support

Get in touch with me at nh(at)heritagetype(dot)com
This is why I learned to type without looking at my keyboard. I'm also a dvorak user, and since it's almost impossible to get a macbook with dvorak layout, I invested the time to learn to touchtype.
It will pay off, I promise you.

Also, the look on the face of some coworker/familymember/whoever that takes over your keyboard and they type gibberish is worth more then the two weeks of training.

My external keyboards now all have blank keycaps.
Hard to say the discount rate to apply, but I’d think that almost no discount rate would ever be lower than 1% per decade and if there’s any inherent risk in a proposal that it would need to be at least 5% per decade.

When you talk about “this specific initiative succeeding”, it’s probably more like 1% per year as a minimum. (“Will SpaceX [or its direct descendants] colonize Mars?” is a much less certain proposition than “Will anyone from Earth colonize Mars?” and even the latter is in serious question.)
<style>
* * {
font-size: 120%;
}
</style>
<div>
Hello
<div>
Hello
<div>
Hello
<div>
Hello
<div>
Hello
</div>
</div>
</div>
</div>
</div>
You americans already have your McCarthyism back. Cancel culture is that very same thing. The only difference is now it is left wing, instead of a right wing.
> It shouldn't be problematic as long as the exchange stops trading for at least 2 out of 24 hours, since no DST shifts can bridge the gap and cause ambiguity.

Actually one hour would do, but it has to coincide with New York 1am - 2am, not its own DST shift. If I remember right, only one or two exchanges had that problem in practice even though there are lots of Asian exchanges. In fact it might've been the New Zealand stock exchange rather than the Australian one. But yes all 24 hour exchanges are in trouble. This was a good 10 - 15 years ago now, so it's possible they've added a suitable hack to "solve" the problem.

I work for a small consultancy now where much of the software design choices were made by me. So naturally there are no mistakes ;-)
> The collector is awaiting trial.
> Nowadays any iOS app that doesn’t support logging in with Apple makes me think twice about whether I really need the app.

I agree. I only create accounts for things reluctantly. Because 1. Why do you want my email address, or DOB, or whatever else? I don't want your marketing, and 2. I can't be bothered, I downloaded your app because I have something I want to get done.
Are “Buy Now, Pay Later” Retail Loans a Rip-Off?