skysight-inc/HackerNews huggingface dataset:
Most people just care about having a lossless round-trip conversion, from the source representation to a storage representation and then back to the source representation, not about having every possible bit sequence in the storage representation being valid. Univocally mapping the rationals onto a set of contiguous naturals is extremely tricky, computationally.
If you assume that halt does exist to make your solution valid, then you can derive any statement (including that addition does not exist), because that assumption is false.

In general:
Let P be a statement. Lets assume that the Turing Machine T solves the halting problem - let's call this assumption H.

Now we assume P is false. Now we have a contradiction - H says that T solves the halting problem, but we know that there is not Turing machine that can solve the halting problem!
Thus P must be true!

Notice that P is arbitrary.

Plainly speaking:
If you assume that the halting problem can be solved, I can formally prove you that addition does not exist (i.e. there is no operation +, such that it forms a group on Z)

> By the logic (as written) of the article the implication is that '+' does not exist.

This is actually true. With that strong assumption, + does not exist.
With enough saved input/output data, maybe some parts could even be replaced by a ml model?

Not 100% serious but then again seems like serious resources are put into this problem, so maybe worth a try
By having ppl indoctrinated to accept being at lower caste to produce babies and contributing, where the ppl at top of the pyramid are sucking all the blood from the bottom. Yeah that would work out
Is this a normal Drupal practice? You just deploy the Git repo?
We have to assume then that people are calculating otherwise:

- Smaller population will need less infrastructure

- They don't plan to support the old

- Pension plans were fit for 20th century, esp. post-WW2, but they can't work anymore
The Russian central bank expects a rate of 3-3.5%, the Ministry of Economic Development expects a decline of 2.9%. [1] Your numbers may be dated, as the expected figures keep improving. Some time back they were expecting double digit declines.

[1] - https://tradingeconomics.com/russia/gdp-growth-annual
Would you share a link to your paper?
I think he just spelled Nitter wrong.
I first ran into this encoding scheme in Avro, which you could also describe as a format for dynamic JSON-like values :)
>You're basically telling countries "If you try to prepare for war, we'll attack you. The best thing to do is be as unprepared as possible with as few allies"

Glad to hear you support Iran's and North Korea's nuclear programmes.
That's a funny way of saying that people are so economically desperate (whether due to low income, lack of savings, job insecurity, weak familial ties, etc) that they delay having children.

I wonder what the % of people currently in a long-term relationship looks like. Those also don't tend to do well under economic duress.
Depends on if one values quality of life for the children, in my opinion. Birthing lots of kids into circumstances that are easily turned desperate seems undesirable in my eyes, particularly if we're aiming for a society composed of mentally healthy adults.
There are two fundamental differences. One is that Russian invasion and genocide is happening now, not couple of decades ago. Second is that the fact we can’t punish US doesn’t mean we shouldn’t punish other offenders.
I still have one of his books on the shelf "Foundation ActionScript Animation: Making Things Move!". Lots of great explainations on the math behind animation and its easy to ignore the Flash specific stuff.

https://www.amazon.com.au/Foundation-ActionScript-Animation-...

Another good book (if that's still anyone's thing) on tweening is the freely available part Dynamic Visuals of Robert Penner's book Programming Macromedia Flash:

http://robertpenner.com/easing/penner_chapter7_tweening.pdf

http://robertpenner.com/easing/
I think all these modern societies are finding out that you need to make civil life about more than just extracting the maximum effort from people for the least possible compensation. If that's the way things are set up, then it's only a matter of time before the machinery of the economy leaves no space for everyday life to occur.
The reason people do this, by the way, is because it's common if you're hosting via CF to whitelist their IPs and block the rest. This allows their SYN flood to bypass that.
I love my goretex converse high tops
Current economic trends are a sneak peak - inflation - money being paid out for obligations (gov. bonds -> pension funds) - not enough goods and people to cover the demand.

Only much worse because the trend is increasing on both sides - old people being kept alive with expensive treatments, dropping population of working people.
> Cities have been places where people come to work, live, and die without continuing their line for millennia.

Has it? Interesting. I didn't know what.

> But I would be wary of drawing any conclusions for future voting patterns from current demographic trends. Politics and the trends can change in mere months or years, the impact of the trends on politics takes decades to emerge.

Can you explain more?
True, but if you ask a genuine question and get downvotes, what are you supposed to infer from that?

Yes it may be bad form to mention your own score, but it's equally bad form to downvote for asking a question, or read into a question something that wasn't said which may require a down vote.

Why don't you take the time to answer the parents question rather than downvote them for querying why their question got downvotes?

If there's anywhere that appreciates the gaining of knowledge on the internet, surely hn must be one of the top candidates. So why downvote questions? And yes it's happened to me multiple times, and it's bloody annoying. Doubly so because you know if you try to clarify you'll get someone downvoting you because why? I don't know. Because that would be 'bad form'? BS.

/Rant
I’m sure you personally do, but I’ve noticed that many English speakers pronounce it without the “sh” sound in the middle.
In CS101 our final was to build a sudoku solver in C++. I think the best student time was a minute.

At the end of the semester I went to the professor’s office to ask about optimizations that could’ve been made and he showed me a bash one-liner that solved a sudoku in under a second. I wish I remembered what the one liner was!
Yes, but for my part I still thought that bit went over the top.

(Still, Kubrick was my fave director. Can't win 'em all.)
Worker shares hack to never going idle on Microsoft Teams
Mltshp makes “substantial” offer to buy Twitter
Actual text from the tweeted image: MLTSHP MAKES SUBSTANTIAL OFFER TO BUY TWITTER

VIA SLACK, November 23, 2022 FDPNewswire -- MLTSHP.com (DSNY:MLTYSHPPY), a loosely-organized collection of nerds who like posting pictures on the Internet, today has announced its interest in acquiring Twitter (formerly NYSE:TWTR), or the ruins of what was formerly understood to be Twitter, in a tender offer valued at least $10.00, but possibly more.

MLTSHP is widely known as a tremendous social media success, with a vibrant subscription product, millions of images, a committed community of picture-sharers, and the world’s greatest trove of pictures of Wonder Woman star Lynda Carter, which is normal. It is also one of the main sources of animations of people dancing on Friday, the leader in miscellaneous Batman stuff, with significant holdings in woodcuts of chickens, raccoon-related art, cat pics, people’s electricity bills, and occasional tasteful boobies (both nippled and feathered).

“In contrast to MLTSHP, Twitter is a burning pit of racist bots, populated by the worst and most exhausting people to have lived,” said Dr. Dick Butt, SVP of Animated GIFs for MLTSHP. “So $10 might seem like a lot after what the new Twitter leadership has done — but we believe it to be a fair price that acknowledges the $43,999,999,990.00 in lost value, while also offering significant upside to the investors. They can get out of this disaster without going to jail.”

The transaction will be contingent on the resignation of Elon Musk, the current CEO of Twitter. “Twitter is obviously a major distraction to Mr. Musk, who would prefer to focus his energy on getting his weird buttocks smooched by @BongEagle1776 and launching rockets,” said MLTSHP CEO Fipi Lele. “We have a proven record of taking websites that are annoying to their founders and relaunching them under the guidance of a robust steering committee. And no one on our steering council has ever asked for tugjobs on a private jet then tried to buy off the woman with a horse.”

“We’re ready to go. Our team have been moderators and site builders forever,” said the mod council, a shadowy group of librarians and XML markup types who meet on Slack. “The MLTSHP plan for Twitter consists of one large 12-MB animated GIF of a broccoli-eating hamster wearing a little hat, and it’s really great, and we can’t wait to share it. We swear to the gods we could do better. We may be smol but we are mighty.”

“I can think of no better outcome for Twitter than an immediate MLTSHP takeover,” said Dog, one of MLTSHP’s most significant community members, when he was reached via telephone. “This,” he concluded, “is Dog.”
Please, read again what i said, and my other comments
you inferred wrong conclusions about my position
It's very simplistic. At the end of the day it is all about productivity.

If 1 person (augmented with AI) can be 5x productive then you can easily support aging population.

At the end of the day, population needs goods and services (not money) to improve their standard of living.
One of the biggest benefits of k8s is that you can easily mix in pools of different hardware types without a “rebuild”.

Something to try in scenarios like this is to add the “weird and wonderful” VM SKUs that are less popular and may still have capacity remaining.

For example, the HPC series like HBv2 or HBv3. Also try Lsv3 or Lasv3.

Sure they’re a bit more expensive, but you only have use them until April.
A perfectly fine forest plant in other areas. Native from extensive areas in Eurasia

Alliaria is not particularly invasive here and nurtures the caterpillars of some nice butterflies. I like it, but I understand how can be problematic in US. People suffering from asthma could find it useful.
> To deconstruct the social relation as such, one would need to catalog federal, state, and local code to identify which clauses establish houses, apartments, condos, etc as private property and remove them

So if I purchased or built a house with my work, then it is not longer mine?

> If this sounds terrible to you, please refer to the first clause of this comment.

Which is "Ignoring all other factors, it's quite easy"

Exactly, this works only in imagination land.

Thanks for ignoring my links to CCP China where they exactly followed what you prescribed and ended up killing landlords.

Summarizing, there is a problem X (= housing), scientists say solution is Y (= more supply). But common folks say solution is Z (= confiscation of other's labor and property).

Z has been attempted in other societies for X and always resulted in bloodshed. I ask how can this not happen again if we follow Z and I get a response that is just a slightly more detailed plan for Z.
http://archive.today/qdS3l
40k takes a lot of inspiration from older scifi works, generally making it more grimdark and turning it up to 11. Especially older 40k lore has this a lot, when budgets were a lot smaller and the lore was a lot less developed. Generally, if it was cool and/or grimdark it could get a place somewhere in the vast 40k galaxy.

Space marines have been a staple of the genre since forever, titans come straight out of anime, starch cubes are quite literally soylent green (it's even given a wink in Necromunda, being called "Soylent Viridian") and of course the God Emperor was there first in the Dune series.
I think the post is a bit misleading (e.g. "for everybody" makes it sound like "everybody" can do something about this right now), but I think this comment misses the point of the protocol.

This is (I think) supposed to be a shared language between note-taking apps (and eventually others that include "thoughts" I presume). The hopes are that it does "affect everybody," but it is not something that can "affect everybody" without "apps" speaking in this shared language.

If you are not somebody who works on these kinds of things, then yea, probably useless to you for now. I think the author wants interoperability at the "thought" level between apps that support users inputting their ideas.
I fundamentally believe that markets do not function correctly for goods with inelastic demand and have a lower bound that when crossed result in a loss of human dignity. I'm not sure there is a way to convince me otherwise. This seems to be a core way in which I process the world and relate to other humans. Changing this would mean that I would relate to people as a means rather than an end and I don't have a way to operate ethically in that world.
Well, I'd personally at least find some hilarity in being a Twitter engineer fired by one of those 10x Tesla engineers while they're publishing their .gitignore files via HTTPS (which probably means that their Nginx configuration is fucked).
The point I was probably trying to make is that I suspect that the author of this study and the accompanying article probably has a particular political axe to grind. That's mostly just conjecture, though.

Moral panics are nothing new, and (self-)censorship is nothing new either.

I think it's naive to think that conservatives have "gotten over" gay marriage, or gay rights more broadly, especially given how recent progress has been in those areas, and how much opposition remains to things like trans rights. I personally have a number of queer friends who are estranged from their families because they're queer, and those families usually aren't particularly progressive, as far as I know.
South Koreans are richer than ever, so if that's the problem why aren't they having more kids?

> due to low income, lack of savings, job insecurity, weak familial ties, etc

Almost every couple I know who is not having kids makes good $$. It's my friends who make less and are more working class (and work longer hours at that) are the ones having kids. So that sounds like the opposite of what you're suggesting.
> This shows that the teams in charge of website code deployment have relatively weak quality control.

FTFY. Little of Tesla's software is whatever they're using on the website. That'd be like judging Apple OS software by their website source.
I think you're very confused about how development in cities works. It's the parking requirements, large lot requirements, large size requirements etc., plus the general absurd difficulty of getting any kind of permit to build anything anywhere, that makes housing so expensive in the first place.

If we took a pro-development attitude and made it easy to build everything by relaxing requirements, the market would respond with a much broader variety of housing options, including some large family-oriented spaces but also a lot of small single-person oriented spaces.

As you say "housing should be a bad investment," I think that's true to a degree, but the best way to make that happen is to relax the rules and make it an extremely competitive market with abundant supply. Then the price of housing would be mostly determined by the cost of construction, which would be much cheaper than the current market where prices are driven by scarcity to societally damaging heights.
Excuse me what? Is this legit? It makes no sense to me. Why would they buy a football team?
> The US DOD have built a COBOL to Java transpile

I think it would be a hard challenge to create such a beast,
But did they also have to create a huge framework around it
so that the Java could could interact with the same environment
as the COBOL code?

That seems like a hard challenge as well.
There was high inflation in times of great population growth, 70s-80s
> Living in a tiny apartment in a questionable neighborhood makes people say later

I think people had more kids in far worse conditions than this in the past. So it's not unthinkable. But I think what we're seeing is a decline in living standards in relative terms. People want their kids to have a life at least as good as their own childhood and that's becoming out of reach for many as housing, healthcare, and education become unaffordable.
This. I’m super annoyed that countries consider depopulating as a catastrophe. Instead of immediately encouraging repopulation AND trying to deal with the climate catastrophe, why don’t we accept depopulation as a benefit and put much less pressure on the climate?

In 1990, CO2 emissions equated CO2 absorption by trees. All the goals about CO2 are about coming back to 1990 levels (minus the surplus). So 1990 levels of population is what we should aim for. If a country depopulates, let’s not increase births.
Sorry, I think I had misinterpreted your point.

So you're saying that there are only 2 options:

1. You either simulate running the program step-by-step (which has an extreme time complexity problem).

2. Or, you try to analyze it within some system of logic. But if you do so, then there are things that you can't prove because logic itself can't prove certain statements.

This is an interesting argument. But I think point 1 sort of disproves point 2.

Point 1 means that you can always analyze such programs, it's just that it might take a really long time to achieve that.

So I think point 2 is not valid in this specific context. Because you can always prove whatever you want (given that when you simulate running a program, you are necessarily doing it within a system of logic), it's just that we don't know how long that could take in theory (of course, in practice, it's currently intractable).

So if you can always prove whatever you want, that means Godel's results about the undecidability of certain statements don't apply when analyzing finite-state computation systems, only infinite ones.
What really ticks me off are all these sites clearly scraping content from Stack Overflow that somehow end up near the top of the search results. How is there not an automated fix for this. Lemme help you out with this Googlers: If site content A == site content B, pagerank = -1.
An early look at Thanksgiving 2022 Internet trends
Sampling bias: those that respond to polls.
I could. But we are talking about one of the worlds largest social media platforms used by hundreds of millions of people daily. There’s legit websites hosted on these free domains and I don’t want to kill those along with the scam sites. I’ve mostly got the scam sites blocked at this point though. Just took me a week or so to adapt.
The article doesn't mention (other than a brief nod to the brand) the other massive use of PTFE, none sticks surfaces originally under the Teflon brand, most commonly found on cookware. It truly is a "magic" material.

Teflon and other PTFE based none stick surfaces are now really quite controversial due to the toxic gasses they can give off of you heat them too high. And the manufacturing processes is potentially linked to a higher risk of cancer for workers.

The industry is now moving away from PTFE to other materials for none stick surfaces, however although they proclaim these are "safe", they have been studied far less. I believe some evidence is indicative of them also having serious issues.
No, it didn't. Having lots of babies is terrible for all sorts of reasons, and generally holds poor countries back and keeps them poor. Much like with money inflation, a human inflation target of 2% seems wise. Higher or lower than that leads to trouble.
I do lucid dreaming, mostly when I wake up one or two hours before I intended. It's often the most pressing things on your mind, and it seems like a weird oscillation between being awake and asleep (I sometime achieve the same state when falling asleep with stimuli like having the TV and the lights on). It feels like your unconscious create a world using the figments of the things on your mind. And you're just a character experiencing the unfolding events. Then your conscious thought emerges and notices the irregularities and tries to fix them. I'm a visual person, so for me the “edits” feels like what you see on TV when altering time. Until you got tired again, and things go back to the first state.

The peculiar thing is that you do not question the constructed reality and try to wake up. You just feel that you can alter it, and indeed do so. I'd like to have a scan of my cerebral activity because I often wake up very mentally tired after such sessions.
Most research I've seen indicates that human population will likely max out at 12 billion and then decline until it reaches a stable level. Except for a few fringe Malthusians, that is.

The problem with population decline is that most countries are built around the naive assumption of perpetual growth, especially when it comes to social security and welfare systems. Of course most of this can easily be fixed by raising taxes but that would fly in the face of the general trend to give tax breaks to higher incomes, abolish wealth taxes and prefer flat tax rates over progressive ones to prevent "wealth flight".
Side note: If you want to teach your kid (age 3+) to read, with the assumed prerequisite that you read lots of books aloud together and the kid wants to learn, let me recommend Bloomfield’s book Let's Read from the 1960s, about which you can see tokenadult’s recommendation here: https://news.ycombinator.com/item?id=4665466

The book is organized so that in the first ~100 lessons only one new spelling–sound association is introduced per lesson and all words use strictly regular spellings. Lessons have (initially somewhat stilted and then gradually more natural) sentences constructed from previously seen words, so that there is a natural spaced repetition built in. This is much more efficient than most reading curricula, because despite many exceptions English is at its core a phonetic system.

It takes about 10–20 minutes per "lesson", you can do maybe 2–14 lessons per week (we aim for about 1/day), and there are ~250 lessons, so overall it ends up taking about 6–18 months from start to finish, maybe 50–100 hours in total. Afterwards, your kid will be ready to read pretty well anything they can understand, and after a further year or two of practice (reading whatever kind of material they want) will be a strong and fluent reader.

Only real prerequisites are that the kid is interested and can sit still for 10+ minutes at a time, can recognize the letters of the alphabet, and can more-or-less make all of the sounds of spoken English.
You can have inflation for various reasons - labor shortage is one of them.
I have a hard time rectifying the idea that Korea's economy is highly state managed and largely operated by monopolies with a society "so efficient and competitive" that people are opting out of humanity in order to compete and store money.

I almost think you have it entirely backwards. In a society where competition and choice is so severely limited you see people adopt these strategies because there is far less room to make a mistake or to engage with economically sub optimal decisions like having a child.

I think you're seeing this effect creep into the US as well, as we've allowed more mergers and acquisitions financed by cheap interest from the Fed that people are effectively feeling this same squeeze here. Plus, I don't think people are at all effectively factoring in the consequences of the lock downs and crash of small businesses that were associated with it.

This is a government monopoly problem, not a lazy population problem.
Explain? Have you missed all of the enthusiasm around "Tools For Thought" and the lack of interoperability between those tools?