skysight-inc/HackerNews huggingface dataset:
> 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.

OK, but you implied you were giving a definition? Definitions are usually two sided, where every 'if' is silently implied to be an 'iff' for convenience.

> 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.

Not really. You'd need to prove that you actually need to check the numbers. We need to exclude that we just lacked the right idea.

Eg it fairly easy to prove that there's an infinite amount of prime numbers without having to check all numbers. It was a lot harder to prove Fermat's Last Theorem without checking all the numbers. For the Collatz conjucture, we don't know.

Why I did acknowledge was that _if_ you can prove an upper bound, then checking all numbers is computable, yes.

But if we haven't found an upper bound (yet), we have no clue whether the problem is computable or not.
Checkout namecrane $10 a year https://namecrane.com/store/email-hosting-deals
It’s all about experimenting, learning, and copying, right? Staying excited about it matters a lot too. Thanks for the great comment!
Been self-hosting for over 15 years for both personal and professional email, including clients. Currently using docker-mailserver. The claims that deliverability is worse when self-hosting are greatly exaggerated. It's not perfect, but it's certainly no worse than Gmail or Google Workspace for business.
I don't think we currently have any solutions that allow you get the answer to any question with optimal performance. You could instead push the needed metrics to a stream during your normal processing and aggregate it. This of course duplicates the data as the same information is already available in the tenant databases but is a very reasonable trade-off.
You significantly underestimate the importance of compute superiority for data synthesis for command & control.
Show HN: React Video Editor just hit Version 6
https://archive.ph/rV2tK
The fact that most masterpieces we see come from tons of trial and error. I’ll keep that in mind. My goal is to give back the gratitude I feel for what I’ve gotten from the internet and creative things like games, movies, and novels I love. I want to make something fun and good to repay the people who’ve made my life richer. I’ll keep building and won’t give up.

Also, I didn’t expect to get this much feedback. I’m really grateful that people took the time to respond to what I made and my questions. In Korea, it’s hard to find people who give honest, solid feedback. Posting on Hacker News was definitely the right call. I’m so glad I did it.
Thanks for the feedback! Improving the landing page is on my list, and like you said, I need to hurry up and add a guest mode so people can play without an account.
It's clear as day and I'm incredibly skeptical of anyone that wants to claim otherwise and try and defend an emotional overgrown child's actions as rational.
Even that understates things. TSMC is Taiwan’s singular Trump card in geopolitical negotiations. Now that righteousness and moral high grounds don’t matter any more, it’s the only thing keeping Taiwan safe.
The Internet should be for Adults.

Do NOT allow children onto the full Internet.

Allow websites to Opt IN to claiming to be safe for an age / having a given content, and allow indexes to create an allow list of sites that have opted in.

Any site operating in bad faith should be subject to false advertising enforcement, or if clearly aimed at nefarious activities that sort of crime.

User generated content is "Unrated" until moderated.
Thanks for the link! I’ll read it for sure
Someone seems to have crept your profile, @suraci, and it's not looking good: https://limewire.com/d/77690b9f-1ec3-4e43-a485-76c82bc67ddd#...
I enjoyed reading your comment but didn't wholly agree with this bit:

> If subsidies were good without drawbacks, we'd subsidise everything.

Many voters are sensitive to what they perceive as wasteful use of public funds, so your claim only makes sense in a sort of idealized, platonic dictatorship. Admittedly, governments do waste funds occasionally so the concerns are not necessarily baseless. However I can easily see a government choosing not to subsidize a 'perfect' project simply because they want to appear frugal to voters - after all, that is a significant reason why the UK has had so many austerity policies that have slowed public investment.

> And land is a famous special case; there should be a land tax to weed out people trying to make money from owning undeveloped land.

Henry George, is that you? I can certainly get behind that argument!
iOS 18.3.1 bricked my wifi and bluetooth. Can't connect to anything. MacBook Pro cannot open discord, slack, mail due to an os issue. Apple has such great hardware but the software has so many bugs, you start looking around for alternatives.
You realize stocks and securities are a part ownership in a company right? lolz. So yeah stocks are backed by physical reality. Maybe you can research what ETFs, and those other things are on your own time, since you apparently don't know.
Thanks for the link, I’ll check this one out too
No!! XRP is ultimately worthless and printed out of nothing. They gave it away in the early days. (Vs mined with real resources in PoW).

Convert it into hard Bitcoin and never worry about it again.

See ya in 10y!
"Probably"?

Realistically, this is what a plurality of the American people voted for -- no one with even rudimentary ability to read or hear could realistically claim they were unaware of who/what Trump was this time around. It's unfortunate the rest of the world is collateral damage.

It'll be at least two years before there is a realistic chance of change.
It's only good news for the evil and/or the ignorant.
Thanks for the blog, I'm going to read all of them
Related:

Let's code a TCP/IP stack (2016) - https://news.ycombinator.com/item?id=27654182 - June 2021 (49 comments)

Let's code a TCP/IP stack, 1: Ethernet & ARP (2016) - https://news.ycombinator.com/item?id=17316487 - June 2018 (47 comments)

Let's Code a TCP/IP Stack: TCP Retransmission - https://news.ycombinator.com/item?id=14701199 - July 2017 (30 comments)

Let's code a TCP/IP stack, 1: Ethernet and ARP - https://news.ycombinator.com/item?id=11234229 - March 2016 (49 comments)
SEEKING WORK

Location: Coimbatore, India (Timezone US/UK/AUS)

Remote: Yes

Skill: Python, Django, Flask, FastAPI, React, AWS

LinkedIn: https://linkedin.com/in/rajasimon

Email: coderxsimon@gmail.com
Ironically Linux with KDE is very good for being both pixel perfect, responsive and enjoyable to work with.

What a time to be alive.
Also the weather shall only be produced by starlink satelites. For this they need to install approx 1Bn "special" Dishes for the gift price of just 5k$ each.
This is quite inconsistent because Trump conditioned the rare earths deal. If he wanted peace that badly, he wouldn’t be imposing that. Also, you don’t win a Peace Nobel by being a system spoiler like he is, creating instability left and right and branding a stick. That’s completely delusional, even for him. He goes around talking about annexing Canada, taking Greenland, and displacing Palestinians -- where’s the peace in that? Obama got his without doing shit, guess why: the Nobel Peace Prize is about who you upset, and I very much doubt the committee is fond of Trump, especially since they gave the prize to Obama.
Maybe, it's also a good deterrent.

And without it, Taiwan would probably press harder for nukes.
Why do you think the batteries won’t?
Does anyone have any pro tips for large tool collections? (mine are getting fat)

Plan on doing a two layered system mentioned earlier, where the first layer of tool calls is as slim as they can be, then a second layer for more in depth tool documentation.

And/or chunking tools and creating embeddings and also using RAG.
> I'm a "practitioner", well a researcher. Most of my peers that I talk to believe evals/benchmarks are a strong indicator of real world performance as well as much more abstract notions such as ability to think

If this includes the benchmarks used by the frontier model providers, I'm stunned to hear this. It's abundantly clear that they're trained on and gamed to oblivion, rendered meaningless.

Or are these a different set of benchmarks? Or only when applied to research, non-commercial models?
News headlines in 6 months "Trump announces trillion dollar free-trade deal with Russia" that will be "totally fair" and not "taking advantage of the US" like Canada, Mexico and the EU.
Sourcetable | Staff Level Engineers, Full Stack (React + Python) | San Francisco

Spreadsheets are one of the few 1BN+ user platforms. Come build the future with us.
It will be like Trump’s first term.

1. Tariffs

2. Negotiation

3. Better trade agreements

People are acting like this didn’t happened in his first term.
> If I were China, I would give them relative economic independence if they...

What authority do you think China has over Taiwan?
Insane the full movie is just there on YouTube.
Of all the coins why choose the one that is not regulated in anyway. At least the others like BTC, ETH, SOL are regulated by the unaffiliated miners and stakeholders.

What prevents the XRP team from introducing any arbitrary fork such as a dilutions that are then forced on their nodes ?

Trustlessness is a core feature of a cryptocurrency and XRP seems to require a whole lot of trust/faith. But I guess faith is what makes it perfect for its cult like following.

Serious question, are you also deeply religious ?
Your perspective is coming from a very rigid all-or-nothing mentality and I don’t think it’s wise to see things that way.

Sure, a web browser that needs to open arbitrary network connections can be built to phone home. But nearly none of the components it’s built out of can. The image decoding and rendering libraries can’t touch the network, the rendering engine can’t touch the network, and nor can the dozens of other subcomponents it needs to work.

Your installed editor extensions can’t phone home even if the editor itself can. Or perhaps even the editor itself wouldn’t be able to, if extensions are installed out of band.

Your graphics driver vendor can’t phone home, your terminal can’t phone home, and on and on and on.

A solution doesn’t have to be perfect for it to be an improvement, so stop acting like it does.
No I don't, and anyway US-aligned semiconductor design and fabrication is still superior to Chinese if TSMC did not exist.
> If GDP is growing equally fast in both countries but with dramatically different levels of indebtedness, you can unequivocally claim one is more productive than the other at present.

Why?
Might have been worth reading if you hadn't kicked it off with an ad hominem. Bye!
Interesting that Suno et al miss out on the obvious problem that actual musicians need extra musicians for their own projects.

For instance a guitarist will have a track they wish they had vocals for(and lyrics) for and if they could pay for that they would.

Literally if you could highlight a tune section in your DAW, prompt it, and vocals + lyrics were generated, possibly different version or harmonies for existing parts etc. Musicians already pay for plugins but the singing ones are awful to use so far.
Zelensky predictably plays the tough guy by telling him to pound sand.

Zelensky flew to Washington to sign the agreement, and fully expected to--they waited an hour after the blown up press conference before being told to get out. Diplomatically, Zelensky wasn't even badly behaved in the press conference. Vance and Trump kept escalating the discussion. If there was a play, it was one constructed by Trump to give himself a reason to withdraw aid from Ukraine when he clearly wants to side with Putin.
I installed Windows 11 last year without cloud account.

Maybe because it's Pro version? I don't remember doing any incantation but it's possible that I didn't connect internet during installation.
Why is device overheating considered a software problem?
I don't think this is quite how it would work. Taiwan isn't even remotely close to self sufficient on many critical things including food and energy. This means they are extremely vulnerable to a naval blockade, with no realistic means of combating it. And breaking such a blockade would probably be impossible. It's not just that they're a tiny little island right off the coast of China, but the geography of the island itself makes a blockade even more unstoppable. Most of the island is made up of inhospitable mountains, with a sliver of hospitable land mostly on one side, the side that faces China. This [1] is a population density map of Taiwan. China is as little as 80 miles to their West.

And by "free world" I guess you mean the anglosphere, gradually shrinking globalist parts of the EU, and perhaps Japan/South Korea. That's now less than 15% of the global population and declining. Economically BRICS overcame the G7 back in 2018 [2], and the difference has only grown far more stark since. The times have really changed a lot over the past ~20 years. I think the collapse of the USSR was probably the worst thing to ever happen to the US, because it gave us a taste of global hegemony that was never sustainable, yet left us addicted to its fleeting flavor.

[1] - https://en.m.wikipedia.org/wiki/File:Population_density_of_T...

[2] - https://www.statista.com/statistics/1412425/gdp-ppp-share-wo...
Now that righteousness and moral high grounds don’t matter any more, it’s the only thing keeping Taiwan safe.

It's not the only thing because if China controls Taiwan, they'll eventually control SK, Japan, and PH as well.
> replaces Hong Kong as the gray area to do business

explain?
What is even worse is that I have all automatic updates turned off but my mac still auto updates all the time.
These libertarians are mostly an American phenomenon. In Europe it’s “small-government” conservatives who do this. (They are not really about small government, though, and they never reduce deficits; they are just for upwards wealth redistribution).
It's Official: The DVD Business Died in 2024
I got Homepods for all my rooms. Woops. The unpredictable bad behavior is maddening. All intermittent but frequent problems:

• I ask Homepods to play some music, and music starts playing in another room.

• I ask a room to play something, it says that is not in my library. I ask again. Same response. The problem comes in two flavors: One, I have to power cycle the Homepod to get things to reconnect. Or two, there is a halflife of disconnect where each time I ask there is an independent 1/2 chance of resolving the problem.

• I ask the Homepod to play something in multiple rooms. Some rooms play others don't. Sometimes, one room will start and stop playing randomly. Sometimes all the rooms will start and stop playing randomly.

• I ask a Homepod to play in a Zone. Same issues as asking for multiple rooms explicitly.

• Sometimes paired Homepods will both play, sometimes only one.

• Sometimes Homepods in a pair respond differently. If I carefully ensure only one hears me, it might be the one that starts the music that the other one refuses to do.

I can go on, but my experience is Homepods don't scale. A single pod or pair are much more reliable. Obviously, the more components a system has the greater chance of a problem, but it shouldn't be every day, or multiple times a day, for an integer we normally think of as "small N".

To say my Homepod use has been shaped by these failures is an understatement.

Apple has completely dropped the ball on Homekit. The app interfaces are completely ridiculous. Bad parody of bad app interfaces ridiculous.
They already lost access.
> low capacity factor power

I never heard this term before so I Googled it. Gemini (Google AI) defined it as:

> "Low capacity factor power" refers to a power source that generates electricity at a significantly lower average output compared to its maximum potential, meaning it doesn't operate at full capacity for a large portion of the time, typically due to factors like weather dependence or intermittent availability; examples include solar and wind power, which experience fluctuations based on sunlight and wind speed respectively, resulting in a lower capacity factor compared to more consistent sources like nuclear power.

Ok, sure, makes sense, but what are the alternatives to wind and solar for carbon neutral power sources? (Yes, we all know that nuclear power can do it, but almost no highly developed countries are interested in making large nuclear power investments at this point.) Our power supply structure will need to fundamentally change over the next 30 years. Probably, home- and utility-scale batteries will play a much bigger role.

Another point: Isn't the purpose of building wind turbines on the open ocean to capture more regular winds (compared to land-based wind turbines)? Wouldn't that improve capacity factor power?

About "soul-crushingly ugly": I never once saw a chemical refinery, nor a large-scale, modern hospital, that was anything other than "soul-crushingly ugly", but we need them in a modern society. So we try to carefully plan where/when/how they are built.
During his first term there were at least a few adults left in the room. This time around, all bets are off.
It would be a huge loss in capabilities. The only place to build the most advanced process semiconductors we have (like the ones in NVIDIAs flagship AI cards) is at TSMC, in Taiwan. A lot of the equipment there is highly specialized and tightly controlled. Considering the EU is not exactly interested in US foreign policy right now, you now have to take into account that the most advanced EUV systems are made solely by a company in the Netherlands... you see how the US might never be able to replace the current state of the art chips.

It's possible foundries in SK or the new ones we're building will get there one day, but it wouldn't be for a while.
This could be series or sarcasm
> ...in time will have its own version of China's and Russia's demographic challenges

They have a plan for that: birth control will be made illegal or access highly curtailed, starting with the "abortive" ones as the foot-in-the-door.
I fail to see the quality crisis if you’re just sticking with iPhone and Mac.

I’ve yet to find a better phone+computer setup if what you’re looking for are good quality native apps, integration between pc and handset, and a usable Unix environment for programming and other work.
Senior Software Architect | Formal Methods, UI/UX Design | 25+ Years | Remote

- Location: Europe

- Remote: Yes

- Willing to relocate: Maybe

- Résumé/CV: https://osequi.com/

- Email: bartus.csongor@gmail.com

Mathematics, Computer Science and UI/UX design specialist with 25+ years of experience.

I solve two of the most challenging software engineering problems: code architecture and state management, using formal methods (Applied category theory, Finite state machines) to bring academic rigor to the full stack: https://www.osequi.com/studies/list/list.html

I also facilitate product design by bridging design and development, leveraging my deep understanding of both visual design and its technical implementation.

Achievements:

- Built and led engineering teams (30+ engineers)

- Co-founded startups (1 successful exit)

- International consulting (Silicon Valley, UK, EU, Singapore)

- Featured in UI/UX design galleries

- Recently completed two-year R&D sabbatical focused on software correctness and rapid iteration methodologies

Seeking:

- Senior / Principal architect or technical leadership roles at companies valuing correctness, maintainability, and design excellence

- Joining teams building better software, faster

- Particularly interested in fintech, health-tech, and developer tools
Apple is in the hardware business. At some point, they used software to lure people in buying expensive hardware.

Since now their hardware is a bit better than others, maybe they care less of software quality.
What I think the GP is blowing completely out of proportion is:

> they get destroyed by weather

A few of them, every year. It makes a visible dent on their average longevity.

But I don't think distributing them has any impact on this. They just create a risk situation that nobody seems to be insuring and that large farms will self insure without problems. (Anyway, with the price going down the way it is, that will soon become irrelevant.)

> get dirty

Each person stopping to clean their own panels is much less efficient than professional cleaning centralized panels. It does increase your electricity costs.

> require significant maintenance

Home maintenance is an entire other level of inefficiency. That extends to any kind of equipment in your home.

But again, none of those is a big deal. Solar is mostly operation-free, so distribution mostly doesn't matter.
“I don’t want it” and “nobody wants it” are vastly different things, and in this case the latter is definitely not true.

There probably are/will be ways to do age verification fairly accurately, but they will be scary in other ways, and will certainly violate your privacy, at least during that process.
Exploiting Python Pickles
Let me ask you a question. What does the US House of Representatives look like with a new 41 million person state? How about the Senate? I’d say that it’s very blue.
I got a Kinect hoping for great things with my Mac. Never worked out. I scoured the net for software and I never got it to do better than hand tracking.
I have the occasional annoyance like "VLC has choppy audio for a few seconds after I seek," and "Gnome has gone full douchebag with notifications for everything and removing all the settings."

Other than that, though, Ubuntu on any old laptop (expensive thinkpads are my favorite) is my go-to daily driver. Except at work where I'm learning to deal with a (new, shiny, powerful) Macbook that I will use to... connect to a Linux VM because that's the only way to work on our software. Seriously, a whole fleet of zillion dollar macbooks so we can all ssh into beefy VMs to build/test/deploy on Linux.

IT onboarding made a point that if you want to get a Windows laptop and wipe it for Linux, you need permission and a "good reason." How about "this is stupid just let me work on stuff." Of course it's about tech support and security, which is fair enough but I feel like they have it backwards. Support Linux and then require special permission for the $4000 ssh client...

After spending a couple of days with homebrew and building some things natively on aarch64, though, I might make a hobby out of moving stuff local. It really is a beautiful machine.
TSMC is kind of a miraculous thing, decoupling the manufacture from design, letting anyone come up with a chip they want to build. I would hope they could have competition, but Intel can’t afford to give up the chip market and therefore competes with its own customers. They’re stuck in the trap created by their market dominance.
i5-9400f, and I was wrong about GPU, it's 1660ti
Nobody wants kids on the internet (well, most people), but the devil is in the details. I hate the idea I’m expected to provide proof of id to these companies. If poorly implemented, which it will be, then they could use that to correlate advertising to me even when I use a whole suite of tools to prevent it.
Coincidentally this is a very concise summary of the book "Fooled By Randomness". Bet you didn't know you were writing a book summary, but sometimes it just happens by chance :)