skysight-inc/HackerNews huggingface dataset:
> thus we can solve the halting problem in finite time by simply iterating over all possible configurations, that is a somewhat uninteresting observation

It is, but that's not the observation I was making. You only mentioned one way of solving the problem, but that's not the only way.

> That is, it turns out that the only way to verify whether an arbitrary finite-state Turing machine will halt on a specific input is to check all possible states

What do you mean by all possible states? If you mean literally all possible states, that's not true. I mean, yes, you could iterate over all possible states to solve that problem, but that's probably the least efficient way to solve it.

There are already-known algorithms which always solve the Halting problem for machines with finite state, and they don't need to iterate over all possible states. They do, however, need to iterate over all state transitions that the machine actually goes through (multiple times, even). However, these algorithms that I'm mentioning (i.e. cycle detection algorithms) are also quite dumb. They don't exploit any knowledge about the state transitions in order to analyze whether the machines halt or not, they just simulate the machine step by step (this is due to the definition of the cycle detection problem itself, which does not allow inspecting the program).

In principle, and even in practice, it's possible to make those algorithms significantly more efficient, at least for many of the machines (i.e. programs) that we care about.

I suspect it is not possible to make such a (fully automatic) algorithm significantly more efficient for all possible programs (even the nonsensical ones), although I don't think such a proof exists (if it does, I would like to see it). The closest I've been pointed to is a paper possibly implying that such an algorithm would have to be EXPTIME-complete, although even the person that pointed me to that paper had some difficulty interpreting it -- and even if that were true, that says nothing about its real-world efficiency.

> That is, it turns out that the only way to verify whether an arbitrary finite-state Turing machine will halt on a specific input is to check all possible states

Can you point me to a source that proves this claim? Not only I'm doubting it, but even if you are right, I'd be really interested in reading such a proof.

> For an example, an arbitrary program for a computer with as much memory as the infamous "640KB is enough for anyone" quote would require at least 640,000^255 (~10^1480) computational steps to check if it halts.

Again, I'm wondering why you are claiming that the only possible algorithms which can check whether arbitrary finite-state programs halt have to iterate over all possible states (or even all the actual state transitions).
Dell is definitely weird about this; I had the same experience. Perfectly satisfied with my laptop (an XPS 13 with Ubuntu on it bought a few years ago), but Dell's online store is just bonkers.
The hypervisor in Azure, Xbox and Windows are all the same: HyperV.
>eink tablet

That's my fetish! Which one did you go for?
Fly in fly out is used to bring in contractors when local staff don't have skills or don't want to work. Australian coal couldn't entice local workers, so haul trucks and locomotives were automated. Automation also reduces risk of operator injury if people are not there. But somebody fixes the machines.
What went down historically for alchemy? Its latter-day practitioners (Paracelsus, Robert Boyle) adopted the scientific method and those who went along with it eventually became known as "chemists".

"Fox turned into a hardcore porn channel so gradually I didn't even notice."
That's the tip.

Wait until you hear that plus layers of re-hypothecation (i.e. pledging as collateral) up to 10x with 10 different parties.
Parents being formally committed to one another.
Well, my next Mac will be a Studio, and I won't get one, until they have the M3Max going (I don't need an Ultra).
Those posts are from July. Evernote still exists. Although I wouldn't suggest anyone use it.
Germany's central bank in 2013 was forced by those rumors to re-patriate a lot of gold formerly held in Paris and by the Federal Reserve in New York. So called conservatives seeded stories that the Fed had emptied the vaults and only paper remained. Of course that was all hogwash and the stuff has now partly been transferred to Frankfurt.

https://www.bundesbank.de/en/tasks/topics/bundesbank-complet...
I love this comparison of 60 years of progress
https://www.spinellis.gr/blog/20151129/
> YouTube recommendations have always been pretty awful, incentivizing people to avoid exploring videos on controversial topics once they learn that if they do so, they’ll be inundated with garbage on that topic.

I haven't had too many problems with their recommendations, then again I do not log in and have topic specific containers setup in Firefox. After a while, it pretty much limits videos to a specific topic within a given container. The results may not be things I want to watch, but at least I don't get much crazy stuff.

As for controversial topics: yes, I avoid them. Then again, that has as much to do with avoiding agenda pushing dreck than anything else.
My work machine, a Precision 5550 (XPS 15) has never been able to reliably wake from sleep. Ubuntu, Pop!_OS, Windows 11- it doesn’t matter.
It sounds like the system isn’t designed to enrol patients this way, via a systematic patient-driven search. Instead, it’s probably designed to identify and funnel eligible local patients in. From the prospect of the clinicians involved, they only need to fill the trial.
that study's numbers make no sense. Looks like a hit job on southern conservatives. Try this: https://www.forbes.com/advisor/legal/divorce/divorce-statist...
Frankly, those are just box ticking exercises. Same with SOC certifications. Security is not a state of being, it is a process.
Good take. We don’t get any % of our marginal profit
Widows/ers may have some associated confounding factors
Bigme (10 inch color eink) but the Boox are also great if you like color eink. It's a matter of preferences: I got both, kept the Bigme and gifted the Boox.

I was asked about my setup a few days ago. I'm preparing a tutorial to help with rooting, removing unwanted apps etc.
It's similar to if you provided insurance to someone and happily accepted payments knowing you could never actually pay out their insurance claim. The person making payments is a victim even if he never realizes it.
No, Planck length is not a length like any other. Any other length gets Lorentz contracted, but the Planck length does not. It is a constant in any reference frame. And if you assume hbar->0 as for classical mechanics the Planck length will be zero. So classical mechanics doesn't have a finite Planck length.

Quantum mechanics doesn't have a smallest length scale, but Quantum Electrodynamics has, namely the Compton wavelength. And this is what goes into the derivation of the Planck length. So with only classical theory you simply can't derive the Planck length. Classical theory doesn't have a smallest length scale.
I haven't weighed my desktop, but 6,8 kg sounds about right.
But in the article the answer is 'yes'...
Only one side is launching rockets with a 25% failure rate.

All evidence is that Israel reliably hits their targets with precision.

People with an agenda — an axe to grind — are saying that clearly Israel specifically targeted the hospital. But missed. But it’s the intention that’s evil, because they must have wanted to hit it, and the fact that they missed it and it’s still standing is just more evidence of their failure as a nation. Hence they must be destroyed, or something.

PS: If you blindly accept the propaganda of one side over the other, then that side will abuse your blind faith mercilessly for selfish special interests. Interests that don’t actually align with yours. Don’t believe either side on faith. Use your brain.
GPS often fails in dense cities with tall buildings. Also in mountainous areas with sharp terrain like the Julian Alps.

I imagine a dense jungle could pose similar challenges. If nothing else, a gps won’t help if you can’t find a route to where it’s telling you to go because the jungle/river/valley is impassable.
> The Sacklers aren’t the problem here, corruption is.

Why not both?
Why did men stop wearing high heels? (2013)
They do post the prices. But how often do you actually go through and examine each code to see the prices? How do you know when you go into a hospital from an ambulance that your issue is due to say, kidney stones and not cancer?

Price transparency works in an environment where a consumer knows all of the choices they have to make. For medical issues we can often only guess when it comes to critical problems, and even other protracted issues that you are aware of can be complex and hard to navigate. If you think price transparency will help then I reckon you're someone that hasn't actually been critically ill before.
https://d2lang.com/

This lets you produce diagrams with code.
How about these two categories then:

* Website: a static page that doesn't set nor rely on any cookies, doesn't require an account, doesn't have any popups, click-throughs, etc., all anonymous if you want.

* Web apps / social media: anything that needs a login, an identity, accepting terms, etc.

The bar for a 'website' should be that it works just fine when hitting it the first time in incognito mode, and doesn't rely on any previous cookies / tracking stuff, etc... sounds like 'El Pais' doesn't qualify, and is in the app / social bucket :(
More e-waste for their portfolio! Repairable devices with long term use planned on inanimate and dumb components or gtfo apple. The companies ethics towards waste and repairability/reuseability is non-existent.
Before the recent waves of Venezuelan immigrants, most discussions I've seen about the topic was related to preserving the jungle, but some people for sure made snarky comments about keeping colombian gangsters out.

Nowadays, most of the attention are definitely on the Venezuelan immigrants that come to Panama without much money or much of a plan.

But if the government signed a deal to construct a highway, I predict it would be mostly environmentalists protesting in the street than xenophobes.
Lenovo laptops tend to be best bang for buck but ime poor build quality and support. I've sent each of the three I've owned in for warranty repair at some point. It took at least a month for all of them and two of them still died a month or two later from repair-related issues (eg glue around new lcd housing was too weak and it eventually warped / cracked).
Not sure what you mean? Why limit to single-board?
Being 3rd first or 28th gives no information about the possibility to start a space endeavor. You can see Ger. is way behind China and USA, which are in a much better position. I’ve been following very near the development of the 3 german companies trying to do rockets. Let me tell you: I do not think they are going nowhere. They are just doing requirement management in Doors for the last year. Nothing useful is coming out.
The SW industry in Germany is really struggling, finding a decent developer is near impossible (ask me how I know!)
Why does it cost more if I select Ubuntu versus windows?

Edit: It looks like just a Canadian thing. 1899 for windows home and 1984 for Ubuntu.

https://www.dell.com/en-ca/shop/laptops/xps-13-plus/spd/xps-...
> Without property rights humans would have had the same: the strong chase the weak off their land or force them to pay for being on the land.

That's precisely what property rights are: "the strong [...] forc[ing the weak ...] to pay for being on the land". That's what property taxes are. To "have rights" is to be paid up with a protection racket. Yet as depressing as that is, it beats the alternative! In many places it's not a bad deal!
The US–Mexico border is so long and varied, danger is going to vary significantly. I cycled the Baja Divide cycling route, which starts from San Diego and goes through the nearby Otay Mountain wilderness reserve before reaching the Mexican border. The trails around Otay are littered with backpacks dropped by migrants, and when I asked a CBP officer parked in his car monitoring the area, he said that patrols were only partly successful and aliens were constantly getting through. It’s just a few km of walking before a migrant will hit a paved road where a prearranged contact can pick him up. Compared to descriptions of crossing the desert farther east, this seemed pretty safe, with the main risk the waste of days and months if one is caught by Mexican or US authorities.
Super Lightweight ECommerce Platform
Somehow we thought it was a good idea to create a simple commerce platform with a Google Sheets backend. The flexibility and data editing speed of a spreadsheets backend is impressive. If interested here's the platform.

https://github.com/VineGlobal/Super-Lightweight-eCommerce-Platform
Through disenchanted materialistic lenses we can only see man plumage manifested in the physical world. Yet it is not the only way.
So the cheap part is government funded but the expensive and risky part is private and you take that as them getting a "free ride".
I've got a Dell Vostro V5510 (i7, 32GB RAM) that's been rock-solid running Ubuntu and only cost ~ $1000.
Is it not a fair assumption that companies would try to follow local laws, though? It seems rather perilous for businesses to do otherwise.

It looks like in these cases either the FBI dropped the case or the request was found to be unlawful in the first place. Arguably Apple indeed was following the law even when opposing it within the framework of the law, but what the FBI asks them to do is not the law.

We might be looking at a different story had the case fallen to the side of the government—or perhaps no story at all had that requests also contained a gag-order, which I understand is quite common in these cases and could be the key reason why people hardly ever hear of these cases.

I also wouldn't say the case of basically cracking customer device the same as providing wiretapping of a service a company provides similar at all—and even in this case it looks like the FBI would have been given access to the iCloud storage, but the problem was that the latest data was not backed up there, it needed to be retrieved directly from the device.

There were 42 digital wiretaps (not including combinations) in the year 2023 in US according to https://www.uscourts.gov/statistics-reports/wiretap-report-2... "Types of Surveillance Used, Arrests, and Convictions for Intercepts Installed". I wasn't able to find how many of them were in datacenters from that data, though..
'Ultrashort' PFAS compounds detected in people and their homes
Lenovo's consumer products suck but the high end stuff is reasonably solid.
My guess, the release cycle Apple would like is:

* SEPTEMBER (iPhone)
- iPhone Pro get new/latest chip every year
- iPhone non-Pro, get last year Pro chip (netting 2-year cycles for their mobile chips)

* MARCH (Mac)
"Pro"
- MacBook Pro, every 2-years
- MacStudio, every 4-years (always on the same MacBook Pro year)

"Consumer"
- MacBook Air, every 2-years (one year behind the Pro year)
- iMacs, every 4-years (always on the same MacBook Air year)
I like the detailed blood stained steps of the temples
No, Nota is not just typesetting and document layout. Things like dynamical code examples, auto-translation, advanced tool-tips, and reader-customizable notation are intended to set it apart from predecessors. In other words, it is different precisely because it does things that would be considered dynamic to a front-end dev.
> In Europe, this is often handled by government purchasing discretion (not price caps as many simplistically believe). If X treatment is too expensive, it simply isnt covered. If generics medication get 99% of the job done, that is what you get.

The amount of times I’ve proposed this only to be responded with “government death panels” is astounding.

> If a CT cost is 10x at one hospital, and 1x at the other, the patient needs an incentive to seek out the 1X cost.

Healthcare is weird because the demand is inelastic and you aren’t always in a place to price shop. However, I agree with your broader point.
Interesting... I hadn't heard about that bug. Here's my current theory about what was happening. Back then, I was using an Intel Atom notebook, and some research tells me that the early Atom processors don't have the popcount instruction. This would make GCC fall back to its implementation. I looked at GCC's current implementation, and it's using a 256-entry lookup table. My implementation was faster... so either (1) I was using a larger lookup table than I remembered, maybe 65536-entry, or (2) GCC was doing something different back then.
This a nice checklist indeed! This point stood out to me as interestingly debatable:

> conflicts are resolved in a fair and respectful way

Over time, I think I've become less enamoured with the concept of 'fair' for specific engineering disputes, whereas 'respectful' seems like it would actually benefit from the decision being less fair. Here's how:

- In the context of an engineering decision, the informed opinion of just one engineer is usually preferable to a attempt at compromising within a group that doesn't have consensus. Of course, unanimous consensus would be even better, but that rarely happens in groups larger than about ten people (in my experience). With architectural decisions, you need a clear and cohesive vision, and with smaller decisions like style guides it's often down to personal preference.

- When a specific engineer is explicitly given authority for a certain topic (eg. "Bob gets the final say on anything related to user authentication"), the manager can follow that without being disrespectful to those who hold contrary views. Attempting to form a compromise usually ends up devaluing both opinions, as neither is completely satisfied.

- If there are serious concerns about the nominated individual's motives or qualification to make a certain decision (in my earlier example, for instance, maybe someone realises that Bob doesn't really understand important concepts in the field), that concern can be elevated privately to the manager, who can reshuffle the team without having to confront the issue in front of the team, which would be embarrassing and disrespectful for all involved.

In conclusion, I'd say that if you have a semi-hierarchical structure within an engineering team that is itself fair (not merely based on traditional seniority, that is, perhaps more like a meritocratic government cabinet rather than a strictly promotion-based military), you can omit fairness in detailed discussions for a more productive and respectful decision-making process.

Interested to hear what others think here!
Gosh, I miss how organized and rich the Old World culture was.

Today's culture, is broad and spiritually hollow by comparison.
For me, it's the opposite: Windows is preselected, but when I switch to Linux, the price goes down.
A surprising number of celebrities have worked as spies
How useful would they have really been? #2 seems to imply it's to defend a road or transit point, no? But it's hard to see what a single pillbox would do against a column.
That’s because you’re misunderstanding the purpose of CISSP. It’s about risk mitigation and governance, not 0days and buffer overflows.

If you want that, hire a hacker.
It's unclear to me (not that I necessarily need to know), but do you believe in the end that the vulnerability as described there worked, and if so, do you know why you failed to reproduce it?
What an archaic way of thought. I can only hope you're not being serious.
They have sold more Raspberries Pi than any 8 bit computer. Record holder for biggest sales of any desktop computer is the Commodore 64; Raspberry Pi has sold about 50% more so far.
In Paderborn, some years ago, some guys did steal over 4500t steel from a steel tube company (Benteler).

https://www.westfalen-blatt.de/owl/kreis-paderborn/paderborn...
Well, there’s also clear demand for not having any paved route through there.
Or; they would have space out the animals. Allowing them to shit not on themselves and the one next to their anus.

And tadam. You don’t need antibiotics.

It’s the filthy condition we produce our meat into that require that.

And those technics are not mandatory to produce that much meat. This is needed to producing at a certain price, on a schedule.

it’s not really about starving to death anymore. But rather cranking the profit margin a bit higher.
What I think isn't too interesting, according to your own experience you only got interviews 10% of the time.

The purpose of a resume is to get you interviews - it doesn't have to tell your entire story (that's what the interviews are for), or get you a job, it just has to get you an interview.

Most candidates are eliminated before the interview stage, because interviews are time consuming and expensive for the company.
If you forget to do this going to "History" in the left pane and removing them from your watched list (seems to) have the same effect as not viewing it via your account in the first place. E.g. I'm not much of a car guy but once in a while a recommendation for a particularly unique car video will come across so I watch it and suddenly my recommendations are chock full of car videos like YouTube just discovered a new hobby I'd love to spend 100s of hours watching videos on - until I clear the video from my history and it's completely back to what it was before.
The Onion Futures Act is a United States law banning the trading of futures contracts on onions as well as "motion picture box office receipts"

Onions, I can understand, but motion picture box office receipts? That's kind of silly.
It seems the US compares quite poorly in life expectancy and rankings by experts.

It does better in cancer survival rates (but the data seems old).

- https://www.internationalinsurance.com/health/systems/

- https://www.healthsystemtracker.org/chart-collection/quality...

- https://en.wikipedia.org/wiki/List_of_countries_by_quality_o...

- https://worldpopulationreview.com/country-rankings/best-heal...
It's funny how obscure S/PDIF is despite being (1) the only consumer fiber optic connector, (2) being on a whole lot of gear (almost every DVD player) and (3) being a real answer to the noisy electrical environment inside a PC and the effect that has on sound quality.

It's also obscure that you can make a CD with data in the right format,

https://www.discogs.com/search/?q=DTS-CD&type=all

and connect a CD player with a S/PDIF connector to almost any home theater and you have multichannel music. I have a big Sony 300 disc CD changer that is half full of 5.1 discs and I like how I can put together very ordinary hardware to get extraordinary sound.
Interesting reddit thread ending here: https://www.reddit.com/r/hetzner/comments/17ccp3i/hetzner_do...
I waited for an October event and gave up and just ordered an MBP 14” pro. Now I am regretting for not waiting another week. Unfortunately it is ordered by my work it can’t be returned.
yes... great if you were rich
Some creators have previously stated, here on HN, that they get a much bigger slice of YT premium. Sorry, I'm too lazy right now to Google a link for you.
This stack could be the basis of a software to share things no matter your connectivity situation.

You fire it up, it scans things around. Local network? It uses that. Not local but internet, it uses that. Nothing but BT, you can still detect people around, chat and exchange files.

People could be identified by public keys and that's it, not need for an account, signaling done by zeroconf/bt-scanning/bittorent.

Basically a solution to the current chat nightmare.

But the amount of work is overwhelming, even with this.