skysight-inc/HackerNews huggingface dataset:
Show HN: We built the only AI-powered production-ready code generator
Jovu is an open-source AI-powered backend code generation assistant designed to build production-ready services for all the infrastructure, boilerplate, and scaffolding.

Imagine telling AI, "Create node.js services to build a marketplace with graphql, postgres, Redis caching, and Kafka. Include data models to manage customers, events, transactions, and feedback" - and get fully functional enterprise-grade backend code that you can take to production.

By integrating with Amplication's platform, Jovu ensures the code you generate meets the highest reliability standards and offers expert design advice.

The code we generate is shipped directly to your Git repos, and you can start writing business logic on day 1. You have full ownership of the code and can freely customize it. You can ask Jovu to make more changes whenever needed without worrying that your custom code will ever be overwritten.

Key Benefits:

Go from concept to production-ready backend code in minutes.
Jovu creates complete backend services, including data models, APIs, and infrastructure code that are consistent and predictable.
Integrates with various technologies for enhanced security, complete deployment, state-of-the-art service communication, caching, and more, with a plugin ecosystem.
Jovu cooperates with existing AI tools, like GitHub Copilot, to assist in generating business logic code.

Feedback is welcome :-)
This might seem calculating and cold, but that's basically how government agencies work. It doesn't make sense to spend unlimited amounts of money to save a life, so government agencies have some sort of a dollar value on a life[1], above which where they won't bother doing interventions. For instance if it takes $15M to save a life, and that's above the DoT's estimate of $12.5M, then they won't bother. That's not to say that Boeing is in the right here, but if they were in the wrong it's not because "If X is less than the cost of a recall, we don't do one", it's because they grossly undervalued a life in their calculations.

[1] https://en.wikipedia.org/wiki/Value_of_life#United_States
No idea. I think it is a mistake in this case because it makes it sound like this is a brand, like maybe a new bus line or something.

What it makes me think of is that in my town (Ithaca, NY) there has been a proliferation of new bus lines in the years since Greyhound and Trailways went out of business. It is much harder to go west (say Cincinnati or Detroit) but competition is fierce for the New York City route and there is a pretty wide range of choices at different price points and luxury levels.

When I look at the form with that brand it’s easy to come to the conclusion that they want to be the AirBNB of buses or something.
Cool website! But I hope titles like these don't become common on HN - I really appreciate the 'no clickbait' policy here.
The market is people buying new cars.
Mother Gaia is a dirty bitch![0]

0: https://youtu.be/75_nisowGX8
Of course not, but higher per-capita is the easier and more humane thing to target. If you account for the fact a lot of China's output is for the US then the US would be both higher per-capita and probably highest overall too. Yet despite having over 4x the population China has only about 2x the total output. That means the US is vastly inefficient compared to China. It's easier to get gains by improving an inefficient system versus an efficient one. In other words, the US it the low hanging fruit, not China.
The blame resides with the demand side / consumers.

And the fact the lords of capitalism only care about power and bank account size, and the scienze/religion of economics can't see further than three months into the future.
Orcas Just Sank Another Yacht
His judgement in this matter is not the one that matters most.
> Fastest rate of natural carbon dioxide rise over the last 50k years

Natural CO2 rise?
Worldcoin Foundation unveils new SMPC system, deletes old iris codes
And each block of 10 degrees has a mood and a feel. And easy to say.

- “It’s going to be in the 70’s”.

- “Nice!”

The precision is good too. A nice range in each block. And block crossover is fine.

- “Might hit the low 70’s later”

- “OK I’ll bring a packable hoodie.”
Actually I do this myself with the extra factor that I live on a farm so that it would be easy to track in horse crap.
Apple could make the products hackable in the right way by end users, doing what they want with their own data, kinda like they used to at the start.

Apple should experiment with the magic of getting rid of opaque magic and help make powerful, easy to user apps that non-developer users can modify themselves by investing in the hard design work of empowering users.

Help users see what is meaningful and help them make meaning.

Maybe they should ask Woz what to do more!

What are the gaps in education and ability?

Why is it so hard to share data and make apps?

Too much of a good thing can be bad. They need to unwall their garden.

And so on.
China said yes to all those things for Western money. They could've said no, they could've put in restrictions to lower their profits and improve conditions. Don't act like China is some poor puppy bullied around by the West.
If you wrapped the value to give it a “brand”, the wrapper would still exist at runtime. The technique in the article avoids that.
Thinking Russia is not attacking western countries right now is awfully naive
> If I want to check updates I can open a browser and visit a specific blog once per week/month. Literally no effort.

That sounds like rather a lot of effort to me - remembering that a given blog exists, remembering its URL, remembering to check it every so often.

A buddy of mine just updated his blog after a 14 month hiatus. I forgot he even had a blog, and I would have definitely missed the update if it wasn't in my RSS reader.
> it’s not that crazy to look at this project and believe that such a gadget* might not be so far away.

9 years later, I think we can safely say yes, it is crazy to believe that such a gadget might not be so far away.

*quotation was referring to wearable holographic displays made with this tech
I'm also quite sure that the longest monarchies have outlasted the longest democracies, but I think we'd have to define the "peaceful" qualifier.

It seems the nature of hereditary monarchies helps moderate the despotism, as there is an incentive to maintain the balance for the future of the monarchic family. If they get too despotic, they will get overthrown, and that's the end of the gravy train for not only them but also all their descendants; and they have the ability to train in these constraints from birth. So my conjecture is that this contributes to the longevity of the hereditary monarchies.
I find the points really confusing / not saying what you seem to expect.

1. You can inject anything irrelevant into a conversation until it's offensive. You could do by constantly talking about cars, but it has no effect on the word "car".

2. In that case cis/trans still exists in terms of changing the gender.

3. Have you got a source for that? I won't pretend I'm a linguist, but most language families I'm aware of certainly have at least 2 genders. Many have 3. Quite a few assign genders to objects as well. Wikipedia lists just a few examples and some of them are further qualified: https://en.wikipedia.org/wiki/Gender_neutrality_in_genderles... Even English is a qualified entry on that list and yet we have no issues taking about it. Coming from a way more gendered language natively, I can tell you it only makes this situation harder. English didn't have to deal with a "women are doctors now, but doctor is a male word" issue. I can have a whole conversation about someone in English and you wouldn't know their gender, but in other languages I know, I couldn't say a single sentence without it.
The risk of global thermonuclear war is low since it would require one of the major powers to go suicidally mad.

The risk of local or regional nuclear conflict as part of a larger scale war is high.
This might be ever so slightly off-topic and a silly question but why aren't sites like SHEIN being banned like Tik-Tok? They cause infinite harm, and clearly we're capable of banning big chinese sites, so why the holdup on SHEIN/Temu? I saw news about Congress members in the US calling for bans last year but nothing happened.
I'm a bit confused, everybody talks about hallucinations around me, I don't feel like it's ignored.
It would ‘work’ - but not be useful, because you’d already expect a circuit in that location.
I believe GPT-4 pre-rlhf was much more accurate overall.

If you finetune it in formats that humans likes, it actually gains similar biases.

I believe the ‘sparks of AGI’ talks about this, where models can much more accurately predict the probability of events than humans.

After RLHF, it mimicks human bias. So it might be that we can create these models, but we just don’t like them/like to use them.
Framing this expense to hobby programmers as a “$100/year loss” seems opposed to the entire concept of a hobby.

Everything will be a loss; it’s a hobby. If you are doing it to profit then it’s a side gig or an actual job.

What kind of hobby can you pick up for less than $100? You can’t even take up hiking or walking without spending that much on shoes and socks.
In my mind this sort of defeats the whole purpose of the RPI Foundation: bring cheap computing to the masses, especially those who don't have equal opportunity or access to technology. Typical techbro thinking unfortunately: "Yeah but this is soooo much bETter!!!"

Obtaining an sd card (at a gas station or corner drug store in the US these days) and obtaining an m2 drive require two completely different levels of economic access.
I think the novelty is in getting WPA3 to downgrade.
I really don't care about "demands". You could ask someone who knows more about the physical laptop design. That's not me.

It seems strange to take issue with Dell's showboat ultrabook, for being an ultrabook, when for years (maybe longer) it has been an ultrabook with all the trade offs that come with it. Pick a different line of laptops.
I remember lecture [1] that mentioned fuzzer finding bugs in formally-verified C compiler - because formal verification didn't cover frontend and backend

I know people raise questions about trust in Coq itself and in translation (and I question how it will synchronize with rust updates), but even perfect formal verification doesn't mean 100% correctness from start to finish

[1] https://youtu.be/Ux0YnVEaI6A
> We won't, because the machine results people want will be those that appeal to their biases.

When you see an idea pushed/accelerated to an absurd conclusion, you might more easily see what's wrong with it.
First, “Plaintiffs ACCUSE the generative AI company.” Let’s not assume OpenAI is guilty just yet. Second, assuming OpenAI didn’t access the books illegally, my point still remains. If you write a book, can you really complain about a human (or in my humble opinion, a machine) learning from it?
By “trace” I think GP meant that the required wrapper is still there at runtime but was only in service of the type system.
1. AGI doesn't even exist and Sam Altman and I agree on one thing, GPTs will not get us there. Saying AGI is a risk is like saying the sun exploding is a risk.

2. Nuclear conflict is real, it's astounding Pakistan or Russia hasnt used the bomb yet but they will when the US backs them into a corner.

3. Climate change? At this point, who cares? We know it's happening and happening VERY slowly so we have PLENTY of time to get ready. Theres no real risk other than failing to move away from the cost in the next 100 years. International shipping and big ag are the largest polluters by far and those ain't stopping.
Ok so the list is linear sure, but how can the compiler statically verify that the list will be empty when the program terminates?

The emptying could be in a completely different function, called under some arbitrarily complex condition.
#1 is very real

#2 is warmongering

#3 will be solved by human ingenuity

I have a more positive outlook. :)
The climate doesn't care about countries either, and people in developed countries aren't going to lower their standard of livings to meet some acceptable per capita carbon footprint standard. That's why these kinds of arguments are pointless. Blame China, blame the US, blame the British Empire, what difference does any of that make? Unless you can convince the richer countries to pay fines to the developing ones to help them adapt to climate change.
So, the fall of the skilled professional and the rise of anybody who knows how to write prompts?
And did you do it?
> Compare: if a large minority of Icelanders wanted to work for the Baby (which Iceland doesn't have), theb stopping the brain drain (convincing them to work in the Merchant Fleet) is the best outcome, but funneling them out (training them in merchant navigation and watching them join the Danish Navy) would still be preferable to them engaging in their desired behavior anyway (form their own pirate gang preying on the very Merchant Fleet you're trying to advantage).

I read this as if you'd be concerned of Canadians using their tech skills run malware groups, if Canada wouldn't let them leave and join SV companies.
Regardless of how one characterizes the magnitude of the changes, if the unanticipated difficulties had been handled openly, there would be no question of criminal liability. Furthermore (though it is also beside the point), physics has not ruled out the MAXes.

In addition, the door-plug issue is tied in here on account of the 2021 deferred prosecution agreement, which also followed from Boeing's duplicity over the MAX issue.
Companies are general intelligences and they use people, yes. But that depends on humans interpreting that data reddit users generates and updating their models, code and algorithms to adapt to that data, the computer systems alone aren't general intelligences if you remove the humans.

An AGI could run such a company without humans anywhere in the loop, just like humans can run such a company without an AGI helping them.

I'd say a strong signal that AGI has happened are large fully automated companies without a single human decisionmaker in the company, no CEO etc. Until that has happened I'd say AGI isn't here, if that happens it could be AGI but I can also imagine a good enough script to do it for some simple thing.
Makes me think about the movie her, where the main character write love letters for the clients of a website.
I remember when you first posted this and it is a project I think upon very frequently! It's nice to see you have made further progress — and that there are comments with attempts at solving! Great job.

I still find some problems with the navigation of the problems, but I am not even sure where to go to fix that. It has to do with the difficulty of each problem, but also with how large each topic is: algebra encompasses both linear algebra and linear equation solving, which is a very wide bracket.

But you're making progress. That's great! Congratulations on that, and I'll be sure to keep visiting the website.
We've launched a new "Web" filter that shows only text-based links
Coming? I think the general public has already come to consider "AI" synonymous with hallucination, awkward writing, and cringe art.
It really unnerves me, that we call this AI errors "hallucinations".
Hallucination is an error in perception (false positive stimuli).
LLM cannot hallucinate because they have no sensory organs (other than training data).

I think the closest psychological conditions are confabulation (memory error) and delusion (false beliefs).
But we do if we want to achieve global reduction in emissions while eradicating global poverty at the same time.

Per capita emissions in the US are ridiculously high while per capita emissions in poor countries are low and are bound to increase with development. Per capita emissions is the relevant metric to measure and compare the situation across countries with vastly different populations and to possibily forecast trends in overall emissions.
Yeah, the visualization is where I get hung up. Sounds like I need to stop that.

Given your response, is it fair to say time as the 4th dimension is just a sci-fi concoction?
Tesla's layoff emails are chilly
There's surely no mystery as to how Docker is doing this:

https://developer.apple.com/documentation/virtualization/run...
It's interesting if you have a source of unhealthy VOC that you want the monitor.
Funny that you mention MariaDB.

Oracle bought MySQL which was forked into MariaDB. MariaDB created the Business Source License (BSL). Hashicorp switches Terraform to BSL which then leads to Terraform being forked into OpenTofu. OpenTofu seems to be getting adopted by Oracle.
> We have to teach models that unknowns exist.

Unknowns alone aren’t the problem. See the camera example in the article. We know which steps to take to unjam film from a camera, the given answer is straight up bad.
Proteins in blood could provide early cancer warning 'by more than seven years'
Keep a back up of your DNS on Netlify – account closed for reporting spam
But it limits them, they cannot be AGI then, because a child that can count could do it :)
The reason he was acquitted [1] :

> So I basically lied to the regulators (unknowingly)

[1]: https://www.documentcloud.org/documents/6497959-Boeing-Text-...
It comes from the top, it's CEO and executive.
When you don't use a computing platform to do useful stuff, as a "bicycle for the mind" as Steve Jobs said, it becomes much less clear how iOS/iPad OS can be lackluster in so many ways.
Hilariously, even their office suite has limitations on iPad even though Tim Cook supposedly uses it. I'm sure he does but he probably has most of the real work pre-made for him, by people most likely using a Mac.

People will often talk about the disconnection between the elite and the regular people which can also be found in the relation of manager to worker. And this is exactly a reproduction of that.

When you don't really need to use the tools to make useful stuff there is no way to understand how inadequate they can be. Since they know how much they can profit from iOS with the App Store, they try to push it as much as possible, ignoring the fact that even if everybody wanted/agreed to do that it wouldn't even be technically possible, regardless of profits/prices considerations.

There is no worse leader than one that doesn't periodically put himself in the position of the people he is leading. Tim Cook is unable to do that and he has imposed a feminine way of working: collaboration enforced by a pecking order determined by a social construct that doesn't care much about competence/capabilities and the values of ideas/work on their own merit.

Now Apple will keep making good hardware because they have talents that know what they are doing and they have the means to throw money at basically any problem.
But the finer details won't improve anymore, they refuse to properly compete in the open market and they refuse to compete internally because they now work on a model following feminin ideals that is not conductive to improvements.

This is why the state of current Apple offerings is very frustrating: it's not going to improve in a cost matter because they clearly like their profits too much and it's not going to improve in a quality/functionality way because they just don't have the structure to do so anymore.

Things will change, but probably not for the better and if so, it will probably be pure coincidence. Many of their passionate customer are intuitively making this realization which is why even the most diehard fans are starting to be pissed off (new iPads review sentiment is rather grim, even worse than their AVP that didn't do anything new or useful).
I agree this is a prime moment for Linux on the desktop to shine, but so has the last 10 years of windows destroying its UI and backwards compatibility.

...I have no faith.
If so, we irrational humans will just reject the validity of machines.
A working memory that can preserve information indefinitely outside a particular context window and which can engage in multi-step reasoning that doesn't show up in its outputs.

GPT4o's context window is 128k tokens which is somewhere on the order of 128kB. Your brain's context window, all the subliminal activations from the nerves in your gut and the parts of your visual field you aren't necessarily paying attention to is on the order of 2MB. So a similar order of magnitude though GPT has a sliding window and your brain has more of an exponential decay in activations. That LLMs can accomplish everything they do just with what seems analogous to human reflex rather than human reasoning is astounding and more than a bit scary.
I recently learned that too. Does that survive OTA updates?
I'd put a higher risk number of nuke throwing starting between smaller countries, like Pakistan, or Iran. Putin strikes me as more like a coward than suicide bomber.
Cool, but I'm curious about the namimg. Why not call it "text"? Aren't images or videos also part of the web?
Yes, calling an LLM "AI" was the first HUGE mistake.

A statistical model the can guess the next word is in no way "intelligent" and Sam Altman himself agrees this is not a path to AGI (what we used to call just AI).
On the one hand, we like to encourage learning here. On the other, we prefer not to copy-paste a bunch of possibly-irrelevant content. Well, forgive me for pasting in a StackOverflow answer that may be relevant here: https://stackoverflow.com/questions/11276259/are-data-races-...

> Are "data races" and "race condition" actually the same thing in context of concurrent programming

> No, they are not the same thing. They are not a subset of one another. They are also neither the necessary, nor the sufficient condition for one another.

The really curious thing here is that the Nomicon page also describes this distinction in great detail.
ValOrDefault
Oh that looks cool! I have a static page with some math content, could use this!
Exactly. This is super evident when you start asking for more complex questions in CS, and when asking for intermediate-level code examples.

Also the same for asking about apps/tools. Unless it is a super known app like Trello which has been documented and written about to death - the LLM will give you all kinds of features for a product, which it actually doesn’t have.

It doesn’t take long to realize that half the time all these LLMs just give you text for the sake of giving it.
> Researchers tested two authenticated locks of Beethoven’s hair.

How many authenticated locks are known to exist?
This is good work. Are there examples of sites that have used your library? There weren't any links on your website.
Great visualization from Randall Munroe:

https://xkcd.com/1732/

Literally everyone should see this.

Edit:
Evidently many people still do not get the point

The point is that yes, climate has changed in the past, and the individual values are not the problem.

The PROBLEM is that it has never changed this FAST. By orders of magnitude.

Velocity changes everything.

Consider just taking a sip of your coffee 1000X as fast as usual.

Instead of bringing your cup the 2' from table to lip in 1 sec, it's 1/1000 sec. You will require multiple explosions to accelerate it to 2000fps/609m/sec/Mach2, and back to zero.

Same description of events, entirely different process and results.

Similar for species and ecosystems to adapt at 1000X the speed they've ever seen.
Google/AGI
FERC votes to overhaul US electric transmission system