Czesc, to znów ja.

W najbliższą sobotę organizuję spacer krajoznawczo-przygodowy po osiedlu Jazdów. Jest to dość malownicze osiedle drewnianych domków w samym sercu Warszawy. Sądzę, że wiele osób nawet nie wie gdzie to jest, albo coś słyszało ale tak nie do końca widziało :)

Więc z miłą chęcią zapraszam na spacer. Po spacerze proponuje luźne spotkanie przy herbacie, mleku albo piwie. Co kto woli.
Uda się także dzięki @OtwartyJazdow zobaczyć wnętrza kilku domków i poczuć jak to miejsce wyglądało niegdyś w momencie kiedy praktycznie całe było zamieszkane. Co ciekawe kilka rodzin jeszcze tam mieszka, może uda nam się także z kimś porozmawiaćPokaż całość

Pięknie zaczyna się nam Nowy Rok. Tak się złożyło, że spadł dziś pierwszy śnieg w Warszawie w tym roku. Zarazem miałem dziś wolne od pracy. Czekałem od października na ten dzień, by mieć wolne i by spadł śnieg. Dlaczego czekałem? By pojechać na jedno z warszawskich osiedli by zobaczyć je w świeżutkiej warstwie śniegu. Mowa o osiedlu Jazdów i Przyjaźń. Niby całe dzieciństwo spędziłem tuż obok jednego z tych osiedli, ale w pamięci nie utkwiło mi w śnieżnobiałej szacie.

Jest to niezwykłe, że w tak dużym mieście są takie urokliwe miejsca jak to, wyjęte niczym z podlaskiej wioski.

Jednocześnie wraz z Nowym Rokiem stwierdziłem, ze warto byłoby reaktywować #gangkulturalnejwarszawy. Myślę nad organizacją spaceru podobnego do zeszłorocznego tyle, ze właśnie po drewnianej warszawie. W zasadzie mamy w warszawie trzy takie konkretne osiedle praktycznie tylko drewniane. Są też w okolicy Warszawy (choć dalej na jej terenie) budynki zwane świdermajerami. Warto też je odwiedzić, póki jeszcze nie spłonęły.Pokaż całość

#anonimowemirkowyznania
Cześć Mirki. Ostatnio zacząłem na pewnym kole naukowym na pewnej polskiej uczelni prowadzić zajęcia z języka Coq i chciałbym się podzielić z wami tworzonymi przeze mnie materiałami dydaktycznymi: zeimer.github.io

Czym jest Coq? Jest to asystent dowodzenia twierdzeń oraz język programowania oparty na teorii typów. Umożliwia nam programowanie funkcyjne (jak w Haskellu, tylko na sterydach) oraz "robienie matematyki" (definiowanie obiektów matematycznych, dowodzenie ich właściwości etc.). Jest warty uwagi, bo dzięki temu możemy, zamiast pisać testy, po prostu udowodnić, że nasze programy działają poprawnie. Coq jest jedynym znanym mi językiem programowania, który nie jest kompletny w sensie Turinga — jest to konieczne, by nie popaść w sprzeczność (programy, które się zapętlają, w logice odpowiadają sprzeczności). Nie jest to jednak przeszkoda — w Coqu napisano jedyny kompilator języka C, w którym nie ma błędów (udowodniono, że jest poprawny, więc jest poprawny).

Materiały są przeznaczone dla osób umiejących trochę programować (imperatywnie) oraz znających podstawy logiki, ale myślę, że można dać radę i bez tego. Zapraszam do czytania informatyków, którzy chcą się nauczyć nowego sposobu programowania oraz formalnego rozumowania na temat programów (i nie tylko). Zapraszam też matematyków, którzy nie lubią teorii zbiorów i chcieliby dowiedzieć się co nieco o teorii typów, a także o teorii kategorii (planuję napisać o tym w przyszłości).Pokaż całość

#matlab
Jestem kompletnie zielony w kwestii Matlaba i chce zrobić wykres zmieniający się w czasie rzeczywistym jak na gifie.

[Cała nudna fabuła dotycząca zadania ( ͡° ͜ʖ ͡°)]
Na studiach mamy zamodelować układy liniowe w tym ustrojstwie. Oczywiście nikt nam nie mówił jak to działa, po prostu wchodzimy na laborki i mamy robić - widząc to pierwszy raz na oczy ( ͡° ͜ʖ ͡°). Taki wykres nie jest to konieczny, ale muszę (i w sumie sam z ciekawości chciałbym) wiedziećPokaż całość

Możecie mnie wyśmiać, ale co oznaczają te odwrócone E i ten trójkąt na początku każdego przykładu?

#matematyka #zadania

Drodzy znawcy prawa, pomóżcie mi w pewnej sytuacji.
Tło wygląda tak:
1. przez 2 lata pracowałem w pewnej firmie na umowę o dzieło (odnawiana regularnie co 3 miesiące)
2. Następnie przeszedłem na umowę o pracę i pracuję już w oparciu o tą umowę 9 miesięcy.

Jak w takim przypadku wygląda okres wypowiedzenia (jego czas):Pokaż całość

Wołam #gangkulturalnejwarszawy
I chyba większość zainteresowanych (przepraszam jeśli kogoś pominąłem): @kashh @Pheasant_Soup @Skyworld @mueh @Hannahalla @Przedwczesny_pogrzeb @Hsvduivbsh @PaulaKucia @lepszy_rydz @Miguel707 @geomag42 @polik95 @spo_ . Pusheeny nie wołam bo już się wpisała.

Planujemy wyjście naPokaż całość

#zagle #zeglarstwo #norwegia #sparrow #jacht #fotohistoria

Wolam wiec @reddin @martinez98 @qlf00n @sillemo @UndaMarina @Trva @tor_Arka @Moron @szancik

Kilka osob pytalo mnie jak to bylo z moim jachtem. Historia jest dosyc ciekawa, wiec postaram sie ja opisac.
Zaczne od tego ze morze to moja pasja, mimo ze pochodze z Krakowa, to zawsze mnie do morza ciagnela jakas dziwna i tajemnicza sila.Pokaż całość

Ci co wczoraj zabalowali na wykopiwie, WSTAWAĆ i dzis grzecznie, ladnie ubrani widzimy sie o 13 pod muzeum powstania #gangkulturalnejwarszawy #wykopiwowarszawa Pozdrawiam ja i mój szalik xd