skysight-inc/HackerNews huggingface dataset:
Their abstract doesn't match their actual paper contents. That's unfortunate. Their summary indicates rates in terms of test cases (repeating your quote a bit):

> 75% of test cases built correctly, 57% passed reliably [implying test cases by context], and 25% increased coverage [same implication]

The actual report talks about test classes, where each class has one or more test cases.

> (1) 75% of test classes had at least one new test case that builds correctly.

> (2) 57% of test classes had at least one test case that builds cor- rectly and passes reliably.

> (3) 25% of test classes had at least one test case that builds cor- rectly, passes and increases line coverage compared to all other test classes that share the same build target.

Those are two very different statements. They even have a footnote acknowledging this:

> For a given attempt to extend a test class, there can be many attempts to generate a test case, so the success rate per test case is typically considerably lower than that per test class.

But then in their conclusion they misrepresent their findings again, like the abstract:

> When we use TestGen-LLM in its experimental mode (free from the confounding factors inherent in deployment), we found that the success rate per test case was 25% (See Section 3.3). However, line coverage is a stringent requirement for success. Were we to relax the requirement to require only that test cases build and pass, then the success rate rises to 57%.
The broken satiety mechanism is a result of hormone imbalance caused by a poor nutritional diet. Highly processed foods, an overabundance of sugar, artificial sweeteners, salt, and refined vegetable/seed oils, a carb-heavy diet, deficiency of essential micronutrients, and so on causes deleterious effects on the human body.

People need to eat less junk and eat more natural whole foods.
I am currently looking into building something like this for a client with large (several > 3M LoCs) and old (started in 2001) Java Projects with low coverage.

Interesting to read how it would work it you already have good coverage (I assume).
France caps the prices the state is willing to pay, so the drugs are compensated through state owned health insurance if the company isn't selling much. Not all of them are 100% covered, but one can additionaly buy private insurance to cover everything.
It seems like you enjoy talking about this - is there an email I could reach you at to have a longer conversation at some point down the line? I'm really interested in just about everything pertaining to your experience. If you'd rather not post yours, you could email me directly at [redacted].
I agree that it’s possible to eat enough protein on a vegan diet.

But it’s easier to do it on a non vegan diet.

For example, chicken has higher protein per 100g than tempeh while having lower calories. In addition, I could also drink whey protein which is cheaper, and have higher protein per calorie than vegan protein powder.

My goal was to lose weight and get visible abs. It’s just easier to do it on a non vegan diet.
I reviewed a CL from Hyrum at Google where he was trying to remove a `set_timeout(float)` method in favor of `set_timeout(absl::Duration)` and changed the former to delegate to the latter. It turned out that there was some special handling of inf/nan in the legacy API, despite no mention in the documentation, and his CL broke a number of tests. It was amusing to experience Hyrum's law so directly :)
Can you recommend some reading on the subject? I don't recall any ideas about abandoning Euro by anyone else but the Greeks, who probably just wanted to print more which would be devastating for them in anything but the short term.
An Archimedes in the browser, Nostalgia overload!

I'm a little rusty, but I can still use it. Seems like things you learn when you're young stick with you, even if you haven't done it in over a decade.

Thank you for linking this, Smoosh!
NPC is used to deride “normies,” for herd mentality, often by people who proclaim themselves to be autistic.
This adds more to the evidence that Vulkan / DX12 seems like a failed API design, when too many graphics engineers are reinventing the wheel by building their render-graph API on top of these (propietary triple-A game engines, Unreal Engine, and now Godot...) Instead of real-time graphics APIs providing all these low-level manual synchronization primitives and cumbersome PSOs, maybe they should just provide an official Render Graph API instead? Provide all of the operations and its dependencies in an acyclic graph up-front, and the driver handles synchronization automatically in the most performant manner tailored to the hardware.

I guess there needed some trial-and-error in the gamedev world for about a decade to really nail down a nice to use but also performant graphics API design. Vulkan being originated from the Mantle API from AMD didn't help - since it was a low-level console API mainly accustomed to AMD's GPUs and really didn't seem like it would fit for a more "general-purpose" API spanning a huge range of hardware and can stand the test of time. And with Microsoft's DX12 hastely copying from AMD's initial design it also has all the same issues (The irony is that DX11 is still the best graphics API you can use in gamedev in Windows in terms of ergonomics and even performance - seeing many trying to dauntingly build a DX12 backend and end up performing worse than DX11...)

Nowadays I'm obversing that the industry has known these issues for a while and are experimenting with alternative API designs... there are some experiental render-graph extensions available in both DX12 / Vulkan (albeit in a limited fashion):

- DX12's Work Graph API as preview (https://devblogs.microsoft.com/directx/d3d12-work-graphs-pre...)

- Vulkan's VK_AMDX_shader_enqueue extension (https://gpuopen.com/gpu-work-graphs-in-vulkan/)
This is the drive behind comonadic UI frameworks in functional programming - streams of mutual recursion.
Ha, ya you're right. My memory on table-cell was fuzzy and didn't bother looking into before making some other responses. IE 6 and 7 had no support for it and Firefox had partial support until 2008. I'm just looking at caniuse, of course, I don't remember what Netscape supported.
Has it helped you lose weight or keep it off?
I was actually surprised they had less than 75% coverage to start with.
I have literally the exact same problem.

Now I can sit on my couch in a much more comfortable and ergonomic? position with 4k screen size virtual display.

Plus I can watch movies with the sound on and not wake anyone up.
I think this understates the power and options of the customers.

The typical alternative to receive what was state of the art care 10 years prior and off patent, and now 5% the price. The unfortunate part is the desire for such products is so low, that most of the time they are discontinued.

It is essentially a tragedy of the commons in the US. Because all the costs are shared, every individual is happy to pay 20X for a product that is 10% better.
for small enough values of "always"

(the author seems to understand this point, but whoever writes their headlines clearly does not)
This is impressive, but other parts of Windows are so dreary. Installs of apps that throw up all over the disk, Windows Updates that mysteriously fail in unrecoverable ways 87% of the way through and cryptic error codes and procedures to dig yourself out of the jam (before you must reinstall).
Any typed language could use this pattern, though with Elixir specifically it was idiomized from the very beginning and all libraries use it, which makes error handling very consistent even when piping operations. The common option to fail fast is also handy when crashing the process is preferred and no matching is required to unwrap the value
This tracks with food writer Michael Pollan's advice for eating a healthy diet. In his view, healthy eating for most people means sticking to a limited set of rules and habits, without overcomplicating the affair. The main rules are [1]:

"1. Eat food. Not too much. Mostly plants.

2. Eating healthy is common sense. Don’t make it complicated.

3. Avoid processed foods and ingredients you don’t recognize.

4. Use meat for flavor, not the main course.

5. Pay more, eat less."

While diet can be a contentious issue (with debates on meal timing, how many meals per day to eat, how much fat versus protein versus carbohydrates to eat per day, etc.), I've gotten a lot of mileage out of Pollan's central message that you eating healthily largely means limiting portion sizes and choosing fresh food over processed meals.

[1] https://tylerdevries.com/book-summaries/food-rules/
> Writing some actually useful code is harder, and it feels pointless, because there's almost always an existing app you can have at a click of a button and it does what you thought of and probably better.

Well, there are a lot of people who enjoy cooking, or gardening, or carpentry, or making their own clothing, or playing in a local softball league, even though there are many professionals with professional-level skills and equipment who can do those jobs better than they can.

I think it's like you suggested in your later comment: you either have the bug for programming, or you don't. There are a lot of programmers nowadays who don't -- they just program to make a buck.

Not that there's anything wrong with making a buck, but it's like the guy who flips burgers at McDonalds. He does it to make a buck, not because it's speaking to his inner need to be a creative chef.
There might be an inflection point like what you describe. It's also entirely possible that this is an evolutionary dead end like the voice interfaces that were the Next Big Thing a few years ago.

We've grown so accustomed to viewing technology as a steady progression of improvements that it seems natural that the thing that Apple is pushing today will be universal in 10 years, but there's no guarantee of that, and there are reasons to be skeptical that we'll look back at this as the next big leap.

For myself, I'm keeping my eye out for technology that is less intrusive into the rest of my life, not more immersive.
It's just silly images and videos really. Military use would be using them to spread misinformation about the enemy? Idk that's been a think since forever, you don't really need some text to video model like for that instead of just "traditional" deepfakes and I feel like the impact is gonna be a lot less now that it's on everyone's mind that things can be fake. Actual weapons like drones don't really have much to do with image generators
I’ve seen mention of researchers being able to point to specific neural pathways in AI for both simple things and even more advanced abstract things like “lying” or “truthfulness”. So it’s not a total lost cause maybe.
Startup Resources Toolkit
To be fair the theory doesn't say soldiers won't cross borders when goods do.
Few questions:

- Should we create laws to penalize bullying?

Given the reports of bullying's adverse effects of a society's productivity, I'm almost wondering if we should apply legal penalties to bullies and mitigate such externalities. For instance, South Korea enacted a policy in which records of bullying are reflected on college entrance.[1]

[1] https://www.straitstimes.com/asia/east-asia/bullying-records...

- Will childhood bullies continue to bully as adults?

Are childhood bullies likely to continue bullying as adults, e.g. verbal abuse at the workplace? Being at work sometimes remind me of the atmosphere at high school. Cramping in the same people in a confined space replicates the tribe-like social dynamics akin to high school.

Whenever someone makes a verbally abusive statement, I wonder if they have behaved similarly in school, and never faced behavioral correction.

- What kind of places are least likely to have bullies, for children and adults?

I would love to avoid bullies for the rest of my life. What kind of workplaces are least likely to have them?
A Johnson and Johnson Worker Alleges Company Overpaid for Drugs
To the extent that this phenomenon is true for a significant number of people, it aligns with a concept that I came across several years ago and have been living by ever since with good success: our decisions are driven mostly from our subconscious mind. When seen this way, there are good reasons why a person may be beholden to subconscious patterns that cause them to return to an above-average weight (and thus continue to produce hunger hormones even though they've eaten enough fuel for the body to function well): it can be dangerous to be in good shape - it can attract unwanted attention, attack, or expectations of capabilities that would make people see you as a threat. If a person has had some kind of trauma in the past relating to physical attack, gaining weight can be a way to become invisible, a non-threat, or better protected in the case of an attack. (FWIW this might explain cases where there are severe side-effects after taking drugs like Ozempic: the drug may be effective at blocking the hunger hormones of whatever it does, but if the subconscious pattern is still congruent with maintaining the higher weight level, it will fight back in other ways. The subconscious mind always wins, in my experience.)

That said, another factor can just be issues with the microbiome and digestive absorption: there are several conditions that can mean that even though a person has consumed enough food, the nutritional content is not absorbed into the body, due to the presence or colonies of organisms (bacteria, parasites, fungus) that consume the nutrients first), and/or digestive inflammation conditions that mean the nutrients just aren't absorbed, but the fat from the food is still stored. So, more food is desired in order to try to gain sustenance, even though it seems enough has already been consumed (though, issues relating to digestion can also originate in the subconscious mind, as the research behind YC company Mindset Health demonstrates – https://www.mindsethealth.com/research-outcomes)

Health is hard.
The best for who?
I'll see what I can do, but I don't expect I'll achieve much.
If you can't find it, it needs to be written
Black-Swan ETFs Are Facing Their Own Doomsday After a 99% Plunge
It’s an FSE 2024 paper, so I’m guessing the artifacts need theory or formal evaluation.
Hopefully I will never have to test it, but I imagine cancer patients are also glad they don't receive a 1900's standard of care.

Those that I do know who have had cancer were absolutely thankful that someone developed their treatments.
Big Pharma's profits are a result of taxpayer funded research via the NIH and others for drug discovery.

https://www.ineteconomics.org/perspectives/blog/us-tax-dolla...

Big Pharma has a very powerful lobbying arm that is against Medicare negotiating down prices.
If it's anything like Google, it's way too intimately tied to their infra and monorepo to release
Yeah my prompt generated the phrase "Combatting the Gell-Mann Amnesia Effect requires a concerted effort to foster critical thinking and media literacy" verbatim.
Do you think F-Droid is more resilient to malicious influence than Google's Play Store?

I haven't looked deeply into how F-Droid is currently operating, so maybe I'm off here, but isn't it just all on a server run by some random guy in his free time? I love what F-Droid is doing, and I think it has a bright future, but in its current state I would never trust it on any of my devices that I use for anything important.

Also, yeah, it really is super easy to crack open the WhatApp APK and confirm that it is, in fact, using libsignal. That would be kind of a weird thing to lie about, since anyone could quickly call them out on it.
I don’t like the percentage profit they take in the US, they can sell a drug outside the US for $50, but charge $300 here. Either we are subsidizing other countries, or they are fleecing us for what they can get, often on the back of research funded by tax dollars.
Can we really put that down to value systems? You’re implying that the latter group made a choice, but for that to be true they would have to have developed the new technologies and chose not to use them.
This was shown to be kind of likely to have been rats that arrived with the settlers destroyed the defenseless palm trees in a matter of years. Since palm is a softwood and not suitable for building boats for deep sea fishing, the islanders switched to agriculture, growing taro and other plants in volcanic soil. They recognized the island had a maximum population capacity and socialized themselves to build statues from the quarry, instead of making babies. Very interesting.
Similarly, I'm intrigued by the possibility of using it for coding whilst aboard a sailboat, where having multiple large physical screens isn't a possibility due to limited space and lack of suitable mounting surfaces.

Very curious to see how tolerable the UX is in an environment that's almost always experiencing some degree of motion independent of the user.
Bioavailability of protein from vegetables is significantly less than from animals.
I really don't think this is true. I've been working with image model training for object detection whilst I convert a Delta 3D Printer into an AI guided fuse finder... enough just to learn... Enough to know you need real photographs and real video to train anything that needs to see like a real human.
Note that Russia has forcibly killed or deported many/most ethnic Tatar peoples and native Ukrainians from Crimea.
— where is the reference for that please? I am from Crimea and have both Russian and Ukrainian friends there, I have never heard of anything like that happening.

Agreed with most of your points on Navalny though.
> It's just funding.

And to have funding, you have to attract investors. How to attract investors? By making it quite profitable to invest in the company, i.e. making it profitable for the shareholders.

With enough money, you can do anything big pharma is doing. But how to get that money consistently is another question that have an uncomfortable answer. Plenty of startup and small biotech companies go bankrupt every year. This isn't something you can do in a garage and turn it into a multibillion dollar business like software. Biopharma has too many regulations and rules to follow and it makes the entire field incredibly risky and less likely for a small and unattractive player to succeed, even if they are driven by passion.
Yeah it does have issues, but I managed to pump out my own game very recently called Atlas Fury (Also on Android) [1]. Runs pretty well, but had to tamp down some things/effects I wanted to do. Your other option is Defold engine.

[1] https://apps.apple.com/us/app/atlas-fury-space-arcade-game/i...
This seems like a good segue into Not a Bell Curve discussions ..

I put it that while V-1 and V-2 flying bombs struck districts in London according to a Poisson distribution some might argue that Germans lobbing bombs isn't "nature".

fades into hedge ala Homer Simpson
No. No one is buying the company for the tech. It is for the revenue and customers. Don't waste your time. If anyone ever complains, tell them you guys will fix it.
They cared enough to cheat every Olympics systematically
> Isn't this an ad for something you're selling?

No. This is a demo of an open-source project that I've released for free.

> To me it seems like something that has been around for a very long time and is now being resold under a new label of "geocoding"

That's just what this class of software is called.

https://developers.google.com/maps/documentation/geocoding/o...

https://docs.mapbox.com/api/search/geocoding/

https://geocode.earth/

https://github.com/komoot/photon

https://nominatim.org/

https://pelias.io/

https://www.here.com/platform/geocoding

https://developer.tomtom.com/geocoding-api/documentation/geo...

https://geocoding.geo.census.gov/geocoder/

https://github.com/Qwant/mimirsbrunn

All of these call themselves geocoders.

> 25 years ago tiny contained $100 GPS units had the entire US on a 2 GB flash card.

Yeah! Super cool feat of engineering accomplished mostly by requiring you to do structured search, if I remember correctly. I never drove with one as they were a bit before my time. I remember them being very fiddly, but that was an observation I made from the back seat of a car as a child so, grain of salt. And yes to google maps offering this for free as a part of their maps client. Not free if you're a 3rd party software developer though, as you'll see if you click through the first link I posted above.
Remember "download accelerator" from early 2000's which would download files in multiple parallel streams? It's the same. Traditional TCP congestion algorithms are not able to get max speed from intercontinental links.

Modern Linux systems have TCP stacks tuned for high-bandwith/high-latency links, but there are people who still use Windows servers/clients and they want fast transfers too.. why not get some $$$ from them? Or even worse, some huge enterprise orgs which forces everyone to go through ancient proxy.

"Call for price" seems excessive for this, this feels like $20 product to me.. but I guess this works for them? And if there are servers involved and consultants that hand-hold inept IT department on network configuration, then this might actually be worth it.
I got an acrylic tray [0] that holds a keyboard and trackpad and can comfortably sit on my lap to use with the Vision Pro. It’s truly marvelous and makes the VP feel like an actual laptop replacement, with the only real problem being that visionOS has too much iPadOS heritage and not enough MacOS.

[0] https://www.amazon.com/dp/B0CCS71K6P?psc=1&ref=ppx_yo2ov_dt_...
you don't invent guns and grain silos because you're having a great time, you do it because resources are scarce and contested. Necessity is the mother of invention they say. Personally I don't subscribe much to notions of choice, but in that framework, I would say the pre-agrarians made the choice not to develop agriculture and all the rest.
Yeah he is trying really hard to make it look like apple did this out of the goodness of their heart.

It's not.

Apple compromised something it could compromise without hitting its bottom line and probably got some good will.
> but the ratio of overweight/obese to "I have a slightly high BMI because I lift 4x a week" has to be somewhere in the range of 100-1.

Way too many people try to discredit BMI by bringing up the hypothetical trained weightlifter example.

It is possible to have a moderately low body fat percentage (12-15%) and fall into the overweight BMI category if you're very trained and muscular, but the number of people in this situation is very small. Moreover, they're well aware that BMI is not a useful indicator for them.

A 6 foot tall person would have to weigh 221 pounds to get all the way into the "obese" range of the BMI scale. A 6' tall man weighing 221 pounds with low body fat percentage is a seriously fit individual, not someone who casually goes to the gym several times a week. I don't think people realize how hard it is to get to this level of fitness.

BMI really isn't a bad for the average person, even if they lift weights.
25% of test cases increased coverage, not coverage was increased by 25%. For example, if they started with 90% coverage and each test case increased coverage by 0.1% and there were 100 test cases, final coverage was 92.5%.
This is such a bizarre rant - you're buying an AI GPU and are ranting be used you need to understand what kind of workloads you need with it? And while also ranting that you won't pay the price of the obvious high end models if you're too lazy about it?

What, exactly, is your expectation here? If you want the simple Apple model where you don't need to look at the spec, do the Apple think and pay up for the pricy GPU.