MurphyA/hacker-news huggingface dataset:
by Someone | 2025-07-31 18:43:40+00:00
> Zig's standard library is structured so that you only compile what you need,

> so Zig has no problems adding richer functionality to its standard library.

That’s orthogonal to both

- whether to compile from source in every compilation unit or to compile once, and use (shared) libraries,

and to

- whether to provide the standard library as a single unit, as is typically done in C, where it is a (shared) library, or as multiple interdependent smaller units as in Zig, where the standard library contains multiple source files.

> HTTP, for example, can go into Zig's standard library,

The claim “you only compile what you need” also is incorrect. Zig’s source files (luckily) aren’t fine-grained enough to support that.

For example, https://github.com/ziglang/zig/blob/master/lib/std/http/Clie... contains stuff that not every user of that module will need, for example connection pools and a function to flush a buffer.

The compiler may not generate code for such unused definitions, but it has to parse them, if only to figure out where the next definition starts.
by michaelt | 2025-07-31 18:44:06+00:00
Even if this did happen, there's a trivial workaround available: Just go into your BIOS and switch 'Secure Boot' off.

Secure Boot is a fine thing if you're a huge corporation and want to harden laptops against untrustworthy employees, or you've got such a huge fleet of servers they go missing despite your physical security controls, or you're making a TiVo style product you want to harden against the device owners. But when the user is the device owner? Doesn't do much.
by x0x0 | 2025-07-31 18:44:24+00:00
So basically Kafka, to provide availability guarantees, requires multi-AZ and the inter-AZ replication gets expensive. And Ursa avoids that by using object storage and probably then just talking inter-AZ?

And while I like Kafka, nobody would claim it likes being scaled up and down dynamically, so probably built-in tolerance for that as well? We ran Kafka on-prem so that wasn't an issue for us, and given the nature of the service, didn't have a lot of usage variance.

This: https://www.youtube.com/watch?v=bb-_4r1N6eg was an interesting watch, btw.
Ask HN: Which coding AI Agents or tools are used in your organization?
by daemon_9009 | 2025-07-31 18:44:26+00:00
Hi, Despite using cursor, windsurf or github copilot which are dev tools, have your organization started using background coding AI Agents, where you give them a jira ticket and get a PR? Which tools are you using, and how is the overall experience and which stack have you tried them on?
by OkayPhysicist | 2025-07-31 18:44:43+00:00
Exactly. All I'm arguing is that when you see PE swooping in, it means something is urgently wrong with the industry. My guess (as I alluded to in my earlier post) is that for private practice medical adjacent stuff like dentists and vets the issue is that the newer generation of people going into the field don't have access to the capital necessary to actually start their own business. These are relatively capital-heavy businesses (medical equipment is $$$$).
by hinkley | 2025-07-31 18:44:53+00:00
This may be a place where writing for magazines for instance is a good thing.

Standup comics try out new material on tour, and then save up the bits that work for big gigs and specials. Creative writing isn't that different from joke writing. Write yourself a bunch of short stories, try things out, see what sticks, novelize the good ones. Spinning Silver by Naomi Novik was a short story. There are some famous books out there that were originally done as serials.

Do more, but find ways to shed the unsuccessful attempts, or otherwise give yourself permission to fail. If you're not failing occasionally you aren't reaching far enough.
by incomingpain | 2025-07-31 18:45:02+00:00
On livecodebench it's picking up 26%

phi4 is 23%

deepseek r1 qwen distilled 32b is 27%

llama 3.3 70b is 29% same with llama 4 scout

gpt 4o is 31%

gpt 41 is 45%

qwen3 32b reasoning 55%!! Expecting qwen3 coder 30b to be around here?

kimi k2 55%

claude 4 around 60%

qwen3 coder 480b 58%

nemotron 49b 74%!!

glm 4.5 358b 74%

exaone 4 32b reasoning 74%!!

deepseek r1 685b 75%

grok4, o4mini, gemini2.5pro, 80%
by neogodless | 2025-07-31 18:45:12+00:00
Building a halo product that attempts to compete in a luxury niche is very different from running your (whole) business like a luxury niche leader.

We see similar cases with the highest end Chevrolet Corvette. If you look only at statistics and performance numbers, they are arguably competitive, but cheaper. But GM intends to sell as many Corvettes as they can. They do not particularly restrict them in quantity or with a particularly inflated price that represents their role as a status signal or unobtainable luxury piece.
by bee_rider | 2025-07-31 18:45:14+00:00
> […] and I can't think of anything particularly innovative coming from Mozilla that isn't a browser. I don't consider Rust to be a side project, it is a programming language for writing a browser, that it is useful for projects other than a web browser is a happy side effect.

I’m sure Rust started out as something intended to help with their browser work. But it became a general purpose programming language pretty early, right? I think it is… working pretty hard to find a reason to not include Rust as a innovative, non-browser piece of tech.

Anyway, I don’t really think it detracts from your broader point to count Rust as a separate thing from the browser.
by phba | 2025-07-31 18:45:50+00:00
The business incentive is funneling new users into their walled garden. If they could, they would assign a MS account to every newborn. There are still loopholes to protect your children from Minecraft's new "features" (at least for Linux users, ask privately), but it's only a matter of time until they are closed to appease the gods of enshittification.
by derdi | 2025-07-31 18:46:04+00:00
> It would be like if I were helping you get to work in the morning, and I said, "Okay, you're current [sub]goal is that you're done brushing your teeth." No. That's not a goal. That's progress toward a goal.

Interesting. Let's say our overall goal is to get to work showered, wearing clean clothes, and having brushed our teeth. After we showered and put on clean clothes, wouldn't you say that the remaining goal is to brush our teeth and get to work? And if we then do brush our teeth, wouldn't you say that the remaining goal is to get to work? In this scenario, if anything can be called progress, it is what's in the past (the showering etc.), not what is still to be done.
by ath3nd | 2025-07-31 18:46:30+00:00
Yep, I not only realize it, but like Mr. T, I pity the fools who bought in this stock and are thinking of holding it.

Because, let's look at the actual facts:

Facebook is dead, like literally mostly dead people and bots

Whatsapp is getting enshittified by ads and who knows what other crap

Instagram is losing out to TikTok

FacebookAds is a money drain for companies and a totally garbage product

Whatever they were doing with VRs and the Metaverse is...crickets

Why are we even talking about an irrelevant company whose only contribution in the last 10 years was sway a couple of elections and enable a couple of local genocides? Sure, Zuck lying about "superintelligence" and overspending on developers/researchers 250M more than they are worth creates the illusion that there is something going on. But if you objectively look at the trash that is LLAMA and see the cadence of their releases, you'd realize they are in deep deep trouble and no amount of "talent" will save them.

It's funny to watch this unfold on the sidelines.
by wcfrobert | 2025-07-31 18:46:43+00:00
> he already wanted to buy it before he even stepped in. So not only is your job easier than the guy in the Honda dealership, it's also much better paid.

Luxury brands spend millions on marketing and brand awareness. In some sense, all the "sales work" have already been done before a person sets foot into a Bugatti dealership. Reputation takes decades to build but just a few missteps to destroy. Brand is way more fragile than people think. As soon as Bugatti stops making great cars, they'll fall into a place where they can't compete in the luxury market, nor the mass market Japanese car brands like Honda or Toyota.

In that sense, luxury fashion seems to be a easier market than watches or cars. You don't need an innovative engineering team. Just spend millions on marketing to uphold the common narrative you are a luxury brand. And that shirts with your logo on it costing 10x more than a similar product at say H&M, is not only justifiable, but sensible.
by billmalarky | 2025-07-31 18:47:19+00:00
Search tool calling is RAG. Maybe we should call it a "RAG Agent" to be more en vogue heh. But RAG is not just similarity search on embeddings in vector DBs. RAG is any type of a retrieval + context injection step prior to inference.

Heck, the RAG Agent could run cosign diff on your vector db in addition to grep, FTS queries, KB api calls, whatever, to do wide recall (candidate generation) then rerank (relevance prioritization) all the results.

You are probably correct that for most use cases search tool calling makes more practical sense than embeddings similarity search to power RAG.
by ComputerGuru | 2025-07-31 18:50:04+00:00
One thing is that congestion control choice is sort of cursed in that it assumes your box/side is being switched but the majority of the rest of the internet continues with legacy limitations (aside from DCTCP, which is designed for intra-datacenter usage), which is an essential part of the question given that resultant/emergent network behavior changes drastically depending on whether or not all sides are using the same algorithm. (Cubic is technically another sort-of-exception, at least since it became the default Linux CC algorithm, but even then you’re still dealing with all sorts of middleware with legacy and/or pathological stateful behavior you can’t control.)
by kev009 | 2025-07-31 18:50:31+00:00
"giant cable" -- this kind of thing does obviously happen, rural electrification is heavily subsidized by governments (see the rest of my comment..). But it is also not a realistic option in plenty of cases as such and therefore industrial companies like Cat and Cummins are happy to sell multi-million dollar generators. If your approach to the subject is to copy it into a chatbot it might explain why this discussion is ultimately specious, because a casual and even jocular approach to this is not really adequate to make any point.
by MangoCoffee | 2025-07-31 18:50:33+00:00
>Every time a system that allows for internet content to be blocked is created, it's extended, misused and abused shortly thereafter.

Does that included movie leak?

like this: https://www.forbes.com/sites/paultassi/2025/07/28/legal-acti...

I'm pretty sure the movie isn't intended to be put on the internet or be part of internet content.
by godelski | 2025-07-31 18:50:57+00:00
It's a good visual story to describe something we all frequently do. We often create our own anxiety.

It's easy to hear "let's slow down a little" as "don't move fast" but it's wrong to interpret that because "slow down" is relative. There is such a thing as "too fast". You want to hear "slow down" just as much as you want you great calls to speed up. When you hear both you should be riding that line of fast but not too fast. It's also good to make sure you have a clear direction. No use in getting nowhere faster.

I'll use another visual analogy. Let's say you and I have a race around the world. I take off running, you move to the drawing board. I laugh as I'm miles ahead, and you go to your workshop, which is in the other direction. The news picks up our little race, and laughs at you as I have such a tremendous lead. I'm half way done, but you come out of your workshop having build a jet. I only get a few more miles before you win the race. The news then laughs at my stupidity and your cleverness, as if it was so obvious all along.

Sometimes to move fast you need to slow down. It takes lots of planning and strategizing to move at extraordinary speeds.
by trynumber9 | 2025-07-31 18:50:58+00:00
I'm not saying it proves anything but Ferrari is one of the higher volume manufacturers within super cars This applies even compared to many of their competitors we think of as mass market car producers (such as Ford, Toyota, Honda) when they make cars that compete with Ferrari.

As you say that's almost entirely due to demand. But the focus should be on how does Ferrari consistently keep such a large portion of the high end car market? Because that's the key to their success. Many companies can make cars that they can sell out in small volumes at Ferrari prices. But they don't see it scaling, while Ferrari does.
by Arnavion | 2025-07-31 18:51:02+00:00
`fn partition[T: ...]` uses `[]` to define T. `s: Slice(T)` uses `(T)` to invoke the type constructor `Slice` with the type argument T. So you could say that's fine because these are different operations.

But then defining a type constructor itself still uses `()`, like `class UnsafeAllowDelete(T:! Concrete) { ... }`. It does seem somewhat inconsistent.
by arunabha | 2025-07-31 18:51:20+00:00
> Brazil is a dictatorship of the judiciary. Maybe it's not a "brutal" dictatorship but it is a dictatorship.

Do you have anything to back that claim up beyond your usual 'I read the Brazilian constitution'?

Yes, you may have read the constitution and you might even be very smart, however what you don't comprehend is that law is not code, nor is it everyday English in spite of laws being written in English. Interpreting the law requires training, experience and context. There is a reason why law is a separate field of study and there are licensing requirements.

If you're still convinced of your legal smarts, try volunteering at a legal aid clinic based on your reading of the constitution and the Brazilian criminal code. It will very quickly teach you just how little you actually know in this area.
by alt227 | 2025-07-31 18:51:35+00:00
You really accuse me of a strawman argument and then literally write this after?

> Terminally online types complain all day about how social media is terrible and needs to be regulated until the moment actual legislation is being passed then they complain about that instead.

'Terminally online types?', 'complain all day?'

You have broad assumptions, exaggerations, and stereotypes in that one sentence. It could be the dictionary definition of strawman.
by Kuinox | 2025-07-31 18:51:44+00:00
> we would not be mystified as to how the polynomial interpolates between the points.

We would not be surprised - we wouldnt know how the model resolve the problem. We wouldn't know if it is approximating, calculating the correct value, or memorising result. We would only know how it was built. We would be mystified in how it solved the problem.

> But that doesn't mean we don't know how it works. We invented it and produced it by training.

It is not because it was invented that we know how it works. The fallacy in your reasoning is thinking that Emergent Behavior or Properties can be trivialy explained, by knowing it's building block.
by theSuda | 2025-07-31 18:52:00+00:00
I am one of those newbies and I spent way too much of my morning going through all of these. :D

I love Ableton though. You can google any random thing about it and get an answer somewhere because it's so widely used. Dunno what OP has against it. It's not hard to come by Ableton Live Lite license for free. I think just buying their iphone app gives you access to Lite license.
by gh02t | 2025-07-31 18:52:18+00:00
You've always been able to fully self host their core network controller, and not just on Windows. Linux has always been the preferred platform to host it on. However, the other more specialized apps in their ecosystem like their NVR software, etc was not self hostable independent of their controller hardware.

Right now it looks like UniFi OS server doesn't do anything the prior self hosted stack does already. Presumably though they are planning to roll out some of the other parts that currently aren't in the fully self hosted stack.
by kazinator | 2025-07-31 18:53:34+00:00
The common thread is that all these tech giants concentrate on scaling their ability to deliver the product and generate revenue, making service for exceptional situations a lower priority, with solutions that do not scale.

While you are consuming product and paying, you are basically identical to everyone else doing that (except for your varying personal info). That can be scaled in straightforward ways.

If you have some problem that requires attention to your account, that doesn't scale well. Even if it could, it's not worth it to them; it's off the happy, revenue-generating path.
by eYrKEC2 | 2025-07-31 18:53:49+00:00
I didn't become a physician, because my teenage-self unpacked being a physician as telling fat people to eat better food and start exercising -- for 50 years. Turns out there are other specialties... Despite thinking the human body is fascinating, I'm largely happy I don't have to tell unhealthy people to do what they probably already know they should do and then give them a bandaid for their gaping lifestyle problems.
Show HN: Validationly – Validate Startup Ideas via Reddit, Twitter and LinkedIn
by kptbarbarossa | 2025-07-31 18:54:00+00:00
Hey HN

I’ve been building a small tool called *Validationly*. It's designed to help founders and indie hackers validate their startup ideas before writing a single line of code — by checking what the internet is already saying.

The concept is simple: You type in your idea (e.g. “AI meeting assistant”) and Validationly pulls related signals from *Reddit*, *Twitter*, and *LinkedIn*, then analyzes the volume and tone to generate a *“validation score.”* You also get a quick snapshot of trending discussions, pain points, and real user language around the idea.

What makes it useful: - No more guessing if your idea is “worth building” - Helps avoid the build trap before you spend weeks coding - Bonus: It even drafts a *tweet* and a *Reddit post* based on your idea — ready to share for feedback

I built this after running into the same loop: idea → excitement → build → launch → silence. So instead, I wanted a way to quickly test if anyone was already talking about a space — and if there’s real demand.

Live here: [https://validationly.com](https://validationly.com) (no login needed) Ideal for: indie makers, early-stage founders, solo builders

Still in early stages, looking for *feedback, brutal honesty, or ideas* on what you'd want next.

Thanks for checking it out! – Built by a no-code maker who prefers flow over friction
by thewebguyd | 2025-07-31 18:54:45+00:00
Screen (it's good, I have the 2.8k one), but it's not quite to the level of Apple's (although I definitely prefer the matte over the glossy). It's also not as bright, which does matter to me.

Otherwise, it's mostly nitpicks on my part that don't matter to everyone. The speakers don't remotely hold a candle to the macbook's, nor does the microphone. On mine specifically (5th Gen T14 w/ AMD), the keyboard isn't quite the same as the older thinkpads and I'd rank the Macbook's keyboard better. My last nitpick is battery life.

Not saying the ThinkPad is bad, I like it for what it is, but I still reach for the macbook more when I want to use it as a laptop and not docked into my monitors. It's runs cooler, quieter, better screen, better speakers.
by matheusmoreira | 2025-07-31 18:54:51+00:00
The brazilian constitution contains the following words:

> Any and all censorship of political and artistic nature is prohibited

Before the 2022 election, these judges went out of their way to censor pretty much everything Bolsonaro and his supporters said. They just decided everything was "fake news" and ordered it all taken down. Unconstitutional political censorship.

I watched them censor a documentary that had not even been released. A priori censorship, something not seen in these lands since the military dictatorship of the 20th century.

Making a mockery out of our nation's highest laws wasn't enough for them, they went on to brag about it in public. "We defeated Bolsonarism", proclaimed one of the supposedly impartial judges. "Lula is president today due to the decisions of the supreme court", claims another judge. "I wouldn't have won the elections were it not for... [cut off]", muttered absent mindedly into a hot mike by none other than current president Lula himself the day he took office.

These are not the only abuses perpetrated by the court. As far as I know, it started in 2019 when a magazine ran a damning article on one of them. In response to that, they started a "fake news" inquisition that lasts to this day. They're basically the victims, investigators, prosecutors, judges and executioners of wildcard crimes against thenselves covering the entire brazilian territory. Details here:

https://news.ycombinator.com/item?id=39966382

Suffice it to say that the magazine was censored, proper due process was not observed, conflicts of interest were not resolved, and so on and so forth. But the "fake news" inquisition kept going. It was under its umbrella that they engaged in their censorship efforts against Bolsonaro and his supporters. I witnessed journalists and even youtubers seek political asylum in the US.

Things kept escalating further and further until they blocked Twitter nationwide and essentially stole millions of dollars out of the US economy via fines for failures to comply with illegal censorship orders. Then they declared social media companies liable for user content which in effect gets them to preemptively censor content, thereby privatizing their censorship. Trump is finally striking back against them with much awaited sanctions.
by orbisvicis | 2025-07-31 18:55:05+00:00
I see, and it's a pretty short list:

https://doc.pypy.org/en/latest/cpython_differences.html#exte...

""" The extension modules (i.e. modules written in C, in the standard CPython) that are neither mentioned above nor in lib_pypy/ are not available in PyPy. """

The lifecycle of generators makes pypy code very verbose without refcounting. I've already been bitten with generator lifecycles and shared resources. PEP533 to fix this was deferred. Probably for the best as it seems a bit heavy-handed.
by pzullo | 2025-07-31 18:55:33+00:00
We did! Basically we have a meta layer between the Agent and the MCP servers you give to the clients.

We call this server manager, basically instead of exposing all the tools from all the servers at once to the agent we only expose 4 meta tools: - list servers() - connect to server(server_name) - search_tool(query) - disconnect from server(server_name)

So that the agent can dynamically connect to specific servers without flooding its context with all the tools.

The search tool basically performs semantic search over all the tools from all the servers returning the top N results (tools) and the server they belong to so that the agent can connect to the right server.

A demo of this is here https://www.reddit.com/r/mcp/comments/1k598v9/give_your_agen... where I hid a useful tool in a sea of useless ones (10 useful, 3000 useless) and the agent was able to find and use the right one.