MurphyA/hacker-news huggingface dataset:
by dlahoda | 2025-09-16 09:46:18+00:00
yes.

tests test what? logic. logic = types (proven). so stronger type system less test needs to be written.

more, if proc macro or build.rs can execute logic, based on parsed """types"""(partial info only), we can extend type systems with custom logic (and panic at compile time and/or startup time if usage violation detected).

on top of that, add fail fast (fail at compile time, build time or start up time) and newtype and errors-part-of-api culture; and lack of late binding (dyn is very limited use, no runtime reflection), and we get even less reasons to write tests.

some examples of industrial """typing"""(eDSLs, construction time) solutions in rust :

- https://github.com/elastio/bon

- https://github.com/contextgeneric/cgp

- https://github.com/paritytech/orchestra

- https://git.pipapo.org/cehteh/linear_type.git

sure we need write tests, and tests like antithesis helps with.

but list of tools helping with tests exactly as antithesis does(and more of others) is huge. that is built on top of absolutely strong supply chain audit, quality and security. there is even """levels""" of determinism tooling to decide how much to pay for cloud compute.
by natmaka | 2025-09-16 09:47:17+00:00
> Your ourworldindata links says nothing about current investments.

It says clearly about the respective parts of renewables and nuclear in Japan gridpower, before and after Fukushima (which happened 14 years ago).

If a sustainable massive and very quick restart of such heavy industrial equipment seems possible to you after 14 years I stay alert, popcorn in hand.

Sizewell C seems a good deal to the UK because it will in practice the French taxpayer will have to pay for it. Let's see if it happens, or even will be possible. SMRs are an investment-luring ghost ready to explode: https://news.ycombinator.com/item?id=45182003

Sure, there will be some new reactors. Most will be built horrendously over budget and late, obtaining refined uranium and managing their waste will be a growing concern, will produce electricity at a high cost not compensated by any benefit as other ways to compensate 'intermittency' will be more and more effective, any incident will threaten the depreciation of investments, the decommission costs will skyrocket (see nuclear decommissions in the UK, right now)... Good luck with this!

My bet: in 40 years the nuclear industry of nations which expand it now what coal industry is to Germany.
by a_paddy | 2025-09-16 09:47:25+00:00
Gaza is dependent on Israel's permission. Food aid is provided by the UN and other humanitarian organisations, they require Israel's permission to bring that aid into Gaza and not attack it (n.b. attempts since 2010 to deliver aid by boat, such as the MV Rachel Corrie, have been attacked in international waters and the aid never reached Gaza). Israel destroyed the power and water desalination plants, making Gaza dependent on their supply, which has since been used as a weapon.

https://www.ohchr.org/en/press-releases/2025/07/thirst-weapo... https://www.bbc.com/news/articles/c1w0l3q4zd0o
My friend was spending $2k/month on Cursor
by BohdanPetryshyn | 2025-09-16 09:48:05+00:00
My friend is running out of cash and out of his runway. So I asked him to break down his monthly expenses since I know people in the same area spending way less.

Turns out he's dropping $2,000/month on Cursor for AI coding. It's honestly the craziest thing I've heard in a while.

I told him to switch to Claude Code, which handles all my AI coding needs for around $20/month. I'm an experienced dev so I don't need AI for every little thing, but even if he's a heavy user, $200/month should easily cover his needs.

Just like that, I saved him at least $1,800/month.

Had to share this because apparently we're living in a world where you can accidentally spend more on AI coding tools than on your rent.

Do many people find Cursor/Windsurf obsolete when there's Claude Code?
by oneeyedpigeon | 2025-09-16 09:49:27+00:00
> For your use case unmodified F4 will bring up Spotlight now where you can type.

Yes, this is what I've been doing during the beta, and it's far less useful than Launchpad IME so far.

> If you want more precision unmodified F4 followed by CMD+1 will allow you to search only apps.

It looks like I had previously done so, and now the setting is 'stuck'. I.e. it's the default view — I can still go 'up' to search across stuff, but F4 takes me to an app launcher by default, so that's one drawback eliminated (thanks).

As an aside, I've learnt just now while testing this that F4 has an awkward asymmetrical input buffer. You can open+close instantly with two quick presses, but the same does not work to close+open. I'm not really complaining so much about this, just mentioning it!
by yesnomaybe | 2025-09-16 09:50:04+00:00
In the same boat. After like 15 years I had enough. I've started de-Apple'ing my life in 2024. Still run M1 Pro Mac from work, which is great. 2 days ago I've finally ordered all the parts for a Linux PC, high spec. Not for gaming or so, just for compute. I'm soooo looking forward to the freedom that this will bring. The stuff that I already run on Linux, the distros are all great. I love Gnome for how it looks and KDE for how seamless it works. The new PC will let me tinker and try and hop and swap like I could never dream of for so many years.
by raducu | 2025-09-16 09:52:00+00:00
> 1. ERP is actively uncomfortable, that is the point. But there is a delicate balance to the level of discomfort.

Strong emotions can override reason (and wrong reason can create strong emotions that create tight loops/patterns one cannot escape), and there's no better way to train yourself out of a pattern then by rehearsing fighting the pattern and overcoming it.

One could be excused into thinking that that's all there should be about psychotherapy, but there exist meta-loops that spawn bad loops ad infinitum and you can spend a lot of time fighting the bad thing that can be seen and not understand why no real life progress can be made.

So for me, there are many many successful point therapies, and much much fewer higher level successful therapies where chatgpt or low skill therapists won't really help.
by baxuz | 2025-09-16 09:52:07+00:00
Which is arguably worse, because syntax comes with expectations. The way React (and JSX by extension) works is effectively a bunch of overloaded macros, that depends on the pragma used.

And god help you if you want to mix component level code inside React-land and "vanilla". They had to add 3 new hooks over the last 5 years to try and alleviate those issues, all while gaslighting the community and tool authors that the were "holding it wrong".

SolidJS is far better when it comes to how well it follows expectations, and how well it integrates.
Ask HN: Do you guys see any value in LinkedIn?
by mrdosija | 2025-09-16 09:52:30+00:00
I've been thinking about this for a while and decided to get some feedback from peers here. As an engineer, the only use-case for LinkedIn for me is job search. I found most of my previous jobs this way and looks like it's the default platform for HR to reach out. In the other hand, as commonly known, content there is garbage so personally I almost never post or read anything. Seems like a clear case for deleting my account but job opportunities, occasional lost colleague contact and just years of having a profile there make me rethink it.
by franga2000 | 2025-09-16 09:53:32+00:00
I see this argument everywhere and I've never heard of a case where a bank was liable because a customer was phished. I've even asked for examples and nobody ever provided them.

It's one thing to argue in court that they should be liable because they didn't provide you with the necessary security tools (like MFA), but they all provide at least SMS 2FA these days and their apps run on iOS and Android, both of which have plenty of security features.
by aurareturn | 2025-09-16 09:53:34+00:00
I think it's bad news if the US government owns Tiktok data rather than the Chinese government.

Chinese government won't prosecute me. US government might.

The State Department also said it would crack down on non-citizens who have made posts making light of the shooting. “In light of yesterday’s horrific assassination of a leading political figure, I want to underscore that foreigners who glorify violence and hatred are not welcome visitors to our country. I have been disgusted to see some on social media praising, rationalizing, or making light of the event, and have directed our consular officials to undertake appropriate action,” Deputy Secretary of State Christopher Landau posted on Thursday. “Please feel free to bring such comments by foreigners to my attention so that the @StateDept can protect the American people.” [0]

Americans prefer that Tiktok data lives within the jurisdiction of the US government, why? If you don't think Palantir is putting together a centralized database to survey individual Americans for the US government, you are crazy. There will be real consequences where if they don't like what you're saying or doing, they will come after you some how.

I'd much rather have my data based in China.

[0]https://time.com/7316628/charlie-kirk-death-celebrations-soc...
by viraptor | 2025-09-16 09:54:57+00:00
That's: 1 get the menu, 2 Finder, 3 go to applications, 4 View > Show View Options, 5 sort by popup, 6 choose date added, 7 actually look for the app.

Compared to: 1 - 4-finger pinch, 2 look for the app.
by dspillett | 2025-09-16 09:55:06+00:00
The poor avaialbility was largely due to the great pricing: small commercial users scooped them up in the largest quanitites that they could because they were so competative against other options both in terms of pricce and having the advantage of decent support¹ unlike other inexpensive SoCs. Max-per-customer limits imposed by some distributors were not hard to get around. That meant it was difficult for the individual tinkerers that they were aimed at to get hold of them. And once an availability gap was spotted in the market the scalpers crowded in, so even those commercial users had trouble getting them at RRP.

If the current models were any cheaper, that might happen again. It is one of those places where the infamous “what the market will bare” works against us: unless you are buying in bulk you have the choice between paying more or having no availability at all.

People are willing to pay more the rPi units because of the support¹ and reliability². I know I am, last time I wanted a small unit like that I went straight for an rPi without even looking at the other options that might have been cheaper.

--------

[1] official + community

[2] While not perfect in that regard, no supplier is, and the Pis do seem to do better than others in that regard, especially when compared to anything noticable less expensive.
by bckmnn | 2025-09-16 09:55:50+00:00
Thats a thoughtful way of communicating. However I am not sure if the issue is that big. If someone tells me "I like your car", I also have to do the transfer that they are talking about "my" car. However I am not working in the support field, and communicating in a way that works around these pitfalls is probably the safer way.
by notsydonia | 2025-09-16 09:55:51+00:00
I tried some Woo-Commerce? plugin to accept Bitcoin on my sites a few years ago and Paypal baulked at it or made it incredibly complicated to the point that I gave up. Stripe said to wait until their cryptocurrency was released.

The main issue at the time seemed to be that it couldn't really work as a medium of exchange. Eg; $100 paid on the Monday might be $80 or $150 by the time it actually cleared. Maybe I was really inept but I got sick of the complexity and bailed, even though I liked the idea of having these options.

I wouldn't try Paypal's offering as they don't have any kind of quality support for merchants.
by raxxorraxor | 2025-09-16 09:55:57+00:00
I almost exclusively use the browser as well. I think the reason for that is simply because the software landscape is that bad. I hate the Playstore or Apple Store with a burning passion. They are all adware/malware nightmares that aren't worth the effort, never mind developing for them.

We have really interesting and good hardware, but it is all moot because the software landscape is plain hell. I really puts me off to ever use a Apple or Google platform.

I would immediately jump to x86 regardless of power consumption. Would probably still run better than my current phone with a sizeable battery because 95% of CPU time is crappy routine you didn't even want running, so that is a software problem as well.

With the power usage of screens, I doubt an x86 processor would be noticeably worse.

Sorry for the rant, but I don't understand how anyone could react differently if they hear the word Android or iOS. Why did we end up with this crap?
by rwiteshbera | 2025-09-16 09:56:03+00:00
I am on the same boat. I have posted a lot of tech content but barely got reach. Other people with the same random story, clickbaits, and negativity are getting a lot of likes and reach. The job section is not good as it is used to be. Easy apply never works, and there are fake jobs too. The LinkedIn premium is totally trash. Still, since the profile has a lot of good posts, I still think I should leave this platform as it will erase the document or post I am creating through my journey.
by BrandoElFollito | 2025-09-16 09:56:27+00:00
I have a small site and spent an unreasonably long time weighing in between

- host my fonts and therefore if something does not work, nothing iwll work (whihc is a consistent user experience)

- or source from Google directly but if Google goes down or the user somehow filters Google, the experience will be awful

I chose to use the Google way - not only are they much better than I am in everything, but the user may miraculously have the font cached, a small bonus
by pringk02 | 2025-09-16 09:56:39+00:00
> So for me, there are many many successful point therapies, and much much fewer higher level successful therapies where chatgpt or low skill therapists won't really help.

I definitely agree. I think I was very fortunate to find someone who specialised in and only did ERP and had a lot of experience. I hear a lot of stories in support groups of well-meaning therapists making things worse. The closest I came to killing myself was after three sessions of psychodynamic therapy (after getting sick of a lack of progress with CBT). All of that therapy was before I understood that I was suffering from OCD.
by freefaler | 2025-09-16 09:56:41+00:00
The government is also keen to have these devices controlled more tightly. Now with the help of the big companies so much data is on the device and in the cloud about you that policy enforcement, tax evasion or anything else that the people in the government deemed crucial for them is much more easily done.

Check how China controls the Uyghurs phones and will they be happy to have "unlocked bootloaders".

It's not profitable for the companies to lose total control of "your" device you "bough", nor for software developers who sell you the software to have "ReVanced" versions of their apps. Just a small minority of people who understand what is freedom and ownership are aware of the dangers of this.

Basically, not enough people care to have this as a priority and make it an election issue. And sadly we're walking into more and more control, ads, and enshitification. :(
by jbreckmckye | 2025-09-16 09:56:54+00:00
> Thats what makes it a new language. C is just sugar on top of assembly.

I think that's a bad example. C isn't a sugar for assembly: For example what assembly code does a function prototype desugar into? Sugars have 1:1 mappings with host code

Maybe you're just being rhetorical about the spectrum of macros, sugars, and languages, though.

(In my opinion, a better target for that criticism, in JS land, is the Jest test framework, because of all the reordering magic it does that break fundamental ES semantics)

> Why className instead of class?

This hasn't been a constraint since... I want to say React 18, six or seven years ago? I might be misremembering the history but I think that was only a problem in the Early Days when there was paranoia about whether JSX needed to be conservative with reserved keywords
by Theodores | 2025-09-16 09:57:47+00:00
I would agree with you if we were in 1994 and this was about Rwanda.

Those tower blocks in Gaza that were felled on the anniversary of 9/11 were not taken down with machetes. We have got AI assisted targeting going on, with all of your favourite cloud service providers delivering value to their shareholders thanks to sales to the IDF.

The corporation that once had 'don't be evil' as their mission statement are suckling on the IDF teat along with Amazon, IBM, Microsoft and Cisco.
Ask HN: Has remote work made you happier or just lonelier?
by jamessmithe | 2025-09-16 09:58:07+00:00
Remote work has changed the dimension of work culture. At home, you can have the flexibility and comfort but is it the only thing? Have you ever thought that you are completely left alone and not interacting with anyone? You're only friend is that laptop. Is that really good for you and your mental health?
by artk42 | 2025-09-16 09:58:23+00:00
If there are enough OGs, they should recall Windows XP with all those bells and whistles AND those life-saving switch to "Windows Classic" that survived next three generations of Windows.

I personally pray for that "MacOS classic" switch... It's sad to enter that decay era for Apple where every next software upgrade for the device feels effectively as a hardware downgrade.
by alexey-salmin | 2025-09-16 09:58:33+00:00
By 2001 the Classic MacOS wasn't really "different", it was largely the same as the System 7 release from 10 years ago.

The NeXTSTEP on the other hand was quite different. Different from MacOS, from DOS/Windows and from proprietary UNIXes. I would argue that switching to NeXTSTEP was more aligned with the original spirit of "think different" than getting stuck in the old ways.
by ramon156 | 2025-09-16 09:58:40+00:00
I keep reading unpleasant without any arguments. React is simple by nature, what made it unpleasant and unproductive? Granted I mostly do work on Shopify apps, so most of the heavy work has been done for me, I just put components together. This works fine, and I'd rather do this in React than e.g. Angular due to the small scale of the apps. Then again web components would've also been fine.
by dcminter | 2025-09-16 09:58:52+00:00
Further off-topic: You're not wrong, but maybe you should be. It's one of the most pointless irregular grammar rules in English. Nobody is ever confused by the wrong usage of the apostrophe here (when spoken there's no voicing of it). Native writers of English often get it wrong. If we had an Academy Anglaise we'd just regularise this usage. I give it 50 years max before possessive "who's" is considered correct (along with "it's").
by newscombinatorY | 2025-09-16 09:59:10+00:00
Option C doesn't mention the Windows 11 LTSC version, which allegedly works on machines that don't support the regular W11, and it doesn't have most of the bloat. It is an enterprise version, but it's possible to obtain it legally. However, after using Windows 11 for many months on my new rig and hating every minute of it, I'm seriously considering Option D (switching to Linux) for my older machine.
by te_chris | 2025-09-16 09:59:21+00:00
I've got OCD and I've done CBT, ERP etc. As others have alluded to, you need to realise the work is never done. Recently I've found it more active, but this time - having recently read The Maps we Carry by Rose Cartwright, who was something of a poster-woman for OCD after her first book, Pure - I've tried to go deeper. CBT etc feel like prophylactics. They're certainly useful, but they don't address deeper things, such as learning to be as you are, to observe and integrate your anxiety etc.

This set me off on a harder path of more abstract therapy (I'm working with an integrative therapist who practices across IFS, Jungian etc), meditation etc. The book the untethered soul, by Michael Singer helped a lot to put everything into perspective - the therapy, the anxiety, the day to day - in a way that nothing else had really achieved for me.

Also, a key conclusion of Cartwrights is that individualised change/treatment is important, but it's worthless without community. I think she's deeply, profoundly right.
by imiric | 2025-09-16 09:59:33+00:00
The argument is that certain tools introduce complexity into a project by the mere act of using them. A power drill has many more knobs and features that the user must be aware of than, say, a screwdriver. Sometimes those features are required, but often developers will gravitate towards such tools even when they're not.

In software development this applies not just to external tools, but to abstractions in general. We might be tempted to create or depend on an abstraction that solves many problems in a generic way, when in reality this could be avoided. The appeal is to reject this temptation whenever possible.

Simplicity is an amorphous quality without a clear path towards it. It's often debatable whether a system is simple or complex, given that most software is built on extremely complex machinery we take for granted. But the least we can do is to be mindful of practices that lead to a net increase of complexity, use critical thinking instead of blindly following trends, and, sometimes, take the more difficult road for the sake of preserving simplicity.
by yrro | 2025-09-16 09:59:49+00:00
I've had this sequence of quotations from various classic cyberpunk stories burned into my mind for the last 30 years. The slow zoom into the disembodied head on the cover of Neuromancer, while the visual and audio effects increase in intensity over the narration, "lines of light, ranged in the non-space of the mind" is particularly striking: https://youtu.be/VuZonQVN4uw?t=556

Was that read by Gibson himself?
by nikitaga | 2025-09-16 09:59:57+00:00
> If you don't want that, you gotta bring a wrapper or another reactivity library/framework.

Being able to use a different library with a component, instead of the component being tied to React, is the whole point.

React isn't 100x more popular because its reactivity system or any other feature is 100x better. Half the reason it's popular is network effects – too many frontend components / libraries are made React-only even though they don't need to be React-specific.

Those network effects are the trap, not the reactivity system that's as good as any other for the purpose of writing a Web Component. If you don't want to use simple and small tools like Lit.js, that's fine, but that's your choice, not a limitation of Web Components.

The point of Web Components is not to provide a blessed state management or virtual DOM implementation that will have to stay in JS stdlib forever, it's to make the components you author compatible with most / all UI libraries. For that goal, I don't know of a better solution.
by baxuz | 2025-09-16 10:00:01+00:00
React is a good POC and a was a necessary step, but it's far from well designed.

The performance is atrocious unless you want to spend most of your time ejecting from the framework to do any realtime work, and building meta-tooling that uses direct DOM manipulation and only occasional state syncing with React, like video keyframes.

This is the approach taken by many projects, including tldraw, framer, everything from poimandres, and many things from tanstack.

The issue is that it's a "demented" framework where everything re-executes all the time and it's up to you to manage repainting and memoization manually. Because a "render" is executing the entire component tree.

The compiler is just a massive band-aid on a fundamentally broken architecture, that every other framework has moved away from.