skysight-inc/HackerNews huggingface dataset:
Bird's paper (linked at the bottom of the article, https://www.cs.ox.ac.uk/files/3378/PRG56.pdf) addresses this definitionally. Page 9: "If h is not defined on the empty list, then (+) is not required to possess an identity element and the above equation is asserted for non-empty lists only."

This distinction rarely matters (except maybe if you're building a MapReduce engine, you might need to add a functionDefinedOnEmptyLists flag and special-case when the flag is false to assure that none of your nodes try to handle an empty-list input).

Whether you want to allow for nullary operations to exist depends heavily on what you're doing. The approach suggested at https://ncatlab.org/nlab/show/biased+definition has the consequence that the introduced nullary can "eat" the result... i.e. if we address h({}) being undefined by just making it infinity, and our (+) operator is just sum, then we end up with the result of the computation being infinity. Is that okay, or did we just waste a lot of processing time to reach the conclusion "Hey, somewhere we tried to operate on an empty list, hope you wanted any partial result drowned in an infinite sea?"
The harm from impacting water is mostly due to the bulk of water which is in your way, which is neither very compressible, nor can able to instantaneously displace itself so that it is out of your way.

It is not from the 0.07275 joules per square metre of surface tension.
The old boys ride again.
"these devices" was a watch
WikiHow and the Future of the Internet
there are things we pay and maybe I would pay that are good for all of us. There are also things I would pay for even if my neighbour cannot and would let them use them or even consider it common property, as it is today. What I do not want is a fully coactive, unjust system with artificial regulations and countless state monopolies on top of me. I do not think spoiling half of the effort to someone is a promising proposition or that it is what it takes to sustain this. Needless to say, I am against welfare in a setup where it must be paid with debt. This is not what a responsible person does at home, why they can do it with taxes?

Who told you I need the government to not eat poison? This is so absurd. They have a chain of responsibility to do that today, maybe, but you could have certifications also, without any government intervention. Do you think people manufacturing the products you buy are interested in poisoning you? Would they do it? They would lose all their customers, their reputation would be damaged... no, I do not see it.

You think because the government is not there people do not care anymore whether they eat poison or not? Seriously? There is a clear demand for someone saying: this is safe food. It does not need to be the government. It just happens it is them who do it today. This is like saying people would not want schools if the government does not pay for them or hospitals. It is totally absurd. Things exist because people value them. And many do exist with no value because someone creates artificially from our taxes stuff. There is no more to it.

BTW, security, this is something many of you do not get either: you are safe because people around you have a mindset of respecting others, mainly and above everything else. That is why there are districts where you can go 2:00 a.m. safe and you know nothing will happen to you and some you would not go even at 20:00 p.m. a normal day! It has nothing to do with the police, or to a very little extent. You cannot have a police after each person. If someone takes out a gun and shoots you it will happen anyway.

If the police gave you unconditional security then that could not happen. On the other side, if you go to a prison, you have state workers every few meters. Is it any safer that good districts that are police-free? No way!! They are not. There are people passing drugs and violence, more so than anywhere else. Security comes first, and foremost, by what people are willing to respect or not, and later, there are outliers, yes, but this is not at all all the story.
The solution seems simple: predictions should be blind until the deadline. This also exploits the "wisdom of the crowd", where crowds are smarter when each individual's decision is independent of the others.

What am I missing?
My point was you can do a lot of technical work that is 100% invisible to end users (except maybe performance gains) but results in a better or more stable product. So things that may not provide direct business value but provide it tangentially through more maintainable software, fewer and/or shorter maintenance windows, less unexpected downtime, etc. There is no corollary on the design side. Once the design is done, there's little reason for the designers to hang around.
No, a device is more stable when it comes to APIs and Configurations.
50 years of being told you're unwelcome will do that to you...
I would say that there may be more opportunities in the blue collar world, as opposed to the white collar professional world, at least for the demographic that is "abandoning" college
The extension I listed stores your scripts in localStorage.

But I agree, it should be a browser feature.
> the slides you linked to also don't contain that term

The term "countable" is used in the slides, where it means computably enumerable. The adjective "computably" is used when there's a need to distinguish set-theoretic notions from similarly behaved computability-theoretic notions. Otherwise the meaning of the term "countable" can be context-dependent.

> it gives the wrong intuition about subsets

In constructive logic, a countable set can contain an uncountable subset. The misleading intuition (in the context of non-classical logics) is based on classical logic where countability is a statement about the size of a set. Whether you think constructive logic is a good way of explaining computability theory is another question, but it's certainly a viable way of doing it.

It's like how the term "line" can mean something different in hyperbolic geometry from what it means in Euclidean geometry. You could argue that it might mislead people about the nature of parallel lines, but that's why hyperbolic geometry is not Euclidean geometry. Another example is using "multiplication" to refer to an operation on matrices, which might make people think that AB=BA when that usually isn't true. Mathematics is all about re-using terms and pointing out that there are differences.

[edit]

Admittedly, the slides do use the term "enumerable" as well, so that's another option. When there's a possibility for confusion with set theory, you can say "computably enumerable" as you suggested.

[edit] Made lots of edits. Hopefully, that's it.
That depends on jurisdiction. In the U.S. there are plenty of sites that opt you in, and either allow you to reject or don't but link to their privacy policy (which then might say "we don't care about your privacy").
>The rejection was because Apple never allowed keyboard apps on the watch.

Weird because it did.

-offer to buy the keyboard.
-don't come to agreement.
-refuse to remove scam copycats.
-ban keyboard.
-release own keyboard.
I am very confused, how does the "Young People and Porn" section of this article in any way relate to the rest? Is this section actually another, unrelated article that snuck into the bottom?
I've been using Linux as my daily driver since 2004 or so and I haven't looked back. And the only reason I used windows as long as I did was because I had a business that depended on our ability develop a particular windows binary as well as some bookkeeping software. But bookkeeping can be outsourced and that windows application is long gone.
holy crap - i've read about that flight so many times - it's one of the stories that keeps me relatively calm in turbulence* (along with the video of the famous 777 wing failure test) - they both give me solace in how much a plane is built to survive (yet, i read a lot about plane crashes, and also know what small things/mistakes/flaws lead to the opposite outcome)

* (obvi unfortunate that it happened and people had to experience that)

and sorry to hear about your father.
> They are distinguished with letters. Z for those under 24 years old, Y for those 25 - 34 years old

As usual, Generation X is completely ignored. The "lost generation" indeed.
This article seems to present a strange collection of information. "Young people and porn" as a heading really came from nowhere.
https://www.bloomberg.com/features/2021-millennials-are-runn....

> In almost every way measurable, millennials in the U.S. at 40 are doing worse financially than the generations that came before them.

> Now, if predictions of a long, post-Covid economic boom are to be believed, this may be the last opportunity an entire generation has to build wealth before heading off into retirement.

Eh, Millennials are measurably worse off than boomers or Gen X were at their age.
I wish you to one day have the perspective to understand other people may have different wants and needs than you and that it is fine. It doesn’t put them in any moral or social predicament.
That's what it looked like to me, too, but isn't it telling that we can't treat punctuation consistently?
What if we could add our own JavaScript within our user settings on HN?
Not scientists but some of the best writers of the 20th century never got a Nobel, I'm thinking especially about Proust and Kafka (and I would say Céline was more worthy of the Nobel than Camus and especially Sartre), I'm sure the same thing happens in science in regards to this Swedish prize.
Not crazy. I feel the same about UI changes that deteriorate UX (but then on Android). Still can't properly scroll my open tabs for instance (you first have to scroll down slightly before you can scroll up, otherwise you drag the whole tab list down)
read as 'do not point finger at me'
If you do a point to point comparison Millenials own much less at the same point in their life than Boomers did.
Personally I welcome our new Tyrius Cybernetics Corporation overlords.
This is the data I've seen: https://www.cdc.gov/mmwr/volumes/70/wr/mm7032e1.htm?s_cid=mm...
Looks registered to me, but seems like it's parked:

https://whois.domaintools.com/rob.monster

Domain Name: ROB.MONSTER
Registry Domain ID: D98633729-CNIC
Registrar WHOIS Server: whois.psi-usa.info
Registrar URL: https://www.internetx.com/
Updated Date: 2021-06-05T01:19:43.0Z
Creation Date: 2019-04-01T14:00:01.0Z
Registry Expiry Date: 2022-04-01T23:59:59.0Z
Registrar: InternetX GmbH
Registrar IANA ID: 151
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registrant Organization:
Registrant State/Province: nrw
Registrant Country: DE
Registrant Email: Please query the RDDS service of the Registrar of Record identified in this
output for information on how to contact the Registrant, Admin, or Tech contact of the queried
domain name.
Admin Email: Please query the RDDS service of the Registrar of Record identified in this
output for information on how to contact the Registrant, Admin, or Tech contact of the queried
domain name.
Tech Email: Please query the RDDS service of the Registrar of Record identified in this output
for information on how to contact the Registrant, Admin, or Tech contact of the queried domain
name.
Name Server: NS1.WESELLTHISDOMAIN.COM
Name Server: NS2.WESELLTHISDOMAIN.COM
Name Server: NS3.WESELLTHISDOMAIN.COM
DNSSEC: unsigned
Billing Email: Please query the RDDS service of the Registrar of Record identified in this
output for information on how to contact the Registrant, Admin, or Tech contact of the queried
domain name.
Registrar Abuse Contact Email:
Registrar Abuse Contact Phone:
URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/
By this metric, every generation has cause to belittle and fault the prior.

From the dawn of time, no generation has managed affairs perfectly. Or even well, by many metrics.

Millenials will do just as poorly as the hippies, if not worse.

But the amusing side of things is, millenials rail against the 1%. Well and good, except, do you think John and Mary in Nebraska, or Tom and Jane in LA, had anything to do with these decisions?

Whether division by race, culture, age, pointing fingers at each other, instead of policy makers, is quite literally ignoring the real problem.
Founders Should Write
The price of a prediction depends on what people are currently predicting. So you can't keep it blind. Well I guess one way would be to put in limit orders on odds you're willing to take, and not revealing the market price. However I don't know if such a market condition / feature would have people using the prediction market.
...which started 100 years ago or more. Boomers did nothing about it, sure, but don't blame climate change solely on them. And if you think your generation would have done better with the same lack of general knowledge about the problem (until the last 20-30 years), you're deluding yourself.
I literally could not get past the 6 to 4 ratio used in the first sentence. Why would you not use 3 to 2? Made me suspect that the rest of the article was similarly ill considered and I moved on.
https://www.bbc.co.uk/news/science-environment-57849364

Every dollar spent on bathrooms is a dollar Bezos can't spend on going to space.
Microsoft allows "passwordless" sign-in
This should do the trick:

[ ...document.querySelectorAll('td.ind[indent="1"] + td.votelinks + td.default .comhead > .togg') ].forEach(div => div.click())
You are free to think that w3techs is junk, but you initial claim was wrong.

https://w3techs.com/disclaimer
Fine-Tuning Bert for Multiclass Categorisation with Amazon SageMaker
We are already in that situation, but we have several intermediaries (media ownership, lobbying) to pretend that we do not.
The things we find hardest in incident response
Because the social safety net in the US basically requires one to work a job (with Senators even arguing for work requirements for the child tax credit!). Employers are in on this as well, so they know they can offer the bare minimum in terms of salary, safety, benefits, etc.

It also takes a lot of resources (time + money) to get the skills necessary to enter a profession or some skilled labor job.

tl; dr: The alternatives are often another similarly poor job, losing whatever paltry support the government is providing, and/or being one medical condition away from financial ruin.
Re: your last paragraph: that sounds awesome! Anything you can share on those texts? Sounds like a great idea.
> pure SQL using a tool like DBT

I don't get it... Looks to me like DBT is a Python SQL wrapper / big library that among other things includes an SQL generator / something else like that -- but not "pure" SQL?
Millennials and younger often confuse Generation Jones with Baby Boomers.

Growing up, my parents and their friends - who have spent their whole lives worrying about uncertain economies and threats of layoffs - would dismiss people slightly older than them as "self-centered baby boomers".

They are currently in their mid-60s.
Show HN: Time travel debugger for web development
I can't comment on the US in particular - I neither live there nor does my comment pertain to it specifically.

Rather, it was an observation of two things:

1. That high taxes do not necessarily correlate to extensive and quality public services.

2. That it is possible to find a better deal by hopping across borders.

Taken together, they put the whole "you need to pay back society" spiel into question.

If you want an example, look at the EU. Taxes are uniformly high in the EU but there is a drastic difference in the quality of public services (and as a consequence, your chances in life).
URL seems to be buggered, but this works: https://people.idsia.ch//~juergen/turing-oversold.html
New York passes law that will ban all gas-powered car sales by 2035
Bigger, sure. But the oldest US millennials are turning 40 now, and own around 5% of the wealth.

Likewise when the US Boomers were the age millennials are now they owned about %20 of the wealth collectively.
> What am I missing?

That by so preserving the independence of predictions, you’ve also removed their utility, which is predicated on their availability.
That would be a new feature. The philosophy of HN is to evolve slowly and carefully.

This surely would break someone's workflow ;)

https://xkcd.com/1172/
>While their elders [baby boomers] are only 6% interested in the future of our planet.

Capitalism can be a force for good, but unregulated capitalism without strong social safety nets is a force for greed and destruction. Of all their flaws, their lack of care for the environment will be their most damning indictment. The fact that they still, today fail to see the error of their ways is infuriating.
Not terrible? The first link is a modern 80m2 flat (sounds huge for 1 bedroom to me) with great facilities right on the sea front. Do you have example of what you would consider good, because it already sounds pretty luxurious to me?
5 minutes doesn't seem unreasonable for a large building - if you're in IKEA and have to get to the entrance to find a bathroom it might take that long; or you're on a soccer field.

What's unreasonable is not accounting for that time.
people generally have a better mental image in base 10
Hang on, wouldn't this make that manhole cover also the furthest manmade object from Earth? Voyager 1, even after all of its slingshots, is traveling at about 38k mph. That manhole cover is traveling several times faster, and was launched decades before Voyager even thought about taking off.

Edit: And before anyone mentions the fact that Brownlee's calculation did not take into consideration atmospheric forces (which probably disintegrated the cap before it got to space), at least some molecules of the cap probably did go that far, and would still remain the fastest, and possibly furthest object from Earth (assuming it did not get caught in the gravity well of another object on its way out).
There are a couple approaches. GitLab's JWT token allows custom scripting to interface it to other systems. This demo shows custom integration with Vault (it also demonstrates our native integration - so you have to parse out which code you are looking at): https://gitlab.com/bdowney/vault-demo

Another approach is placing a GitLab runner within AWS and assigning it an IAM role directly. While this isn't as flexible, it is also not as complex to debug why a specific user can't build or deploy a job when another can.

In this scheme, there is potentially a runner per-dev team that has the same exact IAM profile as the dev team.

This can be done using KIAM for EKS runners, or if you are doing docker runners, you can use the "GitLab HA Scaling Runner Vending Machine for AWS EC2 ASG" here: https://gitlab.com/guided-explorations/aws/gitlab-runner-aut...

That last automation is designed to be self-service and can be setup in AWS Service Manager for teams to self-deploy their runners.

The many other benefits to the "GitLab HA Scaling Runner Vending Machine for AWS EC2 ASG" automation are enumerated here: https://gitlab.com/guided-explorations/aws/gitlab-runner-aut...
New Scientology E-Meter: Now Infected with DRM
Maybe I've not been very friendly but I've insulted no one person.

Also it isn't quite friendly to ignore what the person you are arguing with has written or pretending to be two different people in an argument.

Have a nice day.
^ we found a nazi sympathizer here folks and or a guy who had nazi things hosted on epik who is now scared to be doxxed
Can you elaborate? The feature seems nice, but I access HN on multiple browsers for which a plugin isn't workable.

Looking at settings and links on the page I don't see any functionality like you describe.
When using the SSH protocol for running automated remote commands you can improve security using forced command[1] within your authorized_keys file.

[1] https://ctrlnotes.com/restrict-a-user-to-ssh-forced-command/...
My backup server has been running ZFS for over a decade and I love it for that and for archives. The bulk of my systems run ext4, because until 20.04 it wasn't really a thing to have bootable ZFS on Ubuntu (yes you could do it, I didn't because reasons). My backups use rsync to pick up incremental changes, so full filesystem scans are involved and the backup server gets pretty busy because of those.

One interesting thing I did at one point was to clone and mount LVs of running Windows VMs, so I could then rsync backup them on the same backup server. With the exception of a handful of physical boxes, my fleet is entirely Linux VMs running on Ganeti hosts with LVM for storage.

This project has me imagining doing VM-level backups by talking to the ganeti hosts and backing up LVM clones outside the host, rather than rsyncing into the host.
Or that. Good point.
> It has frequently been noticed that the surest long-term result of brainwashing is a peculiar kind of cynicism – an absolute refusal to believe in the truth of anything, no matter how well this truth may be established. In other words, the result of a consistent and total substitution of lies for factual truth is not that the lies will now be accepted as truth, and the truth be defamed as lies, but that the sense by which we take our bearings in the real world – and the category of truth vs. falsehood is among the mental means to this end – is being destroyed.

-- Hannah Arendt, "Truth and Politics", https://idanlandau.files.wordpress.com/2014/12/arendt-truth-...

(The whole thing is worth reading, though not necessarily in that particular pdf)
"indemnify" does not actually mean "we will sue you" so I feel you need to add some more context to what you're saying - it sounds like you've been caught in a bad situation, and while I'm very sympathetic I suspect the real lesson to share with others isn't what indemnify means.

When I hear "indemnify" in a Silicon Valley-esque context, it usually means to insure a client against lawsuits from third parties. For example, I've worked for a company the indemnified our clients against lawsuits claiming that our open source project infringed on any trademarks or patents or other intellectual property issues. Meaning that if someone went after our clients for such an issue with our software, we would deal with the financial consequences.
Why are we comparing against boomers specifically? Perhaps it would be fairer to compare against the average of past 5 generations, and not a cherry-picked example.
There are a lot of people criticizing, and that's OK. The voting on this one was the biggest roller coaster I've ever seen here--at one point is was my highest-upvoted recent comment. Obviously hit a nerve both ways.

I'm not condoning lying. I am condoning public policy (including communication to support that policy) that has the end result of saving lives and getting us back to normal. I think a lot of people here are young and rationalists and full of idealism. They have this pure idea that every human being is uniformly spherical and acts 100% rationally, so given all the facts, self-interest will surely steer us into a rationalist utopia, but that's just not the case. Idealists don't account for people working against their own self-interest because of religious fervor. They don't recognize widespread and rapidly spreading ignorance. Rationalists can't explain "doing it for the lulz".

I don't have a lot of love for politicians, but I don't envy their job: They're elected to steer a ship with close to half of the passengers drilling as many holes in the hull as fast as they can. If you have to tell them that drills are dangerous and should be avoided, then that's what you have to do.
There is no list of types of applications that are allowed or not allowed.