skysight-inc/HackerNews huggingface dataset:
> If P = NP, that enumeration process can happen in P time. Keep in mind that all problems in NP have polynomial time verifiers. So you can always check a solution (i.e., checking if the monkey actually wrote Hamlet) in polynomial time.

I understand why verifying can happen in time P for each machine, but I'm still confused on how you're sure that you hit on the right machine in P time.

For writing Hamlet, you have way more than "P" options for machines, if you're typing at random (I'm not sure how you'd define the input in this case, maybe the length of the work you want them to write?). So even if you can verify in time P, you'll still need to go through way-more-than-P machines before one solves your problem.

Maybe there is a way to use universal search or something to make this happen faster, but I'm not sure how a non-constructive P=NP proof actually gives you the algorithm.

(I tried looking a bit into this and I didn't yet find something that shows otherwise, but I didn't have time to look much.)
if enough people on horses fall off and die, the average could still win over the population. I don't have the original statistic I saw in front of me, but that's how I interpreted it.

and in agricultural times in the US, I'd say most people were on horses.
I would love small k class cars and trucks. You cant get your hands on those cool Toyota trucks they sell in japan.

https://en.wikipedia.org/wiki/Toyota_Hilux_Champ
the submitted tool does not have produce them, check out the tests - note there is no \n anywhere in USV

https://github.com/SixArm/csv-to-usv-rust-crate/blob/30a0324...
Which ones do you mean? This made me really curious.
> But there a technical differences between those classes of things, even if the lines are drawn arbitrarily.

Sure, but that's a matter of degree, not kind. We're kind of arbitrarily (as you stated) decided "what horsepower constitutes a motorcyle?"

Similarly, I don't know that there's a definite line of "intrinsically safe" for electricty; I've been shocked by my 120V AC in my house and lived to tell the tale, so does that imply it's safe? I don't think so, people die from 120VAC shocks all the time; It's still a somewhat arbitrary line.

I'll admit that the bread analogy does break down, because bread doesn't make you drunk, there actually is small amounts of alcohol in bread [0], though I'm not sure that you could actually get drunk from it no matter how much you ate.

> But that is only because Nintendo doesn’t allow it. There’s no technical reason a Switch can’t be a phone. Why is ok for Nintendo to do that, but not Apple? Just “dirty vibes”? That’s not how the law is supposed to work.

I did caveat in a previous post that game consoles kind of blur the line for me. You could probably convince me that they should allow alternative app stores. At least with video games, I feel there's a bit more competition than "smartphones", since you have large offerings from around six platforms instead of two (Nintendo, Microsoft Xbox, Microsoft Windows (which requires no license!), Sony PlayStation, iOS, Android (plus all the other rebrands of Android that are independently run)).

We do have legal precedent for this in some capacity [1]. The courts felt that Microsoft was abusing its power by making it difficult/impossible to install alternative browsers inside Microsoft Windows. The initial ruling ended up with Microsoft being ordered to split up, but this was admittedly overturned.

I realize it's not apples to apples; iOS doesn't have the monopoly on the ARM that Windows had on x86 in the 90's (you are, after all, perfectly free to buy an Android phone instead of an iPhone and your life probably won't be appreciably hindered), but it does seem like the courts do have some issues with operating systems companies abusing power.

[0] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1709087/
[1] https://en.wikipedia.org/wiki/United_States_v._Microsoft_Cor....
NYC has a higher GDP than most countries. So what?
Do you think it was a true story?
time to start writing some cryptic code that AI won't be able to understand
I guess a tornado can be called turbulence.
If you're going to mindlessly accuse the EU commission of favoritism you should look through the mountain of cases that prove otherwise.

https://competition-policy.ec.europa.eu/antitrust-and-cartel...
They hate citizens, they hate internal reformers [1]/[2], they hate their own families [3], and it's true of every single police department in the country.

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

[2] https://en.wikipedia.org/wiki/Frank_Serpico

[3] https://www.newyorker.com/magazine/2019/10/07/what-if-your-a...
Why do you write 'cooperation' with an umlaut?
That's how platforms are killed by neglect. They become locked into their old forms and become replaced wholesale instead of evolving piece by deprecated piece.
Show HN: Draw-to-code on Vision Pro with offline mode
Hi everyone, I built a Vision Pro app that lets you develop simple apps just by drawing on a canvas. You can export code to JavaScript and Tailwind CSS, SwiftUI, Kotlin, or Flutter. The app also supports the offline mode that runs OpenHermes-2.5-Mistral-7B locally on Vision Pro to work without internet.

Here's how it works (demos + instructions): https://github.com/glowbom/glowby/blob/main/GlowbyGenius.md

Try it out and let me know what you think. Thanks!
Wrong. Meta is the same, no ML. We wouldn't even have modern ML without Google publishing that paper.

Regulation creates a problem and then creates a solution, skimming off the top every time.
I don't know. It's just so strange to think a conscious coherent competent person could not find a way out of that situation. In a slowly sinking car, in possession of her wits.

Maybe I'm just resisting the notion that cars are deathtraps.
Funny, I’m the opposite. Anything with slow walking motion or standing makes me sick but I love racing in VR.
> Flight control incidents that cause injuries are not hard to find on avherald.

No they're not. Flight control issues happen, turbulence happens, flight control issues that cause injuries are quite rare.
I would have expected cars that have both conventional and regenerative brakes to keep track of how often the conventional brakes are being used and to automatically increase the use of the conventional brakes if they aren't being used enough to keep them in good shape.

Are there any that work that way?
People using Ada's failure are unfamiliar with the history of Ada, otherwise they would acknowledge that the reasons that it did not took off outside DoD weren't at all technical related, rather the hardware requirements (Rational started as a Ada Machine company), the price of the compilers, not being part of the UNIX SDK on the UNIX vendors that Ada compilers (it was an additional expense), the hacker culture against bondage languages (as usually discussed on Usenet),....
> The CAP argument falls apart as soon as you decouple consistency from wall-clocks

Hogwash

Five friends are seated at a restaurant, about to agree on a flavour of pizza via a simple majority quorum. Before they do so, the three girls excuse themselves to the restroom while the two boys remain at the table. The waiter arrives and asks what flavour pizza they'll have.

Do the two boys answer on behalf of all five friends, or do they wait for the girls to return?

No-one checked their own watch.
Most of the problems fall into two categories: merging and branching, both of which have repeatedly led to angst and strife to various degrees. There's also the problem of squashing leading to a loss of historical data, and we can't seem to get people to stop squashing.

Subversion results in far fewer problems in these areas. Given that, in our use case, git brings nothing that subversion doesn't, I would greatly prefer to use the system that leads to less issues and greater productivity.

Please note that I'm not saying that git is bad in some kind of overarching sense. It just brings trouble in our use case.
Cody Understands Your Codebase
Read about codewisperer just now (linked from this article). Anyone know how it compares to the warp terminal’s AI features?
Modeling wood product carbon flows in southern US pine plantations
30% on in-game tokens has got to be > 90% margins...
Intel Register File Data Sampling Vulnerability
For consumers, AI could just be stateless "micro service". Meta already has enough surfaces where customers can interact with AI.
If you think English counting is bad you should see French!
Nothing to see here, move along - Boeing
SuperAGI to launch the Verk Store marketplace to hire AI Employees
Let's try for once not to divert and sidetrack any world news topic with what the US is doing, please? Not everything should be an opportunity to talk about YOUR country.
They can freely engage in 4A breaches outside US soil. The Israeli panopticon is for sale to interested parties.
I quite like Emu I've not seen them being aggressive towards people. Some of them are just not frightened of people so they'll come towards you, and if they think you have some food... But the ones I've met have been pretty gentle, eat out your hand. Neurotic and unpredictable: I think they're just really stupid.

If I had a bit more land I'd quite like to have some Emu. I like them and my mother is scared of them so I see only positives.
I think it's a poorly titled article.

The salient points for me were:

- Braking produces [probably] unhealthy dust.

- Much of that dust is electrically charged, meaning sweeping it out of the air (perhaps before it leaves the wheelwell) is easy.

It would be interesting to know whether inhaling charged particles is more or less harmful than neutral particles, though.
> you need to cycle the power on the planes every 3 days or else the reset themselves

Huh? Try 51. https://news.ycombinator.com/item?id=33233827
Search for the first occurrence of million:

> To be eligible for Web Distribution, you must: ... have an app that had more than one million first annual installs on iOS in the EU in the prior calendar year.
Because they can use the gifts to facilitate lock-in or because they want to share development with other companies or individuals. They give nothing away without it bringing something of equal or more value to them, or they're tossing it over the wall for dead. Any misconception you have that it's because they're super swell people should be slapped right outta you if it's there.
First, we have just launched and are still figuring out pricing, this is a great point of feedback that we'll consider, thank you.

What differentiates Astro DB is the deep integration with the Astro framework and providing an easy path for common scenarios. Astro DB is a higher-level product than using a database service directly. For example, Astro DB handles migrations transparently for you and guides you when manual intervention is needed, just from running `astro db push`.

Astro DB also includes a local story, by default you use a local SQLite database that you can seed (using db/seed.ts) for local development. You can even use it for a purely static site, although we're still working on making SSG use-cases more seamless. For now though, this gives you a great local workflow for development that you can think easily connect to production with `astro build --remote`.
Hmm I'm curious. What does "gui" mean? It yanked you out of the command line in a browser or finder?

And was this autocomplete server based or happened locally and privately?
It was a timer that overflowed, I think, and nobody had left the plane "on" without shutting it down for whatever time it took to overflow.

https://www.i-programmer.info/news/149-security/8548-reboot-...

To be fair, 248 days is quite a long time.
I get total scam vibes from this.
There’s in-fact an in between, which is humans enforcing rules. It’s what’s in place now. It does have an actual effect, it’s not like it’s imaginary or doesn’t do anything. Some of the rules aren’t practically enforceable by software alone, at least so far (things like “don’t try to fingerprint the user or device in unauthorized ways”)
Bearish. These types of tools/agents-chaining will be irrelevant due to lackluster capability until AGI is achieved. At which point, the basis for creating these types of tools/agents will be defunct.
You can deconstruct language all you want, but it's not going to change basic facts. You're not going to find quality education in North Korea. You will find it in Finland.
It's per week, not per day, and it's not really a huge amount, but you're right, the typical suburbanite probably doesn't walk that much.

(15,000 steps/week) * (3 feet/step) / (5280 feet/mile) / (7 days/week) = 1.2 miles/day. Or, one 0.6-mile-distant round-trip

If you live in a city and take mass transit, you probably do more than this without thinking about it. If you're in the burbs, I don't know if random bumming around your house, and crossing a parking lot, and going from your desk to conference rooms a few times a day, would add up to that.
Cops over-bully people but the actual policing is severely lacking. There's a problem with funding and allocation of said funds. So that apparent over-policedness is a result of under-policying. :/
Fun story, a friend of mine is a fighter pilot flight school instructor for the Air Force. He has flown all sorts of crazy planes some with HMD's. He can barely play a flight sim in VR for an hour or two without getting motion sick.
> If you're using the API yourself it means the cost of building is complete

Opening up an internal API with a know client that you own to the whole world introduces more complexity around authentication, rate limiting, traffic inspection, etc, that OP probably doesn't need to worry about now.
It sounds like they are suffering due to a problem they helped create, promote, and profited from.
Ultra processed chemical. It's a bean that's roasted, crushed, and sieved. Coffee is also an ultra processed chemical under your definition. Once again really showing this idea that "ultra processed" seems to carry no real meaning, as once again pretty much any cooked food can be called "ultra processed".

Cooking routinely adds things for no nutritional benefit but because it changes the texture or taste to something better. Adding some cinnamon to oatmeal or a red pepper flakes to a pasta sauce isn't going to change the nutritional benefits by any large margin, but I do it because it helps me enjoy the food more. You don't necessarily add egg to cake mix for the nutritional benefit the egg provides you do it so its springier and has a better texture. One might add a little guar gum to hummus to make it thicker and have a slightly different mouth feel which some might prefer.

What exactly about guar gum is bad?
This is right-wing outrage bait. Not really anything of merit.
When was the last time that something titled a "Temporary Cyber Act" was ever temporary (other than being replaced by something worse)?
So basically it's possible, but not recommended.

Maybe the next time I'm on vacation I'll embrace rust...
I know it’s a rigged demo because they pretend AI was able to figure out their broken CUDA situation. :-)
Quality control is only conflicted with profit when profit isn't dependent on quality. Boeing has clearly taken a huge financial hit over this, so it doesn't make a lot of sense to say that they were too obsessed with profit.

You could argue that they were too lazily profit motivated, that they were moving sliders to reduce costs without considering consequences. But capitalism doesn't incentivize laziness and it did not reward them for it here.
Sorry do you know what “demo” means?
I agree about the discussion / issues aspects. I suspect doing that interoperably would be hard or impossible because of the vastly different feature sets on different hosts.

All I am looking for is a few interoperability features for the repositories themselves. In fact, if I were to describe the most important single feature, it would be something like this:

I am able do some work in my repo hosted on host A, which was originally cloned from a repo on host B, and offer it back to the author on host B to merge if they wish. I'd like to be able to do this by notifying them (in a way integrated into my workflow) with the same kind of information that `git request-pull` generates. Importantly I would not need an account on host B for this. Possibly this might need some one-off setup on the original authors side, perhaps adding my repo as an remote.

The use cases I have in mind here are mostly occasional contributions or minor changes. I don't think this would work well for people who are frequent major contributors - they would really need the discussion / issues aspects to collaborate effectively.
I'm sorry. You sound like a Google activist. No offence intended.

> Offer to relocate the employee first?
> Remind employees they can work in other areas?

I was not clear with the meaning of that.
I was thinking of rethorical public speech. As part of de escalation and call for order. Pulling the trigger first and asking later is an explict toxic culture manifestation.
Thanks for your comment. Maybe I’m wrong in that part. Your link sadly doesn’t work and shows an 404. I’m a little confused because the Wikipedia says:

AT&T itself recommended a divestiture structure in which it would be broken up into regional subsidiaries.

https://en.wikipedia.org/wiki/United_States_v._AT%26T_(1982)
Chris Williamson's Modern Wisdom and My First Million are always a great listen.
Cross-Platform Desktop App Development (XPDA)
If all App Store sells stopped in the EU, it would be 7% of their App Store revenue which is only part of their services revenue which is only 1/5 of their overall revenue.

EU is Apple’s third largest market. The largest market ping pongs between China and the Americans

https://www.macrumors.com/2023/08/29/china-biggest-iphone-ma...
At some point the systems are going to be so good that the second pilot is more of a liability than an asset.
Given that all we have is hearsay, and we've seen many incidents like this in the past that were caused by "clear air turbulence" ... I'm going to default to assuming it was not a mechanical defect in the plane until we know otherwise. It is by far the most likely answer.
They can revoke that developers' certificates and patch whatever vulnerability allowed a developer to bypass that restriction.
I've raised twice in previous startups and currently work as a consultant with experience doing this kind of work.

You don't need to subscribe to any expensive data sources. These are more relevant for management consultants and senior execs working on strategy a bit further down the line.

At early stage - incubators and investors just want to know how well you understand the competitive environment, your vision of the space, and your progress (product/customers). You can piece all that together using publicly available data and first hand knowledge.

Good luck!
Given the prevalence of TLS, how much SIGINT can actually be done by tapping internet exchanges these days?
> They are complex machines, but they typically have so many redundancies

But Boeing reduced redundancies, presumably to cut costs. The 737 MAX planes that crashed only had one AoA sensor. Where else did they cut costs? Where else did they reduce redundancies? The public trust has been lost. Boeing needs to design a new plane from scratch, this time let engineers design the plane without interference from accountants.
What do you mean by “they don’t do B2B”? They sell ads to companies, don’t they?
for sure — do it!
Discord to open up developer SDK to enable more games and apps inside platform
Now define “something suspect”
Building on the self-driving analogy - our goal is to create a good "GPS" interface where you can set your destination and chart a path you wanna take while driving.
In that frame Copilot is like an advanced drive-by-sensors system that sees the road around you and suggests some turns you might wanna take based on the drive so far. What could make this really great is the ability to build up the big picture of the code change so the in-line suggestions are informed by the path ahead.
Yep cool, but the tiny screen was ridiculous and hard see, let alone sell.
The good news is that very strong downdrafts, in absolute terms, simply can't happen close to the ground, because the air in question needs somewhere to go.
The benefit of the app store isn’t money. It’s the security of the ecosystem. 3rd party apps will begin a race to the bottom of fly-by-night iOS developers in it for a fast buck with no qualms about advertising and data trafficking. Before long we end up with what is seen in the Android system.
How much cleartext is sent over the net? Nowadays almost everything is encrypted, even things like DoH are becoming standard via Cloudflare/Apple Private Relay.
Apple Vision Pro RealityKit: Creating a USDA File with Multiple Animations
Whatever we consume, likely someone has created it.

Our economic world rewards creators. Creators that capture some value of their creation.

Being a creator and seller is the ultimate cheat code.
Unless you've worked at Amazon, Microsoft, Google, and Facebook, or a whole bunch of datacenter providers, I'm not sure how you could make that claim. They don't really share that information freely, even in their stock reports.

Heck I worked at Amazon and even then I couldn't tell you the total datacenter space, they don't even share it internally.
Too complicated, why not use a magnetic brake instead? The electric motor on hybrids essentially operates like a magnetic brake during regen. Works in 80% of the scenarios and for the rest of 20% we can just use the regular brakes.
“Nothing is so permanent as a temporary government program”

– Milton Friedman
It has already been announced that this law will likely be extended. They later walked that back, but did admit that it is entirely possible to extend this law.
As Bar-Zeev mentions (and Avi was a lead designer on Vision Pro), even a mixed reality experience can cause nausea.

Far as being "flippant", when I asked Carmack about the topic while CTO at Oculus, he told me that wasn't his department (!). Dude, that your device tends to get half the population sick isn't your problem?
Is it important to predict how it will be received? If you are trying to tailor your work for your audience

Editors exist for a reason.
> to protect The Netherlands against Russian and Chinese hackers

So it's a noble cause then? Or does it have privacy implications for innocent netizens? I thought these exchanges would have been tapped in some form way before this announcement?
> I'm probably dumb as hell, because I just can't get it to do anything remotely useful, more than helping me with leetcode.

I highly doubt you're the dumb one here.
"I grew sick of youtube recommendations"

totally agree, the recommendation algorithm is kind of weird, if you watch something, it keep pushing similar ones, is it really users want?
and to an extreme, after a while, the whole recommendation list only covers very limited topics, it is kind of building a castle for yourself, isolated from the rest of the world, haha ...
You don’t need to stop, especially if you have money and enjoy it. I will die starting new (tech) companies; I don’t need to make money and I just don’t like other things.
In English words it's a diaeresis.
Those rules are even less enforceable by human reviewers because they don't employ people to reverse engineer your app, never mind any subsequent updates.
>> foreign intelligence is outside the purview of a domestic municipal police department

> Demonstrably, not the NYPD's.

Is it demonstrable? Allow me to skeptical until New York's Finest crack a case that the NSA, CIA, and FBI can't handle.

This looks like a cushy assignment for some people with union pull.
Probably a diaeresis, a diacritic which indicates that two vowels aren't to be read as a digraph or diphthong. It's fancy and pretentious, and frequently seen in New Yorker articles.
Interesting. Why the selection of Vision Pro as the first VR app when Quest has been around for a while?
"Ever since the US took it over"

Care to expand on that...? Who is "the US" in your sentence?