skysight-inc/HackerNews huggingface dataset:
First off, congratulations folks! It’s never easy getting a new product off the ground, and I wish you the best of luck. So please don’t take this as anything other than genuine constructive criticism as a potential customer: generating tests to increase coverage is a misunderstanding of the point of collecting code coverage metrics, and businesses that depend on getting verification activities right will know this when they evaluate your product.

A high-quality test passes when the functionality of the software under test is consistent with the design intent of that software. If the software doesn’t do the Right Thing, the test must fail. It’s why TDD is effective: you’re essentially specifying the intent and then implementing code against it, like a self-verifying requirements specification. When we look at Qodo tests in the GitHub MRs you’ve linked, it’s argued that a high-quality test is defined as one that:

1. Executes successfully

2. Passes all assertions

3. Increases overall code coverage

4. Tests previously uncovered behaviors (as specified in the LLM prompt)

So, given source code for a project as input, a hypothetical “perfect AI” built into Qodo that always writes a high-quality test would (naturally!) never fail to write a passing test for that code; the semantics of the code would be perfectly encoded in the test. If the code had a defect, it follows logically that optimizing the quality of your AI for the metrics Qodo is aiming for will actually LOWER the probability of finding that defect! The generated test would have successfully managed to validate the code against itself, enshrining defective behavior as correct. It’s easy to say that higher code coverage is good, more maintainable, etc., but this outcome is actually the exact opposite of maintainable and actively undermines confidence in the code under test and the ability to refactor.

There are better ways to do this, and you’ve got competitors who are already well on the way to doing them using a diverse range of inputs besides code. It boils down to answering two questions:

1. Can a technique be applied so that a LLM, with or without explicit specifications and understanding of developer intentions, will reliably reconstruct the intended behavior of code?

2. Can a technique be applied so that tests generated by a LLM truly verify the specific behaviors the LLM was prompted to test, as opposed to writing a valid test but not the one that was asked for?
It's certainly more visible in west coast cities where the homeless are moving to get services(and less winter).
He also said cars would drive themselves in 2017, so you probably shouldn't listen to anything he has to say. https://fortune.com/2015/12/21/elon-musk-interview/
Although being slow, Python has a saving grace: it doesn't have a huge virtual machine like Java, so it can in many situations provide a better experience.
Literacy is certainly part of it... but several have suckered me into calls [that took an order of magnitude longer] simply by stating they didn't like to type. In the plainest terms: they'd rather waste our collective time to spare their individual effort.

I don't mean in terms of bandwidth. "Real words" can indeed clear things up. I truly mean they didn't want to write one question, read the response, and carry on. Mirroring this mundane exchange to a call makes for laziness I only tolerate because of a paycheck.

My pet theories/reasons include poor vision and passive-aggression. An extremely soft power play, forcing synchronous communication when it's truly unnecessary.

Realistically I know they just want to bond... but I'm here to be paid/keep us profitable. We'll manage with some emotional distance, I promise. Trying to force things often has the opposite effect. I'm more friendly to those who don't appear to have ulterior motives!
It’s funny you mention eggs because I live in one of the highest cost of living areas in the country with legally mandated cage free eggs and Trader Joes has them for $2.99 a dozen when people keep complaining about $6+ a dozen in the rest of the country (which is what I’d pay if I wanted the premium organic free range shit). When a famously expensive grocery store for yuppies has cheap eggs in Southern California, I figure the OP is right in their word choice: it’s a vibe-cession.

I also shop mostly at ethnic grocery stores (Superking, Ranch 99, H mart, etc) and IMO the problem isn’t inflation but general consolidation across many industries. I’m always shocked when I travel to less populated regions (even in California) and see their grocery availability, usually dominated by a single major chain like Albertsons or a local one like Publix. SoCal has competitive prices for groceries despite the high cost of living because there are so many people (and immigrants) to support many competitors, none of whom have real pricing power. My grocery budget hasn’t gone up significantly in the last five years despite switching to Costco for my meat rather than the cheaper halaal butcher.

Eggs are always more expensive at the ethnic stores here but cheap at TJs because they use it as a competitive loss leader. A lot of the country can’t support such competition so there’s zero incentive for suppliers to drive down costs.
on https://aider.chat/docs/leaderboards/ Nova Pro is on par with Yi Coder 9B Chat.
Which is not very inspiring.
What are you talking about?

Anecdotal evidence alone is worthless, but paired with statistical evidence it isn't. And we have that evidence.

Also: you "not knowing" a homeless person is itself anecdotal and not only that: it is actually worse than the evidence you attacked.

The critiqued evidence is about how many of X a person sees. That isn't perfect, as it depends and how observant that person is and how much they go out (and where). Your counter of "not knowing" is by magnitudes worse, since on top of the previous flaws your number now also depends on how sociable you are towards homeless people (given the sentiment displayed I guess: not at all).

So not only is your criticism wrong, you are actually at fault of the very method you critizised — only to a much higher degree.
The economy can be soaring and the average person still struggling... Alot of the economy has been more and more centralized. Stocks and real estate might be at all time highs, but thats not liquid to the average joe.
I feel like this (and other comments like it in this thread) is getting at an important truth that is not yet widely appreciated - could you unpack your comment?
There could be an incentive to produce even more 'terrible books' with a shorter or more expensive copyright window.
> I could totally see generative AI add a ton more variety to crowds, random ambient sentences by NPCs (that are often notoriously just a rotation of a handful of canned lines that get repetitive soon), terrain etc., while still being guided by a human-created high level narrative.

Yes, sure, but that's not what I was responding to. AI adding detail, not infinite quest lines, is possibly a good use case.

> Worst case, you get a soulless, poorly written game with very eloquent but ultimately uninteresting characters. Some games are already that today – minus the realistic dialogue.

Some games, yes... why do we want more of those? Anyway, that's not the worst case. Worst case is incomprehensible dialogue.
Ok I see the final rule does add definitions of "personal collection," so that would cover me. "Occasionally," is not defined, so that's vague. What if I sell 5 at once? What if I sell 1 a week for 5 weeks, is that still occasional? Up to the ATF to decide.

After reading the affidavit, it was written before the final rule. The affidavit was written 3/6/24 and the final rule didn't take effect until 30 days after 4/10/24. How do you square that?

https://www.atf.gov/firearms/final-rule-definition-engaged-b...

From the affidavit:

"9. Your Affiant knows the term "dealer", as defined in Title i8 USC 921(a)(11) of the
GCA, means (A) any person engaged in the business of selling firearms at wholesale or retail; or (B)
any person engaged in the business of repairing firearrns or ofmaking or fitting special ba:rels, stocks,
or trigger mechanisms to firearms; or (C) any person who is a pawnbroker"

Change of the rule:

"Section 12002 of the BSCA broadened the definition of “engaged in the business” under 18 U.S.C. 921(a)(21)(C) to all persons who intend to “predominantly earn a profit” from wholesale or retail dealing in firearms by eliminating the requirement that a person's “principal objective” of purchasing and reselling firearms must include both “livelihood and profit.” The statute now provides that, as applied to a dealer in firearms, the term

“engaged in the business” means “a person who devotes time, attention, and labor to dealing in firearms as a regular course of trade or business to predominantly earn a profit through the repetitive purchase and resale of firearms.” However, the BSCA definition does not include “a person who makes occasional sales, exchanges, or purchases of firearms for the enhancement of a personal collection or for a hobby, or who sells all or part of his personal collection of firearms.” 18 U.S.C. 921(a)(21)(C)."

This matters because his firearm sales weren't his livelihood and could be argued it was a hobby. He made, I believe, $250,000 working for the state of Arkansas as his livelihood.
My humble experience is different. There is no surer way to create shitty, incoherent code, flaky tests, architecture mistakes, and Rube Goldberg machines, than when trying to satisfy various people in your org.

Junior stays a junior in my book until they learn to "satisfy code" or to bring elegance instead of primarily satisfying specific people.

If Henry Ford was listening to customers, he would start breeding a faster horse. That perfectly shows that ego can have a good side.

Re ego, I think maybe the vocabulary choice is misaligned here. Anyway, these days, "team player" is becoming a sarcastic innuendo.
If you have a good relationship with your kids, give them (or trusts for them) the money as you are aging (and before the 5-year look-back period).

Then, your family will have a choice as to whether to spend that money on you/your spouse or to not spend it on you and to rely on Medicaid.
I had exactly the same thought (though was reluctant to say it because I have literally zero evidence and hence it is 100% idle speculation)
$374k at say 7% interest with average property taxes and insurance will be around $4.2k/month. not quite $60k/year but not too far off…
Here’s a nice visual to put that into context (spoiler alert, while the bottom has seen gains, they’re laughable in the overall context and are not rising at the rate the top is seeing)

https://www.visualcapitalist.com/wealth-distribution-in-amer...
Ethanol has its own downsides.

When thinking about the explanations, keep in mind that leaded gas adoption was near-universal, including economies where "companies" or "competing fuel" weren't really a thing in that sense - e.g. USSR. They still went for leaded gas because of its objective benefits.

And even today, we still use leaded gas for aviation...

It is a horrible trade-off either way, but it was not done for no gain at all.
Mercedes-Benz tests solar paint it says could deliver 20k kms range a year
Versus people who live in the US in this thread who told you otherwise?
https://archive.ph/w2iS9
Yeah, my best guess is they're probably including the previous N frames as context into generating the next model. This works to preserve continuity over a short amount of time (as you say, briefly looking at the ground and then back up), but only a short period of time.

For these kinds of models to be "playable" by humans (and, I'd argue, most fledgling AI agents), the world state needs to be encoded in the context, not just a visual representation of what the player most recently saw.
> 1. can Europe maintain its social benefits and living standards with such anemic growth (that is, is the goal of more humane and equal society compatible with a robust economy)

This is already being answered by reports like the one in the FT

> 2. can the U.S. preserve its competitiveness and overall GDP performance if it imposes more regulations/taxes designed to reduce income disparities, provide more social services, etc.

No, because it will turn the US into a country like all the ones mentioned in question 1
How would you know that your 6 is equivalent to the other guy's 8? Nobody knows. It's impossible.

There are also cultural differences to what "happiness" even means.

Any study about happiness is likely to be bogus.
That's... a bad thing
> the perspective is supposed to be the assholes you identify in each category where you don't see yourself

There is literally a "Me" in the graph.

This gives me a little Zizekian vibes, where it's intentionally trying to confuse and shock in order to shift your perspective without you even realising it. I like it. The relabeling is just another form of understanding by interacting.
Where do you think the money comes from to pay for the military?
My takeaway: A lot of words to say nothing.
I gotta say, none of that would make me rather want to be dead.
> In an economy where you can easily deliver packages or drive uber, there will always be close to zero unemployment. This number stopped making sense a few years ago.

Part time employment is roughly where it was in absolute numbers (not even per capita) in 2009. https://fred.stlouisfed.org/series/LNS12600000

> In a high inflation environment, one has to consume "strongly" just to maintain the same standards of living.

You're wrong here too. Here's a chart that's inflation-adjusted: https://fred.stlouisfed.org/series/PCEC96

> If you underreport inflation

Ah I see... your entire worldview is predicated on just assuming different facts than what your interlocutors are. Feel free to substantiate this rather fundamental claim.

> That is pop psychology at its worst. Nobody cares about feelings, you just need to look at the numbers in a critical way.

"Look at the numbers in a critical way" is an interesting framing of "make shit up."
>Looking at the numbers

I'm reminded of this excerpt from 1984:

But actually, he thought as he re-adjusted the Ministry of Plenty's figures, it was not even forgery. It was merely the substitution of one piece of nonsense for another. Most of the material that you were dealing with had no connexion with anything in the real world, not even the kind of connexion that is contained in a direct lie. Statistics were just as much a fantasy in their original version as in their rectified version. A great deal of the time you were expected to make them up out of your head. For example, the Ministry of Plenty's forecast had estimated the output of boots for the quarter at 145 million pairs. The actual output was given as sixty-two millions. Winston, however, in rewriting the forecast, marked the figure down to fifty-seven millions, so as to allow for the usual claim that the quota had been overfulfilled. In any case, sixty-two millions was no nearer the truth than fifty-seven millions, or than 145 millions. Very likely no boots had been produced at all. Likelier still, nobody knew how many had been produced, much less cared. All one knew was that every quarter astronomical numbers of boots were produced on paper, while perhaps half the population of Oceania went barefoot. And so it was with every class of recorded fact, great or small. Everything faded away into a shadow-world in which, finally, even the date of the year had become uncertain.

---

Of course, I'm sure none of that would ever apply to our numbers, only to those of our opponents.
Wonderful article, and I really enjoyed rogue. I was first exposed to it when doing a port of BSD to the Data General NOVA and it was part of the distribution.

I would pick one nit with the history though, CRT computer terminals were absolutely considered a "whole screen" output device. This was because IBM had made the 3270 terminal which you could download a form to, the operator could fill it out (without any computer involvement) and then hit 'submit' and have a single transaction get sent to the mainframe.

Yes, there were a few "dumb" terminals that were simply paperless teletypes, but the majority had some level of 'forms' capability which involved cursor addressing, different character highlights (blinking/underling/bold), and usually some basic box drawing characters. All in the service of allowing a 'fill-in' form that someone could be trained on quickly without having to explain "computers" to them at all. When the computer started up, the terminals would light up showing a form.

In terms of the tree of life for games, I put rogue, Walter Bright's empire, and Civilization (also called empire in some cases) as the roots for so many video games in the game industry.
Another fair point. I think I'd use this:

make restore & (make -j 20 kernel && make reset upload)

But in reality, the kernel target actually calls make anyway, so it's just in there. Depends on the exact situation.
It's not technically 5 weeks, but I'm American and get 24 days (96% of 5 weeks) of PTO plus 7 company-chosen holidays. And I take every one of them, even if some are just "I'm not working the next 3 Fridays, because I want to putter around the house."

We start with 19 + 7 days and get 1 extra day per year of service until 5 years. (We also get a 4 week contiguous block once every 5 years.)
That's a shockingly good Socratic dialog that maps fairly well! I've not read your dialog in detail; nor have I read this blog article enough times to know if the mapping is correct. However, a quick glance shows that it's in the same ballpark!
I can't imagine a banking interaction where the amount of money is not a precise value.

What use cases motivated the testing of a slider?
there's so much nuance in an insurance company having billions left over every year after subtracting payouts from premiums! it's sooo complex and nuanced
I don't think it makes sense to allow derivatives of a function f to have a larger domain than the domain of f.

>which is why they’re defined via limits

They're defined via studying f(x+h) - f(x) with a limit h -> 0. But, your example is taking two limits, h->0 and x->1, simultaneously. This is not the same thing.
> Since there is a limit to how much data a symmetric cryptographic key can protect

Is this regulatory related or self imposed?
You obey it yourself. Have you ever bought anything that was on sale? Have you ever negotiated a price?
> Family needs to make $107,700 a year to own a home.

I don't see how that computes. The internet suggests that, on the high end, a family will spend around $10,000 on home repairs, maintenance, and insurance, which is in line with my experience. So almost $100,000 in yearly property taxes for a typical family home? Not a chance.

I suspect you are thinking of buying a home rather than owning a home, but homes are bought with wealth, not income, so an income figure here doesn't make much sense if that is, in fact, what you are thinking of. If that is not what you are thinking of, I, for one, don't understand what you are trying to say. This figure doesn't seem to have any applicability.
This was a really insightful comment!
Bedrock might be the best way to consume sonnet 3.5. So people setup and use bedrock while might try other hosted models like Nova.

On the other hand, not many are going to onboard bedrock if they don't have SOTA models in the offering.
Median age of first time home buyers is now 38, up from 35 last year.
> There's certainly a certain subset of the brain you can take out and still have no effect on consciousness

If we don't even know what consciousness is, how do you measure the effect on consciousness of removing arbitrary amounts of brain matter?
> In a high inflation environment, one has to consume "strongly" just to maintain the same standards of living.

Strong disagree: you can't spend what you don't have (or can't borrow), so spending is a vital signal.

There's a natural experiment that just happened that refutes your argument: after Covid, most of the world had high inflation (with some actual recessions), but the US did better than everyone else, with stronger American consumer spending helping the recovery (leading to more jobs to service the strong demand). Your argument falls apart when you consider why UK or French consumers consume as "strongly" to maintain their lifestyles.

> If you underreport inflation, then the average income will increase faster.

There's no one way to calculate inflation (since this depends on how you choose your 'basket'). But like I said, based on vibes, everything is awful.
It has nothing to do with the rest of generally good article. It's just a forced personal stab at disliked public figure. Ironically quite the opposite of egoless. Your politics are a big chunk of your ego. If you can't leave them aside and when dealing with technical stuff, then it's very much egocentric. Which surprise surprise is typically the case.
Why do you find 0xF.succ better than 0x10 in this case?
Why science remains culturally irrelevant
Generational Measurements of Success
Explore new styles of music with Suno V4
> It was a very different approach from the way you would approach things today, where you would certainly abstract out the platform and try to make a game that looked and felt as close to identical as possible.

It would be often wiser not to try, especially today : for instance few games are going to work as well on a small touchscreen as on a large monitor with mouse and keyboard.
> How would you go about dealing with tire dust pollution in a sensible way that doesn't destroy the global economy?

Just thinking off the top of my head, but build out rail infrastructure to decrease long-distance truck transport and replace it with rail freight? Trains have metal wheels, so no tire dust.

For some of the other stuff, I'd really like to see durability/repairability prioritized over lowest initial purchase cost, as well as disposability be greatly discouraged (at least when it comes to plastic). My intuition is that could also lead to a lower TCO for a lot of products.
The car is a statement, it's not people's fault for reacting negatively to the statement.
Or they inherited a home and can barely afford insurance, taxes, or upkeep on it. So they could afford to live there but couldn’t afford to buy it.
Scribe[1], Scuba[2], Hive[3], and folly[4]. It's neat for sure, but speaking as an outsider without the resources to learn (much less create!) an entire universe of data infrastructure and SDKs, it feels like I'm in the corner eating dinner at the kids' table.

At any rate, I'm glad somebody out there is doing this stuff.

[1]: https://engineering.fb.com/2019/10/07/core-infra/scribe/

[2]: https://research.facebook.com/publications/scuba-diving-into...

[3]: https://research.facebook.com/publications/hive-a-warehousin...

[4]: https://github.com/facebook/folly/tree/main
https://archive.is/0okFE
Why would healthcare eat up all your savings in old age? Everyone in America is required to have health insurance.

No one actually pays $50k out of pocket for surgery. Most of it is covered by insurance.
Are you still in touch with Casey? I’ve watched him for 10+ years now so always fascinating to hear about his work.
Location: Los Angeles
Remote: Yes(preferred)
Willing to relocate: Yes
Technologies: Go, Python(DJango/FastApi), Ruby(Not Rails), Node/TypeScript,React, Javascript, Docker, AWS, Postegresql, MongoDB,SQLite,iOS, ollama, some MLops
Résumé/CV: https://www.linkedin.com/in/saunderscaleb/
Email: publicprivacy [@]me.com
Neither: it's because (overgeneralizing) there are bounds on the number of times nonces can be generated under a key without risk of collision, which in AEAD constructions is a devastating event.
Does JavaME have a "huge virtual machine" ?

https://www.oracle.com/java/technologies/javameoverview.html

Do you mean CPython or PyPy or MicroPython or ?
That's what's usually called a lie of omission.