skysight-inc/HackerNews huggingface dataset:
Open-Source, Language-Agnostic Mutation Testing Tool Using LLM Agents
Hey HN,

Check out our open-source, language-agnostic mutation testing tool using LLM agents here: https://github.com/codeintegrity-ai/mutahunter

Mutation testing is a way to verify the effectiveness of your test cases. It involves creating small changes, or “mutants,” in the code and checking if the test cases can catch these changes. Unlike line coverage, which only tells you how much of the code has been executed, mutation testing tells you how well it’s been tested. We all know line coverage is BS.

That’s where Mutahunter comes in. We leverage LLM models to inject context-aware faults into your codebase. As the first AI-based mutation testing tool, Mutahunter surpasses traditional “dumb” AST-based methods. Our AI-driven approach provides a full contextual understanding of the entire codebase, enabling it to identify and inject mutations that closely resemble real vulnerabilities. This ensures comprehensive and effective testing, significantly enhancing software security and quality.

We’ve added examples for JavaScript, Python, and Go (see /examples). It can theoretically work with any programming language that provides a coverage report in Cobertura XML format (more supported soon) and has a language grammar available in TreeSitter.

Check it out and let us know what you think! We’re excited to get feedback from the community and help developers everywhere improve their code quality.
no one will ever be able to convince me that i should feel bad for using https://libgen.is/
The problem is the conflation of at least three different working definitions of "undefined behavior."

Strictly speaking, undefined behavior only means that the Standard does not impose a requirement.

But what many people mean is that the ramifications are outside the scope of the language or are unpredictable.

Writing through an invalid pointer is perfectly definable. The standard could easily specify solely that the write to the memory location indicated in the pointer will be attempted, but that whether the write succeeds and what second- and third-order effects result from such a write are dependent on the environment, including operating system.

Boom. Not undefined behavior. But still potentially dangerous behavior with unpredictable results.

(In my view, this is in fact what ANSI C requires for this type of "undefined behavior," but many others do not agree.)
Thank you for suggesting it!
That shows such a poor understanding of exponential growth that it makes me think this person should not be teaching physics.

First of all, exponential growth basically doesn't ever actually occur in nature: everything has a carrying capacity. Sometimes the carrying capacity is so high it doesn't matter, but clearly in the case of the bottle it does. The growth will slow down significantly as the bacteria approaches the capacity of the bottle. The bottle could easily be half full as early as 11:30 as the available food for the bacteria starts becoming scarce enough to limit its growth.

Secondly, 2^60 bacteria would weigh about 1,100 kg. Assuming the bottle is 1L (larger than a standard wine bottle), you'd need over 1000 bottles to house that much bacteria. So no, if it doubles every minute, then the bottle has been full for the last 10 minutes.

I'm being generous and assuming some process is keeping the flask continuously well-mixed, otherwise you don't even have exponential growth in the ideal case (it's limited by the expanding surface area of the colony).

You might think I'm being pedantic, but the entire exercise is to put some "real world" context to blow the minds of people and illustrate how exponential growth "really" works. But that's not how exponential growth really works in the real world, at all. Instead it's just taking a model of spherical cows to an absurd conclusion that only serves to further confuse people's understanding of the world. It's like those awful anti-intuition-pumps (intuition sinks?) about stretching all your DNA from end-to-end.
Whaaa? Maybe they should donate to, I don't know, the Computer History Museum rather than allow speculative collectors to pick the bones of historical artifacts.
I agree YAML is awful. JSON is ok if you allow comments at least (for configuration use cases). There are a couple of variants that do: JSON5 and Jsonnet. I like JSON5 for it's relative simplicity but Jsonnet has much better ecosystem support so I'd probably go with that.

XML is just terrible though. Unless you have a proper schema everything is entirely untyped (tbf the schema support is pretty good). But more to the point it just doesn't map to normal programming language objects cleanly. It's a document markup language, not an object encoding.

That means there's an annoying mismatch when parsing for 99% of use cases.

Couple that with the crazy verbosity and the weird confusing features like namespaces... I think I would rather use YAML to be honest, even though it is really bad.

Since YAML is a superset of JSON I sometimes actually use JSON with `#` comments, and read it as YAML. Only downside is nothing checks if you are using that format correctly.
I'm not sure about the justice aspect, but I wouldn't underestimate how powerfully addicting some of these drugs can be to the point where it can override your "personal responsibility". Same thing with any substance like alcohol or cigarettes, gambling, over-eating, etc. It's very easy to slip into abuse and an addictive response and susceptibility isn't universal.
Amusing:
https://news.ycombinator.com/item?id=10143620

The original author probably should have done everyone a favor and just killed the site altogether.
I imagine they save the data in case there's a question about a verification. Then they can go back to the archive and say we got these images, we took steps X and Y to validate them, so we were good. If they destroy the verification images, they wouldn't be able to defend a verification claim. OTOH, they wouldn't have to worry about the security of storage for those images. (They'd still need to worry about security of the images during processing)
I'm guessing the option to block AI bots using WAF rules has been available since last year, but this simple toggle on/off option is recent (though, all it does is create a WAF rule for you, which seemingly counts towards the WAF rule limit)
gRPC gives you multiplexing slow request over 1 TCP connection, which reduces all the work and memory related to 1 socket per pending request; gRPC means you don't have to put the string name of a field into the wire, which makes your messages smaller which puts less stress into the memory system and the network, assuming your field values are roughly as large as your field names.
Issues with 1.1.1.1 public resolver in multiple locations
How is the weight for the Oasis in one hand?
A non-expert workflow for photoshop is editing images in the CMYK colour mode and handling the use of specials such as pantone colours or custom ink mixes.

Photopea has a CMYK mode, which is great, but despite the document being in CMYK mode the swatches adjacent are RGB. A useful approach would be to automatically convert RGB swatches to the destination colour space, since that's how they look when one uses them.

I also noticed the layer blending modes were undertaken in the RGB colour space rather than CMYK despite the document colour mode setting. This difference produces different results especially if using the transparency modes screen and multiply which behave a fair bit differently in the CMYK colour mode versus the RGB colour mode. A person that opens the Photopea PSD in photoshop would thus see a different result which the Photopea user did not intend.

Next I noticed that the channel management for the CMYK plates and specials provided no ability to set or manage the specials plate. For example when utilising a pantone colour one would need to establish an additional plate and input the LAB value for the ink, there didn't seem to be any way of doing that, however it supported what was already in the sample PSD file I loaded into it.

I didn't delve into colour profiles and control over dot gain, but that is another aspect which is usually absent in Photoshop alternatives.

Also just rehashing that the above is not expert-level, anyone in the industry would be familiar with these concepts and find themselves needing to manage them for production output. This is what I mean when I say to people "you don't need photoshop, get something better", non-industry people don't need to be fussing over whether the document intention should be perceptual or absolute (or seldom used middle-grounds), what is the output LPI, or device pixel requirements, what byte order is supported by the RIP, what their ink weights maximums are, or adjusting screen angles to deter plate mottling.
Minimalist Data Wrangling with Python [Online Book]
He is generally considered to be responsible for creating modern combinatorics.
I lost 50 pounds while drinking only Soylent for a few months. It was a weird experience
No disrespect to the other developers on the team, but James Newton-King is no ordinary developer.
I imagine maintenance is cheaper on the Prius.
> But aren’t you penalizing the secular tech entrepreneurs of Israel by divesting from anything related to the country?

No one is entitled to your or my business. A boycott is about voting with your wallet. It's not exactly withholding humanitarian aid as a famine looms.

If such companies feel that they are being unfairly singled out, they're free to demonstrate their opposition to the the actions of their government.
Note that his tweets indicate that he does not believe it to be an ASAT test.

https://x.com/planet4589/status/1806333953617334688
Consider what you're giving up by staying. Could your time and energy be better spent on a new venture?
Direct Instruction. Most underrated technology since the 70s.
The marketing page looks AI generated
I am not so judgemental to assume that I am more intelligent than other people.

I may have a masters degree in Psychotherapy and an IQ of 126 but I consider all human beings equally intelligent.

I can talk psychotherapy all day long and appear to be intelligent but I am not.

I consider my intelligence to be solely attributed to the amount of books I have read and that goes for all professions.

The average man uses 1500 words to tranverse life, that is all he needs. We all learn another 1500 words that are directly associated with our individual professions.

Just because I know all the names of the psychoanalytic defence mechanisms and the man down the street does not, that does not make me more intelligent that him.

He for instance maybe a gardener and be able to name every tree in the UK whereas I could not.

Intelligence is not just about how much brain power we appear to have.

I consider a simple footballer to be intelligent becauase of his spacial awareness, hand to eye coordination and athletic skills etc. He may not have a degree but he sure is intelligent.

It is easy to stroke our own ego's when we were fortuante enough to be able to study to a higher educational level. Thats all it is, ego stroking!
> I'll ask it a question about temporal logic or something, it'll say something that sounds accurate but is ultimately wrong or misleading after looking through traditional documentation, and I can fight with it, and see if it refines it to something correct, which I can then check again, etc. I keep doing this for a bunch of iterations and I end up with a pretty good understanding of the topic.

Interesting, that's the basic process I follow myself when learning without ChatGPT. Comparing my mental representation of the thing I'm learning to existing literature/results, finding the disconnects between the two, reworking my understanding, wash rinse repeat.
Of course. Google has every incentive to make life difficult for ff users, while CF doesn't.
https://thehill.com/policy/3594879-gop-rails-against-irs-fun...

No need to be so cynical.
Exactly the opposite of my long-term experience – Slack search is good enough that it’s my first port of call for information, and regularly finds me the right answer. It’s a better information repository in practice than any other system I’ve used at work. That is kind of sad, of course I think “proper” documentation is better, but such is life.
I really hate SAX. Callback based parsing is really unergonomic, and means you always have to code an explicit state machine. You can't use your control flow as implicit state.

It's like choosing to use `.then()` instead of `await`. I seriously don't understand why it is so popular in the XML world when pull based parsing is much easier to use and surely just as efficient? Just brain damaged Java design patterns maybe?
clickable link https://github.com/codeintegrity-ai/mutahunter
Zulip is open source and you can self-host it.
https://thehill.com/policy/3594879-gop-rails-against-irs-fun...

>During the extended voting session of the Senate that lasted well into Sunday, Crapo unsuccessfully filed an amendment to the bill to explicitly prevent the IRS from using the additional enforcement funding on taxpayers who earn less than $400,000 per year.

>While the amendment was shot down by Democrats in the Senate,
aparatchiks we called them where i am from
So unironically the answer to your first question is yes. After reading your other comments in this thread now I completely understand your perspective, and I hate Apple even more for it. Apple literally coddles their users to the point where they have created likely millions of users like yourself. You expect everything to conform to the Apple way, instead of you adapting to the ecosystem you are in. Apple specifically forces developers of their ecosystem to follow specific rules when it comes to installation, UX, dependencies, the whole 9 yards. It's why a lot of game developers simply avoid Mac entirely as a platform. Because it takes a tremendous amount of effort to conform to Apples silly requirements, for less than 1% user base on average (from a game developer perspective entirely).

But then you may ask, well if Apple has such a standard for everything, why not everything just conform to that and we make everything easier... It's not that simple see: https://xkcd.com/927/

It's not that installing and running a game is 'so difficult' it's that you're expecting it to be as simple as everything else you do in your Apple ecosystem. Because that's how Apple wants it. It's entirely a perspective issue forced upon you by the ecosystem you use.

The end result for all this is all the jokes we see about children expecting everything to be touch screen, or having no idea what to do with a controller when they see one. As humans we adapt to our environment, but if we're always forced into the same systems, we start to expect every system to work that way and we stop adapting.
I use jooq with testcontainers in Kotlin just fine.
I think you call instant noodles "Ramen" in US. Never heard of rice instant noodles before .. Typically [1]:

> Noodle production starts with dissolving the salt, starch, and flavoring in water to form a mixture that is then added to the flour. The dough is then left for a period of time to mature, then for even distribution of the ingredients and hydration of the particles in the dough, it is kneaded. After it is kneaded, the dough is made into two sheets compounded into one single noodle belt by being put through two rotating rollers. This process is repeated to develop gluten more easily as the sheet is folded and passed through the rollers several times. This will create the stringy and chewy texture found in instant noodles.

[1]: https://en.wikipedia.org/wiki/Instant_noodles#Production
> But I'd argue that the single worst part of gRPC is the impenetrability of its ecosystem

I have had the opposite experience. I visit exactly two repositories on GitHub, which seem to have the vast majority of the functionality I need.

> The thing is so packed with features and behaviors and temporal coupling and whatnot that it's difficult to produce a compatible third-party implementation.

Improbable did. But who cares? Why do we care about compatible third party implementations? The gRPC maintainers merge third party contributions. They care. Everyone should be working on one implementation.

> features arguably have a poor cost/benefit tradeoff for anyone who isn't trying to solve Google problems.

Maybe.

We need less toil, less energy spent reinventing half of Kubernetes and half of gRPC.
Taking a step back to recharge sometimes can be the answer for many things...
I think he means SAX parsers and XML were all the rage 20 years ago. Today, not so much thankfully!
Now the grandparent comment got [flagged]. Posting again for posterity:

>Hacker culture is inherently antiauthoritarian, therefore queer and leftist.

Best example of Poe's Law that I've seen on HN in ages. Leftism is hilariously authoritarian, and hacking culture never had anything to do with sexuality/gender.

>If you have a problem with queer leftists in your hacker community, you are the problem and need to leave.

Yes, I have a problem with totalitarian, authoritarian fundamentalist leftist. If you're OK with them in your hacker community, you are the problem and need to leave.
I don't think it s a black or white on opioids. But more of a being honest in the marketing and recommended dosages. For instance, Morphine is an opioid that often gets used in end-of-life care, this is a 90 year old on hospice actively dying from terminal cancer, so morphine to ease the suffering. No reason to not give them opioids. However, before the opioid crisis became a known crisis, my dad who is a disabled vet would get like 300 pills mailed to him a month, at the time to be indefinite, from the VA. This was when marketing was telling everyone percocet and vicoden were safe and non-addictive.

These heavy hitters do have a purpose. But it should as narrow as necessary.
Surprised to see people talking about spudguns firing whole potatoes! I didn't even know that was a thing. The spudgun I had when I was young just fired small parts of a potato, with a whole potato enough to last for ages. I think it was the Lone Star Spudmatic. Not only safer but less wasteful.

FWIW, it looks like Wikipedia differentiates
the smaller spudgun from the larger potato cannon: https://en.wikipedia.org/wiki/Spud_gun vs https://en.wikipedia.org/wiki/Potato_cannon
You mean articles with headlines like “ Supreme Court Nukes Hunter Biden Laptop Conspiracy in Brutal Ruling” arent actually substantive? https://newrepublic.com/post/183140/supreme-court-hunter-bid...
El Chapo is crying.
Sorry, I meant it more like UK is in many regards more similar to the US, than to the rest of Europe. I mean stuff like common law vs civil law, the way you start/grow your business, access to financing, etc.
Another point of view is, don't use Bazel. In my experience, Gradle is less of a headache and well supported.
https://www.erowid.org/experiences/subs/exp_Xenon.shtml

Erowid has some other records of it. Sounds like nitrous but probably better. I wonder if humans evolved to react this way to certain gases or if its a coincidence.
I’m guessing that the fact they are still up at the ISS when they should have returned to Earth at this point.
So natural, yet the specific example you provide is broken
An interesting perspective
thanks for letting me know, I've changed the title of the post to "Making the Kinopio Source Code Available"
From only 9 days ago from HN:

'The missunderstood Kessler Syndrome'
https://news.ycombinator.com/item?id=40716235
I thought I wrote it nicely but I guess not

I can’t think of a more powerful engineering endorsement than saying he did a Herculean effort to manually keep it all working

Basically we’re all screwed now cause he was holding the whole thing up
Very good comment. In order to effectively use LLMs (I use ChatGPT4 and 4o), you have to be skeptical of them and being a good AI skeptic takes practice. Here is another technique I've learned along the way: When you have it generate text for some report you are writing, or something, after your initial moment of being dazzled (at least for me), resist the temptation to copy/paste. Instead, "manually" rewrite the verbiage. You then realize there is a substantial amount of BS that can be excised. Nevertheless, it is a huge time saver and can be good at ideation, as well.
To develop a trading EDGE. You're looking for a market inefficiency. The model is not dependent on perfect data or even accurate data. The model is even tested with having random prices... by using a FILTER to see if it still holds.

Then, you're going to paper trade it. Then live trade it. Historical data can only give you a directional indicator... is your 'thesis' of market inefficiency... directionally accurate.
Looks like the Clara Color doesn't have physical buttons?

https://us.kobobooks.com/collections/ereaders/products/kobo-...

Kobo changes their lineup constantly though, the Libra 2 I have (with physical buttons) is no longer available.
OpenAI Builds AI to Critique AI
Is HHMI’s Janelia Farm also following similar strategies?
Absolutely, have you ever looked at the number of ingredients in instant noodles?

I've started to looked at packaged food ingredients and now avoid foods with added phosphates and nitrates.
We have no data on such solutions and we keep building bigger, taller, more complex structures so there may be some resistance to new solutions, but I'm sure someone is working on them, as we reach the limits of the old ones.
People that see programming as math get really excited about recursion.

Everyone else doesn't care, shouldn't care.
Agree that the Oasis is awesome and worth the money. It’s also water resistant, so I can use it in the sauna/steamroom (my favorite place to read without distractions nowadays!)
https://www.cloudflarestatus.com/incidents/4qndvvfbh4w5
Its almost like they arent just a political body.

Nah… thats unthinkable
Superior Cognitive Flexibility in Players of First Person Shooter Games (2010)
Go pretty much only does static linking. The whole library does not get linked for a single function
The act of sending a dasher to a business they don't have an explicit relationship to deliver their food -- totally fine. The app not making it clear that the restaurant isn't partnered with DoorDash and that they're placing a pick-up order and delivering it to you -- not fine.

Making "damaging the restaurant's reputation" a thing is absurd in all aspects. By the restaurant owner's own logic picking up my own order without an insulated bad shouldn't be allowed -- after all what if I get home and the pizza isn't as good because it's cold? That could hurt their business. Utter nonsense. Do we now have to decide whether "it's fair" that something potentially hurts their reputation? Is a bad review fair if it's about the food, but unfair if it's about the wait?

What DD did is bad because they impersonated the other business, not because people got soggy fries. You stop getting to curate the dining experience the moment they walk out your door.
I'm surprised you consider that construction "simple". Recursive relationships like that are used for brain teasers and even a famously absurd joke in Spaceballs.

Darth Helmet: I am your father's brother's nephew's cousin's former roommate.

Lonestar: What does that make us?

Darth Helmet: Absolutely nothing.

In fact, standard English tends to avoid recursive relationships with specialized kinship terms based on ordinals like first cousins, first cousins once removed, great-, and so on.
My non-technical 72 year old mother, uses linux mint just fine. Mainly for internet browsing and emails. Which I assume is the extent of computer use by the majority of people.
Not always. The most common counter example is beta features which customers opt into, controlled by the product team. It's too early for that to be part of the license, especially because pricing often hasn't been decided yet.

But there's also a surprisingly common situation with big customers who want to limit and control certain UI updates so they can ensure that employees are trained appropriately.