MurphyA/hacker-news huggingface dataset:
by latexr | 2025-08-03 09:07:34+00:00
> "Need" is a weasel word. You don't need anything.

That feels uncharitable to your parent commenter. By that logic we’d never use “need”, and your use of “significant” would also be a weasel word (I don’t believe it is, merely making a point).

While the words used are important, we should strive to understand the idea being transmitted and steelman the argument. “Need” is relational. Some things you need to survive (even if technically you don’t need to live, and here we’re getting too philosophical), other things you need to feel comfortable, or you may need a chair to reach a high place. In this case your parent commenter is clearly referring to a subjective level of need which differs for each individual and trying to make you reflect on the balance between the things you keep and how their existence in your day-to-day affects your life.
by clovy | 2025-08-03 09:07:50+00:00
Hey HN,

I recently launched Clovy.io, an AI-powered platform that helps creators, marketers, and small businesses generate social media content in seconds.

It’s designed for speed and simplicity, just describe what you want, and Clovy generates a ready to use creative with layout, copy, and design. It also supports logo creation, and video generation is coming soon.

New users get 1 free generation (No card required). The goal is to make high quality, scroll stopping content accessible to anyone without needing a designer or spending hours in Canva or Figma.

So far, I’ve had over 300 signups and usage through paid ads. I’d love your honest feedback on:

- The product concept and UI/UX - The quality and usefulness of the generated creatives - What’s missing that would make it truly valuable to you - Thoughts on pricing or business model (currently £24.99/month for 50 generations)

Would really appreciate your thoughts or critiques!

Thanks, Dilhan
by advael | 2025-08-03 09:08:00+00:00
This view of social interaction seems symptomatic of internet socialization, specifically social media. Since engagement is often driven better by controversy, the overall incentives in that context make an experience like yours more likely. Similarly, LLM providers who offer a public-facing chat service tend to be incentivized to tune their models to foment addiction. While people can indeed treat each other awfully sometimes, I think you could benefit a lot from seeking out specifically in-person interactions, perhaps in a context with a shared activity that can take some of the edge off of direct interpersonal engagement
by mastazi | 2025-08-03 09:09:14+00:00
when the app corrects your accent, what's the meaning of "correct"? UK received pronunciation? US Midwestern? Something else?

For context I am an immigrant to Australia and most pronunciation apps try to teach me some type of US accent, which is not useful to me. My dream is an app where you can select "I want to learn accent [X]" before starting
by olejorgenb | 2025-08-03 09:09:47+00:00
Does maintaining a frozen service like this[1] really require a team with a leader? I get that someone need to know the service and do maintenance when necessary, but surely that wouldn't be much more than a 20% position or something? At least if some ground work is done to make the now simplified[2] service simpler to run.

[1] Almost the simplest possible services (sans the scale I guess) you can imagine except simple static webpages

[2] The original product included some sort of traffic counter, etc. IIRC
by franga2000 | 2025-08-03 09:10:02+00:00
You were replying to a comment saying "studies have shown lower speed limits reduce accidents" with something along the lines of "but who cares if I go 10 over the limit, trucks have more mass and are more dangerous at the same speed". I can't even see your original comment since it was flagged, presumably for being total nonsense.

This is not one vs the other, multiple things can be true. Trucks are individually more dangerous than cars. There are far more cars than trucks on basically every road basically everywhere. Cars are driven by any idiot in all kinds of situations, trucks are driven by professionals during their regulated working hours.
by weitendorf | 2025-08-03 09:10:49+00:00
You probably want to give Claude a computer. I'm not sure you always want to give it your computer unless you're in the loop.

We have Linux instances running an IDE running in cloud vms that we can access through the browser at https://brilliant.mplode.dev. Personally I think this is closer to the ideal UX for operating an agent (our environment doesn't install agents by default yet, but you should be able to just install them manually). You don't have to do anything to set up terminal access or ssh except sign in and wait for your initial instance to start, and once you have any instance provisioned it automatically pauses and resumes based on whether your browser has it open. It's literally Claude + A personal Linux instance + an IDE that you can just open from a link

Pretty soon I should be able run as many of these at a time as I can afford, and control all of their permissions/filesystems/whatever with JWTs and containers. If it gets messed up or needs my attention I open it with the IDE as my UI and can just dive in and fix it. I don't need a regular Linux desktop environment or UI or anything. Just render things in panes of the IDE or launch a container serving a webapp doing what I want and open it instead of the IDE. Haven't ever felt this excited about tech progress
by zevon | 2025-08-03 09:11:50+00:00
Free and available is always good (especially in a research environment). ;) The author also says this in the P.S.:

"I believe the reason people run IDE backends on our login servers is because they have their code on our fileservers, in their (NFS-mounted) home directories. And in turn I suspect people put the code there partly because they're going to run the code on either or both of our SLURM cluster or the general compute servers."
by seanwilson | 2025-08-03 09:12:10+00:00
> This seems like a roundabout way of confirming that what you are actually saying is that half-assed type systems are much easier to grasp for average developers

To clarify, I think formal verification languages are too advanced for almost everyone and overkill for almost every mainstream app. And type systems like we have in Rust, TypeScript and OCaml seem a reasonable effort/reward sweet spot for all levels of developer and most projects.

What's your ideal set up then? What type system complexity (or maybe language)? How extensive should the test suite be? What categories of errors should be left to the type system and which ones for the test suite?
by oyoman | 2025-08-03 09:12:52+00:00
The library that you refer is not in use for a long time already. The document you pointed out is from 2006 (you can check the creation date).

Since then, a lot has changed, and now it is all based on cling ( https://root.cern/cling/ ), that originates from clang and llvm. cling is responsible generates the serialization / reflection of the classes needed within the ROOT framework.
by dunyakirkali | 2025-08-03 09:13:21+00:00
In this article, I introduce DuckLake; a lightweight, portable data lake solution perfect for busy engineering managers. You'll learn how to easily collect, store, and analyze data from sources like Jira and GitHub without the hassle of traditional databases or expensive cloud warehouses. The guide walks you through setting up DuckLake, ingesting your data, and exporting it for visualization, all while keeping things fast, flexible, and cost-effective. If you want to make data-driven decisions without the usual overhead, this article shows you how DuckLake can simplify your workflow.
by mycatisblack | 2025-08-03 09:13:33+00:00
I open the vial and tap it slightly so a few fall out. Then I place the on the PCB with paste on the pads. I’m finishing up a high precision impedance meter to be able to sort out capacitors if I mix them up.

One final thing maybe: I stick to the smallest smd size I’m comfortable with: 0805. I keep those stocked and I have a small stock of 1206 and 0603 for repair work.
by _andrei_ | 2025-08-03 09:14:05+00:00
> So my argument is that removing the context that is entirely irrelevant for the agent improves performance dramatically.

100% agree on building the optimal context, just have not seen parallel agents do better at sequential tasks. the documentation agent may have better initial context about how to write documentation, but it doesn't have the context of the changes, apart from what is passed to it / can explore. if we don't spawn a new session, and instead throw it a /document command - that would still get all the guidelines and rules for writing documentation, and it should have the same weight since it's at the bottom of the context.

for me the highest 'model jump level' performance booster is externalizing context and controlling the process - having claude initialize a plan file with a pre-defined template that makes it use that as its to do list and documentation place, and getting it to use that as its primary working area
by throwaway9832 | 2025-08-03 09:14:42+00:00
You, just like the grandparent, confuse egregious 0% tolerance speed enforcement with speed limits. Speed limits dictates stopping distance and is a key factor in collision avoidance. No one is asking to abolish speed limits.

The problem is when passenger cars that require a fraction of stopping distance of a truck at given speed limit are fined for going 3-4 km over limit. Essentially, fined for driving at a speed where they can stop many meters before a truck going the sign posted limit. Revenue raising in the name of safety, down playing other factors like attention, driver training, road design, maintenance, and so on, but they don't bring as much money.
by latexr | 2025-08-03 09:14:54+00:00
> There is also the problem that people who sell their used stuff on classifieds think of their article to be worth as much of the original purchase price as possible

That is quite the frustrating state of affairs when you try to reduce your consumerism and buy second-hand. It’s not that uncommon to see people selling used items at the same price or even more expensive than new with warranty.
by pogue | 2025-08-03 09:14:59+00:00
I got about half way through the article and wasn't sure what I was reading, or if it was worth my time so I had Perplexity summarize it for me [1].

Tbh, from the title I had expected it to be how skeptics were dealing with living in a post truth world under a Trump presidency, but it's in regards to the paranormal & 'parapsychology'.

[1] https://www.perplexity.ai/search/summarize-this-article-for-...
by inglor_cz | 2025-08-03 09:14:59+00:00
This is a bit simplified.

Volcanos work, too, but there are no commercial applications of them, even though the energy contained within could power entire cities for years.

Even with known and proven natural phenomena of smaller dimensions than volcanos, harnessing them is a huge challenge. It was proven that some people can smell Parkinson's [1], and this is probably caused by changes in the sebum (skin oils) of the patient. There are likely other potential diagnoses by smell (lung cancer [2], infections [3]), but despite reading about future electronical noses for about a decade, there are none deployed in clinical settings.

[1] https://www.theguardian.com/society/2022/sep/07/woman-who-ca...

[2] respiratory-research.biomedcentral.com/articles/10.1186/s12931-021-01835-4

[3] https://news.ki.se/detecting-disease-by-smell
by userbinator | 2025-08-03 09:15:28+00:00
But I don't see how that can be taken to imply that enterprise drives have worse data retention than consumer drives

Look up the specs. Commonly quoted as 3 months for enterprise ratings but the whole picture is in these tables:

https://www.legitreviews.com/wp-content/uploads/2015/05/ssd-...

Page 22 of this "says the quiet part out loud": https://www.snia.org/sites/default/files/AnilVasudeva_Are_SS... ("Lower Data Retention allows for higher endurance")
by rsanheim | 2025-08-03 09:16:04+00:00
Yeah, it turns out many nerds don't consider the fact that the amazing tools we are using to do constrained tasks aren't that great for more general purpose things. Writing a spike, spitting out unit tests, or vibe coding a front end feature is not the same as planning a trip to europe, balancing accounts, or managing a schedule.

So much attention, effort, and tooling has focused on getting llms better at writing more and more code. They can grep and curl and run scripts and iterate and build things really fast, and maybe even maintain it if given enough guardrails and direction.

But it turns out we have had a _ton_ of useful training data for models to work with for software. Not just books or docs, but examples, tests, snippets and full programs for just about any language. Show me a stackoverflow with playwright scripts or API calls (hah, as if thats possible) to build itineraries from delta, aa, united, priceline, expedia, etc, .... which is one part of one piece of the ai assistant pipe-dream.

I don't think its impossible as these tools get much smarter and more generally capable that we get decent assistants in other constrained, non-software domains, but it will take very good companies focusing on it for a long time. Much like any product that try to do these sorts of things.

Its so easy for programmers in our bubble to overlook the complexity involved in automating or even _describing_ simple tasks that humans navigate everyday via habit, learning, experience, and perception...all things that llms struggle with constantly.
by fredoralive | 2025-08-03 09:16:48+00:00
I think it's more they've shifted away from their original focus as a specialist computer publisher into a more general publisher. I realised a couple of months ago they publish the TV Times nowadays, and also stuff like Country Life and Home and Gardens. Tech stuff is just another line on the balance sheet now.

I doubt if magazines (and websites etc.) in general are doing great, but for obvious reasons the more techy stuff is probably going to be a bit more vulnerable, particularly in print.
by jdietrich | 2025-08-03 09:17:15+00:00
>the scientists and medical professionals claiming that ivermectin was effective for treating COVID were doing it in spite of the professional stigmatisation

Many of those people went from earning six figures a year as medical professionals to earning six figures a month as "influencers". Patreon has radically altered the marketplace of ideas, for better and for worse; for those who are unscrupulous or merely deluded, there are now some very attractive alternatives to mainstream legitimacy.
by andriesm | 2025-08-03 09:18:02+00:00
"... of Silicon Valley billionaires whose creativity consists mostly of appropriating other people’s"

Are certain university departments stacked with people who think this way?

Have they spent any time anywhere near any super successful tech people? I mean, BEFORE jumping to conclusions I would label as rather obnoxious unsubstantiated slanderous opinions about a whole class of people. (They're tech billionaires, so f them right ?)
by ykonstant | 2025-08-03 09:18:16+00:00
> Kevin Buzzard told me that the worry that it might in fact be wrong is a huge motivator for him.

And then, when I raised concerns in Zulip about Lean's metaprogramming facilities being used to trick the pipeline into accepting false proofs, he said the opposite. He even emphasized that the formalization efforts are not for checking proof correctness, but for cataloguing truths we believe in.

This kind of equivocation turned me away from that community, to be honest. That was an extremely frustrating experience.
by zwnow | 2025-08-03 09:18:29+00:00
A lot of people are simply insufferable so I dont even try to make new friends. I've got a relatively big circle of old time friends and I'll keep it at that. Im a lot younger than you but I cant deal with TikTok brains same goes for right wing retards or people who believe in religions or other esoteric stuff. It's not easy to meet people with actual intellect
by zigzag312 | 2025-08-03 09:20:25+00:00
You mean just self-drawn controls or also immediate mode GUI?

I haven't tried it, but there's ImGui.NET (or a bit easier ImGui.Forms) immediate mode GUI. Downside is no accessibility.

Avalonia uses Skia to draw controls, although it primarily uses XAML to define UI.

The issue with self-drawn controls is that creating such framework is a lot of work, so smaller projects often have issues with things like accessibility.

EDIT: Just did hello world test with ImGui.Forms. Self-contained AOT compiled result was 7 MB.
by dabedee | 2025-08-03 09:20:29+00:00
I think the Figma IPO proves Khan was right. $60B market cap today vs the $20B Adobe offered in 2023. There was some criticism about regulatory overreach when the deal got blocked. Now Figma employees are rich, the design tools market stays competitive, and we have another major independent tech company instead of just another Adobe product line. This is exactly why we need regulators willing to tell Big Tech "no" sometimes. Competition creates more value than consolidation.
by j1elo | 2025-08-03 09:21:02+00:00
I wanted to read opinions about the cost in time that public transport takes, but it hasn't been commented much. Time is precious (albeit not more than a life! that I agree for sure), and you cannot save it for later, so the problem I have with public transport is the enormous loss of time it is for everyone -- unless the planning is almost flawless. So first we had distances effectively "shortened" with the rise of private transportation, and now we go back to widening them again, in terms of time and practicality of covering longer distances in the modern day-to-day life.

Here in my city, even though the public transport is already considered among the best of Europe, and you only hear praise about how well connected everything is... (so you wouldn't expect any radical improvements any time soon) on a Sunday I still take ~16 minutes to cover 14 km (8.7 miles) by car to meet my partner, while the same distance by p.t. is <checks on Google Maps...> 1h20m. So yeah, no thanks.

I picked 2 points at random in Helsinki, separated by 14 km, and Gmaps says it's 24 mins by car or 48 mins by public transport, so while it's already double, it feels much more reasonable.

Still there is the problem of reducing ability to have a lifestyle that implies many movements. E.g. after visiting my partner I went another 25 km (15.5 miles) to have dinner with my family. On the way back to my home I stopped by a utility store to buy some stuff. All those trips combined would have meant too many hours spent on a subway or bus (checked it: 2h50m and that's giving up on the shopping stop), but combined by car were a mere 1h15m.

I get the people who say "I don't have any use for a car, my city is phenomenal", but I also think a subset of those people might simply have assumed (deliberately or not) the limitations it implies, and would possibly achieve more things in their day to day if transporting themselves was a quicker process.

Points of view and different opinions are welcome :)
by throwaway9832 | 2025-08-03 09:22:18+00:00
I reply because "studies have show that claims of studies have show are often false".

There is absolutely zero chance any respectable study would support that focusing on maintaining exactly 110 km in a 110km is safer than allowing a 10% buffer (going 10km over) so you can focus on the road and spend more of your attention on spatial awareness than staring at the odometer.

Second, it is not about "who cares", it is about road design, a road that is up to standards of allowing a b-double doing 110km means a smaller car can safety do 140km or more. It is exactly one way or the other. It is either unsafe for B-Double to do 110km or a small modern car to do 140km. It is simple laws of physics.

You can't see my original comment, so opt to make some nonsense assumptions to feel good about yourself. By God,this place is a cesspit of arrogance.
by charcircuit | 2025-08-03 09:25:40+00:00
Open up other machines to the internet and recommend people upload their code to github instead of the school's file server. People who want to read email can use their web browser to load gmail or outlook depending on what the school goes with. For the cron jobs I would want to know what is being scheduled before providing a recommendation on how you can get rid of the login server for it.
by mjburgess | 2025-08-03 09:27:49+00:00
> Neither parapsychology, nor any science, can thrive without them.

This is an absurd article. Scepticism is not the psychological disposition to treat the increasingly implausible with the same equanimity as the increasingly plausible. The sceptic is under no obligation to ignore decades or centuries of science, nor be partisan to no established body of knowledge.

Sceptics are at their very best profoundly partisan to such bodies of knowledge, and at the same time, very mindful and knowledgeable about their limitations. Otherwise scepticism is just paranoia or gullibility.

This is an article in praise of gullibility as the highest form of scepticism, a very common attempted rebuke to sceptics when one has failed to meet the reasonable standard of evidence they demand.

It is also a subtle ad-hom, it says, "look at some of the mild hubris and minor moral failures of some particular sceptics" whilst sneaking its way to, "Neither parapsychology, nor any science, can thrive without them.". As if there is a connection.

The principled and knowlegable sceptic, who is not credulous nor obnoxious, not paranoid nor overly trusting -- this is a person in 2025 who would give no time to "parapsychology" because of the decades of time already given, to great effect. There is no science there, no truth, nothing.
by liotier | 2025-08-03 09:27:51+00:00
> In any case, though, it's clear that moderation needs to be baked into the protocol at a lower level than it currently is.

Lesson learned and relearned across all social and communication software... Moderation cannot be grafted on later: it is core, it makes or breaks the social experience.

HN, Bluesky and Reddit, for example, got it right, each in their own way for their own use case, and I believe it one of the main reasons of their success.
by j1elo | 2025-08-03 09:31:24+00:00
I agree. But for high amount of trips done in a single day, I'd have to use my weekends for sharing examples, as on weekdays the planning is much different due to work. I also obviously know that traffic is dense at certain times, so it's not that roads are always a walk on the park, but for me it's more a matter of knowing the routines and schedules of the city, and using my private transport in the appropriate times is immensely beneficial for the things I usually want to do in a day.

On a Wednesday, too many people try to go in a single direction in the morning, and in the opposite direction in the evening, going to/from work, so depending on where one lives, it's clearly better to use the Subway.

Although with later crisis and inflation and cost reduction, the public transport has been a bit in a downfall with less frequencies, and I've started to notice that the service is worsening; some mornings the trains are coming fully packed of sweaty people, so the experience must be pushing some people to use their cars and join the masses, for sure...
by timothynabokov | 2025-08-03 09:33:04+00:00
A file system is what allows us to organize files and directories into hierarchical trees. But how is this actually implemented in Linux?

Following the Feynman’s famous quote, we are going to build own in-memory file system driver to understand it. This guide focuses on the practical aspects necessary to get such a filesystem up and running. For a deeper dive, check out the references and the “Further Reading” section at the end.