skysight-inc/HackerNews huggingface dataset:
The halting problem is intractable only with infinite memory (infinite tape for turing machines).

Our current computers all have finite memory and so a trivial algorithm can tell if a real program on a real computer will halt (terminate) or not.

Of course the trivial algorithm has huge (but finite) memory requirement :)
"Autonomous" is really a misnomer for driverless cars, especially when they are electric. They all track your location and a bunch of other things.

If electric, you are dependent on a centralized grid operator. It's easy for a totalitarian government to halt all electric cars.

Electric vehicles, while nice, are another step towards centralization. Another loss of freedom and real autonomy.
4chan never died
Rather negative comments ("Sounds like complete BS", "This article is junk", "This is not science") from the earlier link 10 days ago, at https://news.ycombinator.com/item?id=28556033 .
Branching Affects Team Culture (2016)
A soundboard to help parents put their little ones to sleep
Hi Everyone,

Back again with another project, but this time it isn't design or development related. After finding out that my 1st cousin is pregnant I decided to help them by building a soundboard so that they can use white noise to help the baby sleep. This took about 6 hours to build and is made inside of Webflow with the use of custom code and JQuery.

https://sleepy-baby.webflow.io/
lol, when it comes to one tiny change (which is highly unlikely to actually meet any copyright standard) suddenly they really care about credit? What a dick.
Unthinkable in icelandic society or in your own? (I'm assuming you're not icelandic based on the odds)
The comment above is clearly controversial, I can't think of driving at night behind a car and not seeing both rear lights, and usually illuminated license plate and illumination coming from the rear window pane. Overall that gives me a full sense of the width of the car.

The indicator light would be relatively to the left/right of the car, and typically would look like a single bulb due to distance and diffraction.
In Kaizen, if you don't find a problem, there is a problem. Might as well point out the problem.

https://harishsnotebook.wordpress.com/2015/08/16/what-do-you...
Correction : the extradition act was ammended in 1999 to allow the prime minister to stop extradition, but only after the extradite is already brought to trial.
Now imagine you’ve never seen this before and you’re driving in fog so thick that you can only see the light and not the car.
It might be the processing (pasteurization destroys enzymes), try raw ? Also try fermented, it's superior in all aspects (got to like sour taste).
> As for Gitlab & Github; I see no reason for a frontend since they don't hide things behind a login prompt

They do.
Not at the Facebook scale, but they already started moving in that direction: unfolding issues with many comments requires login on GitHub, searching for code too - it does not prompt you to log in, in just brings 0 results to the unlogged
With the current prevailing wisdom being that dairy, salt, steak, etc are bad for you I worry that survey based (e.g. sampling behavior instead of experiment based studies) exposes a huge bias: anyone with poor genes is likely to go to a doctor and modify their diet (well sort of) - the people who are naturally healthy are the least likely you need to modify their diet.

So I'd take these results with a grain of salt.
> At the risk of this being interpreted as trolling; don't we have this, for crucial OS interfaces at least?

For crucial OS interfaces, yes. For the ecosystem of libraries and packages, no. But ultimately Linux is more than just crucial interfaces. The ecosystem of applications and libraries that we need to get anything really useful done does constantly change, and it would be nice if there was a OS + programming language + culture for "forever apps" that are designed to work for centuries without a material risk of an auto-update breaking anything.

Sort of how Rust is designed around safety, that's what would be nice. I know it wouldn't be perfect, for the reasons I listed above, but for the areas where we are at least trying to have things work for good I think it would materially help.
For Rick Deckard a captcha is an existential question
Presumably because you could use your money for something else while you couldn't use your idle CPU time for something else.
It's amazing to me how willing the UK is to be totally complicit and offer assistance to the US in this ongoing effort to deny Assange his human rights.

He's been imprisoned for nearly a decade without trial now.
Guardian: Monitor the Status of a Set of Services
> And accurate representation a good thing

What if all the women decide a particular set of men best represent their values and priorities?

That would be a bad thing?
> not about who has the most stars on GitHub?

It's the Instagram-ification of the open source world. All of the feedback and social signaling mechanisms are there. Likes, stars, followers, and charts of "contributions". It's just an extension of LinkedIn for many people.

Let's not forget the DigitalOcean Hacktoberfest debacle a few years ago. I still stumble upon repos with pull requests that contain nothing more than a single character change to a README. Just for a stupid SWAG t-shirt.
> silly attempt at tit for tat.

Is not who I want designing my self driving car.

What if he decides to prank me by messing with the sensors in my car, like that Reddit admin who secretly edited a user's post?
> Unless erasing the history was done by accident.

It couldn't have been. Forking 'properly' on GitHub is a single click. Doing what they did required cloning, erasing .git, then creating a new repo. The original history (now replaced with colorette's) even had an 'initial commit' by ai.

This was 100% malicious.
Very cool. I really think that prolog's future hinges on its interop with sql.
"Ego" is a very loose term (nowadays).

Freud intended the term "ego" to refer to conscious awareness, basically. Jung used it to mean the focal point of conscious awareness - he treated awareness as being a lot more "smeary" than Freud did.

Western Buddhists use the term to refer to attachment - to the body, emotions, feelings, and the sense of selfhood. I think the closest term might be "atman" - the selfhood that is derived from Vishnu in hindu thinking (I really don't know). Atman sounds like "atmen" - german for breathing. I assume they have the same root. Anyway, the Buddhist notion is a notion of something of which they deny the existence - the term "anatman" refers to the fundamental Buddhist notion that there is no enduring self (or "soul").

I was raised a Christian, and spent a number of decades as a Buddhist; I've never known what the term "soul" was supposed to refer to.
I appreciate that you included the email to dang, but I still can't shake the feeling that this is an ad.
The real solution is to change the rules of the games so that the cheap strategies don't pay. Both in games and business.
Thank you! As an Icelandic guy, we're extremely happy about this :)
Ask HN: How do you do estimates in 2021?
For context, I am a manager at a medium sized enterprise software company, I worked as an engineer for 10+ years and took over managing the team. We have 80+ engineers in the entire org. broken down into smaller teams of 5-10. My team specifically has about 15 engineers broken down into teams of 3-5.
We have a very challenging roadmap and often we end up delivering 20-30% of what's planned for the year. One thing that's often asked is how do we estimate, how do we predict when some feature will be done.
We are close to 20+ years into the usage of Agile methods, there is the school of thought who prefer to use time based estimates, some try story points and then there is the No Estimates movement.
I am trying to see what's considered as a best practice to start something for the team in 2021.
> anyone who denies that is being intellectually dishonest.

Nobody disputes that it can drive fine most of the time on easy roads.
It's not clear to me that an even split among genders in governance is an indicator of gender equality. Wouldn't it be more something like gender non-relevance for governance? If a trait doesn't matter for a given task, you would expect that trait to probably be proportional in the sample as it is in the population.
Getting Started with GitHub Actions with Python
It seems like the answer is almost always yes.
This will suck primarily for cyclists and motorcyclists approaching intersections. Most of the time they won’t be directly behind a vehicle and will instead be off to the left or right and may only see a single side before overtaking a driver.
The title is not very promising (actually, too promising), but the article is worth reading. It's about two new papers about tired light https://en.wikipedia.org/wiki/Tired_light by Paul LaViolette.

This is a quote in the article:

> While Newberg had not studied LaViolette’s recent papers and did not offer direct support or rebuttal of his theory, she noted that it was published in a revered journal and appeared to be scientifically rigorous.

I doubt this new theory is correct, but it's not obvious crackpot material.
In my limited experience, couples create marital loneliness over years via bitter complaints when they should've worked on addressing the issue. Instead of saying "honey I'd really like you to enjoy 24, and could you please let me show you how wonderful that show is", a wife would instead say "You never like any show that I enjoy". And immediately the tension mounts. Instead of saying "honey I know you don't enjoy playing tennis, but how about we find something we both like and we can even get a coach", a husband would simply say nothing and find a bunch of strangers to watch tennis in a bar.

I don't quite understand such behavior, to be honest. We know that we shouldn't bitterly criticize friends, nor should we use absolute words like "never" or "always" on them. We also know that we should find common interests among friends, and it's okay if we occasionally get it wrong, like this one time you took your pacifist friends to a paintball tournament. Then, why can't we treat our spouse, someone we took an oath to spend the rest of our life with, like our friends? We learn how to conduct crucial conversation and nonviolent communication in our job, then why can't we do the same in our home? I puzzles me to no end.
That sounds like a recipe for a funding disaster. The chances that cryptocurrency fad, especially PoW based is remotely as profitable or even operational in 20 years must be in low single digits if even that.
Cryptocurrency is one of the worst techs to be developed in recent years. It essentially monetized the practice of wasting CPU/GPU cycles. This in turn gave new incentives to malware writers, scammers, and generally just greedy opportunistic people to waste CPU/GPU whenever possible and as sneakily as possible...
> Also, my standard rant, ban red turn signals. They should always and forever be amber,

I seem to recall reading amber turn signals are required the EU but not US.
His idea is actually pretty good. At least in France, you can ask to be put on a list to be forbidden from casinos. If you want to get banned from HN, you could probably make a mail explaining your situation.
I guess you reverse engineer all the installation .deb's, install.exe's, and .pkg's.
Twist Biosciences: The DNA API
> On a type-theoretic level, it’s like entering a global async monad, which is roughly the structure that Go and Erlang have.

This is the most concise summary of what Zig actually does! Thank you.

I always felt it was a little off, but it makes sense when you think about it in terms of "Zig makes all of your functions red, even if you don't want them to be."

In fact, in the article linked above, it says this in the FAQ:

> Q: SO I DON’T EVEN HAVE TO THINK ABOUT NORMAL FUNCTIONS VS COROUTINES IN MY LIBRARY?

> No, occasionally you will have to. As an example, if you’re allowing your users to pass to your library function pointers at runtime, you will need to make sure to use the right calling convention based on whether the function is async or not. You normally don’t have to think about it because the compiler is able to do the work for you at compile-time, but that can’t happen for runtime-known values.

So in essence, Zig actually is still colored, but the compiler handles for you what it can.
California desperately needs to reduce the amount of free parking and encourage non-car modes of travel.
Thank you so much for your kind word! Our team is working hardly to provide more quality design resources. keep in touch with us for more resources.
It's a volumetric warfare. Demonstrating that their output is just a rudimentary assembly of stuff that doesn't do what they claim after the fanfare and announcement emails is much more work than it costs them to produce this stuff.
The first backend that I achieved self-hosting of Virgil was the JVM backend. I targeted version 5 classfiles. These classfiles are still accepted by JVMs but there have since been several significant additions to the format. In particular, classfiles are required to have stackmaps, which are pretty much a major distraction for me to add to my backend (so I haven't!).

The second backend that I bootstrapped on was x86-darwin. That worked great for about 7 years, until Apple decided to deprecate first 32-bit, and now, I guess, x86 altogether. Thankfully I ported to x86-linux soon after, as that syscall ABI is solid as a rock.

But you know, things keep changing. To keep up, I finally had to bite the bullet and write an x86-64-linux backend. And I guess at somepoint now arm64 if I ever want to work natively on a mac again.

It's an endless cycle. Thankfully now, emulators are pretty good, but I am still struggling with getting QEMU to run fast on MacOS on the M1, so it's just more futzing with enormous emulation stacks just to run old stuff.
I guess it’s the language maintainers who decide if they want to keep backwards compatibility. And you can’t even say that’s due to language age, necessarily. PHP 8 (Nov 2020) had many breaking changes over past PHP versions and that language is from the mid 1990s. On the other hand, Java also dates to the mid 1990s and code written for Java2 still compiles and executes in Java 17 (2021).
Again, you keep proving my point.

Yes, you are absolutely correct, energy usage is a function of market cap. But my point is that if people actually start using Bitcoin to facilitate transactions (instead of its primary purpose of a speculative asset as it exists today) then its market cap would explode. And again, this has been what Bitcoin proponents have been arguing forever now - that the time to "get in" is now, because once it starts being used for "real commerce", demand will soar.

There is just no getting around the fact that the more "popular" Bitcoin gets ("popularity" eventually has to show up in market cap) that its energy use will grow in lock step.
They're taking a calculated risk for sure and it may pay off. I just fundamentally believe that everyone else on the road should have a say in what self-driving systems are allowed to share the road with them. It's no different than requiring vehicles to have mirrors, brake lights, tires with >2/32" of tread, and everything else that we require to drive on public roads.
The last update to MS-Dos was over twenty years ago. I'm longing for something more than mere backwards compatibility.
These tools should be halfway homes for a decentralized alternative.

For example, when you make an account on Nitter, maybe it lets you post to both Twitter and also to a decentralized protocol at the same time.

Eventually, you can get most of your content straight from the decentralized protocol.
Here is a different question I am curious about.

How do we manage the constantly growing number of laws that have to be passed to manage a state and all the issues that come up?

At some point, you might think that there needs to be a simpler set of higher level principles, but not quite so general as the constitution, to manage what must be tens of thousands of laws. i.e. to say that if the laws follow this set of principles, then their interpretation is clear.

Because as far as I know, our courts are being swamped with cases and under water, every law that's passed opens up a new area of challenge for lawyers to learn/assist/profit from, depending on your perspective, and for people to have to keep track of or somehow find out about.

Is it just a fact of modern life that the more new things we encounter as a society, the more laws we need?

Does anyone else perceive that the growing body of law will at some point become a problem?
I don't care about the turn signals.

The mechanical problems are another story.

I have never met a satisfied Mini owner after 70k.
> Systematic misinformation. Have you compared FoxNews and CNN during the Trump presidency? It's like they were reporting about different planets. One group has a significantly better outcome when it comes to COVID, for example (the motivation behind this is, however, a complete mystery to me).

Agreed. I fear that deeply traumatized people like Tucker Carlson aren't able to care much about people.

https://www.youtube.com/watch?v=9E0NcmcGdSI

https://www.youtube.com/watch?v=rQwP0XRBjq4&t=37s

https://www.youtube.com/watch?v=wzUC4FUTKII

> Have you compared FoxNews and CNN

or is there more? https://www.youtube.com/watch?v=--TsGaNyr0U&t=1785s
It's extremely unlikely that there is a hot market for Etheria tiles where eager buyers are waiting for more tiles to come on the market so they can pay people hundreds of thousands of dollars.

What's likely happening is standard NFT hype: Someone realized that Etheria tiles have a good story (one of the first NFTs) and they're also artificially scarce (because most original users forgot or lost them), so they make for good "NFT sells for $xxx,xxx headlines".

Anyone with an NFT can "sell" it to themselves in a wash trade between two wallets they control, meaning they don't actually spend any money. However, the transaction is recorded online so they can now say their NFT is "worth" the transaction price.

The next step is to flip the NFT to someone else who can be fooled into thinking that it's actually worth that amount due to some organic demand. Be skeptical of every headline about some obscure NFT trading for hundreds of thousands of dollars. It's trivially easy for someone with a lot of crypto to manufacture fake sales and pump up the prices.
And if one tail light isn't working in the dark, or the view of one is obstructed, what then?
Exactly. This is a problem with Tesla, not autonomous vehicles. There are lots of other autonomous vehicles being tested in San Francisco. In fact, it is a pretty popular place to test autonomous vehicles.

Waymo is even offering a self-driving taxi service in San Francisco:
https://arstechnica.com/gadgets/2021/08/waymo-expands-to-san...
I've said this before, so apologies to those who've heard it already, but I believe testing big fast robots in public is irresponsible. These machines have already killed people. We know that human drivers kill and maim tens of thousands of people every year, so it's pretty obvious that robotic drivers will do so too, unless and until they become better drivers than humans. If somebody wanted to let their killer robots move around in public with limited supervision it would be obviously illegal, but somehow dressing up as cars falls into a weird blind spot.

I've encountered at least two major objections:

> Human drivers kill people so it's okay if robot drivers do too.

But is it really okay for human drivers to kill people? Our complacency in the face of automotive mayhem is the result of a deliberate campaign of social engineering: "The Real Reason Jaywalking Is A Crime" (Adam Ruins Everything) https://www.youtube.com/watch?v=vxopfjXkArM

We went from decrying "speed demons" (reckless drivers who hit pedestrians) to victim-blaming "jaywalkers". Now, for example, more Americans have been killed by cars than by all the wars we've fought. (And that's just counting collisions, not deaths from air pollution, etc.)

> The machines will eventually be safer than human drivers (a belief I share) but they need to practice in real world conditions to do it.

So build a model city, populate it with people willing to take the risks, and test them there. (This is setting aside the additional idea of doing extensive modeling in simulated cities.) It would be expensive but it would avoid killing people who haven't e.g. signed a release agreeing to be test dummies in the robot car experiments.

The obvious way to make large, heavy, fast robot cars is to start with small, light, slow robot cars. Imagine a self-driving golf cart covered in nerf (soft foam) that doesn't go faster than about 5mph. There are applications for that and it would be much more difficult for such a robot to injure or kill people.

Going straight for self-driving cars (and can we please call them "auto-autos"?) seems to me to be hubris.
I was just referring to the fact that it is no longer possible to run Firefox on ALSA without PA. And I only mentioned it because it annoys me.
Icoinzzz.pro – просто о криптовалютах
> Most people saw how the sausage was made and decided they still liked sausage.

I'm not sure that's really true. All of the stuff Snowden and Assange leaked was very much down-played by the popular media - it felt like it was very under-reported and even then with a fair bit of bias.

If you ask some people about how they feel now, they'll say that it wouldn't affect them "because they haven't done anything wrong", or "but Assange is a rapist!", or even "that's just movie stuff, conspiracy bullshit".

I really believe that the population at large either don't believe what the CIA are doing, are in denial about it, or just don't care because it largely affects brown people in far off lands.
Look, Regan was a hack, and a criminal but there's no evidence of the CIA selling crack, it's a conspiracy theory. John Kerry in 1986 tried to prove that it happened [1] but the committee never found evidence. They did point to funding of the Contras who in some cares were themselves involved in trafficking, but that's it. There's no solid evidence. You could point to the reporting by the San Jose Mercury, but it's mostly circumstantial.

Now it could be sort of true if you squint and tilt your head, but it's far from conclusive and the narrative of "Reagan selling crack cocaine" is totally unsupported.

[1] https://en.wikipedia.org/wiki/Kerry_Committee_report

edit - I'm more or less an anarchist and think that the state is evil, so a lot of what you're saying fits my priors really well. hat said, I think it's important to come armed with facts when criticizing power and the state. When we make overblown or false statements, it undermines the case.
Hmm... Now where to get trusted code from... And how do I get that on my modern computer again...
> The iPhone 13 is out, and while there's no doubt that the hardware is a step up from the previous incarnation.

> I've watched iOS releases quality slip over the years, and now I'm seeing the same thing happen with Apple's hardware.

So which is it? I get that the release software is buggy which sucks considering the price of the phone, but software is not hardware.
I knew some dodgy things about that guy, but you seem to have more information, care to share? I would be most interested to read it.
Why? Colorette clearly copies that line from nanocolors, no?

And he incorporated it into his benchmark to show that colorette is as fast as nanocolor.

It sounds like an important optimization.

If this wasn't copied, colorette would have been objectively worse than nanocolor.
Worth noting that us humans are also Universe.
So it hasn't only tried all laws of physics, it has written an article which it reads and comments on.
Remembering that we're Universe observing itself, mathematics not only formulates the laws of 'physics' - it's Universe understanding and predicting itself.