MurphyA/hacker-news huggingface dataset:
by hollowturtle | 2025-10-08 10:21:53+00:00
Good lord I wish I could have as many certainties as well, one point at a time:

* There is no objective reality, there isn't one in physics, it's just a non argument * "LLM's help a damn lot in speed of development" That may be your experience and my whole point was arguing that speed may not matter * "Genie is out of the bag, you have to go with the flow, adapt or else" I choose else if this the apex of the argument
by skydhash | 2025-10-08 10:22:30+00:00
Software is verifiable, but not by other programs. Also software is a soution to a problem, but the problem and the solution properties often don’t exist in the code.

Software and data is a bit soup whre the only thing you truly need is the Turing machine. Programming languages, File format, protocols, and encoding are constructs that are useful because of their general applicability, not because of their intrinsic aspects.

The domain expertise is still, what’s important, and code craftsmanship was the ability to create something that matches it closely enough that the cost of changes was minimal.
by lnsru | 2025-10-08 10:22:37+00:00
Exactly this happened to European hardware startups. So many certifications and directives, weee, rohs, reach, red, supply chain, sustainability, etc. Logical step as an investor is to avoid ventures, that are burning tons of money just to comply with regulations. The company I work for right now has healthy cashflow and people for regulatory topics, but it would be impossible to re-create this electronics business today.
by stevage | 2025-10-08 10:23:38+00:00
>Why not bold and _italics_. That would make a lot more sense to me.

Surely _underline_ would make more sense than _italics_. Somewhere I have seen /italics/ in use, but that does look kind of regexpy.

>I dislike that trailing commas are not allowed...There is no need for this and it makes writing out valid JSON more complex.

Trailing commas as a trend emerged after JSON was standardised. And thank god JSON is as well and truly standard as it is.
by mariusor | 2025-10-08 10:23:41+00:00
I'm not sure I can follow your logic of having smaller communities not being decentralized "at user level" whatever you mean by that. And you hyperfocus on Mastodon - which granted is correct as we're talking about mass adoption and where average users might go - but it is not the only project in the fediverse which is one of the main advantages over BlueSky. (And Mastodon does offer account move between instances, despite indeed missing porting over the existing posts)
by bonoboTP | 2025-10-08 10:24:05+00:00
The OG alienator was the Agricultural Revolution, settling and toiling repetitively in predetermined ways, unlike the more adventurous lifestyle from before with all the camping, hunting, gathering, where circumstances brought always novel challenges, you could be a man spearing a deer, instead of just killing some docile domesticated cow. Searching for pheasant eggs and being happy if you found some, instead of going out every morning to the predictable presence of eggs in the chicken coop.
by MindSpunk | 2025-10-08 10:25:23+00:00
IR sensor based tracking has existed for decades [1]. But aircraft equipped with them still equipped radar systems because of their significantly longer range tracking capability. Optical has all the same downsides as IR tracking, on top of not working at night. It's like people forget that radar relies on the scanning aircraft to actively illuminate their targets with the radar emitter, where as optical systems rely on the sun to do that. Targets are at least partially self illuminating for IR trackers thanks to the hot jet engines.

[1] https://en.wikipedia.org/wiki/Infrared_search_and_track
by themomentumai | 2025-10-08 10:25:41+00:00
FHIR MCP Server implements a complete Model Context Protocol (MCP) server, designed to facilitate seamless interaction between LLM-based agents and a FHIR-compliant backend. It provides a standardized interface that enables full CRUD operations on FHIR resources through a comprehensive suite of tools - accessible from MCP-compatible clients such as Claude Desktop, allowing users to query and manipulate clinical data using natural-language prompts.
by miroljub | 2025-10-08 10:25:42+00:00
> It's not about Russian people, you assumed that.

I assumed that because it's what has been said.

>> ... but they're lovely people that would 100% walk out if there were some real Russian ties involved.

> If any company is working from or with Russian ties, you can assume the government will have access to that data. Given the sensitive nature of VPN's, antivirus software, deployed software in general, its completely fair to say you don't want to work with people with ties in Russia.

Many major VPN companies have Israeli ties. Now, tell me, how is that better than having Russian ties? You trust Netanyahu's government more than Putin's?

> You're conflating things, and then throwing in some 'what-about-ism' for good measure.

No, I'm just exposing your hatred of Russians and your double standards.

> Nothing but an argument will come from this discussion so it's not welcome here.

Who are you to say that? You started with the racist remarks and got called out. If you don't want to discuss it anymore, you are free to stop, but I won't let your racism go unanswered.

> You could try your hand on Twitter.

Not sure about Twitter, but there are many platforms that would welcome your racism and your hatred. You would have a much better time somewhere else, so feel free to act upon your advice.
by modo_mario | 2025-10-08 10:25:45+00:00
>Self sufficiency is net terrible as impact to the globe. It's obvious that specialization+trade gives us much more efficiency, be it in raw material usage, power usage, you name it, to create whatever product. Even space usage requirements balloon if everyone wants to be self sufficient.

I think you forget that the alternative hides a ton of externalities. For example those massive agri corporations are vaaaastly more efficient than me or my grandpa working our own gardens. But we aren't spraying or the like to contribute to insect population collapse. We're being rather damn space efficient, yet we don't use any fertilisers from gas and mining. We don't compact the soil or lose topsoil. and what we do produce is less deficient in micronutrients.

And as someone else already said. It really just means more self-sufficient.
Show HN: EyeFix – AI tool to protect children's vision from screen fatigue
by lucierollay | 2025-10-08 10:25:54+00:00
Hi HN!

Every evening, my daughter rubbed her eyes after using screens — it broke my heart.

So I built EyeFix.coan AI-powered app that helps children (and adults) protect their eyesight through short, science-based eye exercises.

I’m not an ophthalmologist — I built this with the help of AI models (ChatGPT, DeepSeek) and real vision research. It started as a project for my daughter, and after seeing how much better her eyes felt, I decided to share it publicly.

What it does

Detects screen fatigue and suggests quick eye relief routines

Includes 60+ micro-exercises for focus, myopia, and dryness

Free, ad-free, privacy-safe (no tracking)

Built for schools, parents, and creators

Tech stack Built with Next.js, AI prompts for personalized routines, and a small cloud backend (Supabase + OpenAI API).

I’d love your feedback — both on the idea and on how to make it more useful (for adults or kids). If you’re a teacher, parent, or just someone who stares at screens too long, I’d love to hear how it works for you.

Demo video (1:32): https://vimeo.com/1101479378 Thank you for reading — and for keeping your eyes healthy
by j-krieger | 2025-10-08 10:26:09+00:00
No, it adds up to almost 50% of your wage. People who make millions of dollars (freelancers, company shareholders, etc) pay capital gains taxes of 25%. High earning people have capital, not a wage, either by way of company shares or asset payouts. They pay a tiny bit more tax and no social obligations

You forget that the 42% band kicks in at 68000 (up until 280k) not 10k from the median wage. You pay this with 1.2% of the median wage, when in the distant past (around 1960) you had 42% at 15 times the median wage. They never changed these bands to adjust for inflation.
by AlbertoGP | 2025-10-08 10:26:39+00:00
A particularly interesting part that I did not expect from the title:

> Before the rats encountered the detour, the research team observed that their brains were already firing in patterns that seemed to "imagine" alternate unfamiliar mental routes while they slept. When the researchers compared these sleep patterns to the neural activity during the actual detour, some of them matched.

> “What was surprising was that the rats' brains were already prepared for this novel detour before they ever encountered it,”
by tombh | 2025-10-08 10:27:55+00:00
Wow, 95 days!! Who would have thought that Colombia had the second highest, I just assumed it'd be another part of the Himalayas. I'm the author of the post, I suppose there's a chance I might find something different if I'm literally calculating every single line of sight on the planet? As there's a chance that the longest line isn't from a peak or plateau?

I'd love to geek out with you about your journey and thoughts if you're up for it?
by NKosmatos | 2025-10-08 10:28:10+00:00
After all the complaints and upheaval created after their silly management/leadership decision, they finally understood something.

As an owner and administrator of many Synology NASes I agree that Synology offerings are a bit underpowered compared to what is available in the market (from H/W point of view), but the ease of use and peace of mind within the Synology ecosystem (DSM software, apps) outweighs whatever drawbacks they have.

If Synology management takes the decision to refresh their H/W with new CPUs, NICs and more RAM, I'm sure they'll stay on the market ;-)
by jackcviers3 | 2025-10-08 10:28:46+00:00
I'll attempt to provide a reasonable argument for why speed of delivery is the most important thing in software development. I'll concede that I don't know if the below is true, and haven't conducted formal experiments, and have no real-world data to back up the claims, nor even define all the terms in the argument beyond generally accepted terminology. The premise of the argument therefore may be incorrect.

Trivial software is software for which

- the value of which the software solution is widely accepted and widely known in practice and

- formal verification exists and is possible to automate or

- only has a single satisfying possible implementation.

Most software is non-trivial.

There will always be:

- bugs in implementation

- missed requirements

- leaky abstractions

- incorrect features with no user or business value

- problems with integration

- problems with performance

- security problems

- complexity problems

- maintenance problems

in any non-trivial software no matter how "good" the engineer producing the code is or how "good" the code is.

These problems are surfaced and reduced to lie within acceptable operational tolerances via iterative development. It doesn't matter how formal our specifications are or how rigorous our verification procedures are if they are validated against an incorrect model of the problem we are attempting to solve with the software we write.

These problems can only be discovered through iterative acceptance testing, experimentation, and active use, maintenance, and constructive feedback on the quality of the software we write.

This means that the overall quality of any non-trivial software is dominated by the total number of quality feedback loops executed during its lifetime. The number of feedback loops during the software's lifetime are bound by the time it takes to complete a single synchchronous feedback loop. Multiple feedback loops may be executed in parallel, but Amdahl's law holds for overall delivery.

Therefore, time to delivery is the dominant factor to consider in order to produce valuable software products.

Your slower to produce, higher quality code puts a boundary on the duration of a single feedback loop iteration. The code you produce can perfectly solve the problem as you understand it within an iteration, but cannot guarantee that your understanding of the problem is not wrong. In that sense, many lower quality iterations produces better software quality as the number of iterations approaches infinity.
by onli | 2025-10-08 10:29:13+00:00
It was never cheap. Nuclear energy got a lot of subventions which limited the prices as seen by end users, but not cheap in general. You can read a writeup of the parliamentary scientific service about that at https://www.bundestag.de/resource/blob/877586/4e4dce913c3d88...

A striking example is the German state having to pay for storing the nuclear waste (temporary and final, see https://www.bafa.de/DE/Wirtschaft/Handwerk_Industrie/Rueckba..., though Germany has no final storage). Also when tearing down the old plants it can happen that the state is paying for that, as in https://www.handelsblatt.com/politik/deutschland/atomkraft-n.... Those costs were not part of the calculated energy costs, and in the past there were further subventions for the companies that lowered the price. Those are also listed at my first link.
by isoprophlex | 2025-10-08 10:29:23+00:00
So... these are very fun materials, a kind of real-life menger sponges with huge internal surface area.

Some fifteen years ago, as an intern working for a company making desulfurization catalysts (stuff that removes nasty sulfur compounds from crude oil so they don't stink up the gas you put in your car), I prepared a few of the easy-to-handle air stable ones.

Reactions between fluids and a solid catalyst take place on the catalyst surface, so higher surface area = higher reaction rates = better.

I remember everyone's minds at the company being completely blown by the ridiculous surface areas of my attempts at recreating some random MOFs from literature. Got awarded the highest possible grade for no reason other than (badly) following a few procedures and measuring that indeed, their internal surface area was insanely big.

Thanks Yaghi and co. I'll always fondly remember your MOFs.
by floppyd | 2025-10-08 10:29:40+00:00
This is going to sound harsh, but welcome to the real world, I guess. Being in IT is pretty much the only job I know of today that is stable, pays well, is enjoyable, feels like it affects the world, personally engaging and challenging, etc. Being not in IT (it's just a hobby of mine) your comment sounds like "Well I had absolutely everything, and I still do but now it's not as fun anymore!"
by robenkleene | 2025-10-08 10:29:46+00:00
What's the difference between a joined clip and the two separate clips sitting right next to each other in the timeline besides how they're presented in the UI?

Also I can do all of these options in an NLE like Adobe Premiere with video (i.e., I can split, join, reverse, etc... without creating any new media files), why wouldn't a DAW work the same way?
by palata | 2025-10-08 10:30:21+00:00
When something like this happens, you fire the CEO. I don't care how the decision process works internally, and how much they thought it would "help" the customers and were all in good faith. The company fucked up, the company has to acknowledge that, and the way to show it is to fire the CEO.

To change a company culture, you change the CEO. My view of Synology today is that they will pull the rug for their own benefit, at my expense. There is no way I trust this Synology ever again. Now I'm on TrueNAS, so I'm already lost to them, but I also tell everybody not to trust Synology. And that won't change if they don't show me that the company has changed.

Similar to Sonos, I feel.
by makeitdouble | 2025-10-08 10:30:26+00:00
Many IP holders belong to a group like Kadokawa, which straight own several streaming platforms (dwango/niconico is a perfect example of this)

Other groups like DMM or Fuji already have their direct platform where they also stream their own content. Except they fiercely cut it from foreign registration.

They all already accept credit cards, and could further cut H content from foreign audiences if needed.

If they wanted to, they could open it internationaly tomorrow.
by diodoe | 2025-10-08 10:31:31+00:00
Hi HN, Beatable started from a personal frustration I had as a founder. Every project begins with an idea, but dreaming is not enough. Before building anything, you need to understand the market, know your competitors, define a strategy, and share your idea to get real feedback.

At first I tried to use ChatGPT to validate ideas, but it quickly became too manual and scattered. I had to prompt it several times, fact-check results, and combine different outputs before getting something coherent. That process made me realize how inefficient it was to rely only on generic AI tools for structured business validation.

So I built Beatable, an AI system that organizes this process automatically. You describe your idea, and it performs competitor research, market sizing, SWOT analysis, and strategic recommendations, all in a few minutes. It’s not meant to replace your intuition, but to help you see your idea through a more objective and data-driven lens.

I’m now opening it to other founders who face the same challenge and would love your feedback. Does this kind of tool sound genuinely useful to you? What would make it more effective or trustworthy?
by DamonHD | 2025-10-08 10:31:44+00:00
Show me a field deployment of GaAs! That stuff is so expensive AFAIK that it's almost only for space applications, though things may have moved since I last looked!

Most solar is monocrystalline Si with tiny amounts of dopants such as P and B, not especially difficult to deal with. Ag contacts, Al frames, more Si for the glass, and maybe most troublesome the plastic backing sheets and insulants.

We just are not spreading heavy metals on our fields.
Mylinux Made by Me
by Mylinux-os | 2025-10-08 10:31:54+00:00
Hi everybody! I am 13 years old from India who has created a linux distro. It is live on github as rolling release model.

Link for github: www.github.com/pro1234123/Mylinux

I have also made a simple yet effective website for Mylinux hosted using github pages.

Link for website: www.pro1234123.github.io/Mylinux

The repo is still in early development but the os is rigorously tested. The latest release also packs support to boot from real hardware.

I hope for your support Please try it out and share your feedbacks on how to improve Thanks!
by Cthulhu_ | 2025-10-08 10:32:57+00:00
Yeah exactly, it changes the job from programmer to (technical) project manager, which is both more proactive (writing specifications) and reactive (responding to an agent finishing). The 'sprinting' remark is apt, because if your agents are not working you need to act. And it's already established that a manager shouldn't micromanage, that'll lead to burnout and the like. But that's why software engineers will remain relevant, because managers need someone to rely on that can handle the nitty-gritty details of what they ask for.
by onli | 2025-10-08 10:33:09+00:00
The low figure of CO2 usage often cited is based on an estimation you can read at https://onlinelibrary.wiley.com/doi/full/10.1111/j.1530-9290.... I don't remember it giving a clear estimate on how much it rises, but that is understandable, as already the current estimate is not a reliable figure.

But it's the wrong comparison. Nuclear energy is not to be replaced with fossil energy, but with renewables. So that "advantage" is completely irrelevant.
by aw1621107 | 2025-10-08 10:34:12+00:00
> Again, I don't see how this is any different or special compared to any other programming language that would handle the error by asking the user to retry the function.

The blog's emphasis is that SPARK catches the possible error at compile time, so you can't forget/neglect to handle the error. Notice that neither rustc nor clippy complain at compile time about the potential OOB access in the Rust program that precedes the SPARK demo, while SPARK catches the potential issue in the naive translation.

> But I think the discussion here is about Rust, Ada, C/C++ no?

Sure, but my point is that type systems are not all equally capable. I don't think it's controversial at all that Rust's type system is capable of proving things at compile time that C++'s type system cannot, the most obvious examples being memory safety and data race safety. Likewise, SPARK (and C++, for that matter) is capable of things that Rust is not.

> The type system in Rust, Ada, and C++ are all robust enough at least to accomplish this.

I'm not sure about that? You might be able to approach what SPARK could do, but at least off the top of my head you'll need to make a check the compiler can't verify somewhere.

And that's just for this instance; I don't think Rust nor C++ are able to match SPARK's more general capabilities. For example, I believe neither Rust nor C++ are able to express "this will not panic/throw" in their type systems. There are tricks for the former that approximate the functionality (e.g., dtolnay/no_panic [0]), but those are not part of the type system and have limitations (e.g., does not work with panic=abort). The latter has `noexcept`, but that's basically semantically a try { } catch (...) { std::terminate(); } around the corresponding function and it certainly won't stop you from throwing or calling a throwing function anyways.

> Exactly! This is the root of my issue: you can accomplish this magical "proof" you speak of without using SPARK or Ada or any special "contract" language.

Perhaps I wasn't clear enough. I was trying to say that it's contradictory to complain about formal proofs while also claiming you can accomplish the same using other programming languages' type systems because those type systems are formal proofs! It's like saying "You don't need formal proofs; just use this other kind of formal proofs".

I don't think that assertion is correct either. The reason separate languages are used for this kind of proof is because they restrict operations that can't be proven, add constructs that provide additional information needed for the proof, or both. Perhaps as an extreme example, consider trying to make compile-time proofs for a "traditional" dynamically-typed language - Smalltalk, pre-type-hints Python, Lua, etc.

[0]: https://github.com/dtolnay/no-panic
by NikolaNovak | 2025-10-08 10:34:19+00:00
I installed Seagate Ironwolf Pro in my Synology last night.

It complained it wasn't compatible.

If that drive isn't compatible than I don't know what legitimate criteria possibly could be.

(Yes, I get the criteria is "what we prioritized to test" but my point stands,it's the high end of consumer-available NAS drives, not a compute model or a shucked SMR drive:)
by belorn | 2025-10-08 10:34:20+00:00
This highlight the importance to let scientists and doctors do their research and focusing on the findings. Politicians and parents have opinions, but in the end we as a society has chosen to use science and evidence to determine when to apply medical care and have the government fund both science and medical care.

Looking at Sweden, it was alarms from the medical and research side that resulted in stopping the prescription of hormone blockers to children. The historical record has demonstrated poor treatment results and high rate of harm, with doctors reporting problems of politicians and parents pressuring them into doing treatments that they themselves do not think will be to the benefit of the patient. Opponents has described the act of removing treatments as transphobic, and politicians from both side joined in, but very little is now focused on the science or data.