MurphyA/hacker-news huggingface dataset:
by mccoyb | 2025-12-16 21:54:59+00:00
Claude Code was a big jump for me. Another large-ish jump was multi-agents and following the tips from Anthropic’s long running harnesses post.

I don’t go into Claude without everything already setup. Codex helps me curate the plan, and curate the issue tracker (one instance). Claude gets a command to fire up into context, grab an issue - implements it, and then Codex and Gemini review independently.

I’ve instructed Claude to go back and forth for as many rounds as it takes. Then I close the session (\new) and do it again. These are all the latest frontier models.

This is incredibly expensive, but it’s also the most reliable method I’ve found to get high-quality progress — I suspect it has something to do with ameliorating self-bias, and improving the diversity of viewpoints on the code.

I suspect rigorous static tooling is yet another layer to improve the distribution over program changes, but I do think that there is a big gap in folk knowledge already between “vanilla agents” and something fancy with just raw agents, and I’m not sure if just the addition of more rigorous static tooling (beyond the compiler) closes it.
by gompertz | 2025-12-16 21:55:01+00:00
Just gave it a whirl and it works pretty good. It doesn't seem like you can force hashcards to let you re-review your deck at anytime though as its on a scheduler. (Imagine this is by design of SRS, but a bit annoying can't override with a flag).

I think uploading a textbook to NotebookLM and getting it to build out a deck for each chapter will be a great study method.
by 1718627440 | 2025-12-16 21:55:07+00:00
> the entire point of Free Software is to allow end users to modify the software in the ways it serves them best

Yes?

> completely counter to his own supposed raison d'etre

I can't follow your argument. You said yourself, that his point is the freedom of the *end user*, not the compiler vendor. He has no leverage on the random middle man between him and the end user other than adjusting his release conditions (aka. license).
Show HN: A community-curated list of BYOC (Bring Your Own Cloud) vendors
by realsharkymark | 2025-12-16 21:55:21+00:00
Hi HN,

I’m from the team at Nuon. While building in the Bring Your Own Cloud (BYOC) space, we realized there wasn't a centralized, community-driven resource like awesome-selfhosted.net for managed software that lives in the customer's VPC.

We hope software vendors will open a PR and add their BYOC offerings.
by LeFantome | 2025-12-16 21:55:46+00:00
Some in the Free Software community do not believe that making it harder to collaborate will reduce the amount of software created. For them, you are going to get the software and the choice is just “free” or not. And they imagine that permissively license code bases get “taken” and so copyleft licenses result in more code for “the community”.

I happen to believe that barriers to collaboration results in less software for everybody. I look at Clang and GCC and come away thinking that Clang is the better model because it results in more innovation and more software that I can enjoy. Others wonder why I am so naive and say that collaborating on Clang is only for corporate shills and apologists.

You can have whatever opinion you want. I do not care about the politics. I just want more Open Source software. I mean, so do the others guys I imagine but they don’t always seem to fact check their theories. We disagree about which model results in more software I can use.
by westoncb | 2025-12-16 21:55:49+00:00
It sounds more like you just made an overly simplistic interpretation of their statement, "everything works like I think it should," since it's clear from their post that they recognize the difference between some basic level of "working" and a well-engineered system.

Hopefully you aren't discouraged by this, observationist, pretty clear hansmayer is just taking potshots. Your first paragraph could very well have been written by a professional SWE who understood what level of robustness was required given the constraints of the specific scenario in which the software was being developed.
by Symmetry | 2025-12-16 21:56:02+00:00
The venerable master Qc Na was walking with his student, Anton. Hoping to prompt the master into a discussion, Anton said "Master, I have heard that objects are a very good thing - is this true?" Qc Na looked pityingly at his student and replied, "Foolish pupil - objects are merely a poor man's closures."

Chastised, Anton took his leave from his master and returned to his cell, intent on studying closures. He carefully read the entire "Lambda: The Ultimate..." series of papers and its cousins, and implemented a small Scheme interpreter with a closure-based object system. He learned much, and looked forward to informing his master of his progress.

On his next walk with Qc Na, Anton attempted to impress his master by saying Master, I have diligently studied the matter, and now understand that objects are truly a poor man's closures." Qc Na responded by hitting Anton with his stick, saying "When will you learn? Closures are a poor man's object."

At that moment, Anton became enlightened.
by bigstrat2003 | 2025-12-16 21:56:11+00:00
Sure, but later in the article it says that when PHP came out it solved the problem of not being able to do includes. Which again... server-side includes predate PHP. I think that this is just an error in the article any way you slice it. I assume it was just an oversight, as the author has been around long enough that he almost certainly knows about SSI.
by sltr | 2025-12-16 21:56:39+00:00
Thanks for your reply. I suggest looking at Airtable and _maybe_ Linear. They have API and automations. You could likely get AI to rewrite your scripts.

If those don't work, you may have a business case for building it.

I'm a founder and dev looking to for a good problem to solve. If the need could be proven (e.g. 10 people with decision power said they wanted it), I'd consider making it.
by Scoundreller | 2025-12-16 21:56:43+00:00
Don’t let the 15 degree+ differences in latitudes fool you, a lot of the Nordic population lives near the sea, so low altitude and plenty of sea current temperature moderation.

January temps in Oslo aren’t much different than Boston. Absolute record low temps are similar too.

Coldest temp ever in Oslo is -30C in the 1800s.

Coldest in Boston was -28C in 1934.

Still doesn’t explain the poor adoption in USA but helps explain why they still work so far up north. The nordics can be relatively balmy to Wisconsin or upstate New York.
by Wowfunhappy | 2025-12-16 21:56:46+00:00
> But the issue is browsers don't make money.

What?! Browsers might as well be money printers! Have you heard how much money Google pays Apple to be the default search engine in Safari?

The higher Firefox’s user numbers, the more money Mozilla can make from search engine deals. Conversely, if Mozilla keeps trying to push a bunch of other initiatives while Firefox languishes and bleeds users, Mozilla will make less money.

If you don’t like this form of revenue… well, I don’t know what to tell you, because this is how web browsers make money. And trying other stuff doesn’t seem to be working.
by pedrozieg | 2025-12-16 21:57:10+00:00
I buy the economics argument, but I’m not sure “mainstream formal verification” looks like everyone suddenly using Lean or Isabelle. The more likely path is that AI smuggles formal-ish checks into workflows people already accept: property checks in CI, model checking around critical state machines, “prove this invariant about this module” buttons in IDEs, etc. The tools can be backed by proof engines without most engineers ever seeing a proof script.

The hard part isn’t getting an LLM to grind out proofs, it’s getting organizations to invest in specs and models at all. Right now we barely write good invariants in comments. If AI makes it cheap to iteratively propose and refine specs (“here’s what I think this service guarantees; what did I miss?”) that’s the moment things tip: verification stops being an academic side-quest and becomes another refactoring tool you reach for when changing code, like tests or linters, instead of a separate capital-P “formal methods project”.
by throwaway150 | 2025-12-16 21:57:23+00:00
It is us, developers, who convinced our management to purchase GitHub Enterprise to be our forge. We didn't pay any heed to the values of software freedom. A closed source, proprietary software had good features. We saw that and convinced our management to purchase it. Never mind what cost it would impose in the future when the good software gets bad owners. Never mind that there were alternatives that were inferior but were community-developed, community-maintained and libre.

The writing is in the wall. First it was UX annoyances. Then it was GitHub Actions woes. Now it is paying money for running their software on your own hardware. It's only going to go downhill. Is it a good time now to learn from our mistakes and convince our teams and management to use community-maintained, libre alternatives? They may be inferior. They may lack features. But they're not going to pull user hostile tricks like this on you and me. And hey, if they are lacking features, maybe we should convince our management to let us contribute time to the community to add those features? It's a much better investment than sinking money into a software that will only grow more and more user hostile, isn't it?
by grep_name | 2025-12-16 21:58:13+00:00
- Working on a time tracker frontend to watson-cli that meets my specific needs

- Setting up importers in beancount for a retrospective on my last 3 years of spending and investment

- Getting ready to start a slow migration of some services from unraid to an argo/k8s cluster (starting with some services I don't use yet which are hard to keepup in clickops, immich,peertube, etc)

I'd like at some point to try to make an android app for personal use, but my strong preference for lean toolchains and non-ide-based development are hindering me there. It doesn't help that I'm using nixos, and the toolchain for developing even with gradle and kotlin is a nightmare. I'm not sure when I'll have the patience to approach that issue again
by asheldon | 2025-12-16 21:58:20+00:00
When exists? was removed, it was roughly an order of magnitude more popular in Ruby code on Github than exist?. I don't think you can argue from the position of improved readability when, given the choice, it was what the majority of people expected, wrote, and had to change. This change in Ruby is pretty difficult to defend. It didn't really do much but break people without giving them anything in return. It didn't improve maintainability of Ruby itself, it didn't make maintaining Ruby code easier, it didn't advance any secondary goals to improve Ruby.

10 years is not an especially long time period for a software project to be maintained. There's a reason the Linux project is so emphatic that it never breaks user space.
by class3shock | 2025-12-16 21:58:24+00:00
I talk later on that I think a small ev van would have been a better entry into the market.

That being said I do love pickups, my dream car is probably the Slate if it ever gets made. I won't argue about truck over van on the merits because I think the van wins. Trucks are just cooler in the minds of americans I guess.
by vel0city | 2025-12-16 21:58:54+00:00
But if we fully automate how to make and sell and deliver TVs and blenders and now I can get a 200" TV for $2 and a blender for $0.05 but now I don't have a job so I can't afford even a basic apartment what do we do with our society?

Like sure all the goods are stupid cheap but things that are actually naturally rivalrous and exclusive like real estate continue to hold value most random people are pretty fucked it seems.
by mnorris | 2025-12-16 21:58:55+00:00
I ran exiftool on an image I just generated:

$ exiftool chatgpt_image.png

...

Actions Software Agent Name : GPT-4o

Actions Digital Source Type : http://cv.iptc.org/newscodes/digitalsourcetype/trainedAlgori...

Name : jumbf manifest

Alg : sha256

Hash : (Binary data 32 bytes, use -b option to extract)

Pad : (Binary data 8 bytes, use -b option to extract)

Claim Generator Info Name : ChatGPT

...
by rsync | 2025-12-16 21:58:57+00:00
"Virtual private servers changed this. You could spin up a server in minutes, resize it on demand, and throw it away when you were done. DigitalOcean launched in 2011 ..."

The first VPS provider, circa fall of 2001, was "JohnCompanies" handing out FreeBSD jails advertised on metafilter (and later, kuro5hin).

These VPS customers needed backup. They wanted the backup to be in a different location. They preferred to use rsync.

Four years later I registered the domain "rsync.net"[1].

[1] I asked permission of rsync/samba authors.
Show HN: Vect – An Operating System for Autonomous Marketing Agents
by MMAFRAZ | 2025-12-16 21:59:01+00:00
I built Vect because I was tired of "Random Acts of Marketing" and juggling 15 disjointed tools (LLMs for text, separate image gens, spreadsheets for planning). I wanted a cohesive system—an OS—rather than just a wrapper.

Refusing to be another "text generator," we built Vect on three architectural pillars:

Strategy (The Brain): Agents that research/plan using live web search and user psychology simulations. Execution (The Hands): Native integration of high-fidelity models (Veo for video, Imagen for images) to do the actual work. Automation (The Workforce): A "State-Aware" agent system. Through a persistent "Brand Profile," all agents share memory of your tone, audience, and product—eliminating the need to re-prompt context. The goal is to move from "Idea" to "Executed Campaign" in minutes by having agents do the heavy lifting in the background.

We wrote a full guide on the architecture and credit economy here: https://blog.vect.pro/vect-ai-bible-guide

Would love feedback on the agent orchestration approach!
by progbits | 2025-12-16 21:59:27+00:00
So they are finally doing this. Our github account rep mentioned this back in February, but then they kept postponing and heard nothing so I was hoping they realized how stupid this idea was and abandoned it.

My org sadly has a lot of github actions workflows, even after this it's not expensive enough to justify migrating away, but with all their downtime and bugs they are really pushing us closer and closer.
by j45 | 2025-12-16 21:59:52+00:00
Concussions seem to be pretty physiological - first they're a brain bleed, and blood doesn't seem to pump the same as it did before the concussion... resulting in different symptoms.

That might be what you're referring to as functional?

Metabolically, or otherwise, if the brain can't operate, other things in the body such as metabolism would be impacted for sure when it can't oversee and run as it normally can?

While I'm not sure if a concussion directly is visible or not (some have sizeable enough brain bleeds that can be visible), concussions to the extent that they are a change in blood circulation changes and issues, can be visualized on fMRI, etc, where it's not regular, those areas suffer in a brain.

Things luckily have progressed and quite exciting.

Out of convenience, I'll share one I know about (no affiliation) that lay out their therapies and the science behind it as well.

Effectively (I hope I'm getting this accurately) it seems the blood vessels in the brain also have signalling from the blood and oxygen that gets affected which affects things downstream from there.

These guys do an fMRI baseline, have you jump on a bike, fMRI again, see what's not getting blood, and then give you exercises and activites for those regions of the brain. It's pretty interesting.

https://www.cognitivefxusa.com/treatment

Some reported patient outcomes: https://www.cognitivefxusa.com/our-patients

Blog links to research: https://www.cognitivefxusa.com/blog

Independently of this I've heard QEEGs can do a similar thing of seeing where brain activity is/isn't baseline.
by wirrbel | 2025-12-16 22:00:08+00:00
i work for a for-profit owned by a non-profit. This is a weird take. You can shape a product, sure you need to bring in a profit, but there are options of working with your owner (the non-profit) that you just don't have in a publicly traded company.

I am sure people would queue up for the job, fully aware of what it entails.
by ekjhgkejhgk | 2025-12-16 22:00:22+00:00
> Lawmakers in the United Kingdom are proposing amendments to the Children’s Wellbeing and Schools Bill that would require nearly all smartphones and tablets to include built-in, unremovable surveillance software.

> The proposal appears under a section titled “Action to promote the well-being of children by combating child sexual abuse material (CSAM).”

So they only believe that surveillance on smartphones and tables, and surveillance on desktops isn't necessary?
by afarah1 | 2025-12-16 22:00:48+00:00
Of course they have a choice. Just don't do it. All you said are predictions of what may or may not happen in the future. The opposite could be true - the audience at large may get sick of AI tools being pushed on them and prefer the browser that doesn't. No one knows. But even if you are right, supporting an hypothetical API that extensions and websites may or may not use and pushing opt-out AI tooling in the browser itself are very different things.
by themafia | 2025-12-16 22:01:09+00:00
> The defining experience of our age seems to be hunger. > We're hungry for more, but we have more than we need.

You're describing consumer manipulation not an actual attribute of population.

> And so the infrastructure for thick desires has been gradually dismantled.

You're describing the consequences of inflation and manipulated market outcomes not actual desires of participants.

> The thick life doesn't scale.

This is almost entirely why we invented cities and society and put up with their consequences in our lives.

> So: bake bread.

So: stop making me pay taxes.

Maybe it's just me. I get easily irritated when I detect casual misanthropy dressed up as a "think piece."
by array_key_first | 2025-12-16 22:01:48+00:00
Probably was, but that's just stupid business decisions.

Your pricing model should reflect your real-world costs. If it doesn't, then update your pricing model.

If consumers can't do the new pricing model, then your real-world costs are probably out of wack. Which they would be in this case - there's no reason a vaccum should require expensive backend services.
by modeless | 2025-12-16 22:01:58+00:00
That's the full error. It shows up in a dialog box when I press the install button. I'm on macOS, connected with the Anysphere Remote SSH extension to a Linux machine.

If I choose "install previous version" I am able to install the pre-release version from 12 hours ago without issue. Then on the extension page I get a button labeled "Switch to Release Version" and when I press it I get an error that says "Can't install release version of 'ty' extension because it has no release version." Filed a GitHub issue with these details.

In the meantime, the previous version appears to be working well! I like that it worked without any configuration. The Pyrefly extension needed a config tweak to work.
by dancrystalbeach | 2025-12-16 22:02:56+00:00
It's a fast-paced and ever-changing world we live in; nothing we can do about it. I grew up in the middle of the prairie, when the internet became mainstream, the age of Doom, Myst, MSN Messenger, Yahoo Pool, and that irreplaceable Goldeneye, let's be honest, World of Warcraft on a PC was game-changing. I suppose you could chalk up half my feelings as nostalgia and old-person hum-drum, I won't deny it.
by ThinkBeat | 2025-12-16 22:03:14+00:00
It seems like an effort to hire newly educated people for a two year program, to work on various efforts in the federal government as something close to on the job training.

Once you are done you can pair up with one of the private partners you had contacted with during your program. (If they want you).

This does not appear to be an effort to hire people to the federal government, but to get cheap labour from new grads who hope to work on something cool.

(But yes they will have to hire the framework people)
by zimpenfish | 2025-12-16 22:03:15+00:00
> First thing I thought was "Oh man I want to put it in the lake near me and see if I can't get it detecting fish or something!"

Same. Although my first effort with my hydrophone (in my parents pond) was stymied because they live on a main road and all I picked up was car vibrations.

Maybe that's your solution - get a fish tank/pond and hydrophone!
by chasil | 2025-12-16 22:03:30+00:00
When I need speed, I drop down to FTP/rcp or some other cleartext protocol.

Moving a terabyte database in an upgrade, I have connected three ports direct (no switch), then used xargs to keep all three connections busy with transferring the 2gb data files. I can get the transfer done in under an hour this way.

I don't currently have a performance need for an encrypted transfer, but one may arise.
by echelon | 2025-12-16 22:03:38+00:00
I really love everything you're doing!

Personal request: could you also advocate for "image previz rendering", which I feel is an extremely compelling use case for these companies to develop. Basically any 2d/3d compositor that allows you to visually block out a scene, then rely on the model to precisely position the set, set pieces, and character poses.

If we got this task onto benchmarks, the companies would absolutely start training their models to perform well at it.

Here are some examples:

gpt-image-1 absolutely excels at this, though you don't have much control over the style and aesthetic:

https://imgur.com/gallery/previz-to-image-gpt-image-1-x8t1ij...

Nano Banana (Pro) fails at this task:

https://imgur.com/a/previz-to-image-nano-banana-pro-Q2B8psd

Flux Kontext, Qwen, etc. have mixed results.

I'm going to re-run these under gpt-image-1.5 and report back.

Edit:

gpt-image-1.5 :

https://imgur.com/a/previz-to-image-gpt-image-1-5-3fq042U

And just as I finish this, Imgur deletes my original gpt-image-1 post.

Old link (broken): https://imgur.com/a/previz-to-image-gpt-image-1-Jq5M2Mh

Hopefully imgur doesn't break these. I'll have to start blogging and keep these somewhere I control.
by mattkrause | 2025-12-16 22:03:51+00:00
"generally valid" is a bit of a loaded phrase.

They are indeed coupled, but the coupling is complicated and may be situationally dependent.

Honestly, it's hard to imagine many aggregate measurements that aren't. For example, suppose you learn that the average worker's pay increased. Is it because a) the economy is booming or b) the economy crashed and lower-paid workers have all been laid off (and are no longer counted).
by mrguyorama | 2025-12-16 22:04:04+00:00
If you think there aren't long waits for non-emergency treatment in the US, you are lucky or a moron.

I needed a sleep study. An inpatient sleep study is booked 3 years out here. Good insurance.

Seeing that sleep study doctor in the first place just to get sent a $150 gadget that listens to me sleep? I waited two months. The follow up appointment? 3 months.

Do you know why non-emergency care waits that long? Efficiency. Turns out, hospitals want to not spend extra money on doctors they don't need whether they get paid by the government or this weird industry called "insurance" we have developed.

Go head, tell me about how you can get any treatment or any scan in a week without fail in our wonderful overpriced system.