MurphyA/hacker-news huggingface dataset:
by 9rx | 2025-07-28 16:31:27+00:00
> The spec

The tests are your spec. They exist precisely to document what the program is supposed to do for other humans, with the secondary benefit of also telling a machine what the program is supposed to do, allowing implementations to automatically validate themselves against the spec. If you find yourself writing specs and tests as independent things, that's how you end up with bad, brittle tests that make development a nightmare — or you simply like pointless busywork, I suppose.

But, yes, you may still have to consult a human if there is reason to believe the spec isn't accurate.
Show HN: Appcircle CodePush – Secure Alternative of App Center CodePush
by orangepush | 2025-07-28 16:31:53+00:00
With App Center CodePush now sunset, many teams are looking for a secure, enterprise-grade solution for managing over-the-air (OTA) updates in React Native apps.

Appcircle CodePush is a fully managed, modern alternative built into Appcircle’s end-to-end mobile CI/CD platform.

Why Appcircle CodePush?

- No app store resubmissions: Instantly deliver updates to users while keeping your security and compliance standards.

- Enterprise-ready:

Self-hosted or cloud deployment options

Role-based access control, SSO/LDAP support

Code signing, package diff, code obfuscation support, and end-to-end encryption

Detailed audit logs and compliance reporting

- Flexible usage:

Manage OTA updates through the Appcircle dashboard, with the CLI, or by adding Appcircle CodePush as a workflow step in your CI pipeline, depending on what fits your process best.

- End-to-end management:

Centralized dashboard for updates, rollbacks, and channel management

Automated workflows, built-in testing, update history

Fast and scalable delivery with secure CDN support

- Transparent and trackable:

Monitor all updates, rollbacks, and usage from a single dashboard

Access compliance-ready reports and full audit trails

- Get started:

Docs & quickstart: https://docs.appcircle.io/code-push

Happy to answer any questions or feedback!
by armishra | 2025-07-28 16:32:27+00:00
I just use free API keys and limit my hosting costs right now. I could keep it free for several months but if my users run into usage limits, I'd request financial help to keep the service up. I really dont want an app like this to be expensive.

Please DM me at my email: archit72<at>gmail if you run into rate limits or want more usage! I'd be happy to help you.
by suffsyed | 2025-07-28 16:33:15+00:00
“Do you want to sell sugar water for the rest of your life, or come change the world with me?”

Steve Jobs asked that in 1983. It still applies.

After a decade at the intersection of design, product, and research, I’ve made a decision: design is no longer the primary lever. The center of gravity has moved.

It now sits in systems, orchestration layers, and agents that reason and adapt. Interfaces can be generated. Taste is no longer rare. The real value lies in model internals, routing logic, and infrastructure that shapes behavior.

I’m stepping away from my design title—not to abandon design, but to go deeper. From Head of Product Design to Member of Technical Staff. Not a pivot. A progression.

I wrote about the five forces driving this shift: paradigm, innovation, leadership, distribution, and wealth.
by ozgrakkurt | 2025-07-28 16:33:26+00:00
You can use the fuzzer to generate test cases instead of writing test cases manually.

For example you can make it generate queries and data for a database and generate a list of operations and timings for the operations.

Then you can mix assertions into the test so you make sure everything is going as expected.

This is very useful because there can be many combinations of inputs and timings etc. and it tests basically everything for you without you needing to write a million unit tests
by sofixa | 2025-07-28 16:33:28+00:00
> I would argue that their refusal to really cut government spending in general makes them more left-leaning

That's a common misconception (that right leaning governments are somehow fiscally responsible. Some are, to a fault (austerity), but many are only paying lip service).

But in any case, the Bayrou government are trying to lower spending and raise revenue. Entirely with policies which are right-leaning, such as privatising government owned companies, and reducing the amount of public holidays, or lowering spending in the public sector. While the left leaning parties are crying to reduce government subsidies to businesses, which could be an easy budgetary win.

> Ah yes the nominally LR guy who's serving in Macron's government and who has objectively not done anything in practice (well he has no power to and has been in the job for less than a year...) although he is good at talking tough but that 'talk' is in fact mostly calling for existing laws to be enforced...

Minister of the Interior 2020-2024: https://en.wikipedia.org/wiki/G%C3%A9rald_Darmanin?wprov=sfl...

New immigration law announced by him, stricter on illegal immigrants while also providing some ease of temporary migration for specific sectors: https://fr.wikipedia.org/wiki/Loi_du_26_janvier_2024_pour_co...

This is a concrete law voted in to curb immigration and make it easier to expel illegal immigrants or abusers of the asylum system. Yet, to people like you, and far right politicians, nothing is being done! We're being overran! People in power are ignoring the provlem!

> switched to RN and there are areas with immigrants, historically the South East for instance

Like Nice, where the immigrants are rich Russians, Brits and Arabs.

> It's odd to see this refusal to face reality and to keep denying that immigration is an issue throughout Europe.

It's extremely odd seeing how people focus so narrowly on this issue, and somehow think it's existential and nobody is doing anything about it and it's going to ruin the country... And have been saying the same thing for decades. Yet many things are being done, and it's obviously not that existential of a threat if the country is still there... And it's the main topic discussed all the time in political debate! And regardless of any measures, far right politicians just don't shut up about it.

It's just an easy distraction and an easy thing to point to as the source of all evils that can easily be fixed. And that is the hallmark of a modern European far right party, pointing the finger at the EU and migrants for any and all issues. Regardless of substance (like the fact that without migration, France would have had negative population growth for decades, which would have made the already difficult to handle public budget significantly worse).
by nchmy | 2025-07-28 16:34:01+00:00
And yet, here you are, not ignoring people who are apparently fad-followers!

jj is not new, nor a fad. And, moreover, its not "just" an abstraction - you would know this if you actually read my comment. jj is built on top of git and incorporates concepts from mercurial and elsewhere. There's ample writing in the github readme, docs and lots of thoughtful essays and manuals created about jj. But becoming informed is clearly not something you have much interest in.

Most laughable is that you seemingly created this account JUST to make this comment.

Thanks for providing a perfect example of the most common detractors of jj

you do you, friend
by Bjartr | 2025-07-28 16:34:03+00:00
> It's begging for disruption to something easier.

This assumes the complexity is incidental rather than inherent. I think the problem is similar to how Reality has a surprising amount of detail[1]. AI will likely eventually make a dent in this, but I think as an artist you tend to want a lot of granular control over the final result, and 3D modeling+texturing+animation+rendering (which is still only a subset of what Blender does) really does have a whole lot of details you can, and want to, control.

[1] http://johnsalvatier.org/blog/2017/reality-has-a-surprising-...
by Xelbair | 2025-07-28 16:34:26+00:00
From tourist point of view UK felt to me like a police state, and I'm leaning more towards the former view. Cameras everywhere, non-stop reminders that you're being watched, being tracked everywhere(including which train car you're in now), constant reminders about possible dangerous bags being left alone etc.

Tracking would feel helpful and useful, if not for constant oppressive reminders that "Bad Thing could happen any second, be vigilant!".

While at the same time, it was vastly more unsafe than Eastern Europe.. and cities themselves were vastly dirtier.

Whole trip felt more like what i would imagine visit to mainland China would be like rather than a trip to a free western country.

To be honest and to give some context - they have been under threat of terrorism(due to The Troubles first - the name itself seems to reinforce this view, seems innocent..) roughly since end of WW2. well WW2 was a factor too.

To add a bit more context: this wasn't my first nor last trip to UK, and each time i visit it the worse it feels in every aspect: Cleanliness of cities, safety, and oppressiveness.
by amradio1989 | 2025-07-28 16:34:26+00:00
Developers hate AI coding tools for the same reasons musicians dislike AI music and artists dislike AI art. Its the 'craft' problem as you say.

But an artist who values the end result over the craft is hardly an artist at all. They're a merchant at heart. The art is the product, and what excites them is shipping product.

For an artist at heart, however, the process is the product. Lucky for them, its about to become a lot more valuable.
by toast0 | 2025-07-28 16:34:29+00:00
If they're using inductive vehicle detector loops in the pavement, those can be tuned to detect motorcycles and bicycles (probably not carbon fiber bikes though). Where I've seen and used loops tuned for bicycles, they have a different cut pattern and a painted bike to accent positions where the detector is likely to detect you... Sadly, they don't tend to have far back detectors (advance loops) tuned for bikes so an idle intersection won't be green when you get there like if you were a car. You can sometimes get a detection on a car tuned detector by riding right on top of the wire, but it's iffy.

I'd imagine camera detectors can be tuned for bicyclists as well, but I have less experience with those.

Here's a nice survey of bicycle detection options [1], if you're willing to work with whoever does traffic control near you, this might help get a conversation started. This is focused on US applications, but the ideas should be broadly applicable.

[1] https://altago.com/wp-content/uploads/ALTA_Bike_Detection_Wh...
by Theodores | 2025-07-28 16:35:13+00:00
We don't even have the phrase 'bloodwork' in the UK. Also, in the UK, you can go to the doctor regularly for a checkup to never get this 'bloodwork' thing you Americans speak of. I have never had any done myself, all I get is my iron level when I donate blood, and I only ask about that after curiosity.

Healthcare is very different in America and I am not seeing the benefits of yearly 'bloodwork', it must be an upsell so they can get people onto statins and whatnot for life.
by ThyerMJ26 | 2025-07-28 16:35:27+00:00
I've been working on a functional language and a specializing translator (a specialator) based on graph-reduction beneath lambdas.

The intention is to specialize away interpretive and meta-programming-like overhead, and then translate the result into usable source code in whichever language is desired. If the code, after specialization, has a suitable form, then you should get conventional imperative code out. If there are still functional-idioms present that haven't been specialized away, the generated code will have a more functional-style. The specialator currently targets JS and C.

The language has an expressive type-system based on self-dependent sub-typing. The type-system is too expressive for everyday use, it is intended to be used with a decidability checker.

This is an experimental work-in-progress.
by ranger_danger | 2025-07-28 16:36:11+00:00
When this was posted to reddit, the comments were just full of people arguing over the semantics and saying how wrong the author was for using the word PNG when the actual technique is extremely lossy... completely glancing over the entire video, the dedication, knowledge and complexity involved with actually creating the video, the incredible feats of the birds themselves, and the reality that youtube basically forces you to use clickbait titles in order to get views.
by mattnewton | 2025-07-28 16:36:21+00:00
> On average, models from Google and DeepSeek were seen as statistically indistinguishable from neutral, while models from Elon Musk’s xAI, which touts its commitment to unbiased output, were perceived as exhibiting the second-highest degree of left-leaning slant among both Democratic and Republican respondents.

This is somewhat interesting but this is hardly in line with censorship of historical events.
by bgwalter | 2025-07-28 16:37:17+00:00
Tao's blue team stands for generative "AI", the red team stands for critical/auditing "AI".

I have not seen any independent claim that generative "AI" makes programs safer or that generating supervising features as you suggest works.

For auditing "AI" I have seen one claim (not independent or using a public methodology) that auditing "AI" rakes in bug bounties.
by flumpcakes | 2025-07-28 16:37:36+00:00
The UK law was designed to be all encompassing. Why block just the 'porn sites' when you can see porn on forums?

The UK law is actually a good implementation if you put child 'safety' as your number one priority, with any other considerations as, in practise, moot.

Unfortunately I think free civil discourse between adults, privacy, etc. are just as important as child safety which makes the current law a bit crap.

This is similar to the video game and MasterCard/VISA issue - you can buy games that promote sexual violence and incest. Nothing stops children downloading them for free, or using their under-18s debit card from purchasing the non-free versions. In this instance it was private companies leveraging their freedom of association rather than an all encompassing law from a sovereign state, but the intent is the same.

As a collective society we do really need to come to grips with what it is that we want. Allowing kids to freely access gang torture/execution videos and playing pro-rape entertainment should probably be tackled. I'm not sure I agree with the implementations though.
by dangus | 2025-07-28 16:37:42+00:00
The real point isn’t about the literal cost savings with spinning drives, the point is that if you’re at a capacity level where the cost is becoming a factor that represents more than one evening out at your favorite restaurant, you’re at the point where a dedicated NAS solution is going to make sense for you.

And once you are at that point there is no sense in fussing around with setting up a “bespoke” solution like this that is a product of artificial constraints.
by wanderingmoose | 2025-07-28 16:38:08+00:00
I remember seeing a very similar system at wright-patterson afb in ohio that was used for a flight simulator. The model was mounted vertically on a wall and at a much smaller scale. This was in the early 80's and it was no longer in use. But the model detail was incredible. They had the camera hooked up to a monitor and seeing the camera "fly" through the scene at an appropriately scaled speed was amazing -- even on a tv screen. You could see the camera moving over the model...but on the monitor the view looked real.
by flumpcakes | 2025-07-28 16:39:19+00:00
What political speech is the UK blocking?

If the 'political speech' is not adult in nature, which is true 99.9% of the time, then it can't/won't be blocked under this rule.

Unless of course this political speech is happening on a porn site, or a subreddit that has been deemed 18+. Which I can't see a legitimate reason for.
by acheong08 | 2025-07-28 16:39:35+00:00
> “It is very upsetting for people who have grown up and lived for years believing that they are of a particular sex to suddenly discover that they are actually of the opposite sex. This can be a relief but can also be a loss. For most people it comes as a shock that upends their whole identity. Coping with this can take years,”

I find this statement odd. Haven't we already established that chromosomes do not determine gender? What more is there to cope with beyond a simple genetic abnormality. It's not like discovering this means they suddenly have to register as the opposite gender or use a different bathroom. It's like taking a 13andme test and finding it hard to cope that you're 10% asian.
by freeone3000 | 2025-07-28 16:39:36+00:00
These are better covered by Gilead’s actual press releases, of which this is a very poor summary.

For pricing, Gilead will likely carry over its policy for Truvada, by charging fairly high rates to western countries (with vouchers available) to subsidize its operations in Africa, where it will be provided cheaply or freely.

(Disclosure: I’m an investor. I truly believe that if any company can be morally good, Gilead qualifies.)

https://www.gilead.com/news/news-details/2024/gileads-twice-...

https://www.gilead.com/news/news-details/2025/gilead-finaliz...

https://www.gilead.com/news/news-details/2025/gilead-receive...
by gdubs | 2025-07-28 16:39:54+00:00
Well, funny enough I'm actually working on a visionOS sculpting app at the moment! It's metaballs based, and kind of a different vibe / niche than what you're going for.

Eg, more like a sketch than asset production, and metaballs-focused which obviously is going to create a very different topology than NURBS, etc.

My first app was Polychord for iPad which is a music making app that came out in 2010.

These days Vibescape for visionOS is a big one for me, and there are others. I also worked in the corporate world for about a decade working on apps at Google, etc.
by dangus | 2025-07-28 16:39:59+00:00
Works on my machine.

The problem with System76 is that Lenovo exists. There isn’t much of a real reason to buy a “standard laptop” like system76 over a higher volume OEM like Lenovo.

With Framework you’re at least getting the extreme modularity and upgradeability as a major differentiator.

But with System76 you’re essentially getting a regular laptop that you could get from any other major brand. You’ll have an easier time getting parts with Lenovo.
by cogman10 | 2025-07-28 16:40:08+00:00
This is a case where "premature optimization" would have been a good thing.

They could have represented dates as a simple int value 0ed at 1900. The math to convert a day number to a day/month/year is pretty trivial even for 70s computers and the end result would have been saving more than just a couple of bytes. 3 bytes could represent days from 1900->~44,000 (unsigned).

Even 2 bytes would have bought ~1900->2070
by tracker1 | 2025-07-28 16:40:23+00:00
A practical use of this would be in helping to determine where memory utilization typically is vs. where it really needs to be and which knobs are tuned where/how.

If you wanted to run PostgreSQL in a lower memory device, such as a lower end RPi, then you might want specific features tuned down based on your real workloads. Especially if you are considering say SQLite, but aren't sure how it will perform vs. putting say half the system's resources to PG.
by chistev | 2025-07-28 16:40:28+00:00
Screenshots are here -

https://www.producthunt.com/products/closedlinks?launch=clos...

Yea, I don't quite like the email idea because it doesn't fit the idea in my head. I want a tool where I can share a ClosedLink with someone without having to ask them their email and getting asked "why" questions. The link should be shareable via any communication channel, and they can be hidden behind passwords so only the intended person can access the link.

Maybe I'm bugging and my implementation/execution is not as perfect as I thought it would be when I started. lol

> Are you expecting a lot of signups? As plan B, maybe aim to get a grant from the Oasis Protocol Foundation - they're all about privacy - and quiz them on what to do next.

Ha! I was hoping to get lots of sign ups, but apparently that has failed. I'd never heard of the Oasis Protocol Foundation, I'll look into it.

Thanks for taking to time to respond. Appreciated.
by jandrewrogers | 2025-07-28 16:40:48+00:00
A simple linear probe is very efficient if the hash quality is high enough. More complex hash tables have the useful property that their performance is less sensitive to lower hash quality.

Historically, the computational cost of excellent hash quality was too high, so the overall cost of a hash table was lower using a worse hash and more complex table design. Today, it is possible to generate high quality hashes with minimal computational cost, so complex hash table designs are less useful. Modern hash table performance can largely be reduced to the average number of cache lines (both data and instruction) touched by the operations.
by password4321 | 2025-07-28 16:40:55+00:00
One feature to help those with ADHD would be pulsing the line at a gradually slower rate.

https://news.ycombinator.com/item?id=38274782#38276107 (125+ subcomments circa 2023)

> your brain will try to sync with the light that you can barely see, calming you down and allowing you to go focus-mode with the task in ha[n]d
by waltbosz | 2025-07-28 16:41:25+00:00
The website says it runs locally. In browser JavaScript , you can import a file from local file system to JavaScript's local scope without sending it to a server. I'm guessing that's how this app works.

If you want to know for sure, open your browser's dev tools, switch to the network tab, import a file and watch to see if a network request is made.
by cwassert | 2025-07-28 16:41:56+00:00
I think it is a bid problematic that anybody can create an account on github and open issues there (if enabled). No "professional", paid software would allow ordinary users to communicate directly with the programmer. Or allow outsiders to post comments on their products website. Just moving discussions to irc would already filter a lot of spam. As a last resort you could require some kind of proof that you are a maintainer of a bigger distribution. Or something in between.
Show HN: SitzProbe.app – Spaced Repetition for Performances and Complex Tasks
by jtanderson | 2025-07-28 16:42:09+00:00
Hi HN! I’m super excited to share with you my first completely self-developed app: SitzProbe[1].

This is an application that came from a simple (yet unfilled) need I had. When sitting down to practice music, I had trouble keeping track of all the different pieces I knew and which ones I have or haven’t played recently. But I wanted to make sure I kept practicing the old ones mixed in with the new, so ended up with a mess of lists and notes on my phone.

I’ve also always been fascinated by the theories of spaced repetition[2], but they’ve always been geared toward very atomic bits of learning (languages, technical vocabulary, etc.).

So I decided to combine the two into a slightly fancier todo list: one where your tasks will never be “done”, but if you do them well, you do them less often; and if you don’t do so well, it will prompt you to repeat them more often until you do them better. As far as I could find, this sort of thing wasn’t available, so I made one.

Any feedback, comments, critiques, are appreciated. There are certainly bits of the app that aren’t finished (what software is ever complete?) but would also love suggestions on extra things I might consider adding in the future.

[1]: https://sitzprobe.app/ [2]: https://en.wikipedia.org/wiki/Spaced_repetition