MurphyA/hacker-news huggingface dataset:
by krapp | 2025-07-31 11:10:43+00:00
Hyperlinks alone don't work for discovery as a general problem, and on a smaller scale they just push the problem up a level because you still need to discover the hyperlink. The web is just too vast and complex and they don't contain necessary semantic information. This is why the "web portal" failed and gave way to search engines, which were objectively better for the task.

You need another level of abstraction over the web to make discovery work, as you do with any application to make data useful. It's little different than making queries in a database.
by aGHz | 2025-07-31 11:11:20+00:00
The complement of a set consists of everything that is not in the set. Having your complement commoditized is a good thing, it refers to everything your users need that is not part of your value proposition. If it's commoditized, your users have easier access to it hence use more of it, which drives up their demand for the things that _are_ part of your value proposition.
by uyzstvqs | 2025-07-31 11:13:27+00:00
Definitely. I remember the era of the living room desktop PC, and that was a pretty easy and effective solution. But the primary benefit of parents giving smartphones to their kids these days is the ability to stay in contact while away from each other.

For teenagers, yeah I agree that message content and such should not be shared with the parent. The level of detail in the timeline should be configurable at the discretion of the parent. At the same time, it's also probably the most important period to shield them from harmful online content.
by robenkleene | 2025-07-31 11:13:55+00:00
Design is a unique creative field when compared to most others, because with design you're not actually creating the final asset, it's more like you're creating a picture of the final asset that someone else needs to create.

E.g., take Blender, Adobe Premiere, Ableton Live, Photoshop, Illustrator, in all of those cases, what you export is the actual real asset (it's the movie, the drawing, the song, etc...).

It's not like that with design and it ends up pushing design apps away from native apps and towards web apps, because at some point someone, usually an engineer has to get in there and figure out all the details of how this actually needs to get built. So if the app only runs on a Mac that's annoying. But that's not an issue with say, Final Cut Pro, where the person editing the movie can just export the movie themselves, they don't need to involve someone that's maybe using a platform that Final Cut Pro doesn't run on.
by potato3732842 | 2025-07-31 11:15:35+00:00
>What they're doing is having someone else manage their stocks, but by some strange coincidence their manager makes amazingly successful trades.

It speaks volumes about the relationship between the government and the people that they nailed Martha for (a bullshit follow on charge stemming from an investigation into) a small time variant of basically the same thing.

Like how if the police shoot your dog it's just property but you shoot one of theirs and well you might as well shoot the officer too because it's another count of the same crime.

Goddamn double standards everywhere. What ever happened to equality under the law?
by WASDAai | 2025-07-31 11:15:50+00:00
Short, math‑heavy write‑up (PDF, 11 pp.) that re‑derives the classical initial‑algebra construction for ω‑continuous endofunctors and then isolates a “Node Deletion Theorem”: remove a single object from the building chain and the theorem tells you exactly which arrows vanish in the resulting colimit. In practical terms it gives a provably‑safe recipe for cutting nodes out of abstract‑syntax trees, graphs or other inductive data without reconstructing the whole structure—think incremental compilers, program transformers, or graph‑rewrite engines. The note also sketches a joint‑fixed‑point extension (Bekić‑style) and invites feedback, counter‑examples and real‑world applications. Comments and pointers to prior art welcome!
by CompoundEyes | 2025-07-31 11:16:41+00:00
I’ve been working with Claude Code subagents for the first time this week and I have one that purposefully goes through code analyzing it for human maintainability, over-architecting, too many clever one liner tricks, meaningful variable names, ease of debugging, cognitive load, class sizes and so on. It had some interesting analysis about a few of the classes being heavy in requiring domain knowledge and suggested documentation / onboarding for that particular area. I’m interested to see where this goes. The code will be in production this aspect is important to me. Gold plating is in reach with LLMs why not?
by t-3 | 2025-07-31 11:16:59+00:00
I support the idea, but I don't think it will make much of a difference because there are bound to be too many loopholes to be effective. I think stock market reform would be more effective - ban calls and puts and other forms of speculation. Speculation invites manipulation and incentivizes unethical actions, especially when paired with power and information. The best, but least realistically possible, thing would be to fix the problems with regulatory capture in the SEC and other oversight and enforcement agencies that are supposed to be punishing politicians.
by diggan | 2025-07-31 11:17:14+00:00
> [1] https://github.com/dipampaul17/AgentGuard/commit/d49b361d7f3...

It's kind of crazy that people use these multi-billion parameter machine learning models to do search/replace of words in text files, rather than the search/replace in their code editor. I wonder what the efficiency difference is, must be 1000x or even 10000x difference?

Don't get me wrong, I use LLMs too, but mostly for things I wouldn't be able to do myself (like isolated math-heavy functions I can't bother to understand the internals of), not for trivial things like changing "test" to "step" across five files.

I love that the commit ends with

> Codebase is now enterprise-ready with professional language throughout

Like "enterprise-ready" is about error messages and using "Examples" instead of "Demo".
by defrost | 2025-07-31 11:17:18+00:00
It's a rack sized multitude of sensors on a boat on the ocean.

It's 'locked' to the tidal surface (meaning an internal tide model and a mean global ocean surface model are onboarded) and perturbed by wave action, the heaving pitch and yaw presaging a decent chunder (it's being trialed on an Australian Navy ship)

Likely single channel gravity signal and three axis inertial measures .. as outlined in this abstract:

Software Ruggedized Atom Interferometry for Strapdown Mobile Quantum Inertial Sensing

Here, we report world-first demonstrations of a dual quantum gravimeter operating in a relevant maritime environment, with an unattended uptime of >144 hours, ... In addition, we present a compact 3-axis quantum inertial sensor capable of high repetition rate operation in extremely harsh environments.

https://scholar.google.com/citations?view_op=view_citation&h...
by its-kostya | 2025-07-31 11:17:21+00:00
You just claimed reviewing slop is not pleasant (and I agree). So the LLM user has to review the slop, and then the team has to review the iterated-until-not-slop final commit(s). Where in this scenario does anyone _write_ code - the most enjoyable part of the job? Job satisfaction is going to plummet (mine has) and the next generation of software engs is going to be incompetent. Just look at the generation that grew up with ipads/phones. Many of them do not know what a "file" is in college (source, colleagues who are professors).
by ojosilva | 2025-07-31 11:17:35+00:00
I've been in the same quest for a while. Here's my list, not a recommendation or endorsement list, just a list of alternative clients I've considered, tried or am still evaluating:

- chatbox - https://github.com/chatboxai/chatbox - free and OSS, with a paid tier, supports MCP and local/remote, has a local KB, works well so far and looks promising.

- macai - https://github.com/Renset/macai simple client for remote APIs, does not support image pasting or MCP or anything really, very limited, crashes.

- typingmind.com - web, with a downloadable (if paid) version. Not OSS, but one-time payment, indie dev. One of the first alt chat clients I've ever tried, not using it anymore. Somewhat clunky gui, but ok. Supports MCP, haven't tried it it.

- Open WebUI - deployed for our team so that we could chat through many APIs. Works well for a multi-user web-deployment, but image generation hasn't been working. I don't like it as a personal client though, buggy sometimes but gets frequent fixes fortunately.

- jan.ai - it comes with popular models pre-populated listed, which makes it harder to plug into custom or local model servers. But it supports local model deployment within the app (like what ollama is announcing) which is good for people who don't want to deal with starting a server. I haven't played with it enough, but I personally prefer to deploy a local server (ie ollama, litellm...) and then just have the chat gui app give me a flexible endpoint configuration for adding custom models to it.

I'm also wary of evil actors deploying chat GUIs just to farm your API keys. You should be too. Use disposable api keys, watch usage, refresh with new keys once in a while after trying clients.
by johnisgood | 2025-07-31 11:17:38+00:00
That is quite sad if this is true. I would have never submitted a PR without knowing everything about the code I had generated. I manually looked up the RFC for test vectors, because the LLM sucked at it, and I generated the tests and made sure it is correct and in accordance to the RFC. The test included edge cases, too, and all the tests found in the RFC. I had to know a lot, and do my own research a lot, for the LLM to be useful, to be honest. I do not think LLMs are there (yet at least).
by criley2 | 2025-07-31 11:19:53+00:00
I'm not sure I agree that flat design removed the technical barrier to entry. First off, not everything is flat. Second, and I think this is really important, the ability to deliver a beautiful design system and the ability to use a design system to create a nice UX are two fundamentally different skills. The artist that delivers the most beautiful gradient (which apparently using the gradient setting in photoshop is a Big Scary Skill™ that flat design solved) often is not an expert at how best to deliver iOS UI.

And your resident mobile designer who knows everything about iOS and Android probably isn't the best at rolling brand new design systems with or without really pretty gradients.

Because these are two different skills, I don't think the style of the design system really impacts the barrier of entry. Most UI designers aren't fiddling with the finer details like that. They're composing already defined "atoms" into the "molecules" of components and pages.
by msephton | 2025-07-31 11:20:30+00:00
I remember the first viral blog posts about the drawing tools made for Figma. It was amazing to see so much love and attention to detail with the basic tools done so right. It reminded me more of FreeHand or Canvas or Xara than Adobe, which was a great thing. But those diamonds are now lost in the rough of a bad user interface and an app that has become progressively slower over the years. And we're still missing basic tools that the classic apps I mentioned had 35 years ago.
by rayiner | 2025-07-31 11:21:12+00:00
A categorical ban is way better than past efforts to subject Congress to insider trading laws. That gives way to much power to the executive branch to go after members of the legislative branch for political reasons. We should also raise congressional salaries to $1 million a year. Voters don’t like the idea, but if you ban stock trading high quality candidates will just become lawyers and lobbyists instead.
by aggamo | 2025-07-31 11:21:18+00:00
The objective should not be banning. Not even mentioning, needing to input your identity as basis for your personal profile.

The problem is not the free-sharing, there is an enormous potential for social media platforms but, that comes from what it is allowed to develop in the platform, i.e. the predatory design and content.

We should restrict these predatory techniques and type of features to be developed as well as, promote good use among children. I don't mean, kids you should only look at educational content as entertainment is as important to the development as the learning.
by anthk | 2025-07-31 11:21:54+00:00
Irix DE it's just a tweaked MWM and Motif tools. Nothing you couldn't get with EMWM, XMToolBox for the menu and some additions.

https://fastestcode.org/emwm.html

No vector icons for XFile, but at least you can set SGI-like ones once you extract the TGZ in the correct place.

And some tools like the Fluxbox-Blackbox like slit from this guy:

https://luke8086.dev/netbsd-on-thinkpad-380z.html https://github.com/luke8086/pmdock
by Waterluvian | 2025-07-31 11:21:56+00:00
Could one possibly use Lean to make up their own mathematical model that is wrong but mostly holds up for a while? Kind of like a Sudoku where it’s all working and then you realize one thing doesn’t work so the rest has to be torn down.

I have young kids, and in exploring why boats float I suggested the four elements model. They tested it with bottles full of air and water and earth and it all kind of held up until they found a bowl that floats. Making a wrong model helped the learning process more than telling them the right model. I loved every minute of the science.
by y42 | 2025-07-31 11:22:10+00:00
What company is not incompetent in IT?

IT is not flawless. Because it's operated by people. I don't know any software company that offers bugfree software with a superb support and an innovative development roadmap.

Every company is, to a certain level, incompetent in IT. Because there is no perfect competency. The bigger the company, the more prominent this incompetency grows. Which misleads to a confirmation or selection biassed opinion, that this specific company is incompetent.

Take that small startup team that just developed a proof-of-concept, minor bugs as usual, small code-base, collecting 100 Mio. venture capital. Next year they grow to 10.000 employees and 100 Mio. customers. What also grows, inevitable, the code base and amount of bugs. At what state and why would you call them "incompetent in IT"?
by markus_zhang | 2025-07-31 11:22:48+00:00
Reaching 40+ and having a full set of family, I think there is one more subtle resources that people don’t talk about until it’s too late (for me it’s now) —— not your time, your energy, your attention, but your mental strength to use the above resources.

Right now, I’m not really out of time or energy or attention, but I just don’t feel the interest to pursuit any intellectual hobbies that I used to pursuit. Occasionally I went back to them but quickly dropped after maybe a day. I used to work on hobbies every day, but nowadays? Maybe once per month.

Anyway, my advice is to NOT get a kid or even married if you have some strong intellectual interests. Family and kids are going to replace them as a new life style. It is not a worse one, neither a better one, just a different one. But you might never ever in this life get to drill deep into what you loved because you are going to lose the love — but not entirely, so you still regret.
by diggan | 2025-07-31 11:22:50+00:00
Apparently serving HTML + other static content is more expensive than ever, probably because people go the most expensive routes for hosting their content. Then they complain about bots making their websites cost $100/month to host, when they could have thrown up Nginx/Caddy on a $10/month VPS and basically get the same thing, except they would need to learn server maintenance too, so obviously outside the question.
by mort96 | 2025-07-31 11:24:08+00:00
The obvious and charitable read of their post is that they use "memory" to mean main memory/RAM, "CPU cache" to mean CPU cache, and "memory is cheap and plentiful" to mean "memory has a low dollar cost and most systems have a whole lot of it".

Your read -- that they use "memory" to mean "anything which stores bytes, including caches", and that they use "memory is cheap" to mean "accessing RAM has a low latency" -- is uncharitable, contrived and even literally self-contradictory ("CPU cache is memory" + "memory is expensive to access while CPU cache is cheap to access" is a contradiction which can only be resolved through using different definitions of "memory" in those two sentences).
by thisislife2 | 2025-07-31 11:24:15+00:00
It's an indication of how much the political landscape of the middle-east has changed. Prior Arab leaders had a sense of pride and independence about their region, and even stood up to the superpowers when they interfered in their politics (as much they could). Arab leaders today are mostly American pawns. Future generation of Arabs will woe at the short-sightedness of their leaders in allowing the current Israeli-right to cull the Palestinians and occupy Gaza, and parts of Syria and Lebanon, to work on their "Greater Israel" project and expand their power in the region. Arab leaders should also be genuinely ashamed that they chose to be bystanders as Palestinians are being slaughtered, instead of working together to pressure Netanyahu's government to end the genocide in Gaza and make him face international justice as a war criminal for his crimes against humanity. Instead, they don't even have the political foresight to understand that they are being manipulated to protect Netanyahu's interest.
by nocommandline | 2025-07-31 11:24:36+00:00
> Would be even better if there was a installation template that checks if Ollama is installed and if not download it as sub installation first..... Also API to prompt user (ask for permission) to install specific model if haven't been installed.

That's actually what we've done for our own App [1]. It checks if Ollama and other dependencies are installed. No model is bundled with it. We prompt user to install a model (you pick a model, click a button and we download the model; similar if you wish to remove a model). The aim is to make it quite simple for non-technical folks to use.

1) https://ai.nocommandline.com/
by danaris | 2025-07-31 11:25:25+00:00
I would even go a step further, and say that bureaucracy, in and of itself, is not a bad thing. It is a natural and inevitable consequence of a large organization: you need more measures in place to keep track of things when there are too many for people to keep track of in their heads.

The problem arises when the bureaucracy becomes, at least for portions of the organization, the end in itself rather than a means to an end (the end being something like better service, efficiency, and accountability). That's when it starts to contribute to frustrations and bad experiences (and, if allowed to continue in this vein, enshittification).
by seanwilson | 2025-07-31 11:26:16+00:00
> As for Figma, being able to export SVG is lock in really a concern here? Many tools support .svg. So to me lock-in ain't even a concern for a tool like figma.

You'd lose things like shared components within and between files/libraries, interactive prototypes, shared design-tokens/variables, and responsive layout features, which is huge if your team are all-in with UI design system stuff. If you're mostly doing mockups, coding them, then copy/pasting old mockups to create new ones without using an extensive component system, SVG export is more bearable.

For UI work, it's much harder to be productive in a regular SVG editor like Inkscape though compared to something like Penpot.
by ygritte | 2025-07-31 11:27:08+00:00
You could never have the same amount of trust in LLM-generated code as in a human developer, even if you wrote a large amount of tests for it. There will always be one more thing that you didn't think to test. But the many reports of massive security holes in AI coding tools and their products show that nobody even bothers with testing. Neither the vendors nor the users.
by boomlinde | 2025-07-31 11:27:40+00:00
> Individual data types have their own alignment (e.g., `bool`/`char` may be 1, `short` may be 2, `int` may be 4, `long` may be 8, etc.), and the alignment of a compound type (like a struct) defaults to the maximum alignment of its constituent types.

I will add that this is implementation defined. IIRC the only restriction the standard imposes on the alignment of a struct is that a pointer to it is also a pointer to its first member when converted, meaning its alignment must practically be a multiple of that of its first field.
Free evals API for AI startups (ship 10x faster with evals you can trust)
by sfox100 | 2025-07-31 11:28:25+00:00
Hey HN,

We built Composo because AI apps fail unpredictably and teams have no idea if their changes helped.

LLM-as-judge doesn't work - it gives random scores, doesn't work well for agents, and doesn't tell you what to fix.

We've built purpose-built evaluation models that give you: - Deterministic scores (same input = same score, always) - Instant identification of where prompts, retrievals, agents & tool calls fail - Exact failure analysis ("tool calls are looping due to poorly specified schema")

We're 92% accurate vs 72% for SOTA LLM-as-judge.

Giving 10 startups free access: - 10k eval credits - Just launched our evals API for agents & tool calling - 5 min setup

Already helping teams at Palantir, Accenture, and Tesla ship reliable AI.

Apply: composo.short.gy/startups

Happy to answer questions about evaluation, reward models, or why LLMs are bad at judging themselves. startups@composo.ai
by t_mann | 2025-07-31 11:28:45+00:00
Careful, such an approach could easily end up giving an aura of logical objectivity to arbitrarily radical and nonsensical ideas. The political views of one of the fathers of modern logic may serve as a cautionary tale [0].

[0] https://en.m.wikipedia.org/wiki/Gottlob_Frege#Political_view...
by diggan | 2025-07-31 11:29:30+00:00
Why is it one or the other? Why not both? Maybe this ban can have a small dent, and some other laws have other dents too, when added together makes at least some difference.

Kind of similar to how Spain is fighting vacation rentals. Yes, each individual new law and change won't immediately fix the problem, but each enacted change makes a small difference and currently we seem to be moving in a really great direction to eventually have at least that particular problem solved.
by btreecat | 2025-07-31 11:29:46+00:00
Congratulations on the next release.

I really like using ollama as a backend to OpenWebUI.

I don't have any windows machines and I don't work primarily on macos, but I understand that's where all the paying developers are, in theory.

Did y'all consider a partnership with one of the existing UI and bundle that, similar to duckdb approach?