MurphyA/hacker-news huggingface dataset:
by bveiseh | 2025-05-28 20:46:34+00:00
Thanks so much!

In regards to the scale, we absolutely can assess at that scale, but it would require quite a large enterprise contract upfront, as we would need to get the required capacity from our providers.

The system is designed to safely test exploitation, and not perform destructive testing. It will traverse as far as it can, but it won't break anything along the way.
by superultra | 2025-05-28 20:46:41+00:00
Thanks for explaining and lending your expertise.

Though, I am, again not a lawyer, but I am 99% sure you can't go use the Waffle House logo to sell anything, let alone waffles. I only say that because no one is using, say, the Coca-Cola brand to sell shoes, and if they did, we all know Coca-Cola would prevent that. That goes for any trademark in the US. So perhaps trademark law is different here?

Also, Waffle House are ubiquitous as a brand in the United States - certainly not as well known as Coca-Cola or Sony, but I have no doubt they'd be able to prove national awareness in any demographic.

In this particular case if you look at the C&D, it is for the trademark usage. It's likely that this person could have simply removed the trademark from the page and it would have been fine.

edit: I think the key in other industries would be proof of brand dilution - that is, if you start using the Nike logo to sell waffles, Nike would send a C&D if not a team of lawyers because you are diluting the trademark. So I guess you're technically right, although functionally, brand dilution is easily provable.
by uejfiweun | 2025-05-28 20:46:45+00:00
I guess by that line of thinking, everyone who has ever been involved with Musk has a "role in the atrocity". Everyone who ever bought a Tesla, everyone who ever used PayPal. Now that I think about it... SpaceX launches US government satellites... and the US is a democracy... that means every single person in the US is culpable. Thank you for opening my eyes, I hate everyone and everything now.
by Doxin | 2025-05-28 20:46:45+00:00
I'm not sure if complaining about using a jaunty font on a WWII death row cell door explaining how many Jews passed through that cell is elitist at all. Real example. Using comic sans there is tone deaf at best.

Of course comic sans specifically has turned into a bit of a meme so now you'll see all sorts of people complaining about it getting used anywhere, which is a lot sillier, but still not elitist I don't think.
by rchaud | 2025-05-28 20:47:18+00:00
What's not to understand? Enormous amounts of money have accrued to a tiny proportion of humanity in the past 30 or so years. There is no way there wouldn't be tons of waste when spending decisions are made by so few people.

Now add in the fact that these decision makers are often openly avaricious egomaniacs who don't even make symbolic efforts help the poor and vulnerable, that narrows the scope of their spending to wasteful, sometimes outright harmful investments.
by thegrim33 | 2025-05-28 20:47:44+00:00
Look at the articles the author posts. A person who oozes emotion and hate in all their writing is not a person holding rational takes. Their emotions and hate have overridden any intelligent thought they may be capable of.

Even if all their hate was fully justified, that's still no reason to rant and scream their hate to the world rather than writing intelligently and convincing others of their viewpoints in a rational, impartial, way. Their writing will not convince any rational person of their viewpoints.
by cobbzilla | 2025-05-28 20:48:11+00:00
I really enjoyed the author’s explanation of undecidability.

I found this bit was really helpful:

“This to me is a strong "intuitive" argument for why the halting problem is undecidable: a halt detector can be trivially repurposed as a program optimizer / theorem-prover / bcrypt cracker / chess engine. It's too powerful, so we should expect it to be impossible.”
by skydhash | 2025-05-28 20:48:19+00:00
Introduction to the Theory of Computation by Michael Sipser. There's also his course based on the book on YouTube[0].

Language Implementation Patterns by Terence Parr. It avoids the theory in other books, going for a more practical approach.

Then it was just trying a lot of programming paradigms like functional programming with Common Lisp and Clojure, logic programming with Prolog, array and stack programming with Uiua. And reading snippets of books and papers. It was chaotic.

But the most enlightening lesson was: Formalism is the key. You define axioms, specify rules and as long as you stay consistent, it's ok. The important thing is to remember the axioms and understanding the rules.

[0]: https://www.youtube.com/playlist?list=PLUl4u3cNGP60_JNv2MmK3...
by g-b-r | 2025-05-28 20:49:26+00:00
> anonymity and the open web are different things, and neither of them were promised/guaranteed to anyone on the internet. > > For people that value anonymity, they'll create their own spaces. People that value openness will continue to be open

Hardly anything of what's the internet today was promised, but who are you to decide what the internet has to become now, and that people with different ideas need to confine themselves in their own ghettos?

Everyone values privacy, it's just out of social pressure if most give up so much of it.

> What we're about to find out is what happens when the tide goes out and people show you what they really believe/want -- anything other than that is a form of social control, whether via browbeating or other means

No idea of what you're talking about there
by trinix912 | 2025-05-28 20:49:38+00:00
You know Yugoslavia was heavily industrialized right? To the point they even made their own computers [1][2][3][4][5].

[1] https://en.wikipedia.org/wiki/Iskra_Delta

[2] https://en.wikipedia.org/wiki/Iskradata_1680

[3] https://en.wikipedia.org/wiki/Ei_Ni%C5%A1

[4] https://en.wikipedia.org/wiki/Gorenje_Dialog

[5] https://en.wikipedia.org/wiki/List_of_computer_systems_from_...
by skeptrune | 2025-05-28 20:51:09+00:00
>From the post: There is no easy way to send the same prompt to multiple agents at once. For instance, if all agents are stuck on the same misunderstanding of the requirements, I have to copy-paste the clarification into each session.

It's not just about zero shotting. You should be able to ping pong back and forth with all of the parallel agents at the same time. Every prompt is a dice roll, so you may as well roll as many as possible.
by BurningFrog | 2025-05-28 20:51:23+00:00
I would tell the PM that "sure, let's go talk to him together". Most likely the other engineer will agree. Or maybe he can see something I don't. Either way we're making progress.

> Working with people who not only are unable to do their jobs but also refuse to listen to others has become too normalized in this industry.

In parts of it, sure. But there really are places with higher quality of people. You will have to prove yourself a bit more to get hired there, of course.
by Ray20 | 2025-05-28 20:51:35+00:00
>they lack the capital

This is absolutely not true. In absolute numbers, the cost of starting a business is quite low, and workers have a lot of money, much more than their employers. And if workers collectively stop spending their salaries on unnecessary things, and instead organize a fund - on average, in 2 years they will have enough money to buy out the entire company they work for, or organize a comparable one.

There are no problems with capitalism, capitalism just allows you not to do all of this, not to suffer 2 years of poverty for the sake of living in a mud hut (if you're lucky enough).
by z2 | 2025-05-28 20:51:36+00:00
There's a table here showing some "Overall" and "Median" score, but no context on what exactly was tested. It appears to be in the ballpark as the latest models, but with some cost advantages with the downside of being just as slow as the original r1 (likely lots of thinking tokens). https://www.reddit.com/media?url=https%3A%2F%2Fpreview.redd....
by mcphage | 2025-05-28 20:52:06+00:00
> There is a difference between definitions of "small government"

The traditional Republican definition of "small government" has been something like Norquist's: "I don't want to abolish government. I simply want to reduce it to the size where I can drag it into the bathroom and drown it in the bathtub."

Until Trump, I don't think there had been any Republican support for the "few people with a lot of authority and no oversight" definition. Now it seems pretty widespread, though.
by satvikpendem | 2025-05-28 20:52:12+00:00
You don't have to reimplement them yourself, they already come provided with the same components as on the web, like buttons, forms etc (and there are also custom UI frameworks like forui which clones shadcn/UI if you're familiar with that). The point being, Flutter apps can run much smoother precisely because they reimplement everything rather than dealing with the legacies of HTML and CSS. Since your UI seems fairly simple to make in any UI framework, you could take a look at Flutter as well.

I do so with Rust also with the package flutter_rust_bridge which works great, I'm working on a mobile app that also simultaneously works on web and desktop when I tested it, even all the Rust parts.
by taroth | 2025-05-28 20:53:04+00:00
Here's a great comparison, updated two weeks ago. https://github.com/Elanis/web-to-desktop-framework-compariso...

Electron comes out looking competitive at runtime! IMO people over-fixate on disc space instead of runtime memory usage.

Memory Usage with a single window open (Release builds)

Windows (x64): 1. Electron: ≈93MB 2. NodeGui: ≈116MB 3. NW.JS: ≈131MB 4. Tauri: ≈154MB 5. Wails: ≈163MB 6. Neutralino: ≈282MB

MacOS (arm64): 1. NodeGui: ≈84MB 2. Wails: ≈85MB 3. Tauri: ≈86MB 4. Neutralino: ≈109MB 5. Electron: ≈121MB 6. NW.JS: ≈189MB

Linux (x64): 1. Tauri: ≈16MB 2. Electron: ≈70MB 3. Wails: ≈86MB 4. NodeGui: ≈109MB 5. NW.JS: ≈166MB 6. Neutralino: ≈402MB
by skpodila | 2025-05-28 20:53:07+00:00
(disclaimer: I work at Zitadel) Totally understand this concern. We ran into the same issue when building Zitadel - data residency requirements in Europe are real and getting stricter. That's why we built in deployment flexibility from day one. You can self-host on any infrastructure or use our managed service in your preferred region. The goal was to avoid vendor lock-in while still keeping things developer-friendly.
by lizknope | 2025-05-28 20:53:23+00:00
It looks like something for a router or network switch. No graphics but it does have an open PCIE x8 slot. The ARM A72 is now a 9 year old CPU core. The reviews of this board are all from 4 years ago. It looks like their newer similar products have a Ryzen core that is a lot faster.

Here is an Ampere workstation but it is $3300. In my other post in this thread I mentioned $2000 as the price limit. Most consumers are not going to spend more than that on a computer.

https://system76.com/desktops/thelio-astra-a1.1-n1/configure
by ath3nd | 2025-05-28 20:53:43+00:00
> A CEO is nowadays paid 339 the salary of their average worker" you say? If we are nitpicking, that's obviously false; only a tiny, tiny fraction of CEOs are paid that well.

We are nitpicking, and you are wrong:

https://therealnews.com/average-ceo-makes-339-times-more-tha...

https://www.epi.org/publication/ceo-pay-in-2023/

https://www.statista.com/statistics/261463/ceo-to-worker-com...

"In 2022, it was estimated that the CEO-to-worker compensation ratio was 344.3 in the United States. This indicates that, on average, CEOs received more than 344 times the annual average salary of production and nonsupervisory workers in the key industry of their firm."

> Aside from that, I'd wager a rather large fraction of HN can easily afford never to work again. This place is crawling with millionaires and they're definitely not embarrassed about it, temporarily or otherwise. Good luck convincing them.

You can wager whatever you want, but statistically you'd be wrong.

https://www.bbc.com/worklife/article/20240404-global-retirem...

https://www.cbsnews.com/news/retirement-crisis-savings-short...
by gord288 | 2025-05-28 20:54:17+00:00
I remember on my old DOS/Win3.11 machine, I imposed some order on things by only installing “minor” applications to C:\BIN, and larger programs to C:\APPS. Wanted as few top-level folders as possible. Took a bit of effort sometimes, but otherwise there’s total chaos.

I would always cringe whenever I noticed how other folks would have everything installed in the top-level folder, or sometimes in C:\WINDOWS or other random places.

If I were to do it over again today, I would do it differently: I’d install programs that are strictly for doing stuff TO the computer itself in C:\UTILS, and everything else in C:\APPS.
by int_19h | 2025-05-28 20:54:18+00:00
Since the protocol is actually open, you don't have to use the official client.

I'm curious as to why you say it was "never good for one-to-one private conversations". I've been using it for this exact thing for many years, and still find it the best option currently on the market for a variety of reasons (e.g. unlike Signal it doesn't limit the number of devices which are linked to the same account).
by lmeyerov | 2025-05-28 20:56:04+00:00
I like to think about maximizing throughput while minimizing attention: both matter, and the proposal here is expensive on my attention. Optimizing per-task latency matters less than enabling longer non-interactive runs.

For parallelism, I'm finding it more productive to have multiple distinct tasks that I multitask on and guide each to completion. Along the way I improve the repo docs and tools so the AI is more self-sufficient the next time, so my energy goes more to enabling longer runs.

Ex: One worker improving all docs. I can come back, give feedback, and redo all of them. If I'm going to mess with optimizing agent flows, it'd be to make the repo style guide clearer to the AI. In theory I can divide docs sections and manually run sections in parallel, or ask for multiple parallel versions of it all for comparison... But that's a lot of overhead. Instead, I can fork the repo and work another another non-docs issue in parallel. A. Individual task is slow, but I get more tasks done, and with less human effort.

I'd like tools to automate fork/join parallelism for divide-and-conquer plans, and that feels inevitable. For now, they do fairly linear CoT, and easier for me to do distinct tasks vs worrying about coordinating.
by HenryBemis | 2025-05-28 20:56:29+00:00
Pro-tip: when I am somewhere and I'm gonna drop a massive #2, and/or I got 2-3 litres of liquid in me, I run the faucet on the bathroom sink at 10-15% of its max flow to cover the noise. This also helps if the house has two floors/levels, and the pipes run in the open. So I 'mask' when the 'output' starts and ends.
by wtallis | 2025-05-28 20:57:06+00:00
The ability for an app to keep running without a window was a godsend back in the days when we were all running on hard drives and large apps had splash screens to amuse you during their multi-second launch process. If you were done with a particular document but not done with the application as a whole, you could simply close the window and next time you needed to open a document in that app you wouldn't have to sit through the splash screen again. Unless it was an app with a cross-platform GUI that didn't support this model.

Nowadays, apps closing themselves or being closed by the OS automatically is reasonable in a lot of cases, but Electron apps tend to hit the cases where it still is valuable to operate with the classic NeXT/OS X document-based app paradigm.
by archagon | 2025-05-28 20:57:33+00:00
Doubt it. In my Bluesky and Mastodon feeds, there are plenty of intelligent and interesting people who will never return to Twitter under any circumstance. So I don't know if Twitter will ultimately "win" in terms of overall numbers, but the signal I care about simply won't be there. I suspect it will turn into a zombie social network like Facebook: full of trolls, bots, and annoying people trying to go viral.
by TeMPOraL | 2025-05-28 20:58:16+00:00
It was my solution too, and I liked it, but over the past decade or so, I noticed that even when I remember where to find some stuff, hell, even if I just remember how to find it, when I actually try and find it, it often isn't there anymore. "Search rot" is just as big a problem as link rot.

As for being still alive, by that measure hardly anything anyone does is important in the modern world. It's pretty hard to fail at thinking or remembering so badly that it becomes a life-or-death thing.
by create-username | 2025-05-28 20:58:52+00:00
It’s always a good moment to remember that it must still be proven that ice creams are not good for your health.

The nutritionists who have tried to prove that evident theory have all admitted that the health benefits of the ice cream are akin to those of the yogurt.

Edit: even though, I’m avoiding emulsifiers like e-471, e-472 and so on.

https://news.ycombinator.com/item?id=35562705
by const_cast | 2025-05-28 20:59:35+00:00
Most workers have learned that going above and beyond almost always backfires. Employers don't value long-term employment relationships, so working hard just results in you raising the bar for yourself, with no benefit.

A lot of these people were once starry-eyed highschoolers and college students who got burned too many times. They put in the time, the effort, the blood, sweat and tears, and what did they get? No thank you, just more work. Eventually they can't live up to the standard they themselves set, and they're let go. Meanwhile, bozos show up late and half-ass everything and then that becomes their expectation.

Nobody wants to be Atlas.
by trinix912 | 2025-05-28 20:59:52+00:00
The conflict was due to it being a federation of several culturally quite different nations. When Tito died, the politicians that replaced him started heavily pushing nationalist ideologies amidst the 1980s economic crisis (which was not limited to Yugoslavia).

PS. You're arguing with people who lived there. How can you be so certain you know better than those of us who saw it first hand? And I'm in no way saying it was a perfect system, btw.
by bsder | 2025-05-28 21:00:23+00:00
> They're also the kids that are least likely to improve despite any number of things that might happen in the school, including basically unlimited educational funding.

This is not true.

The Gates Foundation, whom I generally dislike quite intensely for being busybody carpetbaggers who muck things up and disappear, documented this all very well. 2 teachers and 15 students per class works. Period. Every single program that did this showed significant improvements with the most improvement in the lowest performers.

The biggest problem, of course, is that when you ask for money for 2 teachers per 15 students everybody loses their minds (except the rich, of course, who understand the correlation perfectly). Every single one of the programs that the Gates Foundation documented as working were eventually shut down because of lack of funding.

People only say they want better education. Their actions say otherwise.
by dfxm12 | 2025-05-28 21:00:37+00:00
Booze is regulated unevenly from state to state, which is a weird aspect in America that could make it hard to grow depending on where you are in the country.

Outside of that though, I don't think prohibition has too much of the blame as consolidation is the natural conclusion under capitalism. Breweries that get to a certain level get bought out by multinational corporations. I was in Asheville, NC a few years ago. It was kinda funny to me that one mark of fancy restaurants was to boast about their pre-ABInBev Wicked Weed bottle lists (I'm more a fan of Burial Beer either way).
by z2 | 2025-05-28 21:01:35+00:00
Hardware: any computer from the last 20 or so years.

Software: client of choice to https://openrouter.ai/deepseek/deepseek-r1-0528

Sorry I'm being cheeky here, but realistically unless you want to shell out 10k for the equivalent of a Mac Studio with 512GB of RAM, you are best using other services or a small distilled model based on this one.
by asdff | 2025-05-28 21:01:46+00:00
They really can't game for several hours though. I have an m series. If you actually are hitting the cpu the battery life is basically the same as a laptop from 10 years ago in that situation where you are bound to your charger or its dead in 2 hours. The efficiencies of this stack come from it being able to throw things onto the e cores. Most (all?) games are not written in a way to benefit from that paradigm, they might still be hammering a single cpu.
by cubefox | 2025-05-28 21:02:02+00:00
There are at least two meanings of "undecidable". The one, from computer science, is discussed in the blog post. The other, from formal logic, is a synonym to "independent". A proposition (not property) is independent of some axiomatic theory with respect to a proof system, if and only if the proposition can neither be proved nor disproved in that theory.

For example, the continuum hypothesis is independent of ZFC. Another way to express this is to say that the continuum hypothesis is undecidable (in ZFC).

Kurt Gödel used this sense of "undecidable" in his famous paper "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I". ("On formally undecidable propositions in Principia Mathematica and related systems I")

Are these two meanings of "undecidable" related in some way? I guess probably yes. But I'm not sure how.
by const_cast | 2025-05-28 21:02:23+00:00
Stock price is pretty much completely unrelated to the performance of a company because the vast majority of investors have no idea what the fuck is going on in the company.

Look at Tesla. They're doing extremely poorly right now and have been for about a year, and if you look at their stock price you wouldn't think that. They're valued more than, like, every other auto manufacturer combined. Looking at that you'd expect them to hold 50% of the market in all markets they're in. But they don't get anywhere close to that.

The stock market is just gambling. You can't see the other person's hand.
by geverett | 2025-05-28 21:02:24+00:00
I'm reminded of this Atlantic article that says 'You can try to micromanage your child’s care—whether they eat sugar, whether they get screen time, whether someone insists that a child apologize after snatching another kid’s toy—or you can have reliable community help with child care. But you can’t have both.'

https://www.theatlantic.com/family/archive/2025/01/intensive...

Personally I'm ok with flexing my standards a bit for the sake of having a great community - I'm on the cleaner side but I don't mind doing a little extra tidying as long as it feels like a balance. I've lived with my friends and their kids and while we don't have the 100% the same parenting styles we all respect what the others bring to the table.
by bveiseh | 2025-05-28 21:04:22+00:00
Appreciate it!

The agents will hone in on a potential vulnerability by looking at different signals during its testing, and then build a POC to validate it based on the context. We don't have any data to share publicly yet but we are working on releasing benchmarks soon.

Everything runs in a private VPC and data is encrypted in transit and at rest. We have zero data retention agreements with our vendors, and we do offer single tenant and private cloud deployments for customers. We don't retain any customer code once we finish processing it, only the vulnerability data. We are also in process of receiving our SOC 2.

Patches are not auto applied. We can either open up a PR for human review or can add the necessary changes to a Linear/Jira ticket. We have the ability schedule assessments in our platform, and are working on a way to integrate more deeply with CI/CD.