skysight-inc/HackerNews huggingface dataset:
How do you get to the underlying issues?

An addiction is a layer of defense. It keeps you distracted from those underlying issues. If you remove part of it, you're not "fixing the problem and patting yourself on the back", you're getting a break from it in order to better look at those underlying issues from a distance.
The halting problem asks, "Is it possible to write a program which correctly outputs YES or NO to the halting question for every possible input which is the code of a program?"

The binary requirement comes from the question, not a failure to think differently. The consequences of binary requirement with completeness (correct output for every input) is the point.

If you modify the question as you suggest, to output UNRESOLVABLE in exactly the cases where the input is a paradox, that doesn't work either. It is not possible to reliably detect every self-referential paradox, for reasons analogous to (but more complicated than) it not being possible to reliably say for every program if it will eventually halt.

Even so, it is possible to write a program which outputs UNRESOLVABLE in cases where that particular implementation of a halt-test program gets stumped and gives up despite there being another correct answer it hasn't found, or when it detects specific patterns. But that's more about hitting arbitrary limits of a particular implementation, so not as interesting theoretically. It is what you'd do in practice, if someone asked you to write a halting detector in the real world.

The halting problem computation model has unlimited memory. Sometimes people say this means you can "solve" the halting problem in practice because real machines have bounded memory, therefore finite states, which must eventually repeat if a program does not halt. But this isn't really a solution, because the halt-test program needs exponentially more memory than the input program would be allowed if run. However you look at it, that is not "in practice", it is prevented by computational inaccessibility, and it also doesn't satisfy the principle of the halting problem, which is to ask if halt-test can be written in the same kind of universal programming system as the programs it analyses. (Besides, you can run programs with unlimited memory, by always being willing to pause, upgrade machine, and resume, whenever current memory is filled.)

When analysed with denotational semantics, there actually is a third output called "bottom" (⊥) which means "mathematical value representing doesn't terminate". But even using mathematical approaches, there is no way to calculate when that's the output for all possible inputs to a correct halt-test function.
There's Pokémon or Big Data: http://pixelastic.github.io/pokemonorbigdata/

And the (original, I think), Pokémon or Tech Term: https://docs.google.com/forms/d/e/1FAIpQLSfsG7AEFLvlW68aIVIs...
Yes, and what other vulnerabilities would be out there? IP6 is something that nearly all machines have, and have enabled, but it is rarely used.
No, I am vegan. It is not just about food, but also believes and social group.

But nobody has a right to harass me, just because they seen me eating meet outside of my social circle!
The simplest explanation is they don’t like hackers after their experience. So they push a bunch of hackers buttons with a last minute notice and prepare the honey pot to pen test their post ransom security posture and maybe in the process they find an amateur to pin it all on.
And, furthermore, piracy isn't stealing. It is a major point here that the initial owner of the thing still possesses the thing.

They're trying to assert some unnatural right of control over what other people do. It isn't even all that clear why this is a good idea. I can see how it makes sense for legislators because of the presumably significant kickbacks they get from lobbyists; but there is a still an open question of whether this is a good system. It looks like it has had a big negative impact on our ability to sustain a shared culture. If people have to buy in to a culture, a bunch of people won't.

People still can't freely distribute Lord of the Rings for example. That isn't helping to get people reading it. J.R.R Tolkien has been dead for a while. Anything less famous than that has little chance to stick.
On the scale of migrations, this is worse than Python 2 to 3 (which was really bad), but better than Perl to Raku (the relevancy is entirely gone).

Perhaps a smaller migration should have been considered first.
> effect 2: the redistributionary effects of the taxes. IE does it harm poor people or not.

The error you're making is in limiting this cost to redistribution between income levels.

Taxes don't redistribute money from the rich to the poor or vice versa. They redistribute money from the public to the government. The government might then use the money to benefit the poor -- or they might not. They could just set the money on fire without changing how much they collect in taxes or from who. They could collect 90% of taxes from the rich and 10% from the poor and then give 100% of the money to the rich.

The reason taxing the poor is worse than taxing the rich is that it causes more harm. The money means more to the poor because it affects whether they starve or can afford rent instead of whether they can invest in some new business venture. That's why I used that example -- it makes the cost much more clear, because you immediately realize that by doing it you're going to cause someone to go without.

But that doesn't mean the cost of taxing the rich is zero. New business ventures have value too -- sometimes quite significant value. So you still don't want to just tax them for no reason, or raise their taxes by an arbitrary amount regardless of whether the government's use for the money is less productive than their own.
Oh lighten up, it's memory safe!
/sic
The issues can be as varied as the individuals.

I think one action is this, talking about it, raising awareness. To some it might be obvious that being glued to a tiny screen to the point that you need to constantly look at it while you're driving is a problem, but in some circles it's normalized.
That's one take. Another is that innovation is driven by money, e.g. seeing an increase in war economies (government spending) or by high income inequality (VC/PE spending.)

Overall, optimism is probably also higher in these situations than others. The question is if the people who are optimistic are also the ones being innovative, or if they're just "rallying the troops." If optimism was itself linked to ability to innovate, you'd expect to see innovation happen regardless of money flows, because those innovating would not have to be paid to do it.

But, I'm pretty sure the space programs of the 1950-1980s were innovative because a few optimistic directors got funding to pay rocket scientists to be innovative. In fact, it's quite possible no rocket would have left Earth if the scientists were optimists.
We have no reason at all to be certain of the latter.
Primarily, it's about public image. It would look idiotic to host this group, regardless of intention. And it's about insurance -- logical or not, their insurer probably insisted they quit inviting DEF CON and associating, in any capacity, with self-identified hackers.
The same thing happened in Minneapolis, along with this:

‘The City Attorney’s Office will stop prosecuting tickets for driving after suspension when the only basis for the suspension was a failure to pay fines or fees and there was no accident or other egregious driving behavior that would impact public safety.’”

As someone who only drives in Minneapolis every few months the change that happened around 2020 was ridiculous. I regularly saw cars doing well over 100 in the city when I had never seen that before.
At least py3 runs on the same hardware.
I wonder if richer areas tax NHS resources less or more. I could see cost-per-patient-per-year being less in affluent areas for a number of reasons
Peripheral vision extends widely outside of the angle that a typical display affords and moving your head enough to see the mirrors in the car will bring a much larger area to the left of you in view. You can't simulate that with a display in front of your head to the degree necessary that it makes up for the losses. I think this idea is a complete non-starter. Note that 'heads up' displays improve safety because you no longer have to change your focus for nearby and far while driving (dashboard dials, navigation, vs what's happening in front of you). This does the exact opposite, it removes your ability to see what is going on and then replaces that with a bunch of bits. You're a software glitch away from an accident and with all respect to my fellow software developers I don't consider any of us competent enough to get that right to the point that you can potentially unleash that onto a billion drivers and not expect utter carnage.
There was a wonderful point made by Gabe Newell a few years ago on this. He said the only thing you need to do to “beat piracy” is provide a better service than piracy offers. And that’s pretty easy, for all manner of reasons. I thought he was way too optimistic at the time - but here I am years later with hundreds of games in my steam library. I haven’t pirated a video game in years.

I think Gabe’s rule is like gravity. It’s inconvenient for space travel, but what are you gonna do? You don’t get to space by complaining about it.

It’s the same in streaming. All the streaming platforms need to do is provide a service that’s better than piracy. And I really do feel for the streaming platforms here. That seems like a hard ask for them. Netflix rarely has content I want to watch any more. Shows I do want to watch are often on a different competing service. And they often remove shows and movies from the platform that I might have otherwise enjoyed. Im not subscribing to multiple streaming platforms at once - that’s ridiculous. I’m not surprised they’re complaining about piracy - they’re rapidly becoming a worse service than piracy and gabe’s law is kicking in for them.

But at the end of the day, like space companies, complain if you want but it’s not my problem to fix. And there are plenty of fixes - make it easy to have a grab bag of streaming services which swaps streaming provider every month. Or give me access to every platform for my $10 and distribute the money based on what I actually watched.

I dunno. Figure it out. Or don’t, and watch piracy eat your lunch. Your call, Netflix.
I think the point is that you can design for peak effectiveness while considering usability, and that makes the tool more effective. There’s a lot more scrutiny on edge cases when designing expert tools.

On “Expert Tools” I’d argue it’s imperative to consider high stress levels interactions, because the outcome outweighs the expert using it.
How to Test an IntelliJ Plugin?
I sunk a decent amount of time into WebAssembly over the past few months (I am the author of "watlings").

From my understanding, there are 3 answers here.

1. Most spaces do not need WASM. You don't necessarily see speed improvements since usually your JS and WASM (in the browser) are compiled into the same thing.

2. WASM is very good at bringing tools to new spaces. The biggest limitation here is in both tooling and education. It is not trivial to compile something like FFMPEG for the browser. Improvements to the WASI standard are helping here.

3. WASM is starting to see use in different spaces. For example, as a containerization format for efficient sandboxing.
They’re wearing jockstraps, which have the affect of a codpiece even when the player eschews the additional protection of the hard insert (aka “cup”).

https://en.wikipedia.org/wiki/Jockstrap
"Party A is only pretending to support your interests, so you should instead vote for the party that openly opposes your interests." If that's the best either party can do, I think we should vote for whichever party is most likely to enable armed rebellion.
> They rotate their content, and presumable the studios pull their content off. If they have movie X today, there's no assurance that it'll be there next week.

That's also why I think piracy will always win, the studios are just too greedy to make it work.

When you do a rug pull on a show just even once, you lost some legal customers forever instantly, those people will have a tainted view of the platform.
They used both (and barrage balloons as well). The space between the ~middle of the English channel and London was divided into "belts", with one type of defense operating in each belt to prevent interference (like flak shooting down your own fighters).

At first the flak guns were located near London (as that was the same flak guns that were protecting London against aircraft). It didn't work so well because it was very hard to hit a fast moving target like the V1, as crews not used to it tended to use too little lead. And even if the V1 was hit, chances were that the wreck would fall down on London anyway. So eventually the flak batteries were moved to the coast, and they got gun-laying radars and proximity fuses which dramatically improved the effectiveness of them.
That's true but my reply was solely to ladzoppelin where they seem to need to have an HDCP-compliant display connected. I was just offering an option besides a 25 ft HDMI cable.
The videos (!!) of Gladys Ingle changing tires on flying planes are incredible [1, 2]. It's almost hard to believe these are real.

She was the fourth woman to earn a pilot's license.

[1] https://en.wikipedia.org/wiki/Gladys_Ingle (see videos)

[2] https://www.youtube.com/watch?v=qW98Ji6hHmY (colorized, restored)
I left mouse on work computers, althoigh I'm right handed, and right mouse on personal computers. (ergo at my first real job encouraged left mousing, and I found mixed mousing is best for my wrists)...

Anyway, most computers you find in the wild are setup for right mousing. Most mice are sculpted to be used by a right hand, a minority of mice are ambidextrous and can be used by either hand well (although it's not unusual for an ambidextrous mouse to have buttons for a right thumb and not for a left thumb), and I can't say I've ever seen one sculpted for a left hand. Same deal for trackballs; if you want a thumb trackball, it's got to be operated by your right thumb.
I think the problem with Py2 to Py3 was that it was too big of a migration to be easy but also too small of a migration to be game-changing. Like, switching for seriously improved packaging, parallelism, or performance would've been more compelling.

And yeah ipv6 could've been a much smaller change.
> So why would you abuse your reader by making it a pain in the ass to figure out what you mean?

A psychonaout or a shaman would argue some insights are only available on a drug infused spiritual trip.

Musicians talk of flow.

That state of discombobulation you dislike is not to meant to furnish you with answers but rather with new dots to notice and connect on your own. Not everything is a mathematical proof.

I think the real reason this sort of style isn't attractive is because many try to emulate it who lack the talent and then it truly is noise. It is a lot to ask from a reader and the value is rarely there that is well observed.

But sometimes the payoff is worth it. GBE resonates with a lot of people.
NAT is the main reason slowing down (or preventing) IPV6 adoption.
How many times has your car been damaged since then?
>Jacob Nielson was blowhard even then. His "all links must be blue and underlined" mantra was tired even then. It takes a lot for me to say this, but his pedantry at the time puts peak Richard Stallman to shame!

And that'd be an understatement! I feel Nielsen spent most of his professional career calling himself a guru mostly to boost his consultancy firm. He also reminds me of Norman in the way that their contributions to the field are lofty aphorisms that don't provide any actual solutions.
It is absolutely theft, nobody is falling for that semantics argument - you're depriving a rights holder of revenue that they would otherwise gained.
I'd love to have phone / no phone sections ( or chat / no chat ) in places like subways, airports, etc. I love taking to random people but don't want to bother then if they don't want to talk.

Having kids helps inasmuch as my eldest will talk to every kid she sees and that usually means at least a hello to the parent.
I'm currently taking the same route with my compiler. It's written with extreme efficiency in mind, so I'm planning to expose a client-side WASM binary on the main site, that will let you interactively explore the language with low latency.
Speech recognition software for Windows 10/11
I built dictation software called "SpeechPulse" for Windows 10 and 11.

SpeechPulse works completely offline, and you can use it to type into any text input field, including text editors, word processors, and web browsers. You can download it from https://speechpulse.com.

SpeechPulse can also generate subtitles for your audio and video files with accurate timestamps.

SpeechPulse uses the Whisper speech-to-text models to provide best-in-class accuracy.

SpeechPulse comes with a 30-day free trial with all the features enabled. It has a one-time fee if you want to purchase the product.

Let me know what you think!

Thanks
> termination for convenience clause

I never heard of this. Can you tell us more?
A List of Known Scalable Architecture Templates
I'm wondering what would stop me from tapping it every 5 minutes.
> The Netflix 4K plan serves up high 1080p bitrates

Only if you are lucky and everything aligns well. You can't ask customers to debug their hardware to make it work.
With how weirdly complicated Azure was about IPv6 last time I looked into it, I wouldn't be surprised if it'd be more complicated than on AWS.

I'm not convinced it ever improved. Looking up a quick guide brings up https://learn.microsoft.com/en-us/azure/virtual-network/ip-s... which tells you to just... assign a random network from 2404:f800::? What even is this network? Are they using a routable IPv6 address as a substitute for an ULA for their NAT'ing load balancers? Why 2404:f800:8000:122::/64 specifically?
Awesome! Do you mind posting the password hash of the root user?
Show HN: Kubernetes controller that manages CRDs now supports helm chart source
Previously on HackerNews: https://news.ycombinator.com/item?id=36873455

I added helm chart support as a source. Give it a helm chart that has crds in it and it will fetch and install them. Then giving it a semver like >=1.0.0 will continuously reconcile new versions.

How this is better than terraform? You can add a template to verify that the a new crd doesn’t break existing ones. If the template fails the crd it won’t be applied.
Running Open-Source AI Models Locally with Ruby
Because the author chose zig.
I very often need to deal with 2fa when paying online, though I suppose a dumb phone could do.
The only reason is that piracy locks you out of MP and updates for the most part
Any tool can be used incorrectly. IPv4 mapped addresses are a part of the protocol as any "expert" would know.

How many bugs occur due to misconfigured HTTP servers every day? Do you conclude that HTTP is also a "no go"?
> The next step will be having a designated spot for it to stay while I'm home.

I put my phone charger in a drawer by drilling a hole in the back in order to run a power cord. I found that just having the phone on silent and out of sight helps a lot.

It also helps with clutter, instead of having a ton of random devices and cables, all of that mess is in a drawer that doesn't bother me.
It's almost certainly worse in Azure than AWS.

Random examples:

Azure hands out contiguous blocks of 16 IPv6 addresses. No, not a /56 or anything useful like that. Sixteen addresses.

If you enable IPv6 in some virtual network, other peered virtual networks will have unrelated services just break. Like Postgres, Azure VPNs, and more.

There are no IPv6 to IPv4 gateways, and you can't even build such a thing yourself without enabling IPv6 in the whole virtual network... which breaks other networks!

Azure NATs IPv6, defeating the entire purpose of the thing. It's basically IPv4 with extra steps.

Azure doesn't support IPv6 for any of their PaaS offerings, especially not in their firewall rules.

Etc...

If you think there are excuses for any of this, consider this: IPv6 has been a standard for two decades and Windows has supported IPv6 since 2000.

I like to swap IPv4 and IPv6 in any sentence to gauge the insanity of it. E.g.: "Enabling IPv4 breaks unrelated services in other networks" would have you running for the hills, would it not?
I'm not sure I'm convinced that consumers came out of the pandemic with a large change in car types.

The purported timeline is: Pandemic hits, people stop driving, incidents falls drastically. Pandemic stops, people starts driving again, but incidents and severity increase drastically compared to pre pandemic.

The companies are saying internally "people forgot how to drive properly", which granted, sounds weird. But it also sounds weird that people upgraded their cars, while not driving them, or that there was a huge spike in car sales as people upgraded post pandemic.

Sales data doesn't suggest that consumers went out and changed their fleet [1]

[1] https://fred.stlouisfed.org/series/TOTALSA
Those media conglomerates are very stubborn though, they care more about keeping their rights than money itself.
It is, but barely (windows is @ 61%, macOS is at 46% based on the numbers I found). And even if we ignore that, number of potential users is far from the only factor you’d consider when choosing the first platform to target for a new project. And then, ignoring that as well, just because an OS has more potential users in total, that doesn’t mean it has more potential users of your editor.

There’s lots of reasons to not choose windows as a first release platform, and it being ‘the most common development platform’ isn’t a compelling one, especially for a small team with finite resources.
And yet every year the attendees at other large conventions like NAB have no issues with this.
Sorry to focus on such a detail but VBR nevern been the standard in the Piracy scene. Back in the days it was 192kbps
I used to value a random encounter with a stranger. Now, the median person is likely to be 1. Disturbed, 2. Obsessed with politics, 3. Belligerent for no reason, 4. Ready to whip out their phone camera looking for “content” or 5. Generally offended/Scared of the idea of talking to a random stranger. The last 3 or so years have turned America into a giant mental asylum and it’s starting to be not worth it to talk to a rando.
Owning theaters was forbidden for movie studios, but afaik making movies was always allowed for theaters.
F1’s reasoning is “Andretti won’t be competitive and Andretti’s reputation will benefit more than ours if he has an F1 team”

Yeah, just like being a perennial loser did so much good for the Williams legend, right?

Or similar to how winning nothing in F1 for years really buoyed Ferrari’s brand, I suppose?

I would like to know the actual reason for the rejection, given that the stated reasons are transparently false.
The heat is really not that bad. I absolutely hate the heat, living in the midwest the summers are unbearable to me.

Yes, it's hot, but you can still walk outside without becoming a sweaty mess because it's so dry. And you're probably not going to be walking outside very far, it's a very unfriendly place to walk outside of the prescribed separated paths on the strip.
Would love to read some sources for what you say, most info I have read about her don't say anything about her supposed incompetence.
No need to ban this kind of fridge - it's already uneconomical compared to electric ones - people won't suddenly go buy one unless they need it to run where electricity isn't available. It's the type installed in most RVs for example, makes sense there.
Alzheimer's may stem from modern lifestyles, new study suggests