skysight-inc/HackerNews huggingface dataset:
> There's plenty of Turing machines that print out lots of 1s (either finite or infinite), where we can accurately predict in finite time how many it will print out.

The reasoning is not-computable implies an infinity. As you know "implies" is not reflexive, so no I wasn't intending to say the reverse.

> > [...] infinite means non-computable.

You didn't quote the full sentence. It was "because there are infinite numbers to check and infinite means non-computable". Being forced to check an infinite number of possibilities is one definition of non-computable, as you acknowledged.
Good, this is dragging us back to the stone ages.
Idk what you’re talking about but you can’t in good faith say _anything_ about this presidency is comparable to any other US presidency ever. You’re disingenuous, a troll, AI, or all of the above.
So just to confirm: you think this is a bad thing.

Ok. I'll count on you to push back on the President if this indeed turns out to be what he wants.
My Mac only sleeps on closing if it’s not plugged in and connected to external monitors. That’s how I would want it to work. How are you wanting it to work? Closing it keeps it on no matter whether it’s plugged in or not?
Insofar as "socialist politics" make it harder for the supply of housing to rise to match demand, it is not moronic at all. Places in the UK where housing stock grows with population don't have it as bad as places that don't[0], i.e. London.

Thatcher left office in 1990. The population of Greater London has grown by 44% since then. I don't think there has been a single decade since where the growth of housing stock kept up with the growth of people. Why blame Thatcher for this?

[0]: https://ifs.org.uk/articles/england-has-poor-record-building...
It's not true, because it's subjective.

For many years, Windows has had WSL and now it's the second generation WSL2 and you can run graphical Linux even without a VM. It has a decent package manager out of the box, a great open-source terminal. Containers and VMs are also available out of the box. Windows also has a developers' hub, which allows you to install toolchains easily, including IDEs such as VS Code.

Meanwhile, macOS comes with its own version of CLI tools such as find, which have quite different parameters than Linux, it doesn't have a package manager, when I install an app on my iPhone, it somehow decides that I want to install it on my macOS, too, etc. And I won't even mention how poor the menubar is! I have at least 10 apps I need to install to make macOS usable - PopClip, Moom, Bartender, etc., while the Windows equivalent for things like Dock and menubar are working pretty well, including notifications - I've accidentally have clicked so many times on notification banners, covering my scroll bar or window controls. Not to mention that so many times I'm typing something in window, which has my input focus, then another window pops up, steals my input focus, and I end up trying parts of my password in the wrong window due to that!

There are so many things wrong with macOS, Apple doesn't really care to improve it, and the System Settings is growing out of control! Windows' settings are much better organized!

And, yes, macOS freezes and crashes not less frequently than Windows. In fact, I haven't had any such issues with a heavily constrained Windows 11, running in VMware Fusion!

Also, Windows now has a free equivalent of the paid CleanMyMac app, and it works pretty well. Not to mention the free security software. But even with CleanMyMac, uninstalling software leads to tons of junk all over the place.
Also: People (especially kids, students, etc) who want to make music but don't have the technical expertise to (yet?).

Obviously these tools don't do everything necessary to make great music, but the barrier of entry to making music is being lowered, and the quality floor is being raised -- and that'll result in a lot more would-be "musicians"[0] creating music that wouldn't otherwise exist[1].

[0] I leave the argument of whether these generative musicians count as "real" musicians to the Scotsmen in the audience.

[1] Bonus question: does art still hold value if no one sees it?
Words for the Heart: A treasury of emotions from classical India
It's very much the British Empire view of the world. Read Kipling's India tales.
Impeached but not convicted. Like getting convicted and receiving zero sentence: it has no consequences and therefore might as well not have happened.
I don't think this was ever really a concern. Google and device manufacturers already have ways of publishing non-GPL portions of a complete Android distribution.
Thanks.

To play devil's advocate, the average gambler is not problematic either, it's the outliers that are the problem.
I'm lookimg at a folding e scooter
ICANN would likely not grant such a tld due to similarity concerns with .us/.gov.

You can do the same thing without a tld of course: <original domain>.pubmirror.com (or whatever you want to use) is just about as easy despite an extra dot. My personal fqdn is even shorter than ".usgov"! The hard part is recreating/mirroring all the stuff.
Their new wifi network selector is laggy as fuck. The old one was perfectly fine. This is just like windows reimplementing basic UIs in their UI-framework-of-the-year.
If it’s a short stop a “cafe lock” for back wheel is super convenient
It’s incredible the US has any other economic output, considering the effort spent on taxes.

At one of my businesses, we remit 4 separate sales taxes to 4 separate governments, and each has to be itemized, so receipts are multiple pages long for no reason.

Then there are myriad possibilities for being exempt from either all or some of the taxes, and those records have to be kept in case of an audit.

There must be enormous amounts of tax evasion too, the attack surface is so great no one can audit it all. The most tax advantaged account, a Health Savings Account, lets people set money aside today, invest it, and let it grow for however long they want, and then withdraw it for healthcare expenses, all tax free.

But the healthcare expenses can be from any point in time in the past. A 30 year old can save their receipts for purchases ranging from over the counter painkillers to childbirth bills from the hospital, and then reimburse themselves when they are 80 years old.

How can it even be possible to audit someone’s healthcare expenses that happened 50 years ago? The counter party will surely no longer have the records to cross reference, so it’s basically the government taking people’s word for it.

And that’s just simple personal taxes.
To be fair, more like the early 20th century. Or today in much of the world.
it's not just aesthetic, you don't want to encourage misuse with a large flat top surface to place things on.
Trump posting AI generated videos of himself and Netanyahu on the beach in a gilded Gaza resort suggests that he does not see it as entangled.
This is why the Netherlands builds them out in the sea. Just far enough so that you cannot see them.
Even the biggest reactionary NIMBY has no complaints.As for wildlife come on man who the fuck cares?
> TDS'ers

Every top economist agrees that Trump's tariffs are a bad idea, and yet you still accuse people of "TDS".

Are you trying to convince us, or yourself?
I'll somewhat echo this. I think simply switching puts the new OS at a huge disadvantage, because not being used to something can make it seem bad.
What about hyprland makes you think of Mac? These two things barely resemble each other at all.
Sure yeah that sounds right.
That makes sense and I didn't mean to imply that there was anything wrong with either your post or submitting it to HN! Both are good. It's just that it makes more sense for the community to first discuss the main thing itself.
The Tailscale article taught me a lot! Thanks for sharing.
Location: Baltimore, MD

Remote: Yes

Willing to relocate: Yes

Technologies: Figma, HTML/CSS, Typescript/Javascript, React, NextJS, Tailwind, Storybook

Résumé/CV: https://georgewendal.com/portfolio/george_wendal_resume.pdf

Email: wendal [at] gmail [dot] com

I'm a product designer (that also codes), specializing in designing and building deep, thoughtful tools that help people accomplish their everyday work. I've been designing AI-focused products since 2018 (before it was cool), and am well-positioned to design new products from the ground up or help companies transition their existing products to take advantage of advances in AI. My work experience includes entrepreneurship and startups, as well as higher education and other large organizations.
> Seven & i Holdings

Which is about to be bought out by Canada's Alimentation Couche-Tard (Circle K)!
That question sounds to me like “have any of you switched away from myspace?”

I last used dropbox ~15 years ago. Since then I used S3, Google Drive, Synology NAS, and iCloud. I don’t need to do any syncing across devices: if I need a file I know where to find it (gmail if it’s a document, icloud if it’s an image/video). I still back everything up to Synology.
ASML make laser sources in San Diego, without them there would be no EUV machines. So it isn't just patents. ASML as we know today wouldn't exist without US R&D and manufacturing.

https://www.asml.com/en/company/about-asml/cymer
"I picked up HTML-based web design quite easily, but when CSS came along, it was so finicky that I was never able to make it reliably do what I wanted. "

That is true. It's easy to learn. It's easy to get to do straight-forward things. It's too unpredictable in many, use cases where an alternative layout might be used. However, those required actual programming on top of executing, third-party code.

They went with usually easy and safe for better or worse.
Location: Gainesville, FL, USA

Remote: Yes (8 years experience)

Willing to relocate: Yes, with assistance

Technologies: React, Typescript, Node, Graphql, WCAG, CWV, Lit, HTML, CSS

Résumé/CV: https://github.com/ava-gunn/resume/blob/main/resume.pdf
Email: ava.gunn@pm.me

---

Accessibility and Web Performance specialist with 8+ years of frontend experience.
Im using MXroute. I got their lifetime deal maybe 4 years ago. Good for basic smtp
Can you seriously compare a very wealthy city-state to actual countries? Do you not see why you can't run the UK like you would Monaco?

You really went out of your way to pick the only "country" you could find with both low government spending and high quality of life, despite the data proving a strong correlation between these two in actual countries. Wow.
How is this good news for America and the world?
Reality is more subtle than fiction.

Dune is desert warfare of the WWI era. Modern desert warfare is rather different.
https://analytics.usa.gov/center-disease-control "Top pages data over the previous calendar year is unavailable." looks like they don't want these sorts of questions answered either.
With every Windows release since 8, it feels more and more like the OS is actively antagonistic towards the user. This has come to a peak with Windows 11.

Not too long ago I booted up an old laptop and put a fresh install of Windows 7 on it for kicks. Amazing how much of a breath of fresh air that was.
The world would be better off without McKinsey[0].

0 = https://en.wikipedia.org/wiki/McKinsey_%26_Company#Controver...
I cannot even begin to imagine what madness has infected the Taiwanese government to allow this. I feel so sorry for a great, entrepreneurial people.

US tariffs will not matter when you are blockaded and Chester Nimitz is very much dead.

https://news.ycombinator.com/item?id=43123628
Given that people are being fired left and right on laughable pretexts, I can't blame the people tasked with implementing these executive orders for erring on the side of "what the boss probably wants". Especially when the boss is very loud about what he wants.
It doesn’t matter how many scenarios you enumerate, because the possibility space is infinite.

I don’t see how that could lead to a credible proof, even on the balance of probabilities.
I guess I'm the only one who thinks it's just not a very good design. Right off the bat there is no excuse for all those screws, and those trays block all the radiation from the elements from reaching the bread! It's a terrible design for accomplishing the task.
go for it bro
Exactly, have sites merely disclose rough categorizations, move the decision-smarts to devices, and put control in the hands of the owners of those devices.

This places a majority of the cost of implementation on the people who actually want to use it, avoids a creepy Orwellian surveillance system, and enforcement is moved into a physical immediate reality that the average parents can see and monitor.

It also means you don't need to worry about visitors who are unmarried under the age of 16 years and three full moons who may not see unclad ankles in Elbonia.
No one is going to stop him, and everyone keeps complying, so yes he is allowed to do that.
Linux is nice if, like nixos users, you want to spend hundreds of hours over several years writing every QoL feature totally custom for your unique use case.

For me, Mac is 99% of what I liked about Linux, and there is ALWAYS an existing QoL solution—usually reasonably polished—for everything it lacks.

Windows has none of the benefits ofLinux, none of Homebrew or even the AUR, a tiny fraction of the QoL third party features from Mac (usually unpolished)—to say nothing of the first party QoL features—plus the hardware is comically bad. Diving board trackpads are normal on $3k windows machines in 2025, 500nits displays, whistling fans on about 17 high-end laptops I tried in the past 6 months. Truly the worst experience imaginable. Abominable, even.
Yes it is true, study after study has shown that LCOE for renewables (in particular wind) is the lowest. It is also quite obvious from the fact that wind and solar installations are what investors are actually investing in, in contrast to nuclear which nobody wants to invest in even with large government guarantees.

E. G. See this article on a Lazarus report.
https://reneweconomy.com.au/wind-and-solar-power-half-the-co...
Who do you think supports and reinforces the “legal doctrine” on a daily basis?

Some mysterious beings outside of society?
>Per capita electricity generation in the U.K. is now roughly one-third that of the United States, and energy use per unit of GDP is the lowest in the G7. By these measures, at least, Britain may be the most energy-starved nation in the developed world.

Yikes. Housing is the big issue that gets everyone’s attention, but this is huge. Cheap energy drives economic growth at all levels. It’s incredible that the various British governments have let it get to this level. Maybe it’s time to import a few Chinese or Soviet technocrats?
Ecologically, it is basically barren.
Does anyone know what "Windows 11 Home 64 Plus" and "Windows 11 Home 64 Advanced" are (from the screenshot of the OS options HP offered for that laptop)? Most I could find out is that they appear to be OEM versions.
I'm not comfortable with the news item bearing much weight, for their ability to narrow down on any particular culprits they might have well said some fluids burn ...

Anyhow I wrote a long detailed reply in regard to your mention of vanilla ice cream, in the end, too long and probably tedious to read so instead here's a short answer.

I too found amongst many food stuffs I could not eat was vanilla ice cream, and for so long a time, viewed the seaweed based additive often listed at fault, even though many other brands and types also list it as an additive. It for some weird how the fuck to I overlook that, never occurred to me maybe it was annatto and its derivatives [0] about 8 years ago, after a life time of suffering, avoiding custards (most egg custard powders use the crap) vanilla ice creams, and until recently some red skinned sausage type food stuffs, fruit drinks ... a long long list of foods depending on country of origin. I am some what predisposed to various food types, and had spent most of my life assuming I was the problem and not part of a wider group.

The food industry is not backwards in thrusting problem additives eg [1] [2] if it means they can make a few extra bucks. In my parts some are trying hard to hide the addition of annatto by listing it instead as natural colour instead.

I never had an issue with eating sweet potato but after eating some food over a week that had some cheap nasty version of inulin in it, I had to forgo eating anything with inulin in it ... some months later I found I could enjoy small amounts of sweet potato again.

[0] https://www.fedup.com.au/factsheets/factsheets-by-additive/1...

[1] https://www.cracked.com/article_28476_the-potato-chip-that-d...

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

edit, the not a
Why Every Company Needs a Responsible AI Officer
If carriers are being used to help support Taiwan in this hypothetical, they are obviously fair game and sinking them isn’t escalatory, right? We don’t get to go to war and declare the troops fighting the war off limits to retaliation.

If that was how it worked, why wouldn’t China declare all their transport boats sacrosanct?

If we think our retaliation to getting a carrier sunk would be to end the world, we should probably not use them.
Boy are you going to feel silly when the economy tanks and only woke survives.
Yup, order of magnitude more electric micromobility vehicles than electric cars:

https://theconversation.com/the-worlds-280-million-electric-...
"Scroll to Scrub" Videos. A cool way to show off video content
wouldn't have mattered

due to the screwed up energy pricing system, if there's a single watt of electricity in the grid produced by burning gas, we pay for the entire grid output as if it was gas
100%. You nailed it. Very heartening to hear this, always been unsure of my most personal analysis, as it was limited to one corp in one era.

Vastly different circumstances (shitty state school x print design gig => 2008 philosophy dropout waiting tables => build a point of sale app startup, iPhone OS 2 => sold it => 2016 Google).

I had at nigh-religious appreciation for the things I learned from the culture of roughly that era. folklore.org type stuff. Grew up on Gruber. And learning so many of your cohort on Twitter. Took me from a waiter to an engineer.

I ended up being ashamed to mention stuff I learned from it, people rarely were in touch with the culture as I understood it. Many soulless vampires afoot once the money comes in.

I'll never forget asking a (wonderful!) colleague why they wanted to work on Team X, expecting "I'm really passionate about [form factor] because [use case]" or "Well, given $LOCATION, my options were [Google Cloud | this team | Google Play Books]"...instead it was "well, coming out of $IVY_LEAGUE with $STEM_MAJOR, my best options were finance or programming, and finance seemed worse"

I had far too many out-of-left-field interactions like that. And it poisons the place in many ways that, to me, ultimately damn it to mediocrity.
4.98 birds/GWh in the fossil fuel estimate comes from unrealized climate change expectations. They also only looked at two coal power plants for the remainder of the study.

The nuclear source bird death estimates are extrapolated from one bad weather incident over two nights from a single plant on the Florida coast.

This is not a serious or rigorous study. Is there anything more recent?
https://archive.md/DTkz1
I got a cargo e-bike (Aventon Abound) and I have a cafe lock and a chain lock. Luckily the bike doesn't look "cool" so I am less worried about thieves. It's also quite heavy so the cafe lock is almost always enough. If I am leaving it downtown for hours then I also use the heavy duty chain.
Dangerous Playgrounds of the 1970s: Photos That Prove Safety Wasn't a Priority
Making AI Less Thirsty: Uncovering and Addressing the Secret AI Water Footprint
Using Elixir and Elm at my day job.

Coming from a more Python/Java/PHP/JS background, Elixir was a lot easier to pick up and doesn't frustrate me as much. Most of the remaining scary bits involve concurrency and process supervision trees.

Macros are powerful, but also easy to use in a way that makes everything hard to debug. For those unfamiliar with them, it's a bit like a function except any expressions you call it with are not evaluated first, but arrive as metadata that can be used to assemble and run new code.
Ok, but please don't fulminate on Hacker News.

This is in the site guidelines: https://news.ycombinator.com/newsguidelines.html.
He got impeached for withholding military aid to force the Ukrainian government to investigate his political opponent, but that's not a factor in this case.

Broadly speaking, Trump claims that he has the power to tell any executive agency to not do anything under the "unitary executive" theory. Whether this holds or not is up to the courts to determine, but unless and until there is a stay, the executive agencies have to follow the EO.
There are 86 large pumped storage sites in the world. It does work, but you need the right geography.
You need two good reservoir sites at considerably different levels close to one another. That's somewhat hard to find.
I saw "Lawrence of Arabia" at the Riverside Theatre on Wisconsin Avenue in Milwaukee in 70mm in the summer of 1962, the year it was released. I was overwhelmed ("blown away" as a term of art didn't exist back then but would be an apt description). I was SO thrilled when, after nearly two hours, the screen said "There will now be an intermission." Never heard of such a thing back then for a movie!

I note that the film is now available for rent in 4k. I'm gonna take a flutter and watch it on Vision Pro.
> Doooooooooo dooodeeedoooodeeee doooooooooo doooooooooooo bshshhhhhzhhhhhhzhhhh

Anyone?
There is less of a reason to defend Taiwan. Doesn't mean the US won't try. Ultimately, the US wants to use Taiwan, Japan, SK, PH to contain China.

This is to re-secure the advanced chip supply in case a conflict actually breaks out in the pacific.

For China, taking Taiwan isn't really about TSMC. It's an ideology that stems from the century of humiliation. Furthermore, once they take Taiwan, SK, Japan, PH will eventually bow as well.
Vola has been low for the last 10 years or so. I remember when days that were up +3% or -3% were pretty common.
Capacity factor is calculated into lcoe, what's your point? Moreover, downtime for wind turbines is much less of an issue for a grid than large power plants (even with a significantly higher capacity factor), because you run into much bigger issues if your GW plant is down, compared to a couple of MW (and no the probabilities of all your renewables mix going down at the same time is very low, unless you're Luxemburg).
He knows this senate wouldn't come close to convicting. Heck, this house wouldn't even impeach.
Google kind of does this with Android. Most of the magic sauce for a lot of hardware is in user space -

https://siliconsignals.io/blog/implementing-custom-hardware-...

That's why you used to not touch vendor partition when flashing a custom ROM etc..
What's wrong with the screws? Screws are the king of repairability.
Truetax | Head of Data Operations | ONSITE | Full Time | San Francisco, CA

Truetax, Enterprise AI for Gov Tax Administrators, is seeking a Head of Data Operations who will support the execution of the company's mission - to drive efficiencies of tax systems. You will work alongside the co-founders (multiple venture backed exits; Oxford/Harvard grads) to set up and manage a distributed team of para-legal writers, support teams and data analysts. We need a self-starter who is curious, self-motivated, relentless in self improvement and who can motivate all those around them. They need to be willing to get into the weeds to deeply understand GenAI system processes and train the team. They need to have a deep commitment to our mission and be ready to move fast.

https://wellfound.com/l/2B6k1f
What does this mean for Intel’s foundry efforts? Are they basically dead now?
Linux users then start using Windows VMs to contain the worst of it.