MurphyA/hacker-news huggingface dataset:
by martinald | 2025-07-09 19:32:15+00:00
To be honest though it is still by far the best place to get "news" about (very recent) current affairs. Obviously there is an incredible amount of disinformation on it, but if you can filter that out mentally (though I don't know how possible that is), you tend to get a far more 'real time' take on things.

Me and a friend were talking about this before - for big news stories I/we would instinctively put rolling news on. Now it's usually Twitter I check.

This is compounded by the fact that so many political events 'happen' on Twitter/X (and for Trump, Truth Social then screenshotted onto Twitter). Even without Trump I would say the majority of UK political 'intrigue' is done directly on twitter.

So I think it's actually the other way round; media outlets use it quite a bit because instead of press conferences and what not a lot of news comes straight onto it.

Btw, this isn't too say traditional journalism doesn't have a place - it absolutely does and most of the current affairs content I read is on that. But for 'fast moving' events Twitter has managed to keep its place in my eyes, which I'm surprised about to be honest. Bluesky does not have anywhere near the same momentum which really shows you how important network effects are.
by tareqak | 2025-07-09 19:32:44+00:00
Looks like we reached the message reply limit, so I am replying here.

Pasting again

> At least 95 Palestinians have been killed as a result of Israeli attacks since dawn, hospital sources in Gaza tell Al Jazeera.

> According to Nasser Hospital in the southern part of the enclave, the death toll of the Israeli attack on the al-Mawasi area of Khan Younis that we reported on earlier has increased to seven people.

We will have to agree to disagree if hospital sources and the Nasser Hospital are not sufficient.

What source would be sufficient?

This approach towards determining relevancy is what I meant by “if a tree falls in the forest and there is no one there to hear it, then does it make a sound” earlier.

Update:

> Dr Mohammed Saqr, the director of nursing at Gaza’s Nasser Medical Complex in Khan Younis, said he had personally witnessed countless mass casualty incidents in recent weeks.

> “The scenes are truly shocking – they resemble the horrors of judgment day. Sometimes within just half an hour we receive over 100 to 150 cases, ranging from severe injuries to deaths … About 95% of these injuries and deaths come from food distribution centres – what are referred to as the ‘American food distribution centres’,” Saqr said.

> On Wednesday, between 20 and 44 people were killed, according to officials in Gaza.

https://www.theguardian.com/world/2025/jul/09/gaza-aid-worke...
by Ericson2314 | 2025-07-09 19:33:02+00:00
What you actually want is the underlying separation logic, so you can precisely specify function preconditions and prove mid-function conditions, and the the optomizer can take all those "lemmas" and go hog-wiled, right up to but not past what is allowed by the explicitly stated invariants.

"Rust", in this context, is "merely" "the usual invariants that people want" and "a suite of optimizations that assume those usual invariants, but not more or less".
by pphysch | 2025-07-09 19:34:30+00:00
Commercial forests have a lot of trunks but aren't particularly dense, and probably have terrible biodiversity by design. When I say dense, I mean a human needs to be constantly swinging a machete and scrambling to get anywhere.

Such forests are very rare in USA because even the vast "wilderness" is man-made for ranching, hunting, hiking, sightseeing.
by scubakid | 2025-07-09 19:34:44+00:00
GPT is not bad at high-level guesstimates, but there's a LOT that goes on under the hood to make a detailed, accurate, responsive, and tax-aware long-term planning system with a good UX for nuanced scenario comparisons and what-ifs. At current capability levels, AI tools aren't a great replacement for that in my experience. But we'll see if that changes as they continue to evolve...
by qwerpy | 2025-07-09 19:34:52+00:00
Not who you asked, but I do it “manually once a year or so” on a HA instance in a container running on unraid. It sometimes causes problems. Recently HACS (not a built-in part of HA but useful to get some extensions) broke on a HA update and I had to spend more time that I would have liked figuring out how to fix it. It involved running shell commands inside the container. Definitely not for anyone who isn't a techie.
Show HN: LLviM – A conversational coding plugin for Vim and Local LLMs
by trs83 | 2025-07-09 19:35:11+00:00
I like VIM. I like LLMs. I like to work offline. I don't like to pay LLM providers for every line of code I write, and I like to have total control of the context. So, I wrote a plugin for vim that lets me use local LLMs (quantized deepseek coder is surprisingly useful and fast), have total control of the context, and integrate with my normal vimming flow. This one doesn't do tab completion or FIM (see https://github.com/ggml-org/llama.vim if you want a good local solution for that). Instead It's centered around building context through conversation and instruction, having the model answer questions and rewrite whole blocks or files of code. Simple keybindings and auto-copying to the numbered registers makes it easy to integrate with macros and (at least my) normal editing flow.
by giardini | 2025-07-09 19:35:29+00:00
I don't see how you can do more than

- have a professional check out your dryer periodically,

- clean the lint trap every cycle and

- periodically clear lint out of the exhaust duct (all the way to the duct's exit).

OTOH I personally would not use a gas dryer in a home. While gas is faster drying and lower cost, an electric dryer is simpler and less worrisome. Sometimes "Less is more." And if you prefer an older electrical model, they are available! Perhaps a re-furbisher would take your gas dryer in trade?

The last two maintenance items above should be done for electric dryers too, since electric dryers can ignite trapped lint as well as can gas.

See https://www.envistaforensics.com/knowledge-center/insights/a...

I particularly like their suggestion to put a smoke alarm above the dryer, which I will do today!
by steveklabnik | 2025-07-09 19:35:47+00:00
> How does this work under the hood? Does Ruby keep a giant map of all strings in the application to check new strings against to see if it can dedupe?

1. Strings have a flag (FL_FREEZE) that are set when the string is frozen. This is checked whenever a string would be mutated, to prevent it.

2. There is an interned string table for frozen strings.

> Does it keep a reference count to each unique string that requires a set lookup to update on each string instance’s deallocation?

This I am less sure about, I poked around in the implementation for a bit, but I am not sure of this answer. It appears to me that it just deletes it, but that cannot be right, I suspect I'm missing something, I only dig around in Ruby internals once or twice a year :)
by BeetleB | 2025-07-09 19:36:52+00:00
This is far more nuanced (and disputed) than you make it out to be.

> It happened accidentally (ie against the wishes of Twitter management) in 2016

I think the whole Cambridge Analytica fiasco played a bigger role, and I don't think they utilize Twitter. On top of that, frankly, TV and his behavior at rallies/debated helped him a lot more than Twitter did in 2016. I don't know a single MAGA supporter who was even on Twitter in 2016.

> they successfully suppressed him in 2020

How? He was banned after the election.

> and then Elon gave MAGA that platform in 2024, leading to DJT's successful election.

DJT was not on Twitter in 2024. Did it really make a difference when he had his own social network? We all have our opinions, but is there actual data supporting this for the 2024 election?
by metalman | 2025-07-09 19:36:53+00:00
ok, lets riff on the timmys pujabi coffee slinging thing, first up is that it is not an easy job to make money at, the pace can be brutal, the customers ARE brutal, I have seen people get slugged in.the head for ordering a doughnut in the coffe only line, twise.keeping staff and filling shifts is just going to be a 24 hour a day 365 days a year, never get clear of it all consuming job, and saying that you cant make a shift, makes someone, no one. all that said, the "middle" or "soft" shifts are much smaller and have a lot more "white" k8ds to help the mostly senior customers who go to meet there friends as to not getting a minimum pay job in Canada right now, you must be jokeing, the add boards are constantly full, quite litteraly sit on the curb AT timmys, and someone will hire you, and DRIVE you to work and pay you cash many fucks not given for people complaining about getting a job
by tabbott | 2025-07-09 19:37:12+00:00
I think we agree here that the US/Europe jurisdiction difference is relatively minor compared to questions about the software itself.

What's dangerous is the framing; many E2EE messengers give the server a LOT more power than "just stores the ciphertext". https://news.ycombinator.com/item?id=33259937 is discussion of a relevant example that's gotten a lot of attention, with Matrix giving the server control over "who is in a group", which can be the whole ball game for end-to-end security.

And that's not even getting into the power of side channel information available to the server. Timing and other side channel attacks can be powerful.

Standard security practice is defense in depth, because real-world systems always have bugs and flaws, and cryptographic algorithms have a history of being eventually broken. Control over the server and access to ciphertext are definitely capabilities that, in practice, can often be combined with vulnerabilities to break secure systems.

If the people who develop the software are different from those who host the server, that's almost certainly software you can self-host. Why not mention self-hosting in the article?

If you're shopping for a third party to host a self-hostable E2EE messenger for you. The framing of the server as just "storing ciphertext" would suggest trustyworthyness of that hosting provider isn't relevant. I can't agree with that claim.
by campbel | 2025-07-09 19:37:16+00:00
I think the intention of it, as weird as it may seem, is to punish people for engaging with content the other subreddit mods feel is distasteful enough to warrant the effort.

I can't speak to whether this is a useful tactic on their part, or whether its fair to you, but IMO this is just another kind of "free speech" that exists.
by lcnPylGDnU4H9OF | 2025-07-09 19:37:26+00:00
> give it read access to prod and write access only to internal channels

Can you expand on what you mean by this? If one LLM reads untrusted data then the output from that LLM can't be trusted by other LLMs. (Presume the untrusted data contains instructions to do bad stuff in whatever way is convincing to every LLM in the loop that needs to be convinced.) It seems that it's not possible to separate the data while also using it in a meaningful way, especially given the whole point of an MCP server is to automate agents.

I agree that LLMs are useful but until LLM architecture makes prompt injections impossible, I don't see how an agent can possibly be secure to this, nor do I see how it helps to blame the user. The real problem with them is that they will decide what to do based on untrusted input. A program that has its own workflow but uses LLMs can have pretty much the same benefit without introducing the problem that a support ticket can tell it to exfiltrate data or delete data or whatever, simply because that workflow is more specialized in what it does.
by naasking | 2025-07-09 19:37:58+00:00
Fielding's thesis barely mentions HTML (20 times), and usually in the context of discussing standards or why JS beat Java applets, but he discusses hypermedia quite a bit (over 70 times).

If you extended JSON so that URLs (or URIs) were first-class, something like:

url ::= "<" scheme ":" ["//" authority] path ["?" query] ["#" fragment] ">"

it would form a viable hypermedia format because then you can reliably distinguish references from other forms of data. I think the only reason something like this wasn't done is that Crockford wanted JSON to be easily parsable by existing JS interpreters.

You can workaround this with JSON schema to some extent, where the schema identifies which strings are URLs, but that's just way more cumbersome than the distinction being made right in the format.
by sidk24 | 2025-07-09 19:38:10+00:00
LLMs are fast, until they aren't.

Most frameworks show token latency. But why are some tokens slow? What’s stalling the GPU? Is it poor SM occupancy? Kernel launch delay? Cache stalls?

I built *LLMTraceFX*, a token-level GPU profiler for LLM inference workloads.

*What it does:* - Parses GPU execution traces (like vLLM outputs) - Analyzes performance at token granularity - Detects kernel-level bottlenecks: stall %, cache latency, launch overhead, etc. - Uses Claude API to explain why a token was slow and how to optimize it (e.g. "fuse kernels", "fix memory access pattern") - Generates flame graphs + bottleneck dashboards

*Output*: JSON reports, HTML dashboards, CLI summaries, Claude suggestions.

*Stack*: Python, FastAPI, Plotly, Modal.com for GPU runtime, Claude API (no infra required)

*GitHub repo*: https://github.com/Siddhant-K-code/LLMTraceFX

---

Would love feedback on: - Other formats to support (HuggingFace, llama.cpp, ONNX?) - What to show beyond kernel breakdowns - Ideas for integrating with compilers, optimizers

Cheers!
by ChadNauseam | 2025-07-09 19:38:44+00:00
> Passing a reference is not the same thing as passing the actual value, so this does not contradict affinity.

I agree that passing a reference is not the same thing as passing the actual value. If it were, there would really be no point to references. However, it does contradict affinity. Specifically, the fact that multiple references can be created from the same value, combined with the properties of references, contradicts affinity.

> At its core, "affine" means that the type system has exchange and weakening but not contraction, and that exactly characterizes Rust's type system.

Well, the rust type system certainly does support contraction, as I can use a reference multiple times. So what is that if not contraction? It seems like rust at least does support contraction for references.

But in practice, having absolutely no contraction is not a very useful definition of affine, because no practical programming language would ever satisfy it. It prohibits too much and the language would not even be turing complete. Instead, there is usually an "affine world" and an "exponential world". (Exponential meaning "unrestricted" values that you can do whatever you want with). And the convention is that values can go from the exponential world to the affine world, but not back. So a function taking an affine value can be passed any value, but must use in in an affine way, and meanwhile but a function taking an exponential (unrestricted) value can only be passed exponential and not an affine value.

If you don't believe me, you can try using linear haskell, and notice that a function taking a linear argument can be passed a non-linear argument, but not the other way around.

If you interpret Rust's type system this way, it's natural to interpret references as exponentials. But references have the opposite convention. You can go from owned values to references, but not the other way around, which is precisely the opposite situation as the convention around linear/affine type systems. Because these systems feel very different to use and enforce very different properties, I do think it's important that we have separate names for them rather than referring to both as "affine". And the usual name for the rust-like system is "uniqueness types", see https://docs.idris-lang.org/en/latest/reference/uniqueness-t... or https://en.wikipedia.org/wiki/Uniqueness_type .
by ASalazarMX | 2025-07-09 19:39:06+00:00
It does, and as usual, Apple catched up a decade later. It was called Google Image Proxy for GMail (or something like that) when it was released, much to the chagrin of email marketers.

One of the earliest (2013) mentions I could find: https://gmail.googleblog.com/2013/12/images-now-showing.html

Found in this old article about the initial launch: https://words.filippo.io/how-the-new-gmail-image-proxy-works...
by ToucanLoucan | 2025-07-09 19:39:10+00:00
I guess what I struggle with is seeing Musk taking that kind of top-down strategic view of things? Which that could entirely be a me problem. I think there's an inherent bias in the way a lot of people think where they assign these Machiavellian motives especially to the super-privileged and those in positions of power, the 5D chess type shit, and I tend to bias in the other direction where... a lot of times these guys are just fucking losers and they don't think terribly dissimilarly from your weird uncle who doesn't come to the reuinions anymore.

Ultimately though, this is a bit of a weird aside to go on I fully admit. The "solutions" so to speak for people like this are basically the same whether they are dark-room schemers or dickheads with far too much money and not nearly enough accountability.
by joshstrange | 2025-07-09 19:40:39+00:00
Huh, I’d be interested to sit down with someone like that and better understand their viewpoint. I wonder if it’s just comments that describe what the code is doing (“what” not “why”) that they have a problem with and are just throwing the baby out with the bath water.

I’ve written mini-blog posts in comments before to explain a complex system or an odd bit of code that is the result of a massive bug in production that I want to document and explain the reasoning behind it.
by wafflemaker | 2025-07-09 19:40:48+00:00
I have about 20 Phillips Hue bulbs at home. My younger brother laughed at me for spending a small fortune on them. Approx 1 bulb per year dies and requires a replacement. Other than that everything just works after the initial setup - daylight like automation.

I even once had my wife add a bulb and while it wasn't easy, she did it.

When a year later I asked brother about the some random bulb he had - didn't work anymore.

It's even better, because Norwegian law gives 5y guarantee on electronics - could just have this bulb replaced as faulty in the shop.
by gia_ferrari | 2025-07-09 19:41:01+00:00
Thanks for the reply! If this information were available on the landing page, I'd have felt a lot more comfortable investing the time to try the tool out. I do appreciate how far you can explore even without an account.

Couple more ideas for the landing page:

- Provide links to examples of generated exports in the formats you support, so folks can get a feel for how it might integrate into their workflow.

- The elements under "Everything You Need for Cable Design" animate as though they're interactive, but clicking them does nothing. Confused me for a bit.

- Page is very hard to read on mobile.

Other thoughts:

- I wasn't able to figure out how to pan the editor view around.

- Adding some sort of json/yaml/xml import/export would open up a lot more workflow possibilities. For example, I want to associate a harness version with a git tag, without needing to manually make a copy of a harness version in the app. Git (and/or github) integration would be great. Honestly, even an opaque blob export would be tolerable.
by paulvnickerson | 2025-07-09 19:41:08+00:00
Linda's tenure was an overwhelming success if you judge it according to what her assigned goals probably were:

1) Moved X out of woke censorship into a highly liberal (in the permissive sense of the word) free speech platform, while at the same time...

2) Improved the X brand safety such that nearly all advertisers are back on the platform.

We forget how much at odds these two goals were a couple years ago, but the overton window has shifted a lot since then so it doesn't seem as big a deal.
by threeducks | 2025-07-09 19:41:40+00:00
Not sure if that counts, but if you import both matplotlib and OpenCV at once, there is a good chance of a crash due to conflicting PyQt binaries: https://github.com/matplotlib/matplotlib/issues/29139

But I agree that observable side effects are generally pretty rare. And apparently, both libraries are not even in the top 100 packages, depending on how you count. It looks like those spots are all taken by libraries used in uncached, wasteful CI workflows: https://hugovk.github.io/top-pypi-packages/
by stouset | 2025-07-09 19:41:57+00:00
If you are using string concatenation to build HTML in your application layer, you are fundamentally doing it wrong.

Ruby isn’t making all strings immutable here. Just string literals. You are free to allocate mutable strings that can be appended to, to your heart’s content. It is extremely rare that modifying a literal is intended behavior, since their contents are permanently persisted throughout the lifetime of your program. With your example, this would be like having one shared global buffer for your final document.
by agumonkey | 2025-07-09 19:42:19+00:00
When I realized that I was calling openapi-generator to create client side call stubs on non-small service oriented project, I started missing J2EE EJB. And it takes a lot to miss EJB.

I'd like to ask seasoned devs and engineers here. Is it the normal industry-wide blind spot where people still crave for and are happy creating 12 different description of the same things across remote, client, unit tests, e2e tests, orm, api schemas, all the while feeling much more productive than <insert monolith here> ?
by cowthulhu | 2025-07-09 19:42:33+00:00
I disagree with the statement "The reason game developers are willing to give Valve 30% of their revenue is because the Steam marketplace is packed with super gamers who throw money at games they have no intention of playing."

I believe the actual reason is that Steam has a near monopoly on PC game distribution, and you'll get a lot of hate from consumers if you distribute on competing platforms (Epic) but not Steam.

Taking it a step further - 30% of revenue seems absurdly high for what Steam offers (see the app store for a similar racket), and I hope Valve faces much stiffer competition in the future so they're forced to bring down their cut.
by AlotOfReading | 2025-07-09 19:43:08+00:00
I'm not sure you've ever seen multiple archaeologists in a room together if you think they agree on definitions, or that agreeing on definitions is sufficient to end their arguments.

Usually we say archaeology is a "big tent" field, where anything that's useful can find a place rather than relying on prescriptive definitions of what should and shouldn't be used. If this gives you flashbacks to Feyerabend's epistemological anarchism, you've got the idea.

There are definitely scientific things within archaeology and many archaeologists who spend their days doing activities indistinguishable from what goes on in adjacent geology and biology labs. It's not uncommon for archaeologists to hop back and forth from the biology and anthropology departments either. There was even a movement called processualism in the 50s-70s to fit archaeology within the scope of a traditional science that's widely regarded as a failure.

Of course we would also have to ask what a science is. The traditional hypothesis->experiment "scientific method" is used in archaeology, but doesn't really apply to historical events. We can generalize that a bit to the Cleland's "smoking gun" idea for historical sciences (so we don't need to fully throw out popper) and indeed it's quite a popular perspective today for the "best" way to do archaeology. It's just not the the totality of methods used by the people we call archaeologists.