Tydzień Programisty 2025 w Knyfyrtel Hackerspace Poznań

Tydzień Programisty to cykl spotkań, warsztatów i prelekcji dla osób związanych z branżą IT – programistów, testerów, analityków danych, specjalistów AI, cyberbezpieczeństwa i technologii chmurowych. Wydarzenie odbywa się już po raz ósmy, a w tym roku trwa przez cały miesiąc i obejmuje zarówno spotkania stacjonarne w różnych miastach, jak i wydarzenia online.

To przestrzeń do wymiany doświadczeń, nauki i inspiracji – zarówno dla doświadczonych specjalistów, jak i osób dopiero stawiających pierwsze kroki w świecie technologii.

📅 Kiedy? czwartek, 18 września 2025, godz. 17:30
📍 Gdzie? ul. Słowackiego 13, 60-822 Poznań, pokój 211

### Agenda

#### 17:30 – Przenoszenie 10-letniej gry z desktopów na Androida - Artur Frenszek-Iwicki

Dawno temu, bo w 2012 roku, w ramach game jamu stworzyłem w 48h prostą grę na desktopy (Windows, Linux). Niecałą dekadę później, w trakcie przygotowywania odświeżonego wydania na 10-lecie gry, naszła mnie myśl – a co, gdyby tak spróbować zrobić wersję mobilną? Wszystkie narzędzia i biblioteki, których gra używa, wspierają Androida – nie powinno być zbyt trudno… W ramach prelekcji omówię proces budowania gry na Androida oraz zmiany, jakie musiałem wprowadzić, aby sensownie obsługiwać tę platformę i przejść od „buduje się, ale dalej można grać tylko na klawiaturze” do „wszystko działa na telefonie dotykowo i nawet fajnie się gra”.

#### 18:20 – 5 etapów znajomości GIT-a - Villa Chodubski

Posłuchaj tej krótkiej prelekcji i stwierdź, na którym z etapów znajomości GIT-a jesteś. To nie będzie żaden kurs GitOps, ani nic z tych rzeczy. Zobaczymy, czy możesz odróżnić starego wyjadacza od trochę młodszego widząc, jak używa komendy git switch. Może uda mi się sprzedać parę ciekawostek, o których jeszcze nie wiesz.

#### 18:55 – Analiza podatności w Linux kernel - Maksymilian Mazur

Omówimy sobie kilka przykładów pokazujących problematykę hardeningu kernela, triage występujących w nim podatności oraz proces patchowania ich.

#### 19:30 – Logika dziewięciu rzędów: o Sudoku jako systemie dowodzenia - Jakub Dakowski

Rozwiązujesz czasem Sudoku? Jesteś bliżej bycia logikiem, niż myślisz! Przedstawię podstawowe pojęcia metalogiki i teorii dowodu w wyjątkowo praktycznym kontekście – procesie rozwiązywania Sudoku. Omówię najważniejsze strategie Sudoku i porównam je do reguł dedukcji znanych z klasycznych systemów logicznych. Następnie wspólnie rozważymy, jakie konsekwencje ma to dla naszego rozumienia logiki formalnej. Całość przedstawię na przykładzie działającego solvera. Pokażę również, jak dodanie do puli reguł rozumowania nie wprost czyni go kompletnym solverem.

Wstęp darmowy, obowiązują zapisy.
Więcej informacji: https://tydzienprogramisty.pl/