MurphyA/hacker-news huggingface dataset:
by kurthr | 2025-07-10 20:54:44+00:00
That's about the right size for a potluck. Set a rough guide for the main and have people post what they're bringing. If they're good friends they'll put their dishes in the washer/sink and some will help clean before they leave. If they aren't good guests (bring something + fun + clean up) they don't get invited back. Have it once a month on the same day. Plan to rotate it and talk about it at the party.

Of course people have all sorts of different ideas of what a party should be, what to bring, and what to do while you're there, but doing it all yourself is really hard. If you're getting it catered with cleaning staff, it's very different than having mostly the same close friends, month after month year after year.
by heavyset_go | 2025-07-10 20:54:44+00:00
This will be a lot of fun. I regularly get clocked as being a teenager, despite not being one for a long time. I've been kicked out of bars, get carded buying cough medicine, etc. If I'm lucky, the only thing that gets me out of those situations is my government ID with my birthday on it.

Something tells me people who don't look exactly their age are going to get caught up in these automated systems.
by aliljet | 2025-07-10 20:54:51+00:00
[edit to focus on pricing, leaving praise of Simon's post out despite being deserved]

Simon claims, 'Grok 4 is competitively priced. It's $3/million for input tokens and $15/million for output tokens - the same price as Claude Sonnet 4.' This ignores the real price which skyrockets with thinking tokens.

This is a classic weird tesla-style pricing tactic at work. The price is not what it seems. The tokens it's burning to think are causing the cost of this model to be extremely high. Check this out: https://artificialanalysis.ai/models/grok-4/providers

Perhaps Grok 4 is the second most expensive and the most powerful model in the market right now...
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
by rgthelen | 2025-07-10 20:55:27+00:00
I got tired of spending hours setting up local AI (Python environments, CUDA drivers, model downloads, vector DBs), so I'm building a tool that packages everything into a single executable.

The current cloud AI model makes us digital serfs, paying rent to use tools we don't own, feeding data to systems we don't control. The farm model makes us owners—of our models, our data, our future. But ownership requires responsibility. You must tend your farm.

The idea: Think Docker but for AI projects / deployments. One binary contains:

- Model weights (quantized GGUF).

- Vector database (embedded ChromaDB)

- Agent runtime (LangChain, etc)

- Web UI

- Platform-specific optimizations

What's actually working now:

- Full CLI structure

- Plugin architecture for platforms/databases/communication

- Mac platform detection with Metal support

- Demo web UI showing the vision

- Project scaffolding and configuration

What's still placeholder:

- Actual model compilation (shows "llamas in the pasture" message)

- Real vector DB embedding

Target use cases:

-Deploy to air-gapped systems

-Edge devices (Raspberry Pi, Jetson)

-Non-technical users (literally copy one file)

- Avoid cloud dependencies

Technical approach:

TypeScript/Node.js for CLI (great ecosystem)

Plugin system for extensibility

Platform-specific compilation (Metal on Mac, CUDA on Linux)

Static linking everything possible

Questions for HN:

Is the single-binary approach worth the tradeoffs? (5-15GB files, compile time)

What's your current local AI deployment pain? Would this help?

Is the farming metaphor too much? (plant, harvest, bale, till, etc.)

What features would make this actually useful for you?

GitHub: https://github.com/llamafarm/llamafarm-cli You can try the CLI now - all commands work but show friendly placeholder messages.

The plugin system is real - easy to contribute platform support.

Really looking for gut reactions - is this solving a real problem or am I over-engineering?
by sorentwo | 2025-07-10 20:55:58+00:00
Postgres LISTEN/NOTIFY was a consistent pain point for Oban (background job processing framework for Elixir) for a while. The payload size limitations and connection pooler issues alone would cause subtle breakage.

It was particularly ironic because Elixir has a fantastic distribution and pubsub story thanks to distributed Erlang. That’s much more commonly used in apps now compared to 5 or so years ago when 40-50% of apps didn’t weren’t clustered. Thanks to the rise of platforms like Fly that made it easier, and the decline of Heroku that made it nearly impossible.
by vel0city | 2025-07-10 20:56:25+00:00
This is why I hate the trend towards these massive high schools that's been happening for a few decades.

I went to a small school. I was able to participate in a ton of different clubs. Varsity football players had big roles in the spring musicals. If you wanted to be a part of something and were even halfway decent one could have some chance of actually being a part of it. But when it's one varsity team of 50ish players for a school of 7,000 the odds of ever actually playing are slim to none.
by hn_throwaway_99 | 2025-07-10 20:57:30+00:00
I honestly am having trouble believing folks think that digital socialization is anywhere near an acceptable substitute (vs. an adjunct) for in-person socialization. And tons of research supports this. Can't remember the woman who talks about AI meaning "Artificial Intimacy", where you have 1500 "friends" but nobody to feed your cat when you go on vacation.

Here is Scott Galloway talking about the significance of asking someone out in-person vs. online dating, https://youtube.com/shorts/5sq4P5RCIrg
by vineyardmike | 2025-07-10 20:57:30+00:00
I wasn’t a fan of the interface for Claude Code and Gemini CLI, and I much prefer the IDE-integrated Cursor or Copilot interfaces. That said, I agree that I’d gladly pay a ton extra for increased quota on my tools of choice because of increased productivity. But I agree, normal chat interfaces are not the future of coding with an LLM.

I also agree that the RL environment including custom and intentional tool use will be super important going forward. The next best LLM (for coding) will be from the company with the best usage logs to train against. Training against tool use will be the next frontier for the year. That’s surely why GeminiCLI now exists, and why OpenAI bought windsurf and built out Codex.
by saghm | 2025-07-10 20:57:45+00:00
Using `try_borrow`/try_borrow_mut` should avoid panics, but yes, the overhead is why it's the exception rather than the rule, and it has to be done manually with these types. I'm not making a value judgment on the utility of working with that model, only pointing out in response to the parent comment that one of the things they mention is somewhat possible today, at the cost of having to update code. Even if it were possible to do it seamless as I'm assuming they're talking about, I don't really think it would be possible to do without incurring _any_ runtime overhead, but I think that's kind of their point; it might be nice to be able to switch between models when doing different types of development.
by jcelerier | 2025-07-10 20:57:47+00:00
Well, Millumin does not run on Linux so I cannot really use it for starters aha.

It's very good for video mapping but for instance wouldn't allow you to do any kind of remotely advanced audio effects such as loading a VST to apply to your sound or play MIDI instruments. From the docs it only supports Mono, stereo, 5.1 or 7.1. ; in contrast ossia has been used to drive multiple many-channel spatialized sound artworks. You can trivially use the library of Faust spatialisation tools for instance to do ambisonics, VBAP etc. with either graphical utilities or through generative means with some simple scripting.

I'm not sure Millumin's timeline allows to do something like this either which has multiple kinds of interactions deisgned in a visual language, or state-machine-like behaviours: https://ossia.io/assets/feature-interaction.gif
Show HN: I built a tool that automates content for busy founders
by jsathianathen | 2025-07-10 20:57:58+00:00
Hey HN, I’m Johann - founder of Jars Global, where we build and launch a lot of products.

We built Outbrand to have daily content for all products, on auto-pilot.

You can setup once by inputting your brand details and goals. Then you get a 30 day content schedule with graphics. You can integrate with social platforms so it runs on auto-pilot.

Setup once, then get daily content easily.

PS. Please roast it! Really want to improve it so it's extremely high quality content that founders can use for their products.
by billfor | 2025-07-10 20:59:02+00:00
At least with the older devices, all the app does is a upnp broadcast to find the wemos, and then issue SOAP requests to turn them on/off. The app will work without an internet connection - you can verify this by disabling your internet and checking. If you need automation or firmware updates, or possibly with some of their newer devices, then you need the internet connection. So just keep the app around (back it up or download from f-droid if on android).
by BLKNSLVR | 2025-07-10 20:59:04+00:00
Relying on finding diverse sources feels like the answer it will propose is the most common one, regardless of accuracy or correctness or any other test of integrity.

But I think that's already true of any LLM.

If Twitter's data repository is the secret sauce that differentiates Grok from other bleeding edge LLMs, I'm not sure that's a selling point, given the last two recent controversies.

(unfounded remark: is it coincidence that the last two controversies are alongside Elon's increased distance from 'the rails'?)
by dctoedt | 2025-07-10 20:59:12+00:00
Parts of this are excellent. I teach a contract-drafting course for 2L and 3L law students. Some aren't good writers. When I mark up their work, I can provide them with links to specific points in the RH guide.

Some parts aren't so great. Example:

> EXAMPLE[:] Remote users can connect to network resources simply by authenticating to their local machine. IMPROVEMENT[:] Remote users can connect to network resources by authenticating to their local machine.

It's not at all obvious that you improve the sentence by omitting "simply." You lose some compressed information: in this case, an implication that alternatives to local authentication might be more complex. This implication might be significant, to some readers and certainly to the writer.
by lcnPylGDnU4H9OF | 2025-07-10 20:59:36+00:00
That is confusing since closed-weight models (the models, not the applications using the models) also can't track outputs. It would be weird if the rules applied to the model and not the application because then it literally only applies to open-weight models since the closed-weight models are, by definition, never released to the public.

Trying to understand the rules but it doesn't seem to make a clear distinction between these things. I assume that they are intending the applications that use the models, not the models.
by hluska | 2025-07-10 21:00:11+00:00
We got here because adults cannot stop using the internet to victimize children. Education failed. Enforcement has largely failed. A loss of privacy is the next logical step until adults stop victimizing children. I use my nine year olds accounts fairly regularly and I’ve gotta tell ya mate, the number of dudes I meet who are pretending to be 9 and 10 year olds girls is pretty shocking. A loss of privacy stinks but at some point, society as a whole pays for the actions of very few. It’s the dark side of laws - they restrict freedom for everyone because a select few cannot be trusted with the tools we have at our disposal.
by leontrolski | 2025-07-10 21:00:49+00:00
I'd be interested as to how dumb-ol' polling would compare here (the FOR UPDATE SKIP LOCKED method https://leontrolski.github.io/postgres-as-queue.html). One day I will set up some benchmarks as this is the kind of thing people argue about a lot without much evidence either way.

Wasn't aware of this AccessExclusiveLock behaviour - a reminder (and shameless plug 2) of how Postgres locks interact: https://leontrolski.github.io/pglockpy.html
by heavyset_go | 2025-07-10 21:00:55+00:00
My alternative is not falling head first into a moral panic and destroying the last vestiges of free speech we have because people don't like the idea of other people's kids using the internet.

Even if I was sympathetic to that argument, "let's just let unaccountable companies scan and store your face and sensitive biometrics that they promise they won't lose" is possibly the laziest solution that can be dreamt up and screams ulterior motives to me.
by stockresearcher | 2025-07-10 21:01:14+00:00
> So we've been playing soccer, baseball, flag football, basketball, lacrosse, swimming, etc. the last few years

Swimming is great. USA Swimming has a well-developed system. Elite kids get sorted into the serious clubs where they swim with Olympic champions, etc. But the vast majority of the clubs are rec level and focus on getting lots of people swimming and having fun. Everyone gets a USA Swimming ID number and times are entered into the national system; they get tracked no matter what. Late developers can still be sucked into the elite system if they earn it. Your local park district swim club most likely is in a conference where they compete against other park districts in your county. The only problem is that there are so many kids and races that a meet probably lasts 5 hours.

Soccer is likely to get better. MLS and NWSL teams are developing their youth training systems like in Europe, with success as young kids going through these systems are playing professionally in North America and Europe. They are going to keep sucking the air out of the "elite travel soccer" scam and hopefully what is left are the fun clubs for the kids.

Baseball is likely to get worse. MLB took over the baseball minor leagues and reduced the number of teams. With fewer professional spots available, the "elite" clubs are more and more important to getting kids into them.

Basketball and football, same deal. Lacrosse? Universities couldn't care less about it anymore. It's a dead sport, many parents haven't figured it out yet.
by forgotmypw17 | 2025-07-10 21:01:25+00:00
For me, it is God and the Bible. I was not raised religious, and only slowly and gradually became first spiritual and then religious through watching others.

It has given me much peace and emotional stability, and many things I used to struggle with are now much more manageable for me.

Even in days of struggle, I experience this overwhelming feeling of support and peace, that someone loving and encouraging is with me, holding my hand.

It has also altered how I feel about my work. Where I used to feel unfulfilled and reluctant to get out of bed, I now get up early without an alarm, and grateful for the day.

I recently did a meta-study of the benefits of religious community and hope to publish it soon.

There are some things that I don't necessarily agree with, especially in the Old Testament, ones that can come across as unkind or unloving, and I just pass them over and focus on the good, and what helps me along.
by lapcat | 2025-07-10 21:01:29+00:00
> People change.

Yes, and also society changes people. I think that's the point, and you allude to it:

> I've probably withdrawn more from society specifically because I had the entertainment of being online, tons of knowledge to consume, a tool to build digital things, etc. I had none of that in most of the 90s

The younger generations are suprised that we used to party all the time, because they never had a chance to live under the same circumstances.
by isabelleilyia | 2025-07-10 21:01:41+00:00
I think the problem relates to the core value proposition of automating an intake department with voice AI. The best voice AI customer is in an industry in which there is a clear increase in value that comes with the ability to handle a larger mass of calls. This was not the case in the legal world, when one missed client might be a loss of millions (and many firms would live off of < 10 successful cases a year).

Therefore I think the verticals of customer service and lead pre-qualification make a lot more sense. Since you guys have the numbers, I am curious to learn more about the way you define constraints for the bot and how often calls in these verticals deviate from these constraints.

I'm also curious about your opinions/if you've seen any successful use cases where the bot has to be a bit more "creative" to either string together information given to it or make reasonable extrapolations beyond the information it has.
by jcelerier | 2025-07-10 21:01:54+00:00
heya! actually this has been on the back of my head for quite some time as this is sorely needed. My current plan involves leveraging the C++ JIT support in ossia to implement shader compilation from C++ operations as this is already something somewhat easy to do. If you want we can get in touch, I'd love to talk about it! jmcelerier at sat qc ca
by mtalantikite | 2025-07-10 21:02:09+00:00
I think a lot of families are also optimizing for university admissions. Strong athletes often have an easier time with admissions (assuming they're also good academically).

I remember having an interview with an engineering professor from Tufts when I was applying to schools, and one of the first things he asked me was what team sports I played. Being a typical nerdy kid I avoided athletics -- even though I was good at them -- and was surprised that he was so adamant about team sports. I didn't even take gym class after 9th grade because I figured out how to get an exemption, which, looking back at it, probably made my college applications weaker.

This was in 2001, and I can only imagine it's gotten worse.
by eadmund | 2025-07-10 21:02:11+00:00
> it shows a lack of respect for and understanding of the work graphic artists actually do

No more than wearing off-the-rack clothes shows a lack of respect for and understanding of the work tailors actually do.

No more than wearing factory-woven cloth shows a lack of respect for and understanding of the work weavers actually do.

No more than heating a can of soup shows a lack of respect for and understanding of the work chefs de cuisine actually do.

In my cases as well as yours, one certainly can choose to spend extra for the luxury of the best to meet the want, but it is also fine to spend less and meet the need. In my cases as well as yours, judging someone for the value he assigns to a luxury is gauche.
by thesz | 2025-07-10 21:02:17+00:00
> My personal theory is that getting a significant productivity boost from LLM assistance and AI tools has a much steeper learning curve than most people expect.

This is what I heard about strong type systems (especially Haskell's) about 20-15 years ago.

"History does not repeat, but it rhymes."

If we rhyme "strong types will change the world" with "agentic LLMs will change the world," what do we get?

My personal theory is that we will get the same: some people will get modest-to-substantial benefits there, but changes in the world will be small if noticeable at all.
by markwclancy | 2025-07-10 21:02:20+00:00
Absolute drivel. Comparing operational/transactional databases like MongoDB and Postgres to analytics / columnar datastores like Redshift and Snowflake is meaningless. You might as well as say "...the popularity of hammers is way up, with screwdrivers appearing to be in decline..". If this is the type of data analysis that AI is supporting, we're all in trouble.
by Miraste | 2025-07-10 21:03:53+00:00
>you need to keep your heads, hands, and body out of the way of it.

I've seen systems like this that use multiple projectors from different angles, calibrated for the space and the angle. They're very effective at preventing occlusion, and it takes fewer than you'd think (also see Valve's Lighthouse tech for motion tracking).

Unfortunately, doing that is expensive, big, and requires recalibrating whenever it's moved.
by gully00 | 2025-07-10 21:04:04+00:00
Maybe the UX of a Typeform is OK but the Typeform app to build forms is virtually unusable for anyone that actually needs forms. The most basic settings are hidden behind unrelated, unlabeled buttons. Because theres not enough white space already on the page obviously. The way they've architected pages and components, totally inflexible and leads to very unnatural flows in a lot of cases. To date I have never seen an integration UX worse than Typeform's. Using Airtable for example, a single alteration needed means resetting and reconfiguring the entire field mapping. You can have a borked integration config and have NO idea from within the app. Building with typeform takes easily 5x longer than any other form tool we've used. The call to action "Book a Free Strategy Call" is 25 characters. Typeform's native popup embed has an arbitrary 24 character limit on the button's text. "Book a Free Strategy Cal" is the exact kind of garbage I expect from a site that uses Typeform. Yes, there's (undocumented) workarounds.

With a number of team members we paid Typeform $100+ each month for this experience.

I found Tally and immediately got agreement to migrate every (~50) Typeforms to it. Canceled Typeform sub and haven't looked back.
by rshemet | 2025-07-10 21:04:06+00:00
Thanks for the feedback. You're right to point out that Google AI Edge is cross-platform and more flexible than our phrasing suggested.

The core distinction is in the ecosystem: Google AI Edge runs tflite models, whereas Cactus is built for GGUF. This is a critical difference for developers who want to use the latest open-source models.

One major outcome of this is model availability. New open source models are released in GGUF format almost immediately. Finding or reliably converting them to tflite is often a pain. With Cactus, you can run new GGUF models on the day they drop on Huggingface.

Quantization level also plays a role. GGUF has mature support for quantization far below 8-bit. This is effectively essential for mobile. Sub-8-bit support in TFLite is still highly experimental and not broadly applicable.

Last, Cactus excels at CPU inference. While tflite is great, its peak performance often relies on specific hardware accelerators (GPUs, DSPs). GGUF is designed for exceptional performance on standard CPUs, offering a more consistent baseline across the wide variety of devices that app developers have to support.
by rcooney | 2025-07-10 21:04:42+00:00
Nexamp | Hybrid | Boston | Full-time | https://www.nexamp.com

Do you want to be a part of the clean energy movement? Join Nexamp! We're a fast-paced, mission-based company focused on building a future of energy that is clean, simple, and accessible. We're looking for a Senior Software Developer (Backend or Full Stack) to help build tech solutions to accelerate our sustainable energy future. As a member of the team, you'll build and refine tools for both our customers and internal teams. You'll make an impact by writing quality code, steering projects from conception to completion, and helping refine processes. This is a hybrid role, based out of our Boston office reporting to a Tech Lead.

Tech stack: Python, Django, React, Postgres, Azure

- Backend: https://grnh.se/hf6om9wt2us - Full stack: https://grnh.se/tq4p36vi2us

If you're interested, put an application in on either of the above roles. Shoot us an email at careers@nexamp.com with any questions