Lectures
Alco Contest
Alco Contest to jeden z najstarszych znanych ludzkości sportów olimpijskich. Polega on na rozwiązywaniu zadań o przeróżnej trudności (od super łatwych do super trudnych), jednak bądźcie ostrożni- każde wysłane rozwiązanie zadania będzie skutkować osłabieniem (lub dla niektórych wzmocnieniem) zdolności poznawczych poprzez spożycie pradawnej mikstury. Zapraszamy zarówno tych początkujących, jak i bardziej doświadczonych, każdy znajdzie zadanka dla siebie! Na contest należy ze sobą wziąć: 1. Laptopa 2. Pradawną miksturę w najczystszej postaci (sugerowaną w tytule). 3. Chęci na dobrą zabawę. Powodzenia!
Jak utrudnić pieczenie optymalizacją?
Zapewne każdy z was znajdzie w domu rodzinnym zeszyt z przepisami odręcznie zapisanymi przez babcię i wie, że z jakiegoś magicznego powodu wypieki z takich receptur są zawsze najsmaczniejsze. Ale co zrobić, kiedy sami taki zeszyt chcielibyśmy zostawić swoim wnukom? Przecież (przynajmniej na razie) nadprzyrodzonej cukierniczej wiedzy nie mamy. Możemy przedstawić tworzenie przepisu jako problem optymalizacyjny nieznanej funkcji w bardzo specyficznych warunkach — gdzie ewaluacja jest bardzo droga, ale jednocześnie posiadamy przeczucie co do struktury wyników. Musimy wtedy sięgnąć po znacznie bardziej ostrożne metody niż w klasycznej optymalizacji. Postaram się wytłumaczyć, co w tym trudnego, przedstawić intuicję i pokazać, jaki to ma związek z optymalizowaniem hiperparametrów w modelach uczenia maszynowego. Na wykładzie należy się spodziewać: - udawania, że prowadzący ma jakiekolwiek doświadczenie w wystąpieniach publicznych - matematyki (wystarczy rozumieć wielowymiarowy rozkład normalny) - cukiernictwa (niestety najmniej :( ) Dla ciekawskich: Google Brain: „Bayesian Optimization for a Better Dessert”
Brazylijskie Jiu-Jitsu
Podobnie jak rok temu, tak i w tym roku poprowadzę na ZOSI trening Brazylijskiego Jiu-Jitsu. Brazylijskie Jiu-Jitsu jest sportem walki opierającym się głównie na poddaniach (dźwigniach, duszeniach) i zapasach (obalenia, kontrola, rzuty). Na treningu skupimy się na jakims podzbiorze technik przydatnych w samoobronie i MMA. Wymagany jest jedynie ubiór sportowy, a w szczególności nie jest wymagane doświadczenie w sportach walki. Dodatkowo zachęcam do wzięcia ochraniacza na zęby, jeżeli ktoś ma ochotę po treningu posparować. https://youtu.be/QJ-H3crt9XY?si=xF3pyVAWYBECJ2KR
Na początku było Słowo
Wprowadzenie do hermeneutyki i krytyki tekstów biblijnych. [TODO]
Szpej Górski - Rocket Science czy Astrologia dla Mężczyzn
Jeżeli coś w ostatnich latach wyprzedza wzrost cen sprzętu do pieszych wędrówek, to jest to tylko liczba technologii, membran, skrótów i marketingowych zaklęć, które zostały w nim zainstalowane. Podczas wykładu przyjrzymy się sprzętowi na wyrypy, analizując jego właściwości nie przez pryzmat broscience, forów i opinii ekspertów z YT, lecz badań naukowych, głównie z zakresu medycyny i nauk o sporcie. Jeżeli jesteś początkującym piechurem i jeszcze sprzętu nie masz, to być może dowiesz się, w co i w jakiej kolejności warto się wyposażyć; jeżeli jesteś ogorzałym górzystą, być może nie zgodzisz się z którymś z wniosków i powstanie z tego okazja na rewolucyjną publikację. Jako efekt uboczny sprawdzimy, czy prosty informatyk jest w stanie sięgnąć po artykuły z zupełnie sobie obcych dziedzin przeczytać je, zrozumieć i wyciągnąć sensowne wnioski.
Do you even type bro?
Opowiem o tym jak można zbudować własną klawiaturę, dlaczego to proste, fajne i jak nie przepłacić. Pokażę też dziwne klawiatury i cool pomysły na korzystanie z komputera wyłącznie za pomocą klawiatury (bez myszki). Nacisk będzie na tworzenie klawiatury, a nie na to jak brzmi, jakiego kolorku można mieć przyciski i czy ładnie brzmią. Po przyjściu na spotkanie słuchacz powinien być w stanie stworzyć sobie epicką (i customizowalną!) klawiaturę za max. 200zł.
Hakowanie samochodu - magistrala CAN
Sercem komunikacji każdego w miarę współczesnego samochodu (i nie tylko) jest magistrala CAN. Znajdziemy tam między innymi informacje dotyczące pracy silnika, hamulców, poduszek powietrznych, klimatyzacji i wiele innych. Na wykładzie opowiem jak to działa, jak wpiąć do magistrali swojego laptopa przez port diagnostyczny oraz co udało mi się wyciągnąć z mojego Volvo.
Poranna gimnastyka
Nic nie wprowadza w nowy dzień po nocy pełnej wrażeń tak, jak odrobina ruchu. Po raz drugi zapraszam na zajęcia, na których wśród przyjemnych dźwięków muzyki nie zabraknie elementów jogi, ćwiczeń, które przyniosą ulgę zmęczonym pracą przy komputerze plecom ani rytmicznego podrygiwania. Intensywność treningu zostanie dopasowana do kondycji i samopoczucia grupy. To świetna okazja, żeby rozgrzać się przed (nie najporanniejszym) wyjściem w góry.
Posklejamy neuronki? – o funkcjach sklejanych w sieciach neuronowych
Kiedy mówimy, że sieć neuronowa aproksymuje funkcję, zwykle myślimy o wagach i gradientach. A gdyby tak zamiast tego zapytać: z jakich klocków ta funkcja jest składana i jak są one ze sobą połączone? Zanim pojawiły się sieci neuronowe, matematycy zadawali sobie bardzo podobne pytania – a jedna z odpowiedzi, zaproponowana w połowie XX wieku, przez długi czas była traktowana jako ciekawostka teoretyczna i nie była kojarzona ani z algorytmami, ani z uczeniem maszynowym. Dziś wraca jednak w nowym kontekście – jako ciekawa alternatywa dla klasycznego myślenia o aproksymacji funkcji w sieciach neuronowych, opartego na uczeniu wag. Na wykładzie zobaczymy, czym różni się myślenie o „uczeniu wag” od myślenia o składaniu funkcji, dlaczego w tym miejscu naturalnie pojawiają się funkcje sklejane i co taki sposób patrzenia mówi nam o tym, jak naprawdę działają sieci neuronowe. Znajomość uczenia maszynowego ani języka PWo++ nie będą wymagane – podstawowa wiedza z analizy numerycznej może się przydać.
Języki (nie)formalne i złożoność tłumaczeniowa
Lingwistyka leży w przecięciu informatyki i nauk humanistycznych. Przedstawię zbiór ciekawostek z tej dziedziny, tyleż fascynującej, co rozległej. Opowiem o podziale i klasyfikacji języków. Zastanowimy się, czy narzędzia teorii języków formalnych przydają się do analizy języków naturalnych (co ma niedeterministyczny automat skończony do reguł słowotwórczych?). Ponadto, w miarę czasu, porozmawiamy o tym, jak trudnym problemem jest tłumaczenie i jak często się z nim spotykamy (czy ma sens tłumaczenie języka na ten sam?). Nie jest wymagane wcześniejsze zaznajomienie z teorią automatów lub językami formalnymi. Rekomendowane (choć oczywiście nie wymagane) lektury: M. Super, "Introduction to the Theory of Computation", 3rd edition, rozdziały 1.1, 1.2 i 2.1; R. F. Kuang, "Babel, czyli o konieczności przemocy"
Bankruci
Prosta giereczka zespolowa (pewnie z 5 zespołów wiecej bedzie ciężko) sa kategorie i pytania chodzi o to zeby zgarnac najwiecej punkcikow (pytania daja punkty)
Dlaczego kalkulator na iOSie ssie (a na Androidzie nie)
Nasze telefony potrafią wykonać miliardy operacji arytmetycznych na sekundę. Można by więc pomyśleć, że dla aplikacji kalkulatora na takim telefonie dokładne dodawanie i odejmowanie to pestka… prawda? Opowiem Wam dlaczego kalkulatorowi na iOSie nie można ufać, a temu na Androidzie (prawie) zawsze można – nawet gdy liczycie tysięczną cyfrę po przecinku liczby pi. Dowiecie się też dlaczego sprawdzenie że 1 = 1 jest nierozstrzygalne, i co z tym wszystkim wspólnego ma… garbage collector do języka C??
Kryptografia postkwantowa dla początkujących
Zastanawialiście się kiedyś, dlaczego kryptolodzy już teraz zmieniają zasady gry, skoro potężne komputery kwantowe wciąż wydają się pieśnią przyszłości? W trakcie wykładu opowiem o kulisach powstawania odpornych na nie algorytmów oraz wskażę miejsca w Twojej przeglądarce, gdzie te mechanizmy już działają. Będzie to zaktualizowany wykład z obozu Leosia 2025.
Dominacja 2D nad 3D czyli w jaki sposób dziewczynki z anime doprowadzają do zagłady ludzkości
Od poprzedniego wykładu z serii minęły tysiące dni. W tym czasie sytuacja uległa pogorszeniu. Los naszej planety zdaje się przesądzony. Razem pochylimy się nad przedziwnym zjawiskiem jakim jest eksplozja popularności vtuberek oraz jakie następstwa i niebezpieczeństwa nas w związku z tym czekają.
OpenTTD / Factiorio LAN party
Eksperymentanle nocne LAN party [1] na ZOSI! Dołączysz? Zabierz swój komputer i adapter Ethernet; zapewniamy switch na miejscu. Wybór OpenTTD / Factorio do podjęcia na evencie. [1] https://en.wikipedia.org/wiki/LAN_party
Becoming a telecom operator: my ADHD journey from a single RPi to an entire datacentre
TBD
O telefonii DECT na ZOSI // Trochę o klawiaturach
Dopiszę później :)
Z głębi skał do Twoich płuc (i wanny). Czyli pokrótce o radonie, radzie i promieniowaniu jonizującym.
Prezentacja to krótka podróż przez świat promieniotwórczości naturalnej - od szybkiej powtórki z fizyki, przez promieniotwórcze skały, aż po sam mechanizm powstawania radonu. Prześledzimy drogę, jaką ten gaz pokonuje, by trafić do wód i powietrza. Tematem wykładu będzie jego dwoista natura: z jednej strony potencjalne ryzyko dla płuc, z drugiej - fundament polskich kurortów leczniczych. W tle pojawi się również pojęcie hormezy radiacyjnej oraz kluczowe pytanie: jak to wszystko mierzyć i jak się chronić?
Jądro systemu operacyjnego napisane w... Pythonie?
Marzysz, by zostać programistą systemów operacyjnych, ale na myśl o ręcznym zarządzaniu pamięcią zbiera Ci się na wymioty? Programowanie jądra nigdy nie było tak proste! Opowiem o projekcie `kite` - wysokopoziomowej implementacji systemu operacyjnego. Pokażę system `kite` w akcji, wyjaśnię skąd ten pomysł, jak został zrealizowany oraz nakreślę, jakie są dalsze plany i możliwości.
High-Performance Python
Czy Python musi być wolny? Choć kojarzy się z prostotą kosztem wydajności, nowoczesne narzędzia pozwalają mu konkurować z kodem natywnym – o ile wiemy, jak je wykorzystać. Omówimy pewien podzbiór z zagadnień: - Wektoryzacja i Memory Layout - JIT compilation i `torch.compile` - Kernel Fusion - Szybsze alternatywy dla popularnych bibliotek - CPU vs GPU - Profilowanie kodu Wykład ma charakter wprowadzający - nie musisz być ekspertem, sam nim nie jestem:)
Mamo, chcę procesor bez zestawu instrukcji
Jak bardzo reduced są zestawy instrukcji RISC? A jak mogą być? Opowiem o wyjątkowo minimalistycznych architekturach komputerów, szczycących się co najwyżej jednoelementowym zbiorem instrukcji, a nawet o tym, dlaczego taka redukcja nie zawsze musi być złym pomysłem. Wspomniane architektury są znacznie prostsze od tych klasycznych i popularnych, więc serdecznie zapraszam nie tylko niskopoziomowych świrków:)
Dług technologiczny i jak codziennie go przemycasz
Dług technologiczny często kojarzony jest ze starym kodem, nieaktualnymi paczkami i brakiem testów. W praktyce bardzo często powstaje znacznie wcześniej (codziennie) jako efekt podejmowanych decyzji podczas dodawania nowych funkcji. Spróbujemy odpowiedzieć, czy wiek projektu i wybór frameworka rzeczywiście mają kluczowe znaczenie, czy raczej sposób, w jaki na co dzień korzystamy z tych narzędzi. Będziemy bazować na dwóch realnych aplikacjach fullstack: 10-letniej aplikacji w Meteor.js oraz 6-miesięcznej aplikacji w Next.js.
Zimowe Origami Studentów Informatyki (A) 2
Student nie powinien żyć wyłącznie wykładami ⁽ˡᵘᵇ ᵖᶦʷᵉᵐ⁾, dlatego zapraszam serdecznie wszystkich chętnych do zajęć ze składania origami! W tym roku (podobnie jak w zeszłym) skupimy się na grupowym tworzeniu origami modułowego oraz przypomnę podstawy składania. Zapraszam szczególnie osoby, które nigdy nie miały styczności z taką formą sztuki!
Skrócony zarys wstępu do podstaw wybranych elementów mechaniki kwantowej
Wokół mechaniki kwantowej panuje dziwna aura tajemniczości. Większość ludzi kojarzy kilka faktów poznanych z tekstów popularnonaukowych i powtarza hasła rodem z tabloidów: "Elektron zderzył się z samym sobą", "Schrödinger przetrzymuje jednocześnie żywego i martwego kota w pudełku", "Para znanych celebrytów jest splątana". W czasie wykładu postaram się trochę odczarować ten świat, odwołując się nie do skomplikowanych równań, ale do kilku matematycznych intuicji nabytych na pierwszym roku studiów. Nie będzie nic o tańczących na sznurkach ho-honiach, znanych jako heffalumpy.
Obserwacja nocnego nieba
Warsztaty, na których będziemy mieli okazję przyjrzeć się nocnemu niebu zarówno gołym okiem, jak i z wykorzystaniem lornetki oraz niewielkiego teleskopu. Odkryjemy, że ludzkie oczy są bardzo ułomnym i niedoskonałym narzędziem do obserwacji nieba. Dlatego też usuniemy je z toru optycznego i zastąpimy zaawansowanymi urządzeniami oferowanymi przez współczesną technologię, wgłębiając się w tajniki astrofotografii. Spotkanie kierowane jest dla każdego, bez wcześniejszego przygotowania, ale należy **BARDZO CIEPŁO** się ubrać. Każdy dodatkowy sprzęt astronomiczny (lornetka, teleskop, aparat fotograficzny ze statywem, koronograf, spektroskop, radioteleskop, itp.) jest mile widziany, ale nie jest wymagany. Warsztaty są uzależnione od pogody i mogą się nie odbyć.
TODO: Zdecydować się na tytuł
Podejmowanie decyzji jest trudne. Z tego powodu zwykle zwlekam z tym do ostatniej chwili, dzięki czemu niektóre problemy rozwiązują się same. Okazuje się, że ta strategia sprawdza się nie tylko w życiu codziennym, ale także w implementacji języków programowania. W czasie prezentacji opowiem o tym, jak niezdecydowany jest kompilator Frama, oraz jak odraczanie decyzji sprawiło, że wybieram się na wycieczkę do Turynu za cudze pieniądze.