skysight-inc/HackerNews huggingface dataset:
Unfortunately, 1st-order ZFC has very severe limitations

because it does not precisely define sets.

However, ordinals that provide the backbone of sets have been

precisely defined up to a unique isomorphism using types.

See the following article:

"Theory Ordinals can Replace ZFC in Computer Science"

https://papers.ssrn.com/abstract=3457802
The Knight Rider auto had one of these. K.A.R.R. But it wasn't a friendly car.
"Our revealed preference seems to be that we'd rather have homeless people live in tents than have poor people get free or nearly free housing."

Well, I'm sick of your preferences; they make no sense to me.

I'm being facetious, but why talk that way? You are an individual. If you have an opinion state it.

Government and its decisions are not you, you do not need to pretend that you agree with these decisions, or that they are somehow the result of a benign expression of voting decisions that you are bought into.
Cause of Cambrian Explosion – Terrestrial or Cosmic? – ScienceDirect
Not when it's sunny like in the desert or in southern california. Run some pipes to the desert and it's mostly passive.
Here's the thing I try to remember: when life isn't going well for a person, it's easy to turn to the Internet to vent frustration. And the less one has going on in the rest of their life, the more time one has to spend arguing online. The volume of posting doesn't indicate how right someone is or how reflective their experiences are of reality, just how much time they have to dedicate to the task of commenting.

As a useful mental trick, I substitute "commenters" with "bored people on the internet" sometimes to remind myself of the source.
Safari is, in fact, fine. The "Safari bad" argument comes from people who are keen on turning the Web into something it can never be: an app platform.

I very very very much prefer the "bad Safari" to the shiny Chrome which pushes (and ships) "standards" so bad other browser developers can't even understand them [1]

[1] https://github.com/mozilla/standards-positions/issues/459

Edit: grammar and typos
This is nothing new.

I ran into this in the 1990s. I had to basically arm-wrestle one of these organizations to get a domain released. I think they gave it to me, because I made such a pain out of myself, that it wasn't worth it.
> Does the simple act of moving heat from inside to outside do any measurable, meaningful harm to nature?

It would still take energy to run. How is/would that energy produced?
Pipes are cheap apparently
https://news.slashdot.org/story/21/07/25/1859220/two-us-comp...
I used Clubhouse for a bit, but I didn't really care for it. It came across as a smug version of AM talk radio.
Portable GPS Time Server Powered by the ESP8266
> Is this something you know, or is it something you think is true?

Totally in my head. No data to back up.

My aha moment :

> Part of this is financial.
Answer to Everything isn’t 42, it’s Family
I wonder how clearance items work with that.
> It is suggestive that the timing of the US surge in CDS prevalence coincides with the late 1970s when wages stopped tracking increasing work productivity.

I don't agree with the authors' summary of their own graphs. If you look at the graphs, it's more like "cognitive distortions hit an all-time low around 1980, began slowly inching back up from 1980-2000, then accelerated more rapidly upwards after 2000, leading to a clear trend break by 2005 or so."

I've also heard conflicting info about this and would like a more definitive analysis if anyone knows of one. I've seen people claim that total comp, including especially health care benefits, did not stagnate and continued to track productivity.
Do you know why they don’t use WebKit or Blink, given their relation to khtml?
Yes, it's a function of memory safety. The abstractions C provides for working with memory and the semantics of the language itself are both design choices it makes. Memory safety is one of the few places where we have robust empirical evidence on how it directly prevents bugs and security issues in practice. Robust empirical evidence is fundamentally hard to come by in software engineering research, so when we do have it, it's a strong signal.

The conclusion is that C is not simple and that the C model is not somehow "more natural" or a good fit for how people think. This was the core argument of the comment I was responding to and it is simply wrong, regardless of whether we're comparing C to functional languages or to something else. We should collectively not be drawing any conclusions by starting with C as an exemplar of how things should be.

Personally, I am certain that other aspects of C also contribute to extra bugs: implicit type coercion, undefined behavior, the C preprocessor and anything to do with concurrency all come to mind. I did not bring those up because we do not have the same kind of strong evidence for their impact and because just one problem of that magnitude should be enough to show that a language is neither simple nor natural.

I don't see how any of this is disregarding the obvious. Instead, I am making an obvious point that the original comment somehow disregarded. "Nothing is a panacea" might be true, but that does not mean that some things can't be better and other things can't be worse. C is one of the latter.
Actually not. There are a ton of ways to do it, and I'll bet if you put some smart people on it and make it a national focus it'd get done. Lots of nanotech research, it'd be trivial with that technology.
Really? Why do you assume any society is free of leeches? Heck, even Torrent has them. I think he probably would be a shaman or something like that and he would still live a similar life.
If you need a free domain, I would recommend to rather use a free subdomain from https://dynv6.com/ which has a featureful managment UI and API.
> Our revealed preference seems to be that we'd rather have homeless people live in tents than have poor people get free or nearly free housing.

The reason why such programs exist in the first place is because of San Francisco's highly liberal government. There is no doubt that the politicians would absolutely love to give people houses for free, but they can't because that would be even more expensive.

The San Francisco system is flawed by design. It's not economical to support people with welfare because America is not a communist nation. Homelessness should not be considered to be primarily the government's problem. If the economy is strong, homelessness as a problem will largely disappear and charities will take care of the rest of them.
"another martial artist" already assumes that you're in some ways evenly matched - you're using the same weapons, and it's 1 on 1. What there are two, one with a metal bar and another with a broken bottle? People like to go in with overwhelming odds, that's why around 80% muggings are men against women. And the weapons they may have may be in their pockets. Fancy playing russian roulette? What if they don't attack one at a time, like in movies?
rubber band fridge: https://www.youtube.com/watch?v=lfmrvxB154w

same concept, less refined.
It’s quite possible she’s doing it natural. My wife is the same age and has about half of that, but she gets lots of exercise outside and has only lifted seriously for a couple of years.
Not to mention that gaseous hydrocarbons are widely used within homes, and not in hermetically-sealed devices either, as would be the case when used in a heat pump.
> Does the simple act of moving heat from inside to outside do any measurable, meaningful harm to nature?

No, the heat moved is trivial compared to the heat coming in from the sun. That said, urban design (concrete, asphalt, etc) that absorbs a lot of extra heat will have a noticeable effect, definitely on a local level. Cities with a lot of green are a few degrees cooler as well, in part because of shade (the heat is captured higher up), in part because of evaporation.
Curation is the creation of a new set. A viewpoint that didnt exist in the original.
> How can users be assured that this type of issue won't occur again?

By writing code defensively. Despite the other comments, it's possible.

The key is to be redundant: for example, off-by-one errors are very common when accessing an set of indexed items by number.

Yet you can split the set (e.g. an array) in multiple ones to make it more unlikely that you pick the wrong item (e.g. picture vs users).

You can also "tag" the outgoing image with some attributes, e.g. the recipient and a sent/not-sent flag.

You can cross-check and stop if something is inconsistent. Many other things are possible e.g. to protect from RAM bit flips.

It's not a matter of language or tooling, it's a matter of mindset.
Does that alternate universe support phone numbers with unicode characters too?
Is there anywhere that marketing is defined as "the study of markets"?
"The COVID-19 pandemic is estimated to push an additional 88 million to 115 million people into extreme poverty this year [2020], with the total rising to as many as 150 million by 2021"

https://www.worldbank.org/en/news/press-release/2020/10/07/c...
It's not about deliberateness, it's about mindless ritual for rituals' sake. Only idiots would perform cargo-cult practices over a set time regardless of need or utility. By using your brain to take time only when necessary you help to ensure the absence of that kind of moronic behavior. Force time wasting meetings and burn out your team with a lack of respect. No one is forcing you to be intelligent.
Don't Be Anti Car. Be Pro Something Else.
And women's pro cycling pays very poorly compared to the Men.
I think this is stupid. Building a business shouldn’t be about hiring people to fit some platonic form of a company.

You should hire people based on a market need for that role. While I agree that this is the org chart that most often organically arises, it’s not because CEOs read this article on sub stack.

This is about as useful of information as telling me how to decorate my office space when I have a 50 person company.
Sure. But they do get captured here: https://hsh.sfgov.org/wp-content/uploads/2020/01/ExecutiveSu...

69% are reporting being disabled in some way that’s preventing them from being housed (read: addiction, mental illness, health issues resulting from these, etc). 42% are self reporting current addiction, 39% have self reported current psychiatric/emotional disorder of some kind, and 37% with PTSD (apparently getting separately reported from the prior stat). These numbers are likely higher in reality.

Of course there are some that lost their job, don’t make enough, etc. That’s the population that you could expect to make a come back with support. But a very significant portion are beyond tractable. Drive thru the tenderloin and tell me what you see is rehabilitatable.

Seems to me the easier story would be preventing homelessness in the first place, which would involve making our society kinder for all, not just the homeless. It got significantly worse after Regan defunded the mental health wards. Many progressives support this cause of holding people against their will — I’m not sure being homeless and mentally ill is more humane. At some point it’s easier to centralize long term care than to ad hoc beds and social services.
Yep. I'm fifty and lifting just so I can still do activities like skiing and windsurfing at a level I'm happy about.
Go on r/Tesla and you’ll see tons
With cell phones, the crowd would suddenly have a lot of agency (and spoofing).
"For the sake of argument" does not mean "I invite you to debate this", it means the exact opposite: "let's assume this is correct/we agree/etc. for a while and debate what comes after". So in this case you are doing the exact opposite of what the phrase "for the sake of argument" is requesting.

https://idioms.thefreedictionary.com/for+the+sake+of+argumen...

> I know you want to go to Stanford, but just for the sake of argument, let's talk about what some of the other schools you got into have to offer.

This does not mean "I invite you to make a counter-argument as to why no other schools than Stanford are worth going to".
Record-Breaking Flooding in China Has Left over One Million People Displaced
No air conditioner is going to be 100% efficient. You're still going to consume a fraction of the heat energy being transferred from indoors to outdoors. Unless your home is powered by 100% green energy, you're still indirectly adding carbon to the atmosphere.
>At IPO (average) $100,000 of ARR per employee

So it's for companies that aren't profitable even at IPO. Not my cup of tea.
An interesting effect. It's just that the naming could somehow be better. It feels weird to call a cognitive _distortion_ some collective zeitgeist that apparently correctly identifies a situation when shit has really hit the fan.

I mean, why would it be a 'distortion' to be somewhat fatalistic about the current climate change trend that may actually lead to civilizational collapse and an extinction event.
Had a similar experience around 8 years ago over southern Germany.
Referendums are flawed because

* referendums, as a single-issue-only vote, suffer when an electorate is only thinking about immediate first-order effects, and due to how many issues are happening at the same time it's also very easy to get voter fatigue. WA has been through a few cycles for lowering car tab fees to $30, it ends up being ruled unconstitutional by the state Supreme Court due to procedural errors, and in the meantime it totally wrecks budgets. But who would vote down a tax cut for themselves even if the final figure has no bearing on reality? Similar story with Prop 13 and all the nasty knock-on things it has caused.

* referendums only represent a snapshot in time, but due to inertia it is hard to change it. Is Scotland going to get a second vote after Brexit? Who knows? New Caledonia is trying a third time in three years for an independence referendum.
What would it be if it reaches saturation like cigarettes did?
That's an insane amount that will most likely destroy your shoulders if you don't do any pulling to compensate. It might not be the form, but the imbalance between push/pull.
Another dumb comment. It does decrease the chance of death in the short term, but that is not the outcome since it might get everyone killed next winter or in 3 years with some effect condition caused by the experimental vaccine that we do not comprehend now

The outcome is lets says in 10 what is the excess death compared to before we started covid vaccination, or unvaccinated people
Since when is Teflon non-toxic? Scientists need to stay away from food.
> You’d need to ask the developers writing all these router OSes, smart televisions, Android phones, … whether they chose Linux because of its high quality or, I guess, randomly?

Or cost... or abundance of existing tooling for... or a ton more factors that are all considered. And quality itself is multidimensional. Something might be good for engineering flexibility but terrible for exposure to end users, or vice versa. And engineers can work around shortcomings much better than end users can.

OSes aren't like Javascript frameworks. There are only so many viable choices for a given domain. It's like if someone chose T-Mobile over AT&T and Verizon and you automatically concluded it's because of quality.
The Revenge of the Circulating Fan

https://www.lowtechmagazine.com/2014/09/circulating-fans-air...
Ask HN: Have you ever been/hired fast, and how did it work out?
Back in the day, I was a programmer, and I use to get hired in a day, sometimes over the phone, etc. It always seemed to work out fine.

That's not to say that I haven't bounced early from a position -- just that, I haven't been able to spot any discernable difference in the success rate of a hire based on the length/intensiveness of the hiring process.

Potentially with one exception -- if I feel strung along by the time it's over, I'm going in with a grudge. That can dissipate very quickly if all things are semi-normal at the new gig, but how often does that happen?

As I've gotten older, the hiring timelines have stretched out from say 1-2 weeks to 6-8 weeks. I assume that is because I'm older, because the industry has changed, because the positions I'm applying for are not quite as cookie cutter as 'sr. java dev', etc.

I don't think the longer, more-everything hiring processes have resulted in better results, if by better results we mean a match that is mututally beneficial for myself and the company.

I try to stick to contracting for this reason, but if the perm gig is there, and it seems fine, I'll take a chance, why not?

I'd probably prefer if more startups hired on a contract-to-hire basis, so we can try to rock and roll for 3 months, and if it sucks, we part ways, no problema.

But if that type of situation exists or is evolving, I have not heard of it.
>> and try your best to be reasonably supportive of people who, for various reasons, cannot use the new version.

Keep in mind that "maintainence" according to them means "pretty much what I've been doing for the past few years: not particularly active in terms of development, just occasional improvements and fixes here and there." If you're trying to apply this to situations such as "py-cryptography" -- they are not very comparable.

Pretty much every license in existence has a line like the following: "THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED". This is especially true when the upstream never declared "support" for a given use case to begin with, such as different Libc implementations, big-endian platforms, etc...

Don't complain about free beer.
Montana Wildfire Fight Draws Help from Other States
As long as you don't mind it, if it feels like you're suffering or martyring yourself you're crossing a line. You can overdo it and end up demotivated (if you're lucky) or injured (if you're not). And depending on the injury, you'll not be able to do that same sport again.
This is what you get with MD MBAs writing papers huh
I normally ask candidates to produce a frequency count of the elements in a list. My ideal solution is that they use a dictionary to do it in O(n) time.
The data seems to support that people in America who write books are depressed.
Constantly hearing "oh, I thought I sent everyone an invite [on Facebook]" will hurt a child deeply.
The Dutch Cyclists didn’t even need a phd in PDEs, they could have gone for gold if they had been able to count to three.
There's no neural network you could train using supervised learning to solve sorting in the general case.

To train a neural network, the training set and test set need to come from a common probability distribution but the inputs of sorting algorithms can be random. There's no relation between what you could possibly train your network on and what you'd ask it to do.

Put another way - the input and output of your model would have zero correlation. There's nothing to train the model to pick up on.

Interesting related work: Graves[0] trained a "neural Turing machine" to encode instructions for a basic sorting algorithm.

[0] https://arxiv.org/abs/1410.5401
Having reliable scheduling in the language itself seems like it would simplify a ton of software that's currently reliant on a lot of message queueing and cron duct tape. Running BEAM in production still scares me, but that's one reason to conquer the fear.
You shouldn’t be downvoted. Web only vs. conventional phone surveys is a significant change. Cheaper, but definitely excludes poorer demographic sections. You can’t ignore this for a survey about ‘life ratings’.
No, the dev writes on GitHub that "this issue was fixed in 5.17 (which hit 100% production on 7/21)". Releases show 5.17.0 was released on July 15. They've also linked the commits that fix the bug - the fixes were committed 10 days ago.
It is definitely the mistake of the dutch riders, and the dutch team. From reports, it might also be issue with communication between the organization and the dutch team.

There were complaints about unclarity of information for the riders. If true that probably is something the organization to do better. But 'our girls' could have done better.

My read is that: being used to having communication; hubris and situational awareness mistakes; unclear signaling of gaps to the riders; and a spotty cell connection in the coach's car combined to the Dutch riders making a very bad mistake.

What would have happened without this mistake is an unkowanle what-if. My money would be on Kiesemhofer having been caught, given how quickly the gap was shrinking at the end. But that what if doesn't matter as much as the huge mistake that prevented it from materializing.
The Child Tax Credit has been around since 1997. The timing changed this year, but the credit itself is not at all new.
I really like the author's conclusion after exploring this.
Show HN: Jump to Directories
> By writing code defensively. Despite the other comments, it's possible.

I'm going to tack onto this and suggest that signal drastically slow down the pace of feature development. They don't have the same profit motivations other companies have. The messaging market, at least in its current state, is largely known. These both give Signal an advantage in that they can slow down and harden the product while baking security into their DevOps practices as a first class citizen.

Tl;dr: signal needs to slow down.
I used to build my own desktops when I was younger, but my most recent desktops have all been Intel NUCs, mostly due to valuing time/space/noise over raw price/performance (and due my rapidly declining gaming needs).

One feature that I've really grown to love that I don't remember ever seeing with custom machines is the ability to fully customize the fan-curve, including the ability to completely turn off the fan below certain temperatures.

This makes it as good as a truly silent build for most day to day use, but with effective cooling available for intensive tasks for when I need the extra power.

Maybe these days there are motherboards that allow you to configure the fan curve this way as well? I personally think this kind of configuration gives the best of both worlds.
Reversing for dummies – x86 assembly and C code
And a completely different one from what you quoted.

1) On Youtube, you can opt out of ads for your own videos.

2) If you get enough traffic to where you can add the ads, you don't lose access/ownership of the video on your account. Youtube doesn't force you to pay to keep your own videos, either.

I've seen people not read the article when they post a comment, but it seems you didn't even read the part of the article you quoted before making your snarky allusion.
My personal life is wonderful.

The country?

This chart from the Fed is just astounding.
https://fred.stlouisfed.org/series/FYFSD
No, contrary to common belief, coordinating with multiple client projects to release features simultaneously etc, is not easier. The number of meetings does not drop, the quality will not improve if you now have to check that multiple clients are safe. You won't magically get more eyes on your code, when people are working on their code, not yours. And at that point you now have to deal with people who think they have as much say as you have because their fork is "equally important". And trying to explain to a non-cryptographer hobbyist why some change needs to be done, or why some feature can/should not be implemented, is not speeding things up.
Harvard Lampoon comedy magazine produced an issue generated by AI
Is this a screening call where you are grilled with tech questions? Or is this an initial chat where both sides share what they’re looking for in a candidate/you say what you want in a position?
Looks beautiful, I love the keyboards. I find something about the sound of a fan to be comforting. Reminds me of home.

Although the fan on my work Macbook Air sounds like an air compressor and I am not a ‘fan’ of it at all :)
Teflon won't react with anything in your body. It's totally inert. It's one of the most inert things we know about. That's the whole point of the article.