MurphyA/hacker-news huggingface dataset:
by evanelias | 2025-10-13 16:11:42+00:00
Schema management tools often include built-in linters. I added a linter engine to my MySQL/MariaDB schema management tool Skeema back in 2019 and it proved to be a popular feature [1]. A couple more recent entrants in this space include ByteBase [2] and Atlas [3].

When selecting a linter, I'd just recommend ensuring the author(s) are deeply experienced in your particular DBMS. Otherwise they tend to cargo-cult bad advice that is either out-of-date, or only makes sense for some other DBMS. And nowadays, AI hallucinations are another source of nonsensical linters.

[1] https://www.skeema.io/docs/features/safety/

[2] https://docs.bytebase.com/sql-review/review-rules

[3] https://atlasgo.io/versioned/lint
by andrewl | 2025-10-13 16:11:51+00:00
The article did not say carriers were demonstrably not survivable in warfare. Or it said that that was not the conclusion of the navy.

The lesson wasn’t that aircraft carriers are obsolete; it was that air-independent propulsion and patient SSK tactics demand layered, disciplined, team-based ASW. ... The U.S. answer isn’t to panic about aircraft carriers; it’s to layer defenses and distribute risk—push the air wing’s reach (tankers, long-range weapons), fill gaps with manned and unmanned ASW platforms, and keep expanding the fleet’s acoustic picture with fixed and mobile arrays. The Gotland episode didn’t say “carriers are obsolete.” It said “carriers must be escorted by a navy that trains, equips, and fights as if quiet SSKs are everywhere.”
by sqliteonline | 2025-10-13 16:11:57+00:00
> You can <core value proposition>

It may be difficult to briefly describe all the website’s capabilities right now, but the key features include:

* Federated queries across external and internal data sources. * Using query history as a source for new requests. * Collaborative access to databases — both server and local, with structure synchronization. * Automatic chart generation based on queries. * And much more, including hidden features that are not yet easy to summarize.
by cloverich | 2025-10-13 16:12:04+00:00
My mental model as an outsider, is the vibe out of Google is that they push the most talented folks out via process / politics. Not intentionally, just the reality of squeezing the creative type employee / work. Replacing creative smarts which is difficult or impossible to measure, with operational smarts, more easily measured. Those creative smart people mostly go on to start up other companies.

Its worked out ok for Google and others, because there's little teeth to anti monopoly, so all the big tech players can just buy the successes, which is safer than trying to grow them (esp. once the talent left). I really have no idea if this is an accurate take as its mostly vibes, sans for a few of said smart Google folks I've met in startup land(s). Yet Google is so big, they could bleed all kinds of employees telling all kinds of stories and it could all be simply random. Yet at the same time I can't help but think about every aging tech companies biggest / best products being via acquisition.

While I think monopoly is bad, I don't know if ^ otherwise is so bad. Maybe its just creative type folks _should_ avoid big tech, and build their own labs. Capital and compute are readily available to people who can demonstrate success, and its easier than ever to build and experiment in some fields. i.e. if we had stricter capital accumulation associated taxes, maybe the ills of this process wouldn't be so bad.
by anon84873628 | 2025-10-13 16:12:40+00:00
I don't even understand what people think we're racing towards.

What the global masses want are good food, nice houses, fast transportation, TVs and cell phones... Physical comforts.

It doesn't matter what a superintelligence dreams up if you can't physically produce any of it. As the article says, China is the only place that actually has the manufacturing and robotics capability.

In the US we maybe have a hope of seeing more miracle healthcare, marginally more optimized industrial agriculture, and I guess even more lethal military technology. At best it can design all the factories and energy plants we are missing.

And putting all the white collar knowledge workers out of work- what would that accomplish? People aren't ready for the massive social reorganization that this tech would imply. Would it even survive the revolution it causes??
by next_xibalba | 2025-10-13 16:12:56+00:00
That is only one factor. Others include: overallocation of fixed costs to consumers, CA's climate and energy policies, CA's high regulatory burden, and CA's unique geographic challenges. Some of these are self imposed.

[1] https://calmatters.org/california-divide/2021/03/california-...

[2] https://lao.ca.gov/Publications/Report/4950

[3] https://www.ppic.org/blog/a-closer-look-at-californias-surgi...

[4] https://www.ivy-energy.com/post/californias-ever-increasing-...
by tptacek | 2025-10-13 16:12:57+00:00
I live a 20 minute bike ride from the Broadview ICE facility (the focus of the protests here) and there has been no indication whatsoever of violence originating in the protests (the average age of a Broadview protester appears to be 45, the average hair color "balding").

It is annoying the residents of Broadview though, since ICE/DHS is erecting barricades and disrupting traffic flows.
by pizlonator | 2025-10-13 16:13:07+00:00
> Fil-C is basically CHERI in software

It's not, actually.

Fil-C is more compatible with C/C++ than CHERI, because Fil-C doesn't change `sizeof(void*)`.

Fil-C is more compatible in the sense that I can get CPython to work in Fil-C and to my knowledge it doesn't work on CHERI.

Fil-C also has an actual story for use-after-free. CHERI's story is super weak
by mukti | 2025-10-13 16:13:12+00:00
I heavily use android's focus mode to keep myself from being too distracted. Originally I tried using app timers, but I found myself just constantly bumping them to the point where I wasn't getting a benefit. Whenever I notice an app being noisy with notifications (even if I appreciate them when I'm not busy), I add it into the list of distracting apps. I have a daily focus timer that enabled when I get to work and ends when I (generally) leave work. This keeps me focused during the day, but I also occasionally enable this when I want to focus on other things, or if I find myself spending too much time on random apps. Because of the way that the breaks work, I have to keep asking for 5/15/30min and I'm very aware of how much time I'm wasting. I also enable flip-to-shh mode, which disables all notifications when my phone is face down on a surface. I realize that focus mode and flip-to-shh can seem extreme, but I noticed this works well worked for me.

https://blog.google/products/android/android-focus-mode/
by api | 2025-10-13 16:13:21+00:00
The arc of social media is truly breathtakingly awful. At this point it’s hard for me to see any value in it at all.

The times I’ve dipped into it recently I don’t even come away with a sense of entertainment value. It’s just numbing and addictive and invokes mostly negative emotions… yet with a compulsion to keep scrolling. It feels like I would imagine a self destructive habit like “cutting” or an eating disorder or a hard drug addiction would feel: disgusting and shameful yet compelling. It’s vile.

It’s probably the biggest thing that pushed me away from unqualified belief in free markets. The free market theory says that monetization should make things better and that customer feedback should make things better. What I see is that it often makes things considerably worse. Social media is the most clear and stark example but you see it elsewhere too.

Ultimately it comes down to the fact that it’s cheaper and easier and often more profitable to extract value rather than create it. A casino is more profitable than a school or a hospital. Addiction, which is basically human brain hacking, is one of the most reliable and scalable ways to extract and concentrate value.

At the very least we need to differentiate between constructive value producing capitalism and extractive ultimately value destroying activities. The latter should perhaps be taxed into the ground.
Show HN: A modern and dynamic AI chatbot that converts your visitors
by denizhdzh | 2025-10-13 16:13:32+00:00
TL;DR: We built an embeddable AI agent that turns any website into an interactive, knowledge-driven platform. Upload PDFs or docs, and the agent answers user questions contextually. Unlike typical chatbots, it knows your visitors and can offer or show dynamic contents.

Problem: Most websites rely on static FAQs or generic chatbots. Users leave confused, conversion rates drop, and support load grows. Traditional chatbots often require external APIs and are limited in context-awareness.

Solution: Our On-Page AI Agent embeds directly into your website. It: • References PDFs, documentation, and custom content. • Provides contextual, personalized answers. • Reduces support load and increases engagement. • Can be styled and placed anywhere on the site.

Key Metrics / Early Results: • Increased trial signup rates by 25–30% for early adopters. • Reduced support tickets by 20%. • Fully self-serve deployment in under 2 minutes.

We’re looking for early testers and feedback from SaaS founders. Embed the agent on your site, share your experience, and help us improve the product.
by seanmcdirmid | 2025-10-13 16:13:37+00:00
China is build coal plants, solar, wind, nuclear, natural gas. They do less natural gas because they don't really have much of that, they do more coal because they can mine that locally, solar/wind are really only abundant out west while most people live in the east, and nuclear is a new thing that they are still getting into (and has lots of expenses that they haven't made cheap yet).

China is building less coal plants than they would need to if they just focused on coal, so they are improving over time.
by artemonster | 2025-10-13 16:13:37+00:00
leadership problem, as everywhere. old grampas that used to manually draw gears on paper now have to "strategically align" a huge corporation that has to deal with new shiny and complicated things like software and they all have zero fucking clue. at least with cars you can always try to safely stop, with planes - not so possible. this will also soon creep up there.
by slipperybeluga | 2025-10-13 16:13:41+00:00
The best thing I did for my homelab is unplug the raspberry pis and throw them into the crate of no-longer-used-but-wont-throw-away electronics. Switching to an ancient tower PC with on paper poorer specs significantly improved performance and reliability across the board and no more weird issues due to SD cards and flaky network. No worries about causing a house fire with sketchy power supplies. No having to make compromises to make it work like a regular PC with using external drives and no difficulty finding compatible software. Pis are amazing little devices, but my experience from the first gen to v4 is that they are temporary solutions or for use cases that don't have high reliability needs. Just buy a cheap mini PC for the same price and you have so many more options and benefits from the get go.
by mcswell | 2025-10-13 16:14:16+00:00
THAT looks like something worthwhile; I'll be looking into it.

I was going to top-post that the Unix/Linux command line tools were designed back in the day when data was pretty much line-oriented, e.g. one database record per line. Since then XML, and more recently JSON, have been invented, and tools like grep and sed just don't work for those formats. But you ninja'd me, sort of.
by wafflemaker | 2025-10-13 16:14:28+00:00
A little off topic, but there is this joke:

A Russian and American soldier meet during some peacekeeping mission/veteran fair and discuss which army is better.

They go through weapons, the American really likes AK-47. They talk about training. They discuss the distributed vs centralized command.

Finally the American says that they eat 5k calories per day. The Russian suddenly jumps up, points his finger at the American and starts yelling: "Liar! Nobody can eat that much potatoes!"
by mike_hearn | 2025-10-13 16:14:46+00:00
I don't know, I never thought about it much. I think engineering schools already do better than most others at this because requirements validation and weighing tradeoffs is such a big part of engineering as a discipline. Validating requirements often boils down to critical thinking, e.g. "but do you really mean that" and "is there a better way?".

The issues with critical thinking really show up in the other areas of academia, the humanities and natural sciences. But it's hard to get people to do it because often there are strong incentives not to think critically, or to be outright misleading deliberately.

I guess a curriculum focused around finding subtle flaws in arguments would be a reasonable place to start. It could be a lot of work to compile teaching materials that are tough enough. You could take papers that you know contain logic errors and ask students to find them. For instance, a lot of COVID papers work like this:

1. A COVID case is defined as anyone who gets a positive PCR test.

2. A positive PCR test is defined as detecting a COVID case.

When you see it spelled out so simply the problem is obvious but the whole field of public health managed to not see it (there were a few papers that timidly pointed out the circular logic, but it never reached public awareness). Of course maybe it was deliberate. But you could assign students a few relevant papers and ask them to analyze them critically.
by dzonga | 2025-10-13 16:14:53+00:00
share buybacks are sort of a voting mechanism - it shows the company has no other uses for the money than to reward shareholders - hence pumping stock price up.

if the company has a vision - then reinvesting that money into research or what else is better. it might reap the benefits, it might not.

companies use buybacks if they can't do anything productive with the money - Apple is a recent example.
by xlii | 2025-10-13 16:15:34+00:00
There's this place for formal proving that most people won't get to and think it's stupid. I was such person some time ago, but then started to work on the system that: Required 2-3 months for implementation, had no room for error, made processing mistakes cost in thousands of Euros (even silly things). Than you start to wonder "hmmm... how can I use something better than just good practices and judgement? How can I _prove_ design A works".

And usually there are tangible problems to avoid: Ensuring that money won't get lost in transaction. Making sure that legal paperwork will be delivered or returned on time. Or that CSV file costing arm and leg for a single row won't have more rows than necessary. Many of these problems are borderline paradoxical. It's known that (as with Two Generals) there are no complete solutions. Usually it's like playing a catch with reality. A game that goes "what happens if we duplicate money mid-flight?" - "which system is source of truth in case of fraud", "do we rather risk false negative or accept MIA state" etc.

Sure, it's fun to model a crossroad with streetlights and a chicken just for kicks, but the main "why?" for formal proving is having "this design is good because I've seen the proof of it" moment.

But what kind of questions are asked is just as important. I can bet asbestos met all the standards it was checked against :)
by lunias | 2025-10-13 16:15:36+00:00
> it copies the memory of the current process into the new one

And if that memory is large enough then you OOM, so you would have to manage shared memory separately to prevent it from being copied into each process. It's not impossible, just complicated for some use-cases where using threads is a preferable paradigm.

> Look at the amount of code it takes to send an HTTP request in Java, versus Python

This is kind of my point.... (Java)

var client = HttpClient.newHttpClient(); var request = HttpRequest.newBuilder().uri(URI.create("https://api.example.com/data")).build(); var response = client.send(request, HttpResponse.BodyHandlers.ofString());

versus (Python)

response = requests.get('https://api.example.com/data')

Yes, it's more verbose, but not to the extent that I'd trade the compiler and performance for the less verbose version especially considering auto-complete in IDEs.
by seanmcdirmid | 2025-10-13 16:15:39+00:00
China has lots of coal (to mine from the ground), and most of their solar/wind is out west, and most of their huge hydro is south, but is not enough anyways. They are able to reduce the amount of coal they depend on for their rising energy needs, but not eliminate them. It isn't just to keep the jobs/skills around, actually that would be easily transferred, they just can't pragmatically stop using coal yet.
by tennysont | 2025-10-13 16:15:51+00:00
In my experience, yes and no. Homelabs seem work because they let you experiment while striving towards goals (normally hosting something). That means that the organic problems that arise are the best teachers, since you're honestly motivated to overcome them.

Getting your homelab to boot up and run containers is an honest problem to solve. Figuring out the kernel modules to let you pass through your GPU or run ZFS on root are actual blockers to hosting a gitlab instance.

Running gitlab on multiple nodes to get high-availability is an honest problem to solve. Trying to do it in multiple VMs just to see how it works might teach you something, but it can feel pointless unless it's serving a real goal. I think that choosing a more complicated setup is good because it is hard, and forces you to learn more to achieve the same goal (and ultimately, some of those skills will hopefully be useful).

Additionally, there used to be some limitations on consumer CPUs around nested virtualization, which made it difficult to run VMs in VMs. When I was hosting apps in VMs on a machine, I would want to play around with the machine's configs, but risked disrupting my hosted apps. If I broke something, I didn't have my hosted apps until I got around to fixing my machine. Having multiple machines ensured that I could tinker with one while relying on the other. The process, by accident, gave me an intuition for planning upgrades to infrastructure. This intuition bubbles back into the design process.

I don't often own infrastructure for multiple upgrade cycles professionally, so it is a good way to earn some wisdom on my own.
by wonger_ | 2025-10-13 16:15:55+00:00
Not sure if this is standard for programming competitions, but I'm not a fan of this rule:

> During the qualification stage, the proctoring system must record the entire process of completing the problems. The recording must include video materials showing the participant, their computer screen, and the surrounding area.

> After completing the qualification stage, the participant must upload the recording to a convenient platform (for example, cloud storage or YouTube).
by alixwang | 2025-10-13 16:16:43+00:00
OneImage is a free, professional online image processing toolkit. Everything runs locally in your browser for speed and privacy — no downloads, no accounts, and no file uploads to our servers. Use compression, crop, overlay, blur, and EXIF removal to prep assets for the web or social. Batch processing helps teams handle many files at once; modern formats like WebP/AVIF are supported for smaller, faster pages.
by general1465 | 2025-10-13 16:16:50+00:00
Open AI is raising what, like 7 Trillion USD? What kind of revenue would that need to bring back to actually make a business sense?

The massive problem of OpenAI and others are open source models. Companies can count and if bill for AI assistants are above 100k USD, why not just buy a server for same money, run there open source model and as bonus point stop leaking your IP to 3rd parties.
by epistasis | 2025-10-13 16:17:24+00:00
Please no! Our electricity rates are already too high. The massive cost for short-term extensions to Diablo Canyon will drive them even higher.

Think of how much an extension to the lifespan might cost in your head. Now go and look: $8.4B to $11B to keep it running only until 2030.

There is massive political support for nuclear right now, which is the only reason it's being considered. The whole reason it was initially decided not to extend the license was that the cost would be too high. Now people that know nothing about electricity costs, but really love nuclear, have pre-determined that Diablo Canyon should be kept running without regard to better ways to spend that money on our electricity grid.
by hennell | 2025-10-13 16:17:42+00:00
This is kinda cool, but it's similar in function to the canon connect app which feels a little superfluous.

Maybe it connects better - I have a 70d and the connection process is annoying. Iirc it's WiFi direct but you have to connect and manage it yourself, and your phone will get cross there's no internet and disconnect you every so often.

My main camera now is a 90d which uses Bluetooth to connect first and then setup WiFi. Much easier process that makes the app much more useful. Although I've actually got an "unleashed" device that uses usb and hdmi for control, lets you do ramped time lapses and connect multiple cameras. No live view, but I can connect to both the 90d and 70d very smoothly which is more useful in general.
by ndriscoll | 2025-10-13 16:17:42+00:00
This is why OTA updates should simply be illegal/considered negligent engineering. If you want a convenient update, let people plug their phones or computers in via a USB port or something, or take it to a mechanic to do so. There shouldn't be security concerns with an appliance because it shouldn't be writable outside of an owner-intended maintenance mode, which should be impossible to activate wirelessly.
by fn-mote | 2025-10-13 16:17:42+00:00
Can you make this argument more rigorous?

I’m just not following the connections here.

It seems like your assumption is that a stock buyback is a short term gain.

One of your arguments is that the strike price for options is set based on a certain amount of stock in circulation, and decreasing that amount will “artificially” raise the stock price, making the options more valuable. I agree that higher stock price benefits those with options, and I would even agree that it is possible that when those strike prices were valued, the valuation did not take into account the possible global change in the amount of stock (although a market would have included this valuation).

I suppose the other part of the argument could be that R&D is good for the stock in the long term in a way that stock buybacks are not… the buybacks pumping up the price of the stock before it is driven into the dirt by competitors who do invest in R&D.

There, I’ve done my best for your argument but I still don’t really believe that increased stock prices for everyone is not benefiting everyone more or less equally.
by payneio | 2025-10-13 16:17:53+00:00
Hey all! I'm one of a handful of developers on this project. Great to see it's getting some interest!

For context, we are right in the middle of building this thing... multiple rebuilds daily since we are using it to build itself. The value isn't in the code itself, yet, but in the approaches (UNIX philosophy, meta-cognitive recipes, etc.)

We are really excited about how productive these approaches are even in this early stage. We are able to have amplifier go off make significant progress unattended for sometimes hours at a time. This, of course, raises a lot of questions on how software will be built in the near future... questions which we are leaning into.

Most of our team's projects, unless they have some unresolved IP or are using internal-only systems, are built in the open. This is a research project at this stage. We recognize this approach it too expensive and too hacky for most independent developers (we're spending thousands of dollars daily on tokens). But once the patterns are identified, we expect we'll all find ways to make them more accessible.

The whole point of this is to experiment and learn fast.