MurphyA/hacker-news huggingface dataset:
by jaggederest | 2025-08-03 07:56:42+00:00
I have repos on github. I show the code.

I also make my design documents (roughly the prompts generated by the prompts) into committed markdown documents. So I show the second-tier prompts at least, you could consider those an intermediate language representation if you like.

> Then there's the question of how do other developers contribute to the code. They don't have your prompts, they just have the code.

I usually try to commit the initial prompts and adjustments. I don't commit trivial things like "That's not quite right, try doing X again" or "Just run the entire test suite"

> So, no, prompts are not source code

Hard disagree, but that's fine.
by kqr | 2025-08-03 07:56:56+00:00
This is one of the things I find difficult about travelling abroad, particularly with children. I'm used to incredibly high safety standards, and when I'm in traffic in many other places in the world it feels like going back a few decades.

Genuine question: we have a lot of research on how not to die in traffic (lower speeds around pedestrians, bicyclists stopped ahead of cars in intersections, children in backward facing seats, seatbelts in all seats in all types of vehicles, roundabouts in high-speed intersections, etc.)

Why are more parts of the world not taking action on it? These are not very expensive things compared to the value many people assign to a life lost, even in expected value terms.
by Earw0rm | 2025-08-03 07:57:23+00:00
Even where public transport and cycling infra is more than adequate, you still have to restrict cars.

Otherwise some people will choose driving to an extent that it screws up the public transport for everyone else.

At least that's the lesson from London's buses. Paris built a more extensive metro system (London's tube is equivalent in the areas where it operates, but less than half the city is within 15 minutes walk of a Tube stop) so that part is deconflicted at least.

But Paris is running into the same issue as they try to build out their cycle network. It can't be done without restricting cars, much to the annoyance of those who've built lifestyles around driving.

Which really isn't at all necessary in a city like London or Paris, but that doesn't mean people don't do it.

I'm not ideologically against people driving, especially EVs, but on a practical level it seems to be very difficult to accommodate demand for driving in a dense-enough-to-be-interesting city without screwing everything else up: pedestrian and cycling safety, bus reliability, street space usage, noise and air quality.
by NoLinkToMe | 2025-08-03 07:57:30+00:00
Part of this is simply a function of the average age. There's a much bigger squeeze of life events when everyone dies at 60 instead of 90. We become older, meaning our life events are stretched out further, we leave school later, begin work later, buy a house later, have kids later, retire later, die later. Secondly, within the population the share of old is becoming bigger, meaning the average buyer is older, and also the average age of first buyers is older.

If you look through the statistics we are actually richer in terms of housing than ever before. There's two stats: home size, and persons-per-house. In the past half century or so, home size doubled while persons-per-house dropped by 25%. So we live in bigger homes and share them with fewer people, housing-per-person has been increasing decade after decade to the point it's almost 3x what it was since the war.
by weitendorf | 2025-08-03 07:57:53+00:00
Respectfully, I think you are being reflexively contrarian or overindexing on the vibe coding hype train. The way vibe coding UX works is basically just having LLMs guess what they need to do to complete a task and then sending it off to do it and try to fix anything that doesn't go according to plan along the way. Nothing big there.

I had started working on an AI devtool product a few months before Cursor took off, I didn't even know about them when I first started, and I hated that such a dumb UX was setting the narrative in this space. LLMs had essentially no ability to decompose and plan tasks at the time, and they weren't fucking sandboxing it!

Terminal agents are actually moving towards the UX I've been building/anticipating for. In March of 2024 I was playing around with GPT4 and saw it oneshot a microservice I asked it to make. I was so excited about the implications of where this stuff could go that I quit my job at google just to start building in this space.

Without getting into all the details, I am pretty convinced there must be some particular way of arranging infrastructure primitives and AI-coding tools in a way that properly decomposes and executes arbitrarily large or complicated tasks (limited only by available time and resources). Claude code is IMO getting closer to that by the week. No iterative change is crazy science or anything but there are some genuinely novel and exciting patterns for computing things underway.
by fabioborellini | 2025-08-03 07:58:09+00:00
Since there really are no traffic jams in Finland, my experience is that the phenomenon is worse here. In more populated countries drivers must deal with sometimes occurring reduced speeds like adults, but in Finland there usually is enough space for a single driver to keep their speed at 115% of the limit, due to other drivers facilitating the selfishness. If someone does not facilitate, the speeder will get aggressive and has to find someone to blame for their (actually, his and his car’s, which has more civil rights than a leftist) misfortune.

In Germany all drivers have to accept that there isn’t enough road capacity so everyone could drive as fast as they want and the Staus cannot be blamed on the car in front of you. It’s also common to drive under the limit, in Finland 115% of the limit is the socially acceptable minimum.
by conductr | 2025-08-03 07:58:29+00:00
Let’s cut to the chase here and flip this around. You tell people how often they need to be using the bed or towing things before you would accept their decision to buy versus rent as reasonable?

I go through periods where I tow weekly for months. Then I also have periods where I may tow nothing for 6-12 months. I rented for a bit and it was a huge pain in the ass for many reasons not to mention fairly expensive, can be so expensive to make paying the high price on a truck worth it.

If, as I suspect, you have never had the need to tow. Or do not live a lifestyle by trade/hobby that occasionally necessitates it, just say you can’t relate to the problems and inconveniences that renting poses and quit pretending nobody has thought of this before.
by thelastgallon | 2025-08-03 07:58:46+00:00
They need it to take their 20 tons of artisanal tomatoes and sourdough bread to farmers market. For backhoe and other heavy equipment that they rent on a daily basis. They help their friends and family move, with the 6 x 12 utility trailer add on, which can be daisy chained. They have large families with boats, jetskis and canoes that need to be towed for fun activities. Haul lumber and tons of stuff from homedepot for the DIY remodeling projects, once again helping friends and families. Volunteering on nextdoor to helpout Ukrainian and palestinian refugees, helping charities with food, clothes, tires, furniture donations and donations of upto 20 tons of gold bars. Helping friends and family buy/sell and resell antique furniture, audio equipment and plasma TVs, lots of trips to and from self storage. A big pickup truck also helps build a big house with a massive garage with its own DIY repair shop. Also, lots of friends with other pickup trucks that get stalled need towing help. Beer, lots of beer for weekend sports watching. Hunt hogs and bring meat home. Most importantly, it helps get away from wife to help a friend/family, which is the killer app.
by walaa_volidis | 2025-08-03 07:58:53+00:00
Location: Palestine

Remote: Yes

Wiling to relocate: Yes

Technologies: Frontend: JavaScript, TypeScript, Next.js, React, HTML, CSS Backend: .NET Core Database: Prisma, PostgreSQL (Neon), mssql Cloud: AWS

Email: walaavolidis@gmail.com

LinkedIn profile: https://www.linkedin.com/in/walaa-isa-volidis/

Github profile: https://github.com/Walaa-Volidis Reseme: https://docs.google.com/document/d/1Kr_DdpcPW5TTcVRgUnvbIimM...
by somat | 2025-08-03 07:59:21+00:00
The entry rules are great. Highly specific in that way you know exactly how they were abused in the past.

Rule 2 Rule 2 requires that your submission satisfy BOTH Rule 2a AND Rule 2b. You may check your code with respect to Rule 2a and Rule 2b prior to submitting your code by giving the filename as a command like argument to the iocccsize(1) tool. For example: iocccsize prog.c The source to iocccsize(1) may be found in the mkiocccentry repo. See also the FAQ on “how to further test your submission” for more more thorough testing, including Rule 2. See also Rule 2a, Rule 2b, and Rule 17. Rule 2a The size of your program source should NOT exceed 4993 bytes. Rule 2b When the filename of your program source is given as a command line argument to the latest version of the official IOCCC size tool (hereby referred to as iocccsize(1)), the value printed should NOT exceed 2503. See also Rule 17.
by zozbot234 | 2025-08-03 08:00:06+00:00
Yup, Lean's quotient induction breaks subject reduction, which is an important type-theoretic principle. It means you can write a Lean development where t has type A, and t reduces (i.e. computes, as part of the Lean kernel) to u, but u doesn't have type A, and may not even type check. (See https://github.com/digama0/lean-type-theory/releases/downloa... Sec. 3.1 for a detailed discussion of this issue.) This is obviously quite bad, and it goes far beyond the usual drawback of adding axioms to a theory, including the quotient axiom. (Namely, the loss of canonicity.)
by globular-toast | 2025-08-03 08:01:03+00:00
Ah, memories from when the internet was still good. Anyone know of any good writing about that time on the internet? IRC, FTP, USENET etc? There was a miniseries called "The Scene" which captured some of it. Some of it is just childhood memories, but I'm also convinced it was a special time that won't be coming back.
by rwmj | 2025-08-03 08:01:10+00:00
We have these at work and there was a big outcry when IT tried to get rid of them. I use them from time to time to do things like: Keep git and other backups. Convenient place to scp files to/from. Upload files that coworkers can grab. I don't use it, but others used them as permanent IRC endpoints (using screen or tmux presumably).

Notice a cloud VM or container probably doesn't work here. You need something with a permanent presence, and shared between users (with separate Unix accounts).
by GunjanWalecha | 2025-08-03 08:02:06+00:00
Location: Chandigarh, India Remote: Yes Willing to relocate: Yes Technologies: Svelte, React, TypeScript, Figma, Other design tools Github: https://github.com/guacamole LinkedIn: https://www.linkedin.com/in/gunjanvalecha Résumé/CV: https://gunjan.studio | https://gunjan.studio/gunjan-ux-resume.pdf Email: hi@gunjan.studio
by Animats | 2025-08-03 08:03:55+00:00
There are serious people studying UFOs. There are also a lot of people flying around a lot of weird drones. Reports of triangular objects going really fast may be one of these.[1] It's even possible to hover one of those, standing on its tail, with the proper control system.

There are some people pushing an open source UFO detection system, which is basically a dome surveillance camera pointed upward, connected to tracking software.[2] They have lots of videos. Airplanes, helicopters, hawks, even the International Space Station. 117 sites worldwide, supposedly. No major discoveries yet.

Not well coordinated, though. They need to get the same target from two or three viewpoints. That gets you range, and resolves most reflection-type illusions. So you need a few in each city-sized area. Data reduction should be coordinated with ADS-B data, to ident aircraft.

[1] https://www.youtube.com/watch?v=YVNIWuLs_7E

[2] https://ufodap.com/
by imtringued | 2025-08-03 08:05:10+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, but don't think about the fact that people would rather buy new stuff.

In reality the mindset they should be having is that the buyer and the seller are doing a group buy separated in time, which means that both paying half the price of new is fair and should be expected.
by dguest | 2025-08-03 08:05:17+00:00
It would standardize something they've done in an ad-hoc way for decades. They have a library called "reflex" [1] which adds some reflection, and which was (re)written by cannibalizing a lot of llvm code. They actually use the reflection to serialize a lot of the LHC data.

It's kind of neat that it works. It's also a bit fidgety: the cannibalized code can cause issues (which, e.g. prevented C++11 adoption for a while in some experiments), and now CERN depends on bits of an old C++ compiler to read their data. Some may question the wisdom of making a multi-billion dollar dataset without a spec and dependent on internals of C++ classes (indeed experiments are slowly moving to formats with a clear spec), but for sure having a standard for reflection is better than the home-grown solution they rely on now.

[1]: https://indico.cern.ch/event/408139/contributions/979831/att...
by zevon | 2025-08-03 08:06:48+00:00
In this context, it is a Unix machine configured for general purpose use (so no minimal web-server-centric OS, for example) where everybody in the organisation gets a login (probably automatically and tied to whatever SSO they use). There may also be some niceties installed and/or preconfigured - like software used frequently by this and that research group or auto-mounting the user's file share from the central storage cluster.
by Earw0rm | 2025-08-03 08:07:04+00:00
That's true, but people will willingly sacrifice time for a rather small career step up; moving house is hard once you have a family in schools and so on; so in a conurbation you end up with 1hr+ commutes anyway.

I don't think most are math-minded enough to factor commute time and cost into any salary calculation, if there's a 10% pay bump they'll take it even if all the gains get eaten up travel.
by tpoacher | 2025-08-03 08:08:45+00:00
I would prefer a name that strongly implies ownership.

Such that by definition it becomes painfully obvious that you don't really own the other stuff when confronted with it.

In the UK freehold versus leasehold do evoke these terms, but only if you've entered the housing market to learn about it by getting bitten first. So not really an instantly recognisable term otherwise.

Then again, perhaps the focus here should be to also start calling all that other software "leasehold" software. I think that would then send the right message and establish "freehold software" as a useful term.

The term leasehold fits well come to think of it. You still "buy" your flat, but there's a lease stipulating conditions and an expiry date (typically decades at least), meaning there are many restrictions to full enjoyment of your purchased property, which also affect your ability / profitability to sell, and at some point you (or your children) might even stop having what you thought were ownership rights.
by anovikov | 2025-08-03 08:09:42+00:00
Isn't housing exactly the most accessible of all the world save for 2-3 totalitarian countries like Oman, in the United States? According to the Numbeo data exactly.

It also has nothing to do with labor vs capital. Billionaires don't invest (much) in housing. Sometimes they do invest in commercial real estate, but never into housing. It's the middle class who buys up everything - now almost exclusively in cash - and then won't leave those houses till death, as Silent generation currently dies.
by olejorgenb | 2025-08-03 08:10:36+00:00
Ref. the shutdown of goo.gl (from: https://blog.google/technology/developers/googl-link-shorten...)

<quote> Nine months ago, we redirected URLs that showed no activity in late 2024 to a message specifying that the link would be deactivated in August, and these are the only links targeted to be deactivated. If you get a message that states, “This link will no longer work in the near future”, the link won't work after August 25 and we recommend transitioning to another URL shortener if you haven’t already.

All other goo.gl links will be preserved and will continue to function as normal. To check if your link will be retained, visit the link today. If your link redirects you without a message, it will continue to work. </quote>

Since they are retaining some links (meaning they need need to maintain that system) I wonder what volume of "inactive" links we're talking about here. It's also kinda strange they couldn't add a "please retain this link" button on that redirect page.

Ongoing effort to archive links: https://news.ycombinator.com/item?id=44684119
by inglor_cz | 2025-08-03 08:10:59+00:00
Interesting. During my life, I met two "belligerent skeptic" types, who, as mentioned in this essay, were more interested in personal attacks than anything else.

Both came from families where they were force-fed religion at young age and this was their method of revenge.

While I understand their motivation, it is a "two wrongs don't make a right" situation. Creating an emotional association "science == assholes" is already backfiring on us quite hard.
by chrisvalleybay | 2025-08-03 08:11:27+00:00
I mostly do the same. My workflow is usually like this: 1. Supply CC with a simple user story with light spec / business logic, asking it to write a specification for the feature and ask me any questions that need to be answered to make it complete. 2. Build up the context with all relevant files that I want to use. In Ruby on Rails it means refercing models, views and controllers that show the structure we are going to use. 3. Write the code and tests.
by calrain | 2025-08-03 08:11:44+00:00
Yeah, maybe you're right.

The point that I'm probably missing (and others) is that we associate the phrase 'Vibe Coding' with 'Using an LLM to help with coding' and they're not the same.

Maybe the critics of Vibe Coding need to remember that all users of LLMs for coding support aren't about to regret their life choices.
by exfalso | 2025-08-03 08:14:09+00:00
Hmm not my experience. I've been aggressively trying to use both Cursor and Claude Code. I've done maybe 20-30 attempts with Code at different projects, a couple of them personal small projects. All of them resulted in sub-par results, essentially unusable.

I tried to use it for Python, Rust and Bash. I also tried to use it for crawling and organizing information. I also tried to use it as a debugging buddy. All of the attempts failed.

I simply don't understand how people are using it in a way that improves productivity. For me, all of this is so far a huge timesink with essentially nothing to show for it.

The single positive result was when I asked it to optimize a specific SQL query, and it managed to do it.

Anyway I will keep trying to use it, maybe something needs to click first and it just hasn't yet.
by apelapan | 2025-08-03 08:14:54+00:00
My understanding of that type of "hävd", is that you need to have an official but incorrect deed of some sort, that remains uncontested by a true owner for 10 or 20 years.

Simply making uncontested use of the land is not enough.

I guess it is something that can happen quite easily in rural settings with very old property lines. Farmer 1 and 2 agree to some deal and a while later farmer 3 turns up and says "hey that's my land".
by consp | 2025-08-03 08:15:33+00:00
You can also look up the rated idle power in the datasheets to know beforehand. Anything over ~5w needs cooling and usually they are 10+w (at least the ten or so I have here at home). Some of my disks have a low power more (still 7w) which you can enable with vendor tooling or the correct sas command but ymmv. Check the datasheet, it almost always states max 45c ambient and continuous airflow required.
by imtringued | 2025-08-03 08:16:07+00:00
We have an economic system that is actively hostile to new generations because the idea behind neoclassical economics is that you have an endowment you turn into money to buy things, but that very endowment isn't passed onto younger generations in a guaranteed fashion due to rising inequality.

As a member of the younger generations you notice that everything is owned by the older generations, which means you have to beg the older generations to let you live in dignity.

But this doesn't end once the younger generations turn into the older generations, because their parents also suffered the same problem, which means they might have enough for themselves, but they didn't have enough to pass down for you, leading to a spiral of immiseration.

Smart parents notice this pattern and decide "If I was unwanted and my children are or will be unwanted, then how about I don't have any at all?"
by speedylight | 2025-08-03 08:17:02+00:00
Believe me when I say that’s it is equally if not even more stressful to be unemployed and have nothing to lined up. It’ll feel great at first not having to work but you’ll be spending money without bringing anything in and sooner or later you’ll be needing to find a job in an unforgiving job market.

I would listen to your friends, stick it out until you find another job. In the mean time, try to make some changes like not working 10 hour days, maybe take a short leave of absence, etc… but quitting your job and not having another one lined up is almost always a mistake unless you a very large sum of money saved up or some other source of income.

Hope this helps and best of luck!
by NoLinkToMe | 2025-08-03 08:18:29+00:00
This isn't really borne out by the statistics. Real median personal income has been trending up for a century now, the longest dips (before an upwards trend would ensue) were periods of 5 years of mild deterioration. [0]

It also doesn't sit well with my personal anecdata. My life and that of my friends is way better than their parents. I've literally travelled to all major continents in the world for recreational travel by the time mom had only left her village at around 20 years old, for example.

Cocktails is just an absurd standard for anything. It's the one item you can buy that is completely and utterly divorced from its costs, its price is a function of how rich people are that this thing is being sold, not how expensive it is to produce a cocktail. 2 cents of sugar and 30 cents of liquor and $15 of branding being sold for $15.50 doesn't mean life is expensive, it means people in this neighbourhood are pretty rich and can throw away money. My mom literally has never had a cocktail in her life yet has had a very socially rich life.

Yesterday I spent the day with my brother, we rented a car for $50, drove to another town, had some sandwiches and drinks, we spent $100. Today a friend is coming over to my house and I'll pour him a 20 cent coffee and I'll probably make a snack as well, then we'll go for a walk around town while catching up, maybe grab a $2 beer from the supermarket and some fruit and sit by the water. Total cost <$10 for 6 hours of hanging out for two people. You make about $20 in a supermarket per hour here, so we'd have made $240 of wages in the same six hours. These experiences are mostly similar for me and just as fun, the cost factor is purely a choice. If I didn't have any money they'd all be cheap.

[0] https://fred.stlouisfed.org/series/MEPAINUSA672N
by anilakar | 2025-08-03 08:18:33+00:00
When I see someone violating cycling traffic code, nine times out of ten it's an electric skateboard, rental city bike or a food delivery guy on an electric moped (legally bicycles when limited to 25 km/h).

And those spandex-wearing road cyclists and commuters that motorists like to bitch about so much? The best law-abiding folks I've seen.