MurphyA/hacker-news huggingface dataset:
by CaptainNegative | 2025-08-28 01:24:07+00:00
I don't understand the point of this article, as it doesn't define an objective function. It just states a strategy that is only practically implementable for small board sizes (given the cited NP-completeness result) and then calls it good sans theorem or even conjecture.

I believe it is provably not the optimal algorithm for solving the problem under the minimax objective, and I have a hunch that (due to rounding issues) it is also not optimal for minimizing the expected number of guesses under even a uniform prior. So what does this actually accomplish?
by delfinom | 2025-08-28 01:25:02+00:00
>This is why I continue to insist there needs to be building codes for software, with inspections and fines for not following through. This attack could have been used on tens of thousands of institutions to bring down finance, power, telecommunications, hospitals, military, etc. And the scope of the attacks and their impact will only increase with AI. Clearly we are not responsible enough to write software safely and securely. So we must have a building code that forces us to do it safely and securely.

Yea, except taps on the glass

https://github.com/nrwl/nx/blob/master/LICENSE

THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

We can have building code, but the onus is on the final implementer not people sharing code freely.
by mdaniel | 2025-08-28 01:25:48+00:00
I'd suspect a great deal of people are secretly benefiting from qemu when they do $(docker build --platform linux/{arm64,amd64}) courtesy of binfmt_misc and a static copy of qemu

- https://github.com/moby/buildkit/blob/v0.23.2/docs/multi-pla...

- https://github.com/moby/buildkit/blob/v0.23.2/Dockerfile#L16...

- https://github.com/tonistiigi/binfmt/blob/buildkit/v9.2.2-54...

- https://github.com/tonistiigi/binfmt/blob/buildkit/v9.2.2-54... and https://github.com/tonistiigi/binfmt/blob/buildkit/v9.2.2-54...

and let me tell you from first-hand experience, that trying to swap in an updated version of the bundled qemu binary when the static version panics on some mis-emulated instruction is some whooooooo, boy
by andrewmcwatters | 2025-08-28 01:26:09+00:00
It's also a Southern US term, not a coastal one, so I agree. Using it in place as an inclusive term comes off as pretentious and inauthentic.

I think "guys" is one of the few ones I disagree with, along with man hours, as in man meaning human, not man meaning male individuals. We don't stop using the term mankind because the word man is in it. It's not gendered.
by abnercoimbre | 2025-08-28 01:26:33+00:00
This looks promising! I help run local meetups for systems programmers [0] in cities across the world. We've been looking for a self-hosted RSVP system for ages (and haven't had the time to build one.)

We'll take Cactoide out for a spin for our September meetups! I'll open up some GitHub issues if any blockers show up.

[0] https://handmadecities.com/meetups
by embeng4096 | 2025-08-28 01:27:19+00:00
To me as well, either arrogant or obsequious like a waiter at a restaurant saying “alright folks I’ll be your server tonight”. Edit: or as a sibling comment said, pretentious or inauthentic

To GP’s point, “guys” is interesting to me; it feels like a U-shape where people who don’t “get it” think it’s non-gendered, as do people who are very tuned in online (streamers, gaming spaces -which lean heavy male anyway -, highly online twitter types, etc) where cultural trends move and spread quickly. Then there’s kind of the middle I see, think HR activist types (acknowledging that HR does not always mean activist and vice versa) - clued in enough to follow the ideological trends, not quite enough to sense the ongoing shifts in real time. To be a bit reductive, I’d sum it up as something like people carrying the cultural context with them of the 2000s, the 2010s, or the 2020s
by ericmay | 2025-08-28 01:27:28+00:00
You claimed we were sore losers. I don’t care what you call us. We are fine with our tariffs and being whatever names you want to call us. It’s funny how mad everyone seems to be. Oh you’re just sore losers. Oh this isn’t going to work. Blah blah blah and on and on and on and all the kicking and screaming about it just tells me that your protests are an admission that it’s a good idea.

> And you seem to be forgetting I am equally in opposition of tariffs and consider it fucking shit when China or anyone else does it.

You asked and I delivered. I wasn’t accusing you of being in favor of trade barriers.
by BoorishBears | 2025-08-28 01:28:12+00:00
They're abysmal compared to anything dedicated at any reasonable batch size because of both bandwidth and compute, not sure why you're wording this like it disagrees with what I said.

I've run inference workloads on a GH200 which is an entire H100 attached to an ARM processor and the moment offloading is involved speeds tank to Mac Mini-like speeds, which is similarly mostly a toy when it comes to AI.
by immibis | 2025-08-28 01:28:18+00:00
The purpose of this political system is to put people like Trump in power. We can infer this because it keeps putting people like Trump in power and yet nobody has changed it yet.

Look up the history of the phrase "the purpose of a system is what it does". It was adopted as a principle because it made more sense than every other possible alternative. It makes no sense to claim that the purpose of a system is to do something that it never has done and consistently fails to do, because the system would have been replaced in that case.
by leptons | 2025-08-28 01:28:45+00:00
I'm sorry but that's nonsense. Listening to music is not a creative process, it does not at all take away creativity from somewhere else.

I've never, ever, ever once in 40 years of coding listened to music while coding and later found the code "unnecessary" or anything of the sort.

I engage in many creative pursuits outside of coding, always while listening to music, and I can confidently say that music has never once interfered in the process or limited the result in any way.
Show HN: Show HN: Geotagged Photo Map
by Beefin | 2025-08-28 01:29:11+00:00
I built a minimal personal site that’s entirely static—no frameworks, just `index.html`, `styles.css`, and a bit of vanilla JS. It has a geotagged photo album that renders a Leaflet map and a lightbox gallery from a simple `images/gallery.json`. I wrote small scripts to bulk ingest photos, read EXIF lat/lng, upload to S3/CloudFront, and update the JSON. It’s fast, portable, and easy to host on GitHub Pages or any static host.

- Live site: [ethan.dev](https://ethan.dev) - Tech: HTML/CSS/JS, Leaflet, Markdown frontmatter, static JSON - Looking for feedback on: accessibility, mobile performance, and better static content organization without a build step.
by jrgifford | 2025-08-28 01:29:12+00:00
Digits is no more, it’s DGX. Source: signup link in the press release (https://nvidianews.nvidia.com/news/nvidia-puts-grace-blackwe...) now goes to DGX Spark preorder (https://www.nvidia.com/en-us/products/workstations/dgx-spark...)
by ekusiadadus | 2025-08-28 01:30:07+00:00
Really interesting work! I have two questions:

1.LLM-Ex

> We call this LLM-Ex.

Could you share more about the internal structure of LLM-Ex? Is it something like a fixed XML-style representation, or more of a free-form structure?

2.realized you don't need huge models to get reliable results

You wrote that > by applying these two principles religiously, we realized you don’t need huge models to get reliable results.

Intuitively, it feels like these principles alone wouldn’t completely remove the need for larger models. Could you explain how you arrived at this conclusion, and what kind of validation or experience led you there?
by donkeybeer | 2025-08-28 01:30:16+00:00
I am calling you sore losers because I have seen not just studied a theory what happens when you tariff all over, I don't want to see America slide down. If I wanted to hurt your country I'd go full bore encouraging even more random high tariffs all over the board.

I am also calling you sore losers because its, objectively minus any value judgments, a truth. Tariffs on a sector mean you are a loser in that sector. Not a big deal when said country never claimed to be a proponent of free trade before. But when its a country that ruins the board whose rules themselves setup, then yes? Idk what else to call them.
by averagefluid | 2025-08-28 01:30:26+00:00
> What makes that any better than some highly derivative AI generated rubbish I connect to about the same amount?

I think this is a fantastic question. Full disclosure, Guernica is one of my personal favorites and I initially felt pretty poorly about this particular string of words. But the implied question, "So what?", is literally what separates art from x. I don't think that there's a direct answer to this, but I'll do my best to articulate my feelings towards it.

When I was much younger and first learning how to play guitar, I heard that Eric Clapton was a guitarist that a lot of other guitarists looked up to. I decided to listen to his works and initially dismissed them. To my ears he sounded like a worse, more basic, more derivative version than the artists I was listening to at the time and I wondered how he could even be in the same conversations as other, more modern artists. It was later that I realized I had the arrow of causality wrong. He wasn't revered because he was the best or had taken the artform to the furthest reaches or would be successful today. He was revered because he exposed so many people to a new way of expressing themselves that they likely wouldn't have known about otherwise and certainly wouldn't have invented themselves.

This analogy applies directly to Picasso, I think. You mention you felt the piece was "aggressively pretentious". Where do you think that pretense comes from? There is a whole history to the deconstruction of art in the visual medium and a whole backlash to that deconstruction and a whole response to that and that's your cultural inheritance when you view pieces like this. You don't have to even be aware of this to know that it's affecting how you feel about the piece. I think one facet of "so what?" is that this piece has existed for long enough to generate discussion about its own worth and value and at the very least is spawning literally this post.

The fact that one could find the work with one word and have a discussion about it is also pretty incredible. I don't think a model generated output is that widely known. I do think that sort of cultural reach is a facet of "so what".

There are more answers to "so what?", but to answer your question directly, "what makes it any better", I think an argument could be made that it's not. "Better" when applied to art doesn't have any particular meaning in my mind. What makes it more culturally relevant, more widely known, more widely loved, more important, and more gratifying to study each have dozens of answers, and I think that's more interesting.
by bee_rider | 2025-08-28 01:30:33+00:00
Ok, sorry for the poor writing. I mean states could form informal groups with likeminded states. So, the northeast could all pass the same law, the pacific coast, Texas and friends, wherever else.

Expecting laws to instead propagate from neighbor to neighbor as I accidentally suggested—this wasn’t what I meant to suggest, but in defense of the idea:

> At some point it makes more sense to pass such a law at the federal level since we end up there eventually either way.

I do think there still could be some value. Laws could propagate across states that are more receptive to them, and then people can see if they work or not. Porting Masshealth to the whole country at once seems to have been a little bumpy. If it has instead been rolled out to the rest of New England, NY, then down to Pennsylvania… might have gone a little smoother.
by andrekandre | 2025-08-28 01:31:04+00:00
> I’m an old school Cocoa dev. I even wrote the UI for a bunch of the built in apps on your iPhone.

same, in fact it reminded me a lot of a highly interactive version of doing ui in webobjects (loop over arrays and layout components, and wire up actions on logic layer (viewmodels instead of controllers) etc)

i do have to say though that while i love it for the paradigm and design, i don't love it for the bugs/holes of which are many compared to uikit/appkit..

swiftui itself needs a "snowleopard" release imo
Show HN: Karton is a simple, type-safe RPC and state-syncing framework (OSS,MIT)
by glenntws | 2025-08-28 01:32:20+00:00
Karton (German for “carton”) is a type-safe and web socket based solution that allows you to define a shared definition of what is synchronized between server and client side (the “Karton contract”):

- The type of state that is synced between the server- and client-side (read-only on client-side)

- Server procedures that clients can call to make mutations on server-side

- Client procedures that servers can call to make queries etc. to the client-side

All connections share the same state, and the state is always defined by the server. Deltas are efficiently synced through JSON-style patches (using immer under the hood).

We’re Glenn and Julian, and we built this as a tool for our startup (stagewise - YC S25). We needed a simple and type safe solution to sync a CLI app (JS-app) with a browser-based UI-app (we use React). We didn’t find any solutions out there that seemed easy to use, so we simply decided to build our own one.

We offer both the server and client in vanilla TS, but also ship a React-specific client that gives you a Zustand-style access to the state (allowing to only select slices of the whole state as well).

The API is made to be very easy to use, with just one output type that’s shared between server and client apps, making it a low-overhead solution if you build locally running JS apps that consist of multiple sub-apps. Karton is MIT-licensed, available on npm (@stagewise/karton) and currently part of our bigger OSS monorepo. It’s pretty much in beta state but we already use it in production.

GitHub: https://github.com/stagewise-io/stagewise/tree/main/packages...

NPM package: https://www.npmjs.com/package/@stagewise/karton

Our YC Launch: https://www.ycombinator.com/launches/O3M-stagewise-the-front...
by presentation | 2025-08-28 01:32:37+00:00
Other lines have some bangers too - used to live in Koenji and Asagaya, love those.

https://youtu.be/wpw1MWH0AZI?si=ELfOL6QdgYCxHRyU

https://youtu.be/4qFHVCMUrto?si=daYuWZWK_aQizbha
by Apes | 2025-08-28 01:32:47+00:00
RTX 5090 is about as good as it gets for home use. Its inference speeds are extremely fast.

The limiting factor is going to be the VRAM on the 5090, but nvidia intentionally makes trying to break the 32GB barrier extremely painful - they want companies to buy their $20,000 GPUs to run inference for larger models.
by thomashop | 2025-08-28 01:32:55+00:00
I'm also a fan of the Yamanote Line.

I made a psychedelic AI audio-visual collage inspired by it.

https://www.youtube.com/watch?v=xwUSzUvShqcaa

I made field recordings during my last stay in Tokyo. From those, I made a song for each station of the Yamanote line, using the Jingle in the prompt. The visuals were made similarly.

Used mainly Suno, Udio, Runway and Ableton Live.
by gruez | 2025-08-28 01:33:13+00:00
>but an IP addresses at any point in time is tied to either a specific person or place.

Except I'm not aware of any geoip databases that operate on a per-IP level. It's way too noisy, given that basically everyone uses dynamic IP addresses. At best you can figure out a given /24 is used by a given ISP to cover a certain neighborhood, not that 1.2.3.4 belongs is John Smith or 742 Evergreen Terrace.
by ekusiadadus | 2025-08-28 01:33:25+00:00
Ah, my mistake — Bic Camera didn’t acquire Seibu’s site. Seibu Ikebukuro was actually sold to Fortress, and then the property was transferred to Yodobashi Holdings, which is now planning the redevelopment. Bic Camera started in Ikebukuro, so it’s influential locally, but it wasn’t part of the acquisition.

Sources:

Wikipedia – Sogo & Seibu: https://en.wikipedia.org/wiki/Sogo_%26_Seibu SBbit – Seibu Ikebukuro redevelopment: https://www.sbbit.jp/article/cont1/144891
by cbhl | 2025-08-28 01:34:22+00:00
Huh.

https://kaisercougarconnection.com/2784/news/musical-trains-...

My impression is that all of the Yamanote line stations are above ground -- I'd have expected it to be possible to have "one button plays the right sound at each station" if you used a standard phone's GPS to figure out which station you were at.
by reactordev | 2025-08-28 01:34:37+00:00
In before someone says “but the S&P 500 is up!”

Yeah, without a court system to hold him accountable to all his emergency executive orders, he’s going to keep putting lackeys in place. Mob Ruled, not mob rule. He’s not even supposed to be in office given the wording of the constitution. But they stopped caring about that during Obama.
by monster_truck | 2025-08-28 01:34:42+00:00
All other potential causes aside, including the likely most-relevant of motherboard companies exceeding recommended defaults for power delivery: Running a cooling solution good for less than the TDP (which is NOT the max power, which tends to be about 30% higher than the TDP on these) is frankly extremely dumb. I've seen x950 processors of every generation pull at least double that on extreme workloads. I think it speaks to them being a bit clueless that they did not manually lower the thermal limits. You can cut the power and thermal limits by wild amounts and barely lose 15% multicore performance.
by andrekandre | 2025-08-28 01:36:25+00:00
> I also don't love the new icons, and he does raise a few objective facts to support his argument - but I don't think it's possible for an icon to be "objectively terrible".

measuring cognitive load / time-to-completion when trying to use such an interface could be an objective measure

for example, ask a user to find disk utility app in old ui vs new, measure both time and brain activity it takes to find it etc, there are ways, just takes money and time
by chatmasta | 2025-08-28 01:36:53+00:00
I’m surprised they teamed up with the Kiwi Farms admins as plaintiffs in this lawsuit. Neither of these companies have an abundance of goodwill, but at least 4chan has a more “mainstream” (memestream?) reputation. Kiwi Farms on the other hand, is either unknown or generally disreputable. And anyone who googles them will not find favorable coverage.

I suspect they’ll win this case in the US, maybe triggering some JD Vance lecture to the UK. The outcome will be mostly meaningless, but even a political outcome is less likely with the Kiwi Farms participation. That’s a bad move on all fronts IMO.
by dhx | 2025-08-28 01:37:10+00:00
Do you have a mapping to roles/levels[1], for example:

Principal EM - USD$1.3m/yr per https://www.levels.fyi/companies/google/salaries/software-en...

Staff EM - USD$664k/yr per https://www.levels.fyi/companies/google/salaries/software-en...

Staff IC - USD$557k/yr per https://www.levels.fyi/companies/google/salaries/software-en...

Senior IC - USD$410k/yr per https://www.levels.fyi/companies/google/salaries/software-en...

Mid IC - USD$290k/yr per https://www.levels.fyi/companies/google/salaries/software-en...

levels.fyi doesn't appear to use the term "Technical Lead". There is "Technical Program Manager" and "Technical Account Manager" that sound like they'd be similar (someone technical transitioning into a full-time non-technical role). And then roles such as "Product Manager" and "Program Manager" seemingly for those who are currently 100% non-technical in their work.

Does the change mean the most competent solution architect who has successfully designed and implemented many complex systems from scratch is capped in salary package because they're not doing the important job of demanding those around them fill out TPS reports all day?

[1] https://www.levels.fyi/companies/google/salaries/software-en...
by Jugurtha | 2025-08-28 01:37:49+00:00
This supposes good faith from the people at hand. There are scenarios where one of the founders has decided from the start to screw over the other person, and the fallout is bound to happen when the person figures it out or tries to mediate the situation: it's not like the one who set up to screw you over will change their mind.

This is a modus operandi of some people built on finding "idealistic", "optimistic", "naïve", "gullible" people, especially technical people, of which there is no shortage in founders, to consume. These characteristics being almost a requirement for the job doesn't help.

An unbalanced equity distribution, waxing poetic about ethics, honesty, and morals... something more urgent always coming up when the equity issue is raised, etc...

Contract theory upstream.

Your work is useful when the people genuinely want to make it work but are just having trouble communicating.
by stackskipton | 2025-08-28 01:39:15+00:00
Yes, at apply stage, the state is updated. All the state is useful for is finding the resource for big 3. In fact, I'd argue for TF, they could do away with state file beyond resource "s3_bucket" "thebucket" -> arn:aws:s3:us-east-2:000:0123455 since they pull down the current state of system as is and then show you the "This is what you want and with current state, this is what it will change."

> I would say like any other new tool, it's worth checking out. :)

I don't see the need for a couple of reasons:

1) How? If you want me to try something, either big "TRY ME" unless it involves becoming a client which that case, I see you as replacing me so my motivation is zero. :D

2) I'm on Azure for most part so it's useless anyways.

3) You have not shown me how SI is that much better than Terraform. If I'm going to invest time over yelling at Kubernetes, I need to know my time is worth it.

At the end of the day, we all want the same. Here is defined infrastructure, be it YAML, JSON, HCL, some GUI, API call to a system, Whatever AI is smoking. Ability to see what changes and make those changes. HCL/ToFu is what most of have picked because it's pretty open and widely supported across all the providers. You have to overcome all that. This blog post reads, we have this great new Windows Server thing that will blow your Linux Server stuff away completely with GUI and Siri.

Maybe that's what your customer base needs. However, at technology companies I work at, we don't need that. People editing outside IaC is done very slowly, deliberately and almost always backported. If not, you will get called out. It would like Dev writing code and no tests.
by Mallowram | 2025-08-28 01:40:48+00:00
If you don't grasp the basic ideas of paradox questioning the nature of language beginning in presocratics and winding their way through Aristotle, Socrates, Kant Hume and many others and also appearing in Advaita Vedanta (eg Nisargadatta), then I'm afraid staring here isn't really going to help you. Philosophy has ben questioning whether language is valid from the start. https://plato.stanford.edu/entries/aristotle-noncontradictio...
by qgin | 2025-08-28 01:41:50+00:00
The reason Meetup worked was years of collecting contact info of people interested in specific topics and then blasting all of them when a new group started in a location. If 1% of people responded, that was still a decent turnout.

This is the big barrier to entry for anyone trying to replicate Meetup. It was never about the event organizing software (which really wasn’t that great) it was about connecting your group or event to enough interested, local people that you had a chance at actually getting off the ground.