Lectures
Brazylijskie Jiu Jitsu
Brazylijskie Jiu Jitsu jest sztuką walki o rosnącej popularności - opiera się na tzw. walce na chwyty, której celem jest zmuszenie przeciwnika do poddania poprzez aplikowanie kontrolowanego bólu (dźwignia) lub groźbę utraty przytomności (duszenie). Istotnym elementem walki w BJJ jest również szeroko rozumiana stójka, na którą składają się zapasy, Judo i siadanie do gardy. Potrzebujesz jedynie wygodnego stroju sportowego i butelki wody. Zapraszamy!
Czy jedno dzielenie dużo zmienia?
Na zajęciach z analizy numerycznej mówimy m.in. o metodach przybliżania funkcji na podstawie dyskretnych danych. Stosujemy na przykład interpolację lub aproksymację wielomianową czy słynne wśród wielu numeromaniaków NIFS3 :-). Dlaczego skupiamy się na wielomianach? Nietrudno odpowiedzieć: są one proste i przyjazne. Istnieje jednak wiele innych metod interpolacji czy aproksymacji, w tym wykorzystujące funkcje wymierne. Przejście do „świata wymiernego” znacznie jednak komplikuje sprawę, chociaż mogłoby się wydawać, że dochodzi tylko jedno dzielenie... I o tym właśnie opowiem. Pogadanka będzie elementarna [tak, wiem, zawsze tak piszę ;-)] i zaledwie sygnalizująca problematykę. Osoby zainteresowane będą mogły ją zgłębiać m.in. na zajęciach numerycznych oferowanych w naszym Instytucie czy podczas pisania pracy dyplomowej (tu kto pierwszy, ten lepszy, ale dla dwóch-trzech numeromaniaków miejsca na pewno znajdę).
Brydż
Brydż
Cryptographic fails
Co ma wspólnego Playstation 3 ze sprzętowym portfelem bitcoin Coldcard? Oba miały problem z generowaniem liczb losowych. Opowiem jakie to miało konsekwencje i pokażę kilka spektakularnych faili związanych z niewłaściwym wykorzystaniem kryptografii.
Formalna weryfikacja poza informatyką
Jak powszechnie wiadomo najlepszym sposobem na sprawdzenie zgodności projektu systemu ze specfikacją jest szczegółowe zbadanie go metodami matematycznymi (zwykle z użyciem dedykowanych programamów). Proces taki, nazywany formalną weryfikacją, staje się obecnie coraz popularniejszy w świecie rozwoju oprogramowania. Pozwala on na uniknięcie błędów, w tym takich trudnych do wykrycia przez testowanie, co jest szczególnie istotne w systemach o krytycznym znaczeniu dla bezpieczeństwa. Wydawałoby się, że programy są jedynym, co można formalnie zweryfikować, nie jest to jednak prawdą. Istnieją dziedziny nauki i techniki, w których metody formalne są tak samo przydatne jak w informatyce i w tej prezentacji postaram się o nich opowiedzieć.
AI Agents in the IDE: Keeping Developers in Control
How can we delegate work to AI agents while still understanding and controlling our code? In this talk, we’ll explore how JetBrains IDEs serve as an open platform for working with the coding agent of your choice. We’ll look at how the Agent Client Protocol (ACP) connects agents to the IDE, and how the Model Context Protocol (MCP) gives them access to IDE tools and project context. Through a practical demo, we’ll follow an agent working on a project, inspect its changes, and use the IDE to check the results. The focus is on keeping developers involved: deciding what to delegate, understanding what changed, and knowing when to take over.
AI Agents 101 with JetBrains: From Fundamentals to Your First AI Agent
How does an AI coding agent actually work? In this workshop, we’ll start with the fundamentals of LLMs and tool calling, then work through the implementation of a simple coding agent. We’ll focus on harness engineering: building the application around the model that manages context, executes tools, and controls the agent’s workflow. Through a code walkthrough and practical experiments, we’ll see how an agent reads code, takes action, checks the results, and decides what to do next. We’ll modify its instructions and tools to understand how these choices affect its behaviour. By the end, you’ll understand the core components of a coding agent and how to adapt a simple implementation for your own experiments. Basic programming knowledge is enough; no previous experience building AI agents is required.
Tak dużo można zobaczyć...
Chyba każdy z nas widział tęczę. Okazuje się, że na niebie można również znaleźć inne ciekawe zjawiska o podobnej naturze. Podczas prezentacji zrobię krótki przegląd zjawisk optycznych w atmosferze, wyjaśnię jak one powstają oraz opowiem o tym kiedy i gdzie ich szukać.
Flanki
Turniej flanek, piwo we własnym zakresie