MurphyA/hacker-news huggingface dataset:
by js8 | 2025-07-25 11:40:50+00:00
LLMs could be very useful in formalizing the problem and assumptions (conversion from natural language), but once problem is described in a formal way (it can be described in some fuzzy logic), then more reliable AI techniques should be applied.

Interestingly, Tao mentions https://teorth.github.io/equational_theories/, and I believe this is better progress than LLMs doing math. I believe enhancing Lean with more tactics and formalizing those in Lean itself is a more fruitful avenue for AI in math.
by joshstrange | 2025-07-25 11:41:14+00:00
If you “vibe code” [0] and end up deleting your data I have zero sympathy for you. In fact, I think it’s a good thing. Maybe it will help burst that particular bubble quicker.

These articles should be ridiculing the “developer” instead of framing it as “Ai DeLeTeD X”. AI didn’t do anything, a careless developer did it (by using LLMs unchecked). You wouldn’t say “rm deleted data”, you’d say “some careless dev deleted data”.

The only people stupider than those trusting LLMs completely to write code for them are the people who think it’s the LLM’s fault when something like this happens.

[0] Use LLMs to write code with little to no code review.
by whywhywhywhy | 2025-07-25 11:44:40+00:00
Something is poorly implemented with Windows UI on HDR, and Macbooks it all looks fine then HDR content just appears brighter, I think the rest of the UI becomes duller too at that point but on windows it feels like running HDR on the Windows desktop means the whole screen looks dull, least it does on my 5K HDR Dell.

Not sure if I'm missing a setting, but I end up having to manually turn HDR on before playing a game and off after.
by audinobs | 2025-07-25 11:44:59+00:00
This is just pointless ceteris paribus because genetics are the biggest variable.

If someone has a predisposition to diabetes they can't drink alcohol and hold things ceteris paribus because of the way alcohol effects the liver and then effects insulin.

Insulin sensitivity gets worse, blood sugar is all over the place and then the person is on a rollover-coast of over consuming calories to try to stabilize blood sugar.

IMO your post is why almost all dieting advise is just complete oversimplified nonsense. Meaningless ceteris paribus linear combinations that mostly add up to a non-reality for a non-linear complex system. It is a way for people to pick and chose what they want to be true.
by isodev | 2025-07-25 11:45:46+00:00
I believe Wero is just a service (doesn't have an app or anything like that). You'd activate it from your existing bank's app. For example, the KBC app has a Wero icon you can use to enable payments via the system.

But generally I agree it's not an ideal situation and I fully blame Apple for the current state of things - all QR-code based systems (payconiq, Bancontact, etc.) could've been avoided if apps could provide payments and access NFC from the start but here we are.
by cthalupa | 2025-07-25 11:46:11+00:00
> Anyone else engaging in "bulking" and "cutting" is just wasting their time.

Why?

> This is why you eat a slight caloric surplus while hitting your macro goals.

As an unenhanced lifter you've not got the significant nutrient partitioning boosts that HGH/AAS/(and for some) insulin give you. If you want to maximize gains you're going to be in a big enough surplus that you're just not going to get basically exclusively muscle gains for every bit of weight you add. Eventually you're going to need to diet, even with a fairly small surplus. And what is a phased approach to eating in a surplus to gain muscle and eating in a deficit to lose fat but bulking and cutting?

I would agree that perma-bulking isn't a particularly good idea, and trying to bulk and cut with the same sort of caloric surpluses and deficits someone on gear is counter-productive for a natural lifter, but I don't see why or how you come to the conclusion that unenhanced lifters using the bulk/cut terms are dweebs or wrong in using the terminology. HN is the only place I've ever seen anyone claim that the only people who should be using bulk/cut phrasing are enhanced lifters.
by Eddy_Viscosity2 | 2025-07-25 11:46:21+00:00
> Why do we have this idea that big corporations are these giant scary entities disconnected from real people?

Because they are. The corporate structure as well as the internal and external systems in our political/legal/economic systems are designed specifically to make corporations work as economic engines where risk, responsibility, and liability are distributed and diluted to the point it they pretty much evaporate. This means that corporations can do things like commit full on crimes, without any real person going to jail. Why? Because they are disconnected from real people by design.
by aosaigh | 2025-07-25 11:46:44+00:00
> Over seven in 10 (71%) feel that the measures overall will make a positive difference to children’s safety online, while over three-quarters (77%) are optimistic that age checks specifically will keep children safer.

What do UK parents here on HN think? I'm interested to hear the difference between the sentiments expressed by the "public" and more-technical parents here on HN.
by bayindirh | 2025-07-25 11:47:43+00:00
I think this graph is somehow invalidated in recent times. Now we have something in the middle: Minimalist blogging platforms which provide the service sans the need to rebuild the site every time you publish something.

The graph was true, because handling the static site was a big time sink and also prevented me from having a blog. Otherwise you have to go full Wordpress or similar.

Now I use Mataroa. There's also prose.sh, bearblog, smolpub and possibly others. Being able to type something away in your notes app, and share it to somewhere is an unprecedented power enabler. Because it's simple, transparent, and heck, it works.

This is the also proposition of Obsidian publish. Yes you have Quartz4, which needs Node, NPM, and a factorio pipeline plus a server and whatnot. You select the pages, press publish and presto. Your site is up in "5" seconds flat.

Removing the exciting tech and making it simple, thin and invisible is a great way to make people to work your tool. If I want, I can make all the CI/CD dance and animate it in the process to entertain myself, but no. I want a simple, minimalist blog with a nice layout. Hence Mataroa.

Alto caters to the same demographic, and is brilliant for that.
by tptacek | 2025-07-25 11:48:33+00:00
Again: introducing surprising correctness bugs? Crashing programs? Absolutely. I don't know how many different ways I can say that my concern here is the misuse of a security term of art. Dropbox engineers do not have as a rite of passage introducing or finding RCE vulnerabilities in Go code. Would that it were so! My job would be much more interesting.
by akomtu | 2025-07-25 11:48:48+00:00
I've heard a good point that our eyes have, in fact, a boring 1:100 range of brightness. Eyes can rapidly adjust, but the real game changer is our ability to create an image in our video memory, which has an unlimited brightness range. Eyes give us maybe a 2d uint8 framebuffer, but our mind creates and updates a float32 3d buffer. This is why this experience cannot be reproduced on a screen.
by dathinab | 2025-07-25 11:49:51+00:00
> didn’t generally work out

agreed, but that was often not necessary a hardware issue but a ecosystem issue and Intel executives maybe not seeing/realizing that is pretty incompetent

On one side you had the whole windows was absolute garbage on ARM until very recently, and needed Apple to show them how to have a low friction support extension/transition. And if you instead shipped it with Android or Chrome OS it supposedly didn't count anymore (except a lot of non tech afine consumers have replaced home desktop/laptop with a tablet anyway (cheaper and does everything they need)).

On the other side there was a best technical fit/best customer fit mismatch. Best customers where tech enthusiasts which want to try out new things and can live with a bit of friction (if it's small enough) and are also often willing to pay _slightly_ more. But the best price/product fit is the low (initially, then to mid) end devices except they aren't really that interesting for enthusiasts and due to low (initial) production quantity also not necessary that cheap either and for the people which normally buy this devices buying a similar priced android tablet is most times just better and with a bit of effort you can get an even better x86 PC, through with many 2nd hand/hand me down parts.

and outside of 1) means to pressure MS for better deals, 2) Steam Deck/OS, there just weren't any meaningful large/well known hardware producers shipping with Linux (yes Lenovo and Dell do care (do they still? idk.) for Linux compatibility in _some(few)_ of there expensive business focused lines. But outside of exceptions in 1) don't ship with it so no "normal" consumer pics it up, and Linux shipping ORMs are on the larger consumer market picture just too small to make a big difference. So ARM Linux stayed relegated to niche, too.
by simoncion | 2025-07-25 11:50:13+00:00
> ...I get some crazy glaring image in my feed that hurts.

Are you using an Apple machine to do your browsing? I have heard that Apple has (for some damn reason) decided to do this sort of crap with HDR-pictures-in-an-otherwise-SDR-document. It's nuts. This doesn't happen to me on Windows, and -because I use xorg- I've no idea what happens on Linux.
by glimshe | 2025-07-25 11:50:28+00:00
We don't need photorealism in games, but it does help with immersion. Many people, like me, feel like they are inside the game world, rather than playing a game with a TV/monitor in front of them. Photorealism is essential for this feeling - at least for me .

The most amazing gaming experience I've ever had was walking around the city at night in Cyberpunk 2077. For the first time in my life, I felt I was actually in the future. Zelda can't pull that off with me, despite being a great game from other perspectives.
by MilaM | 2025-07-25 11:51:27+00:00
SEPA is not crap. It's actually pretty awesome, considering that you can instantly transfer money between 5000+ banks in 30+ countries, with practically zero fees.

The UX of SEPA is lacking in comparison to other modern payment systems for sure. I'm confident though, that it will improve soon. Wero [1] seems like a decent start and appears to be gaining traction lately. It's basically a layer on top of SEPA Instant payment with extra features and a decent app based UI/UX.

[1] https://en.wikipedia.org/wiki/Wero_(payment)
by mtlynch | 2025-07-25 11:51:54+00:00
Another reader suggested a different way that achieves the same thing but avoids degrading the pool.

You keep the raidz1 pool healthy, create a 5x8TB raidz2 pool with two fake disks, migrate the data, and then only pull the disks from the raidz1 pool when the data successfully migrates. Even if a disk dies during reslivering on the raidz2 pool, you still have 3 of your 4 disks in the raidz1 pool.
by phi0 | 2025-07-25 11:52:53+00:00
This seems slightly inconsistent with them testing all cartel member's bulbs and fining those who surpassed 1000 hours. If shorter-lasting bulbs were better looking and more efficient their fining mechanism would be energy efficiency / appearance related.

Or require no fines at all. It's much simpler to sell a non-sickly looking bulb at the store and other companies would converge.
Show HN: Sharebuttons.ai – generate AI share buttons for ChatGPT, Claude etc.
by andrew-jack | 2025-07-25 11:54:39+00:00
Hi HN,

I built https://sharebuttons.ai, a free tool that generates sharable links and embeddable buttons to help your content get cited in AI platforms like ChatGPT, Claude, Perplexity, and Grok.

The idea is simple: Instead of traditional social media buttons, these buttons generate AI-optimized prompts that include your content. When clicked, they open the selected AI tool (e.g. ChatGPT or Claude) with a pre-filled query referencing your material. This makes it easier for visitors to bring your content into AI conversations - and more likely to get it cited in AI-generated answers.

You can choose which platforms to support, and the tool gives you clean, ready-to-use HTML for your site. No signup, no scripts, just links, buttons and markup you can embed. It works with any type of site — blogs, documentation pages, landing pages, etc.

Benefits:

- Increases the chance your content gets cited in AI responses - Helps build your brand’s presence in AI-generated output - Makes it easier for users to reference your content directly in tools like ChatGPT

Examples of links:

ChatGPT (Summarize): https://ivbnssfgtjtfuskcqkfh.supabase.co/functions/v1/track-...

Grok (Summarize): https://ivbnssfgtjtfuskcqkfh.supabase.co/functions/v1/track-...

Some websites are already experimenting with this approach. Designmodo's blog https://designmodo.com/email-design/ now uses similar AI-friendly share buttons to improve visibility in AI-generated content.

I'm looking for feedback: - Is this useful to you? - Would you add something like this to your site? - Any improvements or additional AI platforms you'd want supported?

Feedback and critique welcome.

Thanks!
by hshdhdhj4444 | 2025-07-25 11:54:55+00:00
One of the key benefits of India’s UPI is that it’s removed the middle man when it comes to benefits to the poor which has drastically reduced corruption and ensured the money goes to the people it’s supposed to.

The West likes to paint the government success in India around religious terms, but in reality, it’s the actual improvement in life driven significantly by the adoption of UPI that’s played the biggest role.
by khazit | 2025-07-25 11:55:06+00:00
From the 10-Q filing: "We are focused on the continued development of Intel 14A, the next generation node beyond Intel 18A and Intel 18A-P, and on securing a significant external customer for such node. However, if we are unable to secure a significant external customer and meet important customer milestones for Intel 14A, we face the prospect that it will not be economical to develop and manufacture Intel 14A and successor leading-edge nodes on a go-forward basis. In such event, we may pause or discontinue our pursuit of Intel 14A and successor nodes and various of our manufacturing expansion projects"
by lorenabudoian | 2025-07-25 11:55:35+00:00
Salutare!

Lucram la asistent vocal cu AI care răspunde automat apelurilor telefonice pentru afaceri (restaurante, cafenele, frizerii etc.).

Folosim agenți vocali specializați (voice agents) integrați cu LLM, capabili să gestioneze comenzi, rezervări sau întrebări frecvente ale clienților – în timp real, 24/7.

Suntem în faza de prelansare și am adăugat un link live.

Dacă aveți feedback despre produs, ne-ar ajuta enorm!
by beardyw | 2025-07-25 11:55:39+00:00
A a Christian I don't agree with your conflation of belief in God and rejection of evolution. America does seem to tend towards fundamentalism but that may be wrong. If you want. The bible to be the unerring word of God then you have to embrace that stuff. I don't and anyone who has studied the bible properly will tell you it is such a mix of faith (if course), politics and wishful thinking it is crazy to do so.
by ryukoposting | 2025-07-25 11:56:45+00:00
It's been around for a few years now. Games went from averaging around 3 hours to averaging 2.5. The long tail of 3.5-4.5 hour games were basically eliminated. The only time that happens now is if you get extra innings, high pitch counts, and lots of plate appearances that don't end in outs -- in other words, longer games are long because they're good!

Occasionally an old head will grumble about it, but even the old guys tend to be pretty happy about the pitch clock.
by aosaigh | 2025-07-25 11:57:30+00:00
I'm probably not your ideal customer, so take this with a pinch of salt, but I think you're shooting yourself in the foot by segmenting your pricing by "number of landing pages".

I would instead price by features. For example you could segment pricing by the number of blocks you can track on a page. Free users only get 3 blocks, paid users get 50 blocks, enterprise users get unlimited blocks.

You want to be able to convert users that are only going to need the tool on a small number of landing pages. I may be wrong, but I can't imagine anyone needing detailed analytics on 100+ landing pages
by simoncion | 2025-07-25 11:58:08+00:00
VA screens have pretty damn good contrast, and OLED monitors tend to have low peak (and sometimes even spot!) brightness.

A while back, I tried an OLED gaming monitor that was widely reviewed as being very good. While it was somewhat better than the VA monitor that I've been using for years, it was nowhere near 1,500 USD good. I could see someone coming from an IPS or TN screen being very impressed with it, though.
by 0xCE0 | 2025-07-25 11:58:23+00:00
Checklists are one of the most powerful universal tool I know for avoiding/minimizing disasters/failures. In the context of software, I try to create user interfaces as masked checklists, because it forces making critical steps/decisions visible and clear (common domain specific understanding for both developer and end user), and guides user to goal. It's almost like old-school "wizard" UIs, but professionals in mind instead of beginners.

Also, critical business processes are great expressed as checklists.
by smusamashah | 2025-07-25 11:59:11+00:00
As an Urdu speaker I love the Nastaliq font for its ability to give each word its own unique shape. When alphabets are knitted together, it doesn't just change total width of the word, it changes total height as well. Found a random website with urdu text in image form https://wp.nyu.edu/virtualurdu/the-clever-bird/
by bornfreddy | 2025-07-25 11:59:59+00:00
Meh. Not all people have the strictest security (and privacy!) requirements. While it is admirable that GOS strives for perfection, I would be more than happy with a less secure, but repairable phone, such as Fairphone.

So just give me that alarm system for my tent, please. It will do fine for my case.
by forgotmypw17 | 2025-07-25 12:00:25+00:00
I’ve implemented and maintained an entire web app with CC, and also used many other tools (and took classes and taught workshops on using AI coding tools).

The most effective way I’ve found to use CC so far is this workflow:

Have a detailed and also compressed spec in an md file. It can be called anything, because you’re going to reference it explicitly in every prompt. (CC usually forgets about CLAUDE.md ime)

Start with the user story, and ask it to write a high-level staged implementation plan with atomic steps. Review this plan and have CC rewrite as necessary. (Another md file results.)

Then, based on this file, ask it to write a detailed implementation plan, also with atomic stages. Then review it together and ask if it’s ready to implement.

Then tell Claude to go ahead and implement it on a branch.

Remember the automated tests and functional testing.

Then merge.
by salawat | 2025-07-25 12:00:31+00:00
>These are all behind the scenes technology that users should not be aware of.

Every time I hear this statement, alarm bells ring in my head. We aren't immortal. None of us is omniscient, and unfortunately the bad actors we're trying to protect against obviously don't give two shits about getting their hands dirty. We can't just hide all implementation details from users, especially when today's users may of necessity become tomorrow's admins.
Show HN: Resilient-result – Rust-style errors in Python
by iteebz | 2025-07-25 12:01:12+00:00
I built `resilient-result` after getting tired of try/catch blocks scattered everywhere in production Python code. It's a zero-dependency library that brings Rust-style Result types to Python with a clean decorator API and seamless async support.

Key features:

- @resilient decorator converts any sync or async function to return Result[T, E] instead of raising exceptions

- Rust-style Ok() and Err() constructors for familiarity

- Guard clause patterns for clean early returns

- Full generic typing support for IDEs and type-checkers

- Zero dependencies, Python 3.8+

Example:

from resilient_result import Result, resilient @resilient def divide(a: int, b: int) -> int: return a // b result = divide(10, 0) # Returns Result.fail("division by zero") if result.success: print(f"Result: {result.data}") else: print(f"Error: {result.error}")

The guard clause pattern shines in multi-step processes:

def multi_step_process(data: str) -> Result[str, str]: step1_result = process_step1(data) if not step1_result.success: return step1_result # Early return on failure step2_result = process_step2(step1_result.data) if not step2_result.success: return step2_result return Result.ok(step2_result.data + "_complete")

PyPI: https://pypi.org/project/resilient-result/

GitHub: https://github.com/iteebz/resilient-result

Would love feedback from the community! Is this a pattern you'd use in production Python?
by Magmalgebra | 2025-07-25 12:01:52+00:00
I've read a lot of blog posts making this same argument for a year "Cloud makes 80% margins! You're fool for paying them!" and I think they show a lack of curiosity as to why so few companies paying 9 figure cloud contracts feels incentivized. That's a huge incentive for a director looking to make their mark right?

In fact we have an example of a company that spent years moving off cloud - Dropbox - and the company has been stagnating since - so this isn't some "easy win".

If you talk to smart business leaders you'll hear the main 3 points come up over and over: cloud offers three huge advantages that are worth incredible margins to many companies:

1. Your business can scale existing or new workloads very quickly

2. It frees up organizational focus for your customer's problem

3. It's easier to hire cloud skills for than bare metal skills

You'll note that improvement on all of these are a trade of money for more time and lower risk. Put in those terms I hope it's not confusing why we continue to pay cloud provides.
by bayindirh | 2025-07-25 12:02:27+00:00
From that angle, we can also argue that losing a door or a plane or two during flights is not a big issue for Boeing and people in general, because it's the only problem known with these planes, and it happens pretty rarely, no?

Heck, even if we believe Boeing, it's the pilots' problem who are not retrained for the new plane which doesn't need training.

Honestly, also this Boeing thing smells like an overblown hysteria campaign to pump American planes.
by zozbot234 | 2025-07-25 12:02:48+00:00
So you're saying nobody cares about actual memory safety in concurrent code? Then why did the Swift folks bother to finally make the language memory-safe (just as safe as Rust) for concurrent code? Heck why did the Java folks bother to define their safe concurrency/memory model to begin with? They could have done it the Golang way and not cared about the issue.
by mytailorisrich | 2025-07-25 12:03:18+00:00
This strikes me as a problem with the widespread dogma that it has to be open source (OSI approved license). It doesn't.

If you want commercial users to pay then pick a license that makes it so, it can still be source available and free (as in freedom and/or cost) to non-commercial users.

> The maintainers are now free to respond to complaints with "you need to pay us for us to care."

If you are a maintainer of an open source project you don't have to care about complaint and you can absolutely say that you need to charge for your work in reply to requests. In fact that has always happened.
by simoncion | 2025-07-25 12:03:32+00:00
> For HDR to look good, you need a monitor that hits approximately 1000 nits in brightness.

I disagree. The wide color gamut is -for me- a huge thing about HDR. My VA monitor provides ~300 nits of brightness and I've been quite happy with the games that didn't phone in their HDR implementation.

Plus, any non-trash HDR monitor will tell the computer it's attached to what its maximum possible brightness is, so the software running on that computer can adjust its renderer accordingly.