skysight-inc/HackerNews huggingface dataset:
When I see a title with "toward[s]" in it, the first thing I wonder about is: why "toward[s]"? Why aren't we there yet?

Scrolling down to "Performance Results" it's obvious that the results of this approach are creeping upwards at a snail's pace. 40% correct programs when the model is given 1000 "guesses" (one thousand) is the best result out of all reported results. It's the result for the simplest, "intro"-level, problems.

Fromt here, results get progressively worse for harder categories, like harder problem sets or "1@k" measurements, where the first program generated by a model is evaluated. For "intro" problems that's about 7%.

NB: that's accuracy. Not error. 7% accuracy. 7% of the time the model got the coding problem right first try.

Despite the slow creep upwards, this is really bad for this kind of approach. The main problem of Large Language Models as code generators is that they can generate code, but they don't know if it satisfies a specification (in this case, given by a combination of natural language text and input/output examples). The proposed approach (using reinforcement learning to capture, and use, the signal from unit tests) is supposed to address that precise limitation, but the results show that it just doesn't do very well at all. Not even when the system is allowed 1000 (one thousand) "guesses".

Why not? Because if you start with a code generator that generates almost (not quite) random code, you end up with almost (not always) incorrect programs. After that it doesn't matter how well you "filter" for correct results, you're unlikely to have any in your generated set. The solution? Generate fewer programs that are more likely to be correct. How to do that with a LLM? Who knows.

And a small correction to the article:

>> Recent advances in deep learning, such as pretrained language models (LMs), have led to remarkable progress in program synthesis.

These "advances" in deep learning have led to remarkable progress in neural program synthesis. The approach proposed here, combining a generator with a tester, is certainly not a "remarkable advance" for the broader program synthesis field. Rather it is a primitive approach that has been tried and refined continuously since the 1970's or so. The program synthesis field has gone a lot further than what's described in the article. I'll point to Gulwani et al. again for a recent overview of the field:

Program Synthesis, Sumit Gulwani, Oleksandr Polozov, Rishabh Singh

https://www.semanticscholar.org/paper/Program-Synthesis-Gulw...

Other details noted in the article about "program synthesis" (e.g. the poor performance on complex problems) also only applies to neural program synthesis.

For example, the following paper includes an experiment learning a program that identifies a palindrome (this is the hard part in the length-of-a-not-palindrome example in the article) together with other similarly complex programs (i.e. ones that are best expressed recursively):

Learning Higher-Order Programs without Meta-Interpretive Learning, Stanisław J. Purgał, David M. Cerna, Cezary Kaliszyk

https://arxiv.org/abs/2112.14603v1
U.K. seizes a British blogger's assets for pro-Russian propaganda
That was a fantastically written speculation, and showcases the fertile ground that Tolkien created.
How will voters know whether their reps are voting for the right things though
Google now has a publicly available ACME-compatible CA. For CF’s Universal SSL (default/free) Cloudflare may use Google’s CA. But may choose other providers. For Advanced Certificate Manager (paid addon), you can choose Google or other CAs for Cloudflare.

But basically Google would be the one that is issuing an SSL cert for a website. Same as LetsEncrypt.

Disclaimer: CF employee
This is correct. It was pre-recorded.
Ok, as a first time user that’s what I didn’t understand. My impatience grew, and you were saved by the fact I didn’t want to lose my progress so I powered through. Annoyed, but somewhat satisfactory end experience.
I’ll have to try the recipe to see the full benefits.
Didn’t read the whole thing because it’s super dense and I don’t like the “breaking people into four basic categories” thing - but the cartoons are good.
Just makes me think of a Bill Burr(?) (edit: joke) line equating to something like “Think about how dumb the average American is and realize half of them are more stupid that that”. (Edit: always wondered if he assumed a normal distribution heh)

Suppose this is why we have “specializations” - most people don’t seek out medical advice from an electrician (or vice versa) but that doesn’t mean the respective individual lacks “knowledge”.
I don't know how exactly it would work, I just mean a system where only the final vote tallies are made public -- not WHO voted for what.
You're only preemptively hurting "attackers", but you've redefined "attackers" to mean "anyone you want to preemptively hurt".

I expect in the vast majority of cases, if someone breaks into your home while you're inside, it's because they didn't know you were inside.
This is how things actually work.

Also, small dollar donors are driving polarization of US politics, so I'm not sure big donors are really the problem.
Words and Bytes are different things. As are (genuinely) Nibbles and Chunks.
> Because the actual data is sending mixed signals. People equate recessions with job losses, but job growth is still high and unemployment remains incredibly low.

The definition of "recession" doesn't depend on what other things people think happen during a recession.

No one would be making this argument if it had happened while Trump was in office.
https://trends.google.com/trends/explore?date=all&q=how%20to...
Cops Turn to Google Location Data to Pursue a Death Penalty for 2015 Murder
Edge cases, often left to law enforcement to selectively enforce... lets see how that works out
Why preclude people who may genuinely want to change things for the better? In your opinion there only seem to be power hungry people (wealthy or not) and career politicians.
> we have a pretty large drop-off in Work force participation

No, we don't.

While the LFPR is still down from the point it was prior to the 2020 recession, it has been continuing to increase fairly consistently after it's sharp rebound from the trough of that recession.

https://www.bls.gov/charts/employment-situation/civilian-lab...
$10k is pretty small for a physical business ($30/day if you're open every day), so I'd be surprised if you had more than a tablet with a headphone jack card reader. A second reader from another processor isn't that hard to manage (you might want a second tablet in case the first one has issues anyway).
I mean, skins exist!
> I am also saying that the money allocated, by taxpayer money, may not be enough

What is this hunch based on, given that you didn't know they had another $1,000,000+ to spend?
It looks like storage costs haven’t changed much since the last S3 price reduction five years ago.

My other take on this is that given how slowly HDD costs are going down at this point, tape is going to remain relevant for some consumers for a lot longer than many of us thought.
The GP compared the US to countries like Russia so I listed countries like Russia.

Europe is great and I'd gladly choose most any Western European country over countries like Russia as well.

I believe a lot of people, including people in those Russia like countries would too. And my assertion is that points to fundamental differences between e.g. U.S. and Russia and friends [1] that causes people to much prefer the former over the latter.

[1]. e.g. forcing Shanghai residents into Covid lockdown by welding their doors shut and leaving them to half starve. Can you imagine this happening in the US or Western Europe?
If that's true, why is twitter making it so difficult (and more difficult over time) to see only content you follow, and Facebook making it impossible?
https://news.ycombinator.com/item?id=30791162
Bitcoin and it's ilk are the perfect tool for government control. At first I was on board (be my own bank? sure, they're corrupt) but then someone pointed out that the Fed will simply use the technology built by these people to create a fed-coin and we will all be forced to use it. I hope I'm wrong, sounds like a nightmare. Can't even give cash for a birthday present without being taxed...
Put up or shut up. Cite some sources of this "conspiracy" that Jobs is using The Atlantic to push their agenda.
Big projects get custom discounts; there's a whole different pricing game for huge customers.
Are you on iOS or Android?

You are supposed to be able to only select one dish at a time. In RPG gaming terms, that is your "quest" and the levels are basically what you need to complete the quest.

If you can select multiple dishes then there's a bug we need to fix, please let us know!
There's a beautiful video by Mathologer about this subject, giving some intuition on why the outside areas are "frozen"

https://www.youtube.com/watch?v=Yy7Q8IWNfHM
Instagram walks back TikTok-style changes
If your executives start selling off shares before the employees who had been there waiting for their paper value to turn into real value get the same opportunity (as you said, with founders it depends on if its reasonable), then even if its legal its going to destroy any trust and the best people will stop believing in your company and move on to someone who hasn't demonstrated working against the employees interests.

In your last case, if someone wants to cash out equity but employees can't, then you've destroyed trust and your company may fail in the future because the employees can't trust you to protect their equity.
There is a shortage of good cloud engineers, but even if there were more of them, the business doesn't give a crap about brief outages like this. Blame it on AWS and move on, business as usual. Even if they did care, the business is often too incompetent to understand that they could easily prevent these things. And even if they did realize it, they don't want to prioritize it over pushing out another half-baked feature, making sales, getting their bonus.
No that is not correct, it is not double the cost, please see my reply above.
Stable at $2,000. Have been sold out for months and haven't increased prices because of that.

Temporarily put a pause on new sponsors while I get through the current slots and look at subscriber growth, open rates, click rates, etc.
If you take a beginner cooking course you'd normally learn bechamel very early on - it's the base of so many great meals. I mean, it's a white roux and milk. While I was half joking in my previous comment I'd expect the way an app would work is to start with easier meals (maybe a mac & cheese, as this uses a bechamel as the base of the cheese sauce) rather than adapt more difficult meals for simplicity. I thought I'd get away with this joke because the original commenter seems to know his stuff around the kitchen and would appreciate a classic comment about Italians and their sometimes intense beliefs in sticking to traditional cooking :P
Not a great title
I know the video is a joke, but the whole thing about meat having an unacceptable carbon footprint pisses me off to no end. The fact that eating insects is being suggested as an alternative makes it even worse.

Meat is a part of the carbon cycle. The carbon in plants is largely atmospheric. The plants eat the carbon, the animals eat the plants, the animals belch CO2 and methane, and that methane becomes CO2 again after ~12 years. The kind of carbon rising in the atmosphere isn't even that of animals (by stable isotope testing).

Guess what, those who believe that bugs are the answer. Bugs eat plants. Bugs don't burp, but to grow insects at scale, the plants need to be processed and brought to them. Guess what that means? Burning fossil fuels in transportation.

Cows, on the other hand, can feed on grassland.

As someone who is has eaten plenty of bugs, I sincerely hope that the globalists try something other than bugs. The "science" behind it is extremely flimsy. You can't just take livestock out of the carbon cycle and think that's going to do anything for climate change.
This is so ridiculous it borders on trolling. Zero carbon? Where and how will all the residents' power be produced? Trains running indoors? That will be great for the noise level, along with the rest of all the activity. Plants growing inside? How will water and chemicals be delivered and kept away from people? And a commerce hub? How will it connect with any roads, ships, or airlines?

Le Corbusier also thought we should stuff everyone into big buildings. More recently, John Portman designed the Bonaventure hotel and the Marriot Times Square to be intentionally separated from their surroundings. Neither building was successful because isolating people in a box, no matter how pretty, is not the way to improve urban living.
I'm pretty sure this is how most processes work. I think the exception is if an entire division is underperforming they will let go of everyone regardless of individual performance.
I don't know about that. Companies generally do regular performance reviews, so there should be a lot of information about who the underperforming or merely adequate workers in each group are.
We definitely don't collect any e-mail content, nor do we request access to your e-mail!
I must have misunderstood the GME situation then. To me it seemed like a situation where average Americans could have made profit, but were stopped by people with bigger bags. I tried to sell my shares (for a very nice profit) but I was stopped from doing so, so yeah I feel cheated.

Thanks for bringing up the incorrect label, I can't think of a better one at the moment but I guess I included lawmakers with the label since they may have access to information we don't, so from my perspective it may as well be insider trading, but you're right about the label.
>So they had her sign up for the Screen Actors Guild (everyone who has a line in a film has to be a member)

Anyone know why this is? Why a person uttering a line must be part of a guild? Is this a U.S. thing, or international?

Also, why aren't the talks of unions here on HN using the world guild? Union? Meh. Guild? Yeah!
Developers would flock to be part of a Developers Guild.

Edit: Answer to first questions:

https://www.quora.com/Are-all-actors-and-actresses-part-of-t...

>SAG-AFTRA is a USA union. There are many many hundreds of thousands of actors in other countries around the world. Other countries have unions too. Some, like SAG-AFTRA are strong and look out for actors’ interests very well. They may also act as gatekeepers and insist that their members have a certain standard and professionalism. There are plenty of countries where unions have little strength and actors are bullied and have next to no bargaining power. American actors have a lot to be thankful for.
Did you do all the levels in Avocado Toast? If so, that's a bug :(
All of this assumes that same-sex marriage has some effect on rate of reproduction or population growth, when it doesn't.

Notwithstanding the facts that marriage isn't necessary for sexual procreation and that LGBT people can and do procreate, if the primary interest of the state in regards to marriage was to define it in terms of procreation, then the greater concern by far should be heterosexual marriages which don't produce children and rates of divorce. Yet no one is attempting to argue that heterosexual married couples should be required by law to produce a child within, say, two years.

Also, there is a difference between government providing access to services which citizens can choose to avail themselves of, and government legislating reproduction directly. The government doesn't have "an interest in preventing children" in the case of providing access to abortion clinics, rather the interest there is providing access to medical care. The government isn't forcing anyone to have abortions. So the government banning gay marriage in the interest of "producing children," aside from not making any sense as described earlier, isn't a valid countercase to the government providing abortion access.
You also need to house these servers, including backup power etc., manage them, maintain them, develop and deploy the software etc.. Also, you should really check the power usage of enterprise disks and servers; it may be cheap, but it's far from comparable to your average desktop. Then you need to add in that they need to have a reserve capacity as well; you can now go and store 100TB on S3 and AWS will be fine with it - but they need to have those disks up & running already.

Don't get me wrong, S3 is expensive, but replicating the availability, feature set and scalability is going to be very expensive, too. You can cheap out if you don't need these features, of course.
The "why" is the war on drugs. And "tough on crime" FUD politicians, including DAs use to get reelected.

Civil asset forfeiture became such a cash cow, jurisdictions are constantly looking for new ways to apply it.
Conceptually it sounds a bit like Semmle's CodeQL? Except a general purpose database rather than one optimised for storing program code.
In the US, wouldn't that require a constitutional amendment? I thought Citizens United declared money to be free speech (paraphrasing) .
True, alcohol prohibition is an example of abstinence not working on something that also isn't biologically driven. I would argue that alcohol probably has too strong of cultural/social foothold for abstinence to work. I don't think smoking/vaping is on the level of alcohol though.
To be clear I wasn't proposing a ban, but the requirement to provide non algorithmic alternatives for content feeds.
Bar exam and MCAT exam prep industries do seem to make good money in some states some years. An appeal to capitalism isn't the worst idea for how to sell the idea to employers.

(ETA: Though arguably it is exactly how we got multiple companies like leetcode that are building the worst of both worlds, the standardized testing and extremely spotty employer buy-in across a handful of non-federated competitors.)
Your solution eliminates accountability to donors, but it also eliminates accountability to voters.

Both houses essentially have this. It is called a voice vote.
It seems to me that leaders (not rulers) and codes of conduct can still exist in this state. All that I understand Anarchy to mean is that there are no rulers that can oversee the many at the expense of the few.
This is a very naive question so I might be very wrong, but isn't postgres pretty flexible about objects now?
Well, the Godot editor is actually a Godot applications, they are dog-fooding their own UI.

So it is absolutely possible to create complex applications with it.

Games engines are generally not used for apps, as games are optimized differently to apps. Games need to run smoothly at a high refresh rates at all times while apps can not hog all CPU power but need also be optimized to not needlessly drain the battery. This is no an issue in Godot specifically because it offers a low processor usage mode though.

So yes, Godot is a decent solution for apps. Only real issue is support for accessibility. There are screen reader plugins but if you want to do it properly, you might be better of with an app using native elements.
Damn, I thought that this would be about firefox android finally getting multi-account container support.
"In fact, the executives had worked at DataRobot for a year and a half or less when the sales took place. And under their watch, expenses skyrocketed while revenue growth slowed, with the company missing one of Wright’s 2021 revenue targets by 75%."
"Create and develop full web applications inside your browser tab". You know what would be even better? If we could add an icon for this app to the desktop and run it as standalone application, while using the same browser engine installation. We are practically at that point where OS needs only web browser installed and all applications could be web based.
In my opinion the ad-based business model is mostly dead. We'll have to find a new one.

We're building in the open at https://parsnip.substack.com/ and you can subscribe if you'd like to follow along with how we figure out the business model!
And enforce it with an office that won’t get defunded by someone who can delay their corruption by a year or so. I believe Singapore solved this, but can multi party systems copy them?
> is supposed to addrss that precise limitation, but the results show that it just doesn't do very well at all.

they demonstrate improvement from previous 5% to 7%.
Endurance Cuisine: As long as it's labelled properly, those who have the time, energy, inclination, and/or desire can make the ingredient the long way. Those who don't won't and can sub in pre-prepared ingredients.

2) Hair-shirt cuisine: I'm curious which grains you're talking about. But a lot of the "old world" grains that have become popular are not popular because people find them uncomfortable to eat. They're popular because they taste good. And many people enjoy the additional texture.

3) More expensive ingredients don't have to be better. But they often can be. And in many cases even if the upfront expense is higher the actual value over a period of time may be equivalent and even cheaper. A classic and common example of this is parmesan. Yes, a block of parmesan will be more expensive than the pre-grated stuff. But it will also be more flavorful so you don't need to use as much and will probably last you longer than the pre grated stuff. It will also usually fit recipes a lot better because the pre-grated stuff has anti-caking agents which will ruin recipes.
I'll check CodeQL out, thanks!
congrats on the success, it sounds pretty awesome, and thanks for sharing your story
This is the entire point of the egress fees. If you can keep traffic inside AWS it's basically free. Getting it out costs money.
there's always https://www.sweetjs.org/ that you can plug into your Babel pipeline
Bullshit. Civil courts will only freeze the defendant's assets in rare and extreme circumstances.

I have been sued before.
DeepMind found the structure of nearly every protein known to science
In that case I'd expect at least one mention of zettelkasten.
> The article defines stupidity in a very precise way

No, it doesn't. The part that you mention is "law" 3 of 5. I stopped reading mid-way into the first "law" up to which the article already used the term "stupidity" multiple times as if it's obvious what that is and was so unbelievably presumptuous regarding people that are somehow less worth than the author that it became unbearable.
Why is it called Aztec though?
Assuming you're using RDS then multi-AZ deployment is just a simple configuration option. If you're using Aurora then it is handled automatically and is even less expensive.
> "you can't find a job"

that sounds like a depression, not a recession
Yes you are, you always have the option to read neither.
When "use" is "was inside of", how the fuck can you call that ethical?
I've been going through MIT's online Introduction to Biology course[0] that answers some of your questions here with regards to the shapes and what they signify - specifically the "Proteins and Protein Structure" lessons in the second unit, although some of the previous lectures are helpful setup as well - really interesting and engaging stuff, taught by Eric Lander (who ended up being one of the CRISPR pioneers featured in Isaacson's latest book)

[0]https://learning.edx.org/course/course-v1:MITx+7.00x+2T2022/...
Exactly. The impulse to make legislative government nimble and powerful is a strange one. Should it not be considerate and slow? "Who governs least, governs best", etc.

Moving quickly is the executives job.
If your site uses Universal SSL ($0/month), Cloudflare automatically picks a CA for you (most likely Let's Encrypt).

The Advanced Certificate Manager ($10/month) SKU allows you to pick a CA. There are few other options available. https://developers.cloudflare.com/ssl/edge-certificates/adva...