MurphyA/hacker-news huggingface dataset:
by Liquix | 2025-07-02 19:20:36+00:00
> How do they get people to return their trolleys to the bays?

There is no external force compelling US shoppers to do so. This has led to the (in)famous "shopping cart theory" [0], first posited like this:

The shopping cart is the ultimate litmus test as to whether a person is capable of self-governing.

To return the shopping cart is an easy, convenient task and one which we all recognize as the correct, appropriate thing to do. To return the shopping cart is objectively right. There are no situations other than dire emergencies in which a person is not able to return their cart. Simultaneously, it is not illegal to abandon your shopping cart. Therefore the shopping cart presents itself as the apex example of whether a person will do what is right without being forced to do it. No one will punish you for not returning the shopping cart, no one will fine you or kill you for not returning the shopping cart, you gain nothing by returning the shopping cart. You must return the shopping cart out of the goodness of your own heart. You must return the shopping cart because it is the right thing to do. Because it is correct.

A person who is unable to do this is no better than an animal, an absolute savage who can only be made to do what is right by threatening them with the law and the force that stands behind it.

The shopping cart is what determines whether a person is a good or bad member of society.

[0] https://en.wikipedia.org/wiki/Shopping_cart_theory
by mindslight | 2025-07-02 19:20:57+00:00
> There's no federal law requiring officers to give you their name or badge number

Well then since federal agencies are now abusing this letter of the law in complete bad faith and contributing to this disruption of the general peace, it sounds like it is up to state governors to tackle this epidemic of masked gangs of thugs running around and abducting people - order state and local law enforcement to interrupt any and all masked gang activity and arrest the perps (and order their national guards to deploy if additional force projection is necessary to restore law and order). If it turns out a given gang was acting under "legally valid" federal authority to carry out "legally valid" federal actions and therefore has immunity (and wasn't say a drug cartel hit squad emboldened by the general disorder), that can be sorted out and verified through due process in the courts. States owe no less to their citizens.
by refulgentis | 2025-07-02 19:21:23+00:00
Pro tip: Apple adds fancy GPU effects because Android can't rely on good GPUs, so Apple can continually define premium.

Thus, the odds you're doing glass-morphism via a Gaussian blur and drop shadow in CSS, are exactly 0. They are assuredly at abstraction levels far below that.

(disclaimer: worked on Pixel, did the color extraction + color system stuff for Material You)
by noone_youknow | 2025-07-02 19:21:35+00:00
I have, and to be fair that has solved the “basically incorrect code” issue with reasonable regularity. Occasionally the error messages don’t seem helpful enough for it, which is understandable, and I’ve had a few occurrences of it getting “stuck” in a loop trying to e.g. use an invalid addressing mode (it may have gotten itself out of those situations if I were more patient) but generally, with one of the Claude 4 models in agent mode in cursor or Claude code, I’ve found it’s possible to get reasonably good results in terms of “does it assemble”.

I’m still working on a good way to integrate more feedback for this kind of workflow, e.g. for the attempt it made at AP bootstrap - debugging that is just hard, and giving an agent enough control over the running code and the ability to extract the information it would need to debug the resulting triple fault is an interesting challenge (even if probably not all that generally useful).

I have a bunch of pretty ad-hoc test harnesses and the like that I use for general hosted testing, but that can only get you so far in this kind of low-level code.
by kiselitza | 2025-07-02 19:21:42+00:00
A helping hand to Ebiose AI here. I’m super excited to see the project go open source.

There is already some literature about improving agents through the evolutionary process (not only AlphaEvolve). And others are talking about AIs that build other AIs, which is sometimes called ADAS, for Automatic Design of Agentic Systems.

We have already experienced this, notably on math problems. But here, with the community, the goal is really to trigger the self-improving process.

The only way to do so is to challenge Ebiose with real use cases so that reusable agent components emerge organically and evolve over time.
by lucasluitjes | 2025-07-02 19:21:48+00:00
Hardcoded API keys and poorly secured backend endpoints are surprisingly common in mobile apps. Sort of like how common XSS/SQLi used to be in webapps. Decompiling an APK seems to be a slightly higher barrier than opening up devtools, so they get less attention.

Since debugging hardware is an even higher threshold, I would expect hardware devices this to be wildly insecure unless there are strong incentive for investing in security. Same as the "security" of the average IoT device.
by _benton | 2025-07-02 19:21:55+00:00
I don't think it's that hard for someone with experience writing shaders to emulate. The moat is that it's almost impossible to replicate with browser technology, which hurts web-based ui systems and is still a big challenge with something like flutter or jetpack compose multiplatform.

Stuff like React Native get it basically for free because their ui is still technically "native".

But apps that rely on web views are screwed and I'm sure Apple will be happy to push devs away from those solutions as they're inferior for users.

Now they just need to figure out a way to push RN apps towards true native.
Ask HN: How valuable and useful are Professional Certificates?
by NewUser76312 | 2025-07-02 19:22:41+00:00
Let's say one has been feeling stagnant in their career lately and wants to break into an adjacent field. For example, say a software professional wanting to get into AI. Assume they've already done a relevant undergrad degree.

Various reputable universities seem to be offer Professional Certificates in relevant topics, many of which can be done online, getting around geographical constraints - often the costs are more approachable too. The courses themselves are the proper university courses for the topic, just offered online. Complete a prescribed handful of them over a year or more, and you get a Professional Certificate in said topic.

Are these Professional Certificates worthwhile? We can discuss this from both a substance basis, in terms of knowledge and skills gained, but also from a 'real world results' basis, in terms of enhanced career prospects. Also, we can consider a specific example (though I'm interested in the general view as well), such as the 'AI Professional Certificate from Stanford University' or similar.

As a bonus question, how would such a Certificate compare as opposed to doing a full Master's program at a second-rate school?

Would love to hear your experiences and opinions, both from Certificate holders as well as employers and hiring managers who have come across these.
by karthikkolli | 2025-07-02 19:22:43+00:00
Location: Hyderabad, India

Remote: Yes (Global)

Willing to relocate: Yes

Technologies: Rust, Go, CUDA, C++, Performance Engineering, Low-Latency, Distributed Systems, k8s

Links: * Resume: https://drive.google.com/file/d/1r3xT_5YWZf0IcYyFLOlP5qdp0MB... * Email: karthik [at] karthikkolli.com

---

Senior Systems Engineer (14 YOE) who loves making software fast. Looking for a challenging, deep-tech IC role.

I like to build things:

* Rust + CUDA: Accelerated a cryptographic key search by >20x over a multi-core CPU baseline.

* Rust Quant Backtester: Built a full-featured backtesting engine from scratch. It's been running my own production strategies for over 3 years.

* Go + AWS: Boosted a critical serverless pipeline's throughput by 10x (Lambda/SQS/DynamoDB) at my day job, unblocking a key client deal.

Ideal roles would be in AI/ML Infrastructure, Quant/HFT, or Core Systems.
by martinald | 2025-07-02 19:22:44+00:00
We have had a decade of performance stagnation.

Compare PS1 with PS3 (just over 10 years apart).

PS1: 0.03 GFLOPS (approx given it didn't really do FLOPS per se) PS3: 230 GFLOPS

Nearly 1000x faster.

Now compare PS4 with PS5 pro (also just over 10 years apart):

PS4: ~2TFLOPS PS5 Pro: ~33.5TFLOPS

Bit over 10x faster. So the speed of improvement has fallen dramatically.

Arguably you could say the real drop in optimization happened in that PS1 -> PS3 era - everything went from hand optimized assembly code to running (generally) higher level languages and using abstrated graphics frameworks like DirectX and OpenGL. Just noone noticed because we had 1000x the compute to make up for it :)

Consoles/games got hit hard by first crypto and now AI needing GPUs. I suspect if it wasn't for that we'd have vastly cheaper and vastly faster gaming GPUs, but when you were making boatloads of cash off crypto miners and then AI I suspect the rate of progress fell dramatically for gaming at least (most of the the innovation I suspect went more into high VRAM/memory controllers and datacentre scale interconnects).
by poorcedural | 2025-07-02 19:22:52+00:00
Right now, as for the last century, the USA manufactures identity and all the products that make you feel like YOU. It used to be Levis and Coca-Cola, now it is all the premier tech Hacker News places value FAANG+ (minus TikTok). If the USA continues inventing identity, those identities should be grounded in merchandise only made in the USA.
by transcriptase | 2025-07-02 19:23:48+00:00
And if you were a Chinese citizen would you post the same thing about your government while living in China? Would the things you’re referencing be covered in non-stop Chinese news coverage that’s critical of the government?

You know of these things due to the domestic free press holding the government accountable and being able to speak freely about it as you’re doing here. Seeing the two as remotely comparable is beyond belief. You don’t fear the U.S. government but it’s fun to pretend you live under an authoritarian dictatorship because your concept of it is purely academic.
by pj_mukh | 2025-07-02 19:24:21+00:00
Having had been on both sides of this coin, I agree a lot of managers mis-manage meetings.

But then there's those engineers who don't show up to meetings and then a month later come to you with a

"I don't know how we're deciding on some of these critical product features"

and I don't know how to tell them its because they skipped some meetings where they could've been part of that discussion.
by jerf | 2025-07-02 19:24:22+00:00
Today, somewhere in the world, some people made an event occur. Some people approved and some people disapproved. It impacted some people more than others, which some people think may be a bad thing, although others think that it may have been a good thing. The event stemmed from many past events, which many people have various strong opinions about. Politicians made various strong statements about the event, as well as a few celebrities. The future impact of the event is under debate, though experts agree that the situation is complicated and people should probably think about it very carefully before coming to conclusions. It is unclear what the market will do in response to this event.
by wsh | 2025-07-02 19:24:36+00:00
The treaty returning sovereignty over the Chagos Archipelago to Mauritius, disestablishing the British Indian Ocean Territory, seems to be on track for ratification:

https://commonslibrary.parliament.uk/research-briefings/cbp-...

The consequences for the .IO ccTLD are still unclear and ultimately will depend on how the United Nations, the ISO 3166 Maintenance Agency, and ICANN respond. I’m not aware of anything more definitive than ICANN’s blog posting from November 2024, which emphasizes that “much of the discussion about .io is simply speculation” but also acknowledges the possibility that “a five-year time window will commence during which time usage of the domain will need to be phased out.”

https://www.icann.org/en/blogs/details/the-chagos-archipelag...

I wouldn’t use a .IO domain name for anything important.
by noone_youknow | 2025-07-02 19:24:36+00:00
I agree with this. Just the need to keep track of stack, flags and ad-hoc register allocations is something I’ve found they really struggle with. I think this may be why it does so much better at porting from one architecture to another - but even then I’ve seen it have problems with e.g. m68k assembly, where the rules for which moves affect flags are different from, say, x86.
by pcthrowaway | 2025-07-02 19:24:39+00:00
Couchsurfing really went to shit towards the end (2020 when they went from "we will always keep our core service free" to locking you out of your account unless you paid them overnight without any warning)

I think reviews criticizing aesthetic choices or even cleanliness would tend to be taken with a grain of salt, but also I hosted people (and couchsurfed) from 2005-2020 and managed to avoid bad reviews, so perhaps if I personally had received a slew of silly bad reviews over silly things like that I would have abandoned it earlier.
by Tainnor | 2025-07-02 19:24:56+00:00
> I really miss Java’s exception safety in Kotlin.

Java is the only language that I'm aware of with checked exceptions (Swift has "throws" which I guess goes in that direction but is untyped) and it's in my experience not notably exception-safer than languages that use values for error handling (such as Rust, Haskell or Kotlin).

Swallowing exceptions because of bad ergonomics or misuse by library authors is unfortunately fairly common in a lot of Java code that I've seen. By contrast, most Kotlin code that I've seen uses exceptions only for unrecoverable errors and otherwise uses some sort of sum type (Result, Either or some sealed class/interface). These can be handled ergonomically and in a very type-safe manner - and importantly they don't break when used with higher-order functions. In the future, Kotlin will have Rich Errors which will have even better ergonomics (I'm personally fine with Either, but I know some people dislike a heavily functional style, so this will be good for them).
by toomuchtodo | 2025-07-02 19:25:07+00:00
See the Financial Times citation with data backing my assertion. I agree the future is hard to predict, and humans are tricky.

https://d4pgq7fazddwpa.archive.ph/lQoLa/f1886c78af8eb03745a8...

https://careers.augsburg.edu/blog/2024/03/18/gen-z-does-not-...

https://www.pewresearch.org/social-trends/2020/05/14/on-the-...
by vaidhy | 2025-07-02 19:25:16+00:00
I am a bit confused.. If you are willing to work at Applebee's for minimum wage job, then you are employed. Why should you be considered unemployed?

If you all you can find are the minimum wage jobs and you choose not to work there, then you should be considered unemployed and if you are long term unemployed, U6 captures that.
by squigz | 2025-07-02 19:25:33+00:00
> Society benefits greatly from supporting high functioning autistic people in say, technical fields where hyperfocus, narrow obsessions and systemising thinking are an advantage.

At the expense of those people having to live with all the unmentioned negative aspects of autism.

(To say nothing of whether those are actually positives or not. Personally, I don't see how hyperfixating on something for a few weeks at a time at the expense of all my other responsibilities is a superpower, but hey)
by snapplebobapple | 2025-07-02 19:25:53+00:00
stock firefox is decent but, depending on your goals, there are better flavors. If security is really important there is librewolf and if you care way less about security and just want awesome then floorp is pretty sweet. For me sidebery brings it all together because it lets you do things like set per container socks5, which is a game changer for me (default is all traffic through my favorite vpn provider, but I have containers to make my browser look like my local ip, American, etc.)
by martinald | 2025-07-02 19:26:15+00:00
Take this with a pinch of salt, but the most recent ROCm release installed out of the box on my WSL2 machine and worked first time with llama.cpp. I even compiled llama.cpp from source with 0 issues. That has never happened ever in my 5+ years of having AMD GPUs. Every other time I've tried this it's either failed and required arcane workarounds, or just not worked entirely (including running on 'real' Linux).

I feel like finally they are turning the corner on software and drivers.
by EA-3167 | 2025-07-02 19:26:44+00:00
It's worth saying that the price gouging by BYD has reached the point where their own government is publicly scolding them and telling them to stop, so I'm not sure if BYD is a model of anything we want to be following.

https://www.reuters.com/business/autos-transportation/chinas...

I think you're also glossing over the impact of Musk's disastrous foray into politics, his Tweeting, and his Nazi salutes.
by RajT88 | 2025-07-02 19:27:00+00:00
This was an interesting read which cropped up on LinkedIn for me today:

https://www.linkedin.com/pulse/zoology-us-microsoft-old-time...

Layoffs have always been part of the game. There is reason to believe this latest set of layoffs are different (Scott Hanselmann himself said so on LinkedIn recently - "Laying off my staff is never easy, but this is the first time I've had to lay people off for someone else's business goals" whatever that means).
by WillPostForFood | 2025-07-02 19:27:11+00:00
ADP reported a meager 29,000 increase in new jobs, but the BLS showed a much larger 139,000 gain. April also showed a similarly wide gap between the two reports.

Through the first five months of 2025, the difference between the two reports has averaged a whopping 63,000 a month.

source: https://www.morningstar.com/news/marketwatch/20250702107/be-...

ADP has always been out of sync with BLS numbers. Here is an article in the Atlantic all the way back in 2011 talking about it.

https://www.theatlantic.com/business/archive/2011/05/chart-o...
by vedantnair | 2025-07-02 19:27:42+00:00
Choosing the right schema language is an important part of scaling software infrastructure for a growing robotic fleet.

Unfortunately, most robotics teams aren't well-versed in the different features and functionalities of each language, which can lead to short-term optimizations.

In this blog, we’ll give you all the information you need to choose the right schema for your production fleet. We’ll walk through what a schema language is, why they’re useful, our main criteria when choosing a schema, and finally, a few options for popular schemas in robotics.
by senko | 2025-07-02 19:27:44+00:00
> Am I spending too much time on HN

Likely (as am I).

> LLMs are exciting but they produce messy code for which the dev feels no ownership. [...] The other side of it is people who seem to have 'gotten it' and can dispatch multiple agents to plan/execute/merge changes across a project

Yup, can confirm, there are indeed people with differing opinions and experience/anecdotes on HN.

> want to tell you how awesome their workflow is without actually showing any code.

You might be having some AI-news-fatigue (I can relate) and missed a few, but there are also people who seem to have gotten it and do want to show code:

Armin Ronacher (of Flask, Jinja2, Sentry fame): https://www.youtube.com/watch?v=nfOVgz_omlU (workflow) and https://lucumr.pocoo.org/2025/6/21/my-first-ai-library/ (code)

Here's one of my non-trivial open source projects where a large portion is AI built: https://github.com/senko/cijene-api (didn't keep stats, I'd eyeball it at conservatively 50% - 80%)
by cosmic_cheese | 2025-07-02 19:28:03+00:00
Yeah there’s been a drop off for sure. Clearly it hasn’t been steep enough for game studios to not lean on anyway, though.

One potential forcing factor may be the rise of iGPUs, which have become powerful enough to play many titles well while remaining dramatically more affordable than their discrete counterparts (and sometimes not carrying crippling VRAM limits to boot), as well as the growing sector of PC handhelds like the Steam Deck. It’s not difficult to imagine that iGPUs will come to dominate the PC gaming sphere, and if that happens it’ll be financial suicide to not make sure your game plays reasonably well on such hardware.
by ivanjermakov | 2025-07-02 19:28:11+00:00
Misunderstanding of Monads is such an interesting phenomenon. Kind of similar to grasping 4D geometry or understanding the difference between a class and an object in OOP.

List can be an instance of a monad, i.e. a monadic type.

I think the trick to understanding monads is to see what benefits monad interface gives to the types that implement it.
by mdaniel | 2025-07-02 19:28:32+00:00
As hair-splitting, its IAM can be well designed but the management tooling/observability can be lacking.

In my mind, "not well designed" would be "I cannot represent my security need in this policy language" versus the more common opinion "AWS IAM is a black box" means "I cannot understand why I am getting a 403"

GCP's IAM is, in this premise, not well designed because I cannot express ReadOnlyAccess in their policy language without having a constantly updating policy job, because they do not have wildcards in the Action as does AWS. Contrast `Action: ["s3:Get*"]` which would cheerfully include access to a future GetBucketV7 verb to GCP's "storage.buckets.get" which must always be specified, in full, and when storage2.buckets.get comes out, it's my job to find all references and patch them
by iteria | 2025-07-02 19:29:06+00:00
I don't even think there should be a conversation around high functioning autistics. My kid suffers from autistic catatonia. She's also extremely high functioning. I'm sorry, there is no world where I'm going to say no thanks to a cure for my daughter's body suddenly locking into place for an unknown period of time or losing the ability to speak or function randomly or hell just understand human expression without intense intervention. We can argue about their special brain powers or whatever, but all I'm seeing is that high functioning autistic have a much higher rate of self-harm and suicide. It can't be that great.
by specproc | 2025-07-02 19:29:23+00:00
Hosted loads for a while, a brilliant time. We were living somewhere unusual at the time, everyone that came through was interesting, intelligent and fun. Zero bad experiences. Made some friends for life.

My flatmate at the time ended up marrying a couchsurfer we'd hosted, after reconnecting many years later.

We all got sulky and huffy when they started charging and stopped engaging, but the sad thing is we just got too busy. Couchsurfing was like hosting a party constantly, and as work picked up I found it harder to engage.

Still seems to be a community there. I found myself in Split a while ago and stumbled upon a meetup, had a great evening unexpectedly.
by jm4 | 2025-07-02 19:29:38+00:00
I liked Liquid Glass when I first saw it. I don't especially like the whole flat look everyone has had going the past few years so I was really looking forward to a refresh.

I downloaded the beta and the more I use it the less I like it. The icons are blurry, washed out and look terrible overall. I have a difficult time using the buttons on the lock screen to activate the flashlight and camera. Most of the time, I push them and the lock screen customization screen comes up instead of the flashlight turning on. I don't know if they changed the geometry of the buttons or what, but I can't reliably use them anymore. There are other instances of low contrast text, weird blurry artifacts and janky animations.

I hope these are all things that get worked out during the beta period. Overall, the whole thing looks unimpressive so far. I keep telling myself that OSX had the same kind of jank during the first beta and it will all work out. I want to roll back to iOS 18, but I can't do that without using iTunes, which isn't possible because I only have Linux machines.