@wffl if nobody has an advice, maybe check with the closest university having fashion related courses
flyingmana@phpc.social
@flyingmana@phpc.social
Posts
-
hi fedi! -
I accidentally read LinkedIn again and lots of people are talking about the flow of writing code with an LLM and then using a feedback loop with formal verification to reject incorrect implementations.@david_chisnall people dont notice, because they are used to write specifications in the form of telling others what to do.
They still should talk about this part more though, as they are often very terrible in it.For the fun part, many of the verification steps are also done directly or indirectly by generated code. So it needs a lot of manual testing.
A bit like trial and error programming one is doing in the first years of learning....
-
https://www.golem.de/news/atomkraft-usa-droht-engpass-bei-uranversorgung-2602-205912.html@isotopp oh, ist das der Grund wieso sie jetzt die auslieferung von vorräte von anderen Ländern verlangen?