|
|
marsie
Chyba AI się włączyła - parole, parole, do diabła! |
|
|
Edeldreda z Ely
@marsie
Ja znowu ostatnio z zainteresowaniem przeczytałam, chyba przedostatni Pana wpis na blogu. Byłam nawet o krok od pozostawienia komentarza - może w 2024 się uda :)
Serdeczności. |
|
|
Pani Anna
Tymi obrazkami zainspirowała mnie Pani do zmiany avatara. Czas przestać się ukrywać. Sztuczne wytwory sztucznej inteligencji są nie dla mnie. |
|
|
EsaurGappa
I vice versa.😎
|
|
|
Edeldreda z Ely
@EsaurGappa
Jak już mówiłam onegdaj - niesztampowość zupełna 🤗 |
|
|
marsie
Do EzE:
Nie chcę tego wyjaśniać ani komentować aż "za bardzo" (patrz ostatni długi wpis), bo po cholerę, ale – czy można to śpiewać na melodię – volare, volare, volare?
Pozdrawiam!
|
|
|
EsaurGappa
....Najepiej jak się nic nie śni...Jan Paweł II.
Naga noc niczym kołdra czasu przykrywa moją duszę,jej chłód jest balsamem na rozgrzany umysł,ciemność należy do ciała,a dzień mój odpoczenie w moich wspomnieniach.
Chwała niech będzie jutrzence,gdy powieki naszej nadziei dostrzegą że nie jesteśmy już ...
|
|
|
Edeldreda z Ely
@Imć Waszeć
Jasne, że pamiętam - pamiętam nawet, że usiłowałam czytać jeden z artykułów i to, czytać ze zrozumieniem, a więc prawie osiągnęłam odmienny stan świadomości ;-)
W każdym razie, jeśli prawdą jest, że sen - mara, a Bóg - wiara, to czemuż w Piśmie Świętym znajdujemy tak wiele opisów snów..? |
|
|
Edeldreda z Ely
@Spike
Na pewno AI poradziłaby sobie lepiej lub gorzej z odwzorowaniem tego przeżycia. To w ogóle ciekawe uczucie oczekiwać na jej produkt i potem oglądać, co ona tam na podstawie naszych słów wymodziła ;)
Wariacje na temat pieca obrazują jej słaby punkt... Nie nadaje się jeszcze do tworzenia spojnych narracji do np. symulatorów... |
|
|
Edeldreda z Ely
@SilentiumUniversi
Są ludzie, którzy psychoanalizie zawdzięczają to i owo - chociażby - Witkacy zaleca taki ożywczy prysznic na nasze Niemyte dusze ("niemyta dusza" to wg Niego taka, która nie doznała psychoanalizy). https://pl.wikipedia.org… |
|
|
spike
PS. Zapomniałem o fotkach, te dwie pierwsze, to katastroficzne, chyba bym się obudził spocony :)
Ciekawy obraz w kuchni, co mnie zastanowiło, to piec, ciekawie malowniczo skomponowany, jakby był z XIX w. , ale ta rura kominowa mnie zaskoczyła, zamontowana na płycie pieca, a właściwy dla niej wylot jest zatkany. :)
Pozostałe obrazy jak bajek o królewnie :) |
|
|
spike
@EzE
czy Pani miała te sny też w kolorze?
ja często takie mam, nie znam się na snach, często są jak "filmy przygodowe", co ciekawe potrafię w nich "latać", nie machaniem rąk, ale wolą, nie jest to łatwe, jak tylko stracę moc tej wiary, to ląduję. Co ciekawe, dość dokładnie widzę z wysokości, jakby unosił się balonem, potrafię się przemieszczać, nawet w pomieszczeniach, "szybując" między pokojami.
Jest to dość realne do tego fajne. Kiedyś latając zwiedzałem ruiny jakiegoś zamku, komnaty, piwnice i cały z góry, niesamowite.
:))) |
|
|
Dark Regis
@Edeldreda z Ely, czy pamięta Pani jeszcze ten sen o taipanie? Niedawno sprawdziłem to dokładniej i oto wyniki:
-------------
1. "Ultimate Taipan with Dynamic Block Encoding", Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling & Tanja Schindler. First Online: 14 April 2018.
Abstract: ULTIMATE TAIPAN is a software model checker that uses trace abstraction and abstract interpretation to prove correctness of programs. In contrast to previous versions, ULTIMATE TAIPAN now uses dynamic block encoding to obtain the best precision possible when evaluating transition formulas of large block encoded programs.
2. "Ultimate Taipan: Trace Abstraction and Abstract Interpretation", Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele & Andreas Podelski . First Online: 31 March 2017
Abstract: ULTIMATE TAIPAN is a software model checker for C programs. It is based on a CEGAR variant, trace abstraction [7], where program abstractions, counterexample selection and abstraction refinement are based on automata. ULTIMATE TAIPAN constructs path programs from counterexamples and computes fixpoints for those path programs using abstract interpretation. If the fixpoints are strong enough to prove the path program to be correct, they are guaranteed to be loop invariants for the path program. If they are not strong enough, ULTIMATE TAIPAN uses an interpolating SMT solver to obtain state assertions from the original counterexample, thus guaranteeing progress.
3. "Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions", Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle & Frank Schüssele. First Online: 17 April 2020.
Abstract: ULTIMATE TAIPAN is a software model checker that combines trace abstraction with abstract interpretation on path programs. In this year’s version, we replaced our abstract interpretation engine and now use a combination of multiple abstraction functions, fixpoint computation, algebraic program analysis, and SMT solving. Our new approach will allow us to integrate new techniques more easily.
4. "Ultimate Taipan and Race Detection in Ultimate", Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele & Andreas Podelski. First Online: 20 April 2023.
Abstract: ULTIMATE TAIPAN integrates trace abstraction with algebraic program analysis on path programs. TAIPAN supports data race checking in concurrent programs through a reduction to reachability checking. Though the subsequent verification is not tuned for data race checking, the results are encouraging.
-------------
Tak jest "potrzebny jest mi Tajpan". I niech ktoś teraz spróbuje powiedzieć, że w snach widzi się tylko bzdury ;))) |
|
|
spike
"My szukamy sobie przejścia
W Niebo, gdzie nie świeci nic.”
ta fraza motta wg mnie jest błędna, Niebo to światłość, to jest nasze przeznaczenie końca naszej wędrówki, jeżeli wybierzemy właściwą drogę przez życie.
Wiele lat temu, miałem pewne przeżycie, zbierałem się z namalowaniem go,
Całkowita ciemność, taka idealna pustka, w oddali widzę trzy postacie, raczej jakby ich cień, które w domyśle są od tyłu oświetlone, co powoduje jakby efekt poświaty wokół zarysu tych postaci, które niewiele się różnią pod względem wysokości, postać w środku jest trochę wyższa od pozostałych.
Po cieniu czy konturze, nie da się odróżnić płci, np po długości włosów, spodniach, sukience, nie są tak wyraźne.
Postacie stoją naprzeciwko, na oko tak 50 m, dość blisko siebie.
Ja stałem jakbym się zastanawiał czy mam do nich podejść, czy one podejdą, ale nie dowiedziałem się, pewnie kiedyś :-)
Pomyślałem nawet, jakby to "widziała AI :)
Pzdr. |
|
|
Dark Regis
Bing jest super, bo nie dość, że maluje (prompty pisać można na czacie, albo polecić mu przygotować takowy), to jeszcze można się z nim poprzekomarzać. Konkretnie to teraz on nazywa się Copilot i będzie na stałe wbudowany do Windows, żeby nawet mógł uczyć instalować i używać programy. Polecam ćwiczenie z Binga dotyczące artykułu i dyskusji na jego temat z Bingiem (wkleja się link do czata). To jest zupełnie nowy wymiar wyszukiwania informacji w sieci. Bing pisze też bez problemu "matematyką". |
|
|
Edeldreda z Ely
@Admin
Mnie, jeśli chodzi o tego rodzaju nowinki, cechuje pewna sztywność - gdy ktoś mi coś pokaże, a ja w końcu dam się przekonać, to już wiernie trwam przy tym nowo poznanym narzędziu - nawet wtedy, gdy ono szybko z nowinki przeistacza się w przeżytek ;)
Malowałam za pomocą Image Creator Bing.
To, co starałam się tu zaprezentować to to, że uzyskujemy nowe środki wyrazu do wspomnianej przez Chat GPT osławionej komunikacji oraz... że AI jest narzędziem, które odnosi do człowieka, który za jej wytworami stoi.
|
|
|
Silentium Universi
Zawsze miałem wrażenie, że podświadomość produkująca moje sny jest mi bardzo przyjazna. I zadaję sobie pytanie, czemu niejaki Freud był taki z samym sobą pokłócony? AI produkująca ilustracje w onirycznym stylu bardzo tu pasuje |
|
|
Admin Naszeblogi.pl
@EzE Cudowne. Jaką AI wykorzystujesz? Można robić i znane osoby. Ja miałem zainstalowaną lokalnie Stable Diffusion i wszystko przechodziło. Tusk, Kaczyński i oczywiście nudesy (: Ale skasowałem bo za dużo to zajmowało miejsca i czasu |
|
|
Edeldreda z Ely
@Rolnik z Mazur
Konkretnie, to Podróż i to nie raz i nie dwa ;)
I Z zamku do zamku. To i ja się za coś chyba wezmę, by nie pozostawać w tyle. |
|
|
rolnik z mazur Waldek Bargłowski
@ edeldreda
a która konkretnie? Kto przeczytał podróż do końca nocy i śmierć na kredyt to wystarczy, żeby sobie wyrobić zdanie. Właśnie zabieram się za Nord i pewnie zajmie mi to trochę czasu. |
|
|
Edeldreda z Ely
@Rolnik z Mazur
Cieszę się, że nie dał się Pan zaskoczyć :)
Są książki, których przyszłej lektury zazdroszczę tym, którzy ich jeszcze nie czytali. Ta jest jedną z nich :)
Serdeczności. |
|
|
rolnik z mazur Waldek Bargłowski
@ edeldreda
też kochałem Celine w podróży do końca nocy na północ , ale jakie to deprymujące i jednocześnie ożywcze. Ładnie mi się to ogląda. Pzdr |
|
|
Edeldreda z Ely
Ale na przywarciu trochę trudniej: dostrzec - zaobserwować - zmierzyć - wiedzieć ;)
Pozdrawiam. |
|
|
Zbyszek
Ja to rozumiem jako jedno z dwojga: przywarcie do rzeczywistości albo rezygnacja z tego "przywarcia". Stachura "cudowne manowce" znalazł głównie w Polsce. Zaprowadziły go na tory kolejowe, bo odebrały radość ze zwykłego życia. Z drugiej strony życie - przewidywalne, to co to za życie? Czy jest przepis na pogodzenie nieprzewidywalności ze zdrowym rozsądkiem? Nie ma. Ale każdy go odnajduje w swoim życiu. To znaczy, jak chce :) |
|
|
Edeldreda z Ely
@r102
Hmm... Widocznie AI hasło: "blond" kojarzy się automatycznie z glonojadem o słowiańskich rysach ;) |
