JamesJoyce
Mądre pytanie: Kto sprawdzi kod pisany przez AI?

Leonardo de Moura, twórca języka Lean i architekt w AWS, napisał post, który uważam bardzo ciekaw, a nie byłem na wykopie trochę, więc pomyślałem, że się podziele.

AI już teraz pisze ćwierć kodu w Google i Microsofcie. CTO Microsoftu mówi o 95% do 2030 roku. Anthropic zbudował kompilator C w dwa tygodnie za 20 tysięcy dolarów - 100 tysięcy linii kodu, bootuje Linuxa.

I
4
  • Najlepsze
  • Wszystkie komentarze
PrzejeaneZycie
PrzejeaneZycie
@JamesJoyce: dowód napisany przez ai do testowania ai XD brzmi tak samo jak flaky testy pisane przez ai tylko żeby przechodziły
4
c.....s
c.....s
@JamesJoyce: Tylko ciekawe skąd wiadomo czy dowód jest poprawny i czy dowód dowodzi to co chcieliśmy sprawdzić w kodzie

A sam pomysł "testowania" softu przez matematyczne dowodzenie jest bardzo bardzo stary
0
grzegorz-grzegorzyk
grzegorz-grzegorzyk
moi drodzy i drogie

szukam jakiegoś prostego i najlepiej darmowego orpogramowania ERP

sytuacja jest taka, że w firmie jest powiedzmy 10 maszyn produkcyjnych. Chciałbym mieć wgląd co, kiedy i ile czasu jest produkowane na danej maszynie oraz miec mozliwosc dodawanie zlecen produkcyjnych z krótkim opisem i zalacznikami tak zeby osoba odpowiedzialna za produkcje mogla sobie to wrzucic w plan produkcyjny

#lean #erp #pracbaza #produkcja
0
  • Najlepsze
  • Wszystkie komentarze
RandomowyMirek
RandomowyMirek
@grzegorz-grzegorzyk:
Ma być proste, ale ma obsługiwać zarządzanie produkcją, zlecenia, załączniki i obłożenie konkretnych maszyn?

To się nie mieści w kategorii "proste", a już na pewno nie "darmowe". Ja tu widzę pięciocyfrową kwotę.
0
grzegorz-grzegorzyk
grzegorz-grzegorzyk
@RandomowyMirek: nie zrozumiales o co chodzi niestety
0
Amanek14
Amanek14
Treść przeznaczona dla osób powyżej 18 roku życia...
0
  • Najlepsze
  • Wszystkie komentarze
z.....y
z.....y
@Amanek14 odpuść sobie podziękujesz mi później
1
billuscher
@Amanek14: opio to syf trzymaj się z dala
1
Niezdeterminowany
Niezdeterminowany
Obecnie jestem na kierunku ZIIP, chciałbym pracować, aby zajmować się szczupłym zarządzaniem.
Jest może ktoś tutaj po ZIIPie i zajmuję się tym, albo ktoś pracuję w tej materii. Możecie nakierować mnie?
#lean #praca #pracbaza #studia #niebieskipasek
0
AnonimoweMirkoWyznania
#anonimowemirkowyznania
Anonimowo, bo wiadomo ( ͡° ͜ʖ ͡°) będzie o pracy, pieniądzach i szukaniu drogi w życiu

Pracuje jako dziennikarz w jednym z największych mediów w Polsce. Nie newsowy, nie polityczny, tylko branżowy, tematyczny, jakkolwiek to nazwać.
Powiedzmy, że ciągniemy dwie tematyki jako redakcja, jedna interesuje mnie bardzo, druga trochę mniej. Czasem, ale rzadko, udaje się dostać jakieś "prezenty" związane z dziedziną, o której piszemy (do oddania w razie zwolnienia się
0
  • Najlepsze
  • Wszystkie komentarze
Gulash24
Gulash24
Treść przeznaczona dla osób powyżej 18 roku życia...
0
  • Najlepsze
  • Wszystkie komentarze
red7000
3 godziny sobotniego poranka poświęciłem na inwentaryzację zapasów kuchennych. Łącznie wyszły 92 pozycje, z czego 39 otwartych lub częściowo zużytych. To oznacza, że mamy mnóstwo pierdół, które leżą bez użytku. Dodatkowo zauważyłem, że lwią część zapasów zastąpiły kasze, a nie mamy ryżu i makaronu - ledwo jedno paczka tego drugiego. Trzeba zwolnić miejsce, a następnie przemodelować strukturę zapasów.

W lodówce stosujemy FIFO i mamy małe zapasy, więc tam nie ma co sprawdzać. ( ͡° ͜
0
  • Najlepsze
  • Wszystkie komentarze
derigen90
Chciałbym poradzić się 1 kwestii związanej z rozwiązywaniem problemów produkcyjnych /optymalizacją itp.
Czy byłby ktoś chętny pogadać na priv?
#inzynieria #lean #proces #produkcja #leanmanagement
1
  • Najlepsze
  • Wszystkie komentarze
uczihaobito
uczihaobito
3
StaryAdi
Siemanko, jest tu jakis znachor od kodeiny ?
Potrzebuje pare tipow i rad od kogos kto ogarnia temat . Najlepiej na whatsapp albo gg chcialbym popisac.
No hate nie jestem cpunem mordeczki
#lean #kodeina
0
  • Najlepsze
  • Wszystkie komentarze
konserwix
literatura do nauki na poziomie green belt? coś polecacie?
#ksiazki #lean #pracbaza
3
kk87ko0
kk87ko0
Szukam książek powiedzmy o tematyce budowania przyjaznej atmosfery w pracy.
Znalazłem coś takiego, po opisie wydaje mi się że to taka tematyka
https://www.empik.com/dogadac-sie-z-innymi-czyli-porozumienie-bez-przemocy-nie-tylko-w-zyciu-organizacji-berendt-joanna-kozak-agnieszka,p1230686749,ksiazka-p

Macie coś jeszcze do polecenia?
#ksiazki #pracbaza #organizacja #lean
0
  • Najlepsze
  • Wszystkie komentarze
w.....t
w.....t
hej, czy może ktos polecić jakieś ciekawe książki o systemach produkcyjnych? O Toyocie czytałem sporo, chciałbym trochę poznać systemy produkcyjne innych przedsiębiorstw, najchętniej z branży automotive. Słyszałem, że VW oraz Volvo mają stosunkowo znane systemy produkcyjne ale ciężko znaleźć coś sensownego. Dodam tag lean ale niekoniecznie pozycje muszą być z nim powiązane (ale w sumie fajnie byłoby). Dzięki!
#produkcja #automotive #toyota #lean #ksiazki
4
  • Najlepsze
  • Wszystkie komentarze
kmlbnd
Dobra firma / instytut od szkoleń Lean z certyfikatami?

Ktoś zna i polecą jakąś fajną firmę od szkoleń Lean? Może być online lub Wawa. Najlepiej z certyfikatem.

W Google aż za duży wybór

#warszawa #korposwiat #lean #zarzadzanie #projektowanie #korpo #programista15k #pracbaza
1

Powiązane tagi