skysight-inc/HackerNews huggingface dataset:
The Tortoise and Hare algorithm is a generic Halting analyzer which works for all finite-state machines, it always halts, it always correctly tells you whether the input program halts or not (as long you give it enough memory), and it is literally 18 lines of code.

If the program P, which is the program being analyzed, uses at most N bytes of memory, then the Tortoise and Hare algorithm will always successfully determine whether P halts or not, if you give it 2*N bytes of memory.

Specifically, if you run "QQ" with the Tortoise and Hare algorithm, you have 2 options:

1) If you give it a finite amount of memory (i.e. if you run it on a computer or some other kind of deterministic finite-state machine), then it will not do what you think it does.

This is because the Tortoise and Hare algorithm, when applied to itself and having a finite memory limit, would exit unsuccessfully due to running out of memory, which would tell you nothing about whether it halts or not.

2) If you would analyze what it does on a Turing machine (i.e. an imaginary machine with infinite memory), then it would never halt, because it would always be trying to use more memory.

I don't know if you realize this, but the underlying issue is that a Halting analyzer always needs to use more memory to analyze an input program than the amount of memory that the input program uses.

Which means, of course, that when you apply the Halting analyzer to itself, it would need to use infinite memory in order to finish successfully, which is impossible.

This is why the Halting problem is undecidable when programs are allowed to use infinite memory: because the Halting analyzer uses more memory than the input program.

It is also why the Halting problem is decidable for finite-state machines.
Yes, I'm advertising. Be kind chaps we just started a month ago :) we need the visibility!
Ah, yes. Another classic.
Now we just need an Android version of this!
There are a couple incorrect assumptions in this.

First and foremost, this discussion doesn't always mean 4x8 hour days, it could very well mean 4x10. Same number of hours, in fewer days. By your admission this should be the same amount of productivity, however you define that.

You're also admitting it's reductio ad absurdum, so why not just stop with that? Clearly there is some maximal point of work-per-unit-of-time (e.g. productivity). 0 hours of work will be 0 production by definition, and 40 is whatever it is now, P. Who's to say that 38 hours instead of 40 wouldn't be 1.01P? Who's to say that 45 hours wouldn't be 0.9P? Being so against these types of experiments presupposes that we've magically landed on the 40 hour work week and it just so happens to be the maximal point of productivity. The odds of that being that case are pretty small.

> Are there any actual evidence that that optimum middle ground is 4 days and not 3, or 5?

Maybe that's the whole point of doing things like this? You don't get evidence like this in a lab or in a thought experiment, you get it by having companies try this out and see what happens to their revenue, their worker retention, their customer base, etc. Maybe 32 hours a week will result in less total revenue but a wildly loyal employee and customer base, that could be translated into a larger business in the long term even with higher per capita expense?

> What I find much more interesting is switching from a 7 day week to something else entirely, for example working on: Monday, Tuesday, Wednesday is free, Thursday, Friday, Saturday, Sunday is free. I can see how that might result in people being more productive, as they still work the same amount of hours, but they don't get as exhausted as before.

This is still a 7 day week you're just broken up the weekend. I'm not sure how that results in people "not as exhausted."
Can't speak for the author but I believe 'phi nodes' map to 'join points' in function land:

https://www.microsoft.com/en-us/research/publication/compili...
It would be nice if you could see how fast each galaxy is moving and in what direction.
I’ve read a million blog posts with useful mental frameworks. Finding a way to apply what I’ve read to real situations in my life is an ongoing struggle.
I've been here all the time, but it is hard to keep talking when you are shouted down by all the people who bought into crypto late and are trying to pump it higher.

The last few comments I made on it.

https://news.ycombinator.com/item?id=29830090

https://news.ycombinator.com/item?id=21541591

https://news.ycombinator.com/item?id=21542591
The cool part for me was realizing that the three WAAS satellites not only broadcast the correction signals but also act as position / constellation satellites! This adds an additional 2-3 satellites to the "currently visible" mix and helps ensure high availability location data at all times over the continental US.
Somewhat unrelated but does anyone know how this website was made?
I like the layout and have been wanting to start a blog for some time, this looks perfect.
How common are protests in China?
No company is measuring hourly productivity, especially in anything beyond the lowest levels.
That analogy only works if milk is the only useful thing in the entire supermarket
> We're also perpetuating values like fierce independence.

I keep seeing this said, but I don’t see it. What are the examples?
I spent a few years in the US, and this struck me so hard. It's really difficult to even explain. You know how see something like cows being sacred in parts of India, and we can't even get our heads around it? I feel exactly the same confusion when I see how sacred cars are in the US. People will fight against designing infrastructure around people, to appease their cars. Jaywalking is a crime, because it offends the cars. Public transport is a dirty word, because it offends the cars. And if you ask anyone to even imagine any other way - at best they'll patronisingly explain that you just don't understand their religion. More often they'll get hugely defensive of it. Most people won't even entertain the thought exercise.

I half get the impression the US would be a happier place if you'd give up the charade and just let the cars vote instead.
> Defederation: A server can decide to never communicate with some other specific server. Your vegan community server could decide not to federate with the safari hunter community server, because of the clash of interests. That’s good, it helps focus you on what you want to see and keeps communities cohesive. It gives server admins a giant kill switch to keep their servers safe.

Server admins, X have two switches for defederation another server Y:

1. X silences Y: posts from X aren't visible on X's public timelines.
2. X blocks Y: users on X are unable to follow users from Y.

I see how silencing can be seen as keeping users safe. Unsuspecting users of X might not want to see messages from Y.

I don't see how blocking for content moderation is reasonable: users of X have to opt in to users of Y to see their content anyway.
I suspect some of the gains found in the trial companies will be short-lived if /all/ companies transition to a four day week.

At the moment, trial companies offer a rare and coveted perk. They’ll attract a large pool of candidates for their roles, and they’ll choose the best. Generally speaking, the best from a larger pool are better than the best from a smaller pool.

Trial companies will also retain their staff more easily. Four day week employers are hard to find, so no one would want to give up such a rare perk.

But the playing field levels off when all companies offer this perk.

So I’d be suspicious of the results of this trial. I don’t think four day week companies will enjoy the same success forever.
> modern CPUs pipeline this shit

Quite. In practice, a high-performance processor today, either stack or register, will internally have little resemblance to the presented instruction set. The stack will become a huge array of registers that are the inputs and outputs to various computation units, and they will be tracked and renamed as necessary to align with the various slots in the stack, rather than actually moving things around on the stack. Just as the integer register file on a register machine, becomes a huge array of registers that are renamed as necessary. Any difference between them, in terms of hardware implementation, has largely disappeared over the last couple decades.
Its called Newpipe
> What you're really saying is that whoever has the loudest voice backed by the most money gets claim over the name, regardless of who had claim to it first.

No, I’m saying that nobody has “claim over the name”. Naming collisions happen all the time, and I don’t know why we get so bent out of shape about it. There are two multibillion-dollar software companies called Epic. There are a million businesses called AAA. I’ve been to three different breakfast restaurants called Sunrise.
In any case, when the browser decides that it has to move something and you click, then the browser should remember the state of the screen say 100ms ago, and use that to determine what you wanted to click on.
It goes beyond just feeds
Why? Other than 5x6 is less than 4x8.
I imagine the same analysis can be performed on other networks like reddit, twitter, github, linkedin etc to find matches amongst them all, [deleted] is a signal as well. If there’s a strong match across one or more of those and a deleted one here, or vice verse to rule out possible matches, and the others are not anonymized [well enough], then it could probably deanonymonize quite a few deleted accounts here.

I’m sure something like this is available to recruiters or other HR/business admin, I remember seeing browser extensions/SaaSes years ago that were trying to tie together social media identities.
Turn it into compost or leave a bucket of grounds outside long enough and you'll end up with a hearty colony of black soldier fly larvae that will consume up to 5lbs of grounds and organic matter per day.

BSF are fascinating, they prevent deadly pathogens reduce the volume of organic waste quickly and actually produce insect frass more nutrient dense than worm castings. Amazing little creatures!
Agreed. I'm surprised you have not seen this before, though. This is pretty much how most of the orgs I've been part of have operated. Product owns the "what", and engineering owns the "how" and "when". If "when" becomes immovable due to externalities, "what" is negotiated. Some times, eager engineers will say yes to "what" and "when" , and "how" suffers (quality). Some times product defines "what" so badly, both "how" and "when" suffer.
I think the "unpopular opinion" you are responding to is making the argument that if you don't want to engage in "mandatory fun", just quit and get a new job.

I don't necessarily 100% agree with that opinion (I'm glad there is recourse against sexual harassment in the workplace), and I have a ton of sympathy for employees in more coercive job environments where there are few jobs and it's difficult to just quit and get another one. In this case, though, I highly doubt "Cubik Partners" is the pinnacle of consulting in Paris. If it were me, I would have said "fuck these guys" and peaced out.
I don't know if you're aware of it, but your framing is uncomfortably close to the North Korean diplomatic position, where it pretends that it's a matter to be settled between NK and the US, and any other countries are bystanders. Conspicuously absent is yet another country that will be directly affected by any conflict. Where do you propose the South Korean military conduct its joint military exercise to defend itself from North Korea? Texas?

(Of course, the official North Korean propaganda is that South Korea doesn't matter, because it's merely a colony of Imperialist America, to be liberated by our brave northern brothers. How nice of them.)

> the exercises have been going on since 1997.

North Korea has been caught developing nuclear weapons as early as 1992, which led to it threatening to withdraw from NPT in 1993. It's a shitty situation with decades of history, and you could easily find plenty of things to blame on both sides. But interpreting it as the US threatening to invade NK is a pretty biased take.
The opposite of random may be a better starting point.
RNA we think of mainly functions a message from DNA to build protein.
but it is not too shocking there are other "messages" or conveniently shaped molecules to aid or inhibit existing cellular processes.

Yet another reason the word "gene" is unsafe to use except in reference to a heritable trait.
You may also like this one (from https://twitter.com/mathiasverraes/status/632260618599403520):

There are only two hard problems in distributed systems: 2. Exactly-once delivery 1. Guaranteed order of messages 2. Exactly-once delivery
it uses yt_dlp under the hood to save video afair
for me, it was just eating rich flavorful foods that also happen to be healthy

what i did was cook for myself so i can reduce vegetable oils, salts, artificial flavorings etc, then cook things like fresh tomato sauces with fresh basil/oregano, fresh fish cooked slowly in plum sauce, chana masala curries with low sodium and delicious spices etc etc

once you get used to healthy, satisfying and flavorful "good" food, carbs, salt, oil and junk food cravings faded away and buying snacks after that was just not satisfying at all...

n=1 and all that, but that was my experience fwiw
Atari 50: The Anniversary Celebration Launch Trailer
Built in but I don't find it reliable, I instead opt for yt-dlp.
I would encourage anybody interested in this sort of thing to search for yt-dlp, which is a fork and continuation of the YouTube-dl project.

CLI tool to download and mirror YouTube videos and audio to local disk.
Right-click -> Show source
You are right that I should not have singled out fast food. Included would be grain based desserts, soda, alcohol and maybe others. Grain based desserts and soda together make up 12% of caloric intake alone[0] and serve almost no nutritional value while providing little satiety.

Another point, while I did say that "The entire point of those ads to get people to eat fast food" what I really meant is that they make people want to eat in general[note 1]. What this means is that fast food ads can be harmful even if they do not cause the viewer to buy fast food. What this does is contribute to a culture of consumption which is part of what I meant when I said "The only way to solve this problem for the whole population [...] is to change society and how it views unhealthy food." I did not mention sit down restaurants because they generaly do not advertise. My suggestion was "off the top of my head" and not fully thought out. I'm glad you made your comment because I did not express my reasoning clearly.

[0]https://epi.grants.cancer.gov/diet/foodsources/top-food-sour... page 77

[note 1] That is, the "point" of the fast food ads collectivly are to generate a demand for fast food from the point of view of the advertisers, but the effect, while more pronounced for fast food, generates a general demand for caloric intake.
Nope. No ads as in no sponsor ads either. You cant replicate that with an adblocker.
Also it prevents youtube from making a profile out of what you consume.
Oh, please. This is such a dismissive, bad faith statement it should be deleted. Nobody at the NYT "loathes" the "average" American. They do not get sexually aroused when reporting tragedy. Be a better person.
yes they have compatible json exports
I think seven days a week would be more productive, but it's culturally impossible in the West (thank God).
> How many RV disposals are nearby? Do they have the necessary volume? Will anyone pack up their entire permanent home once a week to tow it to the dump station?

Those are great questions! And those are the questions the local government should be asking, and working with those folks to solve waste management issues, not prevent them from living a certain way. House more, not less?

> prohibiting storage of an empty RV on an otherwise empty plot of land prevents people from bouncing back and forth between two permanent RVs on two different plots of land...

It prevents that (which I would argue is problematic because it sounds classist? - again, house more, not less!), but it also prevents someone from just storing an RV on a plot of land they own.

> Composting is not sufficient to destroy human pathogens.

The studies aggregated in the Humanure Handbook suggest otherwise?: https://weblife.org/humanure/references.html

Here is a link to just 1 study outside those references: https://www.researchgate.net/publication/288724214_A_pilot_s... (there are better links than this particular one, no time to dig up more ATM)

The thing about composting..it's a system, just like septic, just like centralized waste management. Things can go wrong. And it is legal in some places (which suggests efficacy), but not accepted as a "primary" system where I live (or in the SLV to my knowledge), which I take issue with given that the current legal primary systems are not always sufficient to destroy human pathogens in practice (either because the systems lack capacity, aren't properly maintained, or both). Flush toilet waste management overflows into the local water systems when it rains or is over capacity. Septic systems also do environmental damage since a lot of them are not maintained (need a source, there was a book recently that came out). Septic systems are also not inspected by the government after they are built where I live (they tried to charge residents for inspections at one point and they said no).
https://andreyorst.gitlab.io/posts/2022-02-22-new-look/

TLDR: Hugo + Rocinante theme (https://github.com/mavidser/hugo-rocinante)
Users are spending more time in the Start Menu, and visit Bing more often: engagement metrics are up!
I suspect this is overblown. In the Appalachias for example everyone seems to live to a 100 with no 'infrastructure.'
I used to use

xterm -fn r24 &

to get a larger font on some Unix and IIRC Linux systems a while ago. Good memories of doing a lot of fun command-line stuff, including Unix command usage, writing shell scripts a la the examples in The Unix Programming Environment book, and also writing many command-line utilities in C, and later, in Python ... :)
Why human beings should stay off Mars
Burner accounts. Anonymity
I'll add that reducing sugar, sweet fruits, intermittent fasting (8 hour feeding window) and daily walks made a big difference for a couple of South Asian senior citizens I personally know. They still eat bread and rice and potatoes and consume dairy - but even their relatively modest change in lifestyle has made a big difference.
Private from youtube as in you do not need a Google account
Steam does this to me. Some games use an Invite button to open a special steam invite menu. This shows all my friends with an invite button next to them. It also insists on dynamically sorting the list based on the person's current status (ex. Starting/stopping a game). So if I hover over the invite button for someone, and someone higher than them in the list moves lower (or vice versa) right before I click, suddenly I'm inviting whoever happened to be adjacent to them in the list. This has only led to an awkward "actually I didn't mean to invite you" conversation once.
Lanier mentions Russia and China.

I think it's fair to also mention both the NSA (USA) and GCHQ (UK) has departments fully dedicated to online psyops.

In fact, GCHQs top secret - at the time - psyops department called JTRIG has been fully exposed by Glenn Greenwald at his time at The Intercept using documents exfiltrated by Edward Snowden:

https://theintercept.com/2014/02/24/jtrig-manipulation/

Since then it is an open secret JTRIG works domestically (in the West) and has for example succesfully infiltrated the Anonymous collective:

https://www.dailydot.com/debug/snowden-anonymous-jtrig-gchq-...
ArgumentListTooLong
I was with you till you asserted we only speak a dozen languages.
Well for one, I think it's the first time that "It's better to die alone than to settle for someone who isn't ideal' is commonly agreed with. People feel they shouldn't waste their time, they will only sacrifice for a relationship with someone amazing. There was once a time this was seen as selfish. It still is in a lot of places, in fact.
It's probably a commentary on the idea that the tapered male diameter is its max diameter(?), versus straight is throughout.

Consequently, a tapered male will fully screw into a straight female, albeit with gaps between the threads at the deep end of the socket.

Whereas a straight male will at most only screw the first few threads into a tapered female, leaving most of the male hanging out.
Good old snoopy :)
Recently there was a post on hn by someone who allegedly worked for Tesla before Elon musk was mega famous and this person makes two points:

1- a huge amount of Tesla culture was knowing how to manage Elon musk's stupid ideas and impulses.

2- Twitter doesn't have this culture so we're about to see what happens when Elon musk is surrounded by people who just take him at face value.

My thought at the time was: hold on, isn't that precisely how the entire planet (minus Tesla, apparently) sees him? Everyone seems to take him at face value and by know we've seen the pattern of how that pans out.
The signal desktop app does that. I often open it to read a message I just received. But by the time I click on the top contact it is replaced by an update signal button. Very frustrating.
whirlpool.net.au is so fast here in AU sometimes I refresh and I'm not sure it did anything.
Show HN: Visualizing the group stage of the 2022 FIFA World Cup
This is a visualization we created for a blog post back in 2018 and decided to resurrect for 2022.

You can see at a glance a bunch of information about the progress of each group - the result of each match that has been played, the status of each team, and how many matches have been played.

I like to think this would get a good data-ink score from Edward Tufte.
I think this is no worse than using unicast IPs - they can probably reuse the same firewall technology to guard against attacks as before.
The combining characters could be eliminated only if Unicode would include all their combinations with alphabetic characters that have ever been used in the writing of various languages, which Unicode does not.

Moreover, most typefaces do not even include many of the precomposed combinations that are included in Unicode, so even the rendering of the precomposed Unicode characters may need to use the combining characters from the typeface.

Unfortunately most computer applications have always been plagued with various problems caused by the fact that English happens to be one of the few languages that does not use diacritic signs, so the English speakers have always neglected them, while for most other languages they are absolutely essential.

It is impractical to include in Unicode all possible combinations. Many combinations have become obsolete, due to changes in orthography, but they are still needed in Unicode, for the encoding of old texts, which used different orthographic rules.

A simpler Unicode would have been if it would not have included any precomposed combinations of alphabetic characters and diacritic signs, but only the combining characters.

Unfortunately Unicode has adopted the principle to include all the character sets of the previous standards as they were, without changes, and that has forced the inclusion of many combinations as distinct Unicode code points.

While removing all the precomposed combinations would be possible, removing the combining characters is impossible in a character set that may be used for the non-English languages.
"I open sourced some internal project, it has no adoption and no mindshare and no plan to achieve either of these things" isn't going to make for a successful promo.

"Hey I built a thing, let's toss it over the wall but let people know what not to expect" is a perfectly fine thing for anybody to do.