grzenow

Projekty z Głębokich Sieci Neuronowych

Wed, 15 Jan 2025 00:00:00 +0000

Jest to zbiór projektów zrealizowanych w ramach przedmiotu Głebokie Sieci Neuronowe, obejmujący:

Perceptrony wielowarstwowe:
- Implementacja algorytmu ProxyProp (Proximal Backpropagation), opisanego w tej pracy.
Rozpoznawanie obrazów:
- Implementacja kilku transformacji oraz metod AdvProp i SparseTopK.
Przetwarzanie języka naturalnego:
- Implementacja SwiGLU i Differential Attention dla architektury Transformera opartego wyłącznie na dekoderze.
Uczenie ze wzmocnieniem:
- Implementacja Proximal Policy Optimization (PPO) oraz Random Network Distillation (RND) dla środowisk MiniHack.

Allezon

Mon, 09 Sep 2024 00:00:00 +0000

Allezon to platforma do zbierania i analizy danych, stworzona w dwuosobowym zespole, zdolna do obsługi 1000 zapytań na sekundę dla milionów użytkowników i produktów.

Moją rolą było wdrożenie aplikacji, implementacja architektury rozproszonej z zastosowaniem load balancingu oraz zapewnienie skalowalności, aby efektywnie obsługiwać duży ruch na stronie.

Szczegółowy opis znajduje się tutaj.

Kod źródłowy

Projekty z obliczeń superkomputerowych

Tue, 25 Jun 2024 00:00:00 +0000

Podczas pierwszego roku studiów magisterskich uczęszczałem na przedmiot “Obliczenia superkomputerowe”, podczas którego napisałem dwa ciekawe projekty: jeden z wykorzystaniem CUDA, a drugi z użyciem MPI.

Dopasowywanie w bazie danych wariantów genomowych Link to heading

Celem było stworzenie systemu dopasowywania wariantów genomowych z pliku do bazy danych (dbNSFP). Rozwiązanie składa się z dwóch etapów: indeksowania bazy danych i dopasowywania, przy czym dopasowywanie zostało zoptymalizowane za pomocą CUDA.

Logic in Computer Science

Fri, 24 May 2024 00:00:00 +0000

Jest to zbiór projektów zrealizowanych w ramach przedmiotu Logika dla Informatyków, obejmujący:

Logikę zdaniową w Haskellu (Część 1):
- Spełnialność formuł, tautologie, dysjunkcyjna postać normalna (DNF), SAT solver oparty na DNF.
Logikę zdaniową w Haskellu (Część 2):
- Koniunkcyjna postać normalna (CNF), równoważnie spełnialna CNF (ECNF), SAT solver oparty na algorytmie Davisa-Putnama.
Rozwiązywanie SAT za pomocą biblioteki Z3 w Pythonie (Część 1):
- Generowanie wszystkich spełniających przypisań, formuły kamyczkowe, problem hetmanów.
Rozwiązywanie SAT za pomocą biblioteki Z3 w Pythonie (Część 2):
- Problem najkrótszego wspólnego nadciągu (SCS), przejścia fazowe dla problemu k-SAT.
Rozwiązywanie SMT za pomocą Z3 w Pythonie:
- Twierdzenie Łosia, funkcja 91, Sudoku solver.
Intuicycjonistyczna logika zdaniowa w Agdzie:
- Dowody dla koniunkcji i alternatywy, prawa de Morgana, słabe prawo Pierce’a.
Intuicycjonistyczna logika pierwszego rzędu w Agdzie:
- Dowody dla kwantyfikatorów ogólnych i egzystencjalnych, relacje.

Kod źródłowy

Kompilator Latte

Sun, 21 Jan 2024 00:00:00 +0000

Jednym z większych projektów na pierwszym roku studiów magisterskich było stworzenie kompilatora dla języka Latte, rozszerzonego o takie funkcjonalności jak tablice, struktury oraz obiekty z pojedynczym dziedziczeniem. Kod w języku Latte jest parsowany przy użyciu narzędzia BNFC i kompilowany do architektury x86 asemblera.

Kompilator reprezentuje monada Reader-Writer-State:

data Reader = Rd
 { func :: Map.Map String TType
 , clss :: Map.Map String ClassEnv
 }
type Writer = [AsmInstr]
data State = St
 { nextlab :: Int
 , newloc :: Int
 , env :: Map.Map String (TType, String)
 , rodata :: Map.Map String String
 , rspOff :: Int
 }

gdzie

Kompilator Instant

Sat, 28 Oct 2023 00:00:00 +0000

Instant to język programowania, który obsługuje dwa typy instrukcji:

wyrażenie - wypisuje wartość wyrażenie na standardowe wyjście,
zmienna = wyrażenie - przypisuje wartość wyrażenie do zmiennej zmienna.

Wyrażenia mogą składać się z liczb całkowitych, zmiennych oraz operacji arytmetycznych między nimi.

Celem projektu było stworzenie kompilatora do języka Instant generującego kod dla architektur JVM i LLVM.

Szczegółowy opis znajduje się tutaj.

Kod źródłowy

Interpreter Latte

Wed, 10 May 2023 00:00:00 +0000

Jednym z większych projektów, które zrobiłem podczas studiów licencjackich, jest niewątpliwie interpreter prostego języka programowania Latte.

Interpreter napisałem w Haskellu, a grmatyka jest parsowana do tego języka za pomocną narzędzia BNFC. Zaimplementowane funkcjonalności są szczegółowo opisane na GitHubie (odnośnik na dole) wraz z dużą liczbą przykładów, więc tutaj przedstawiam skrótowy opis szczegółów implementacji.

Kod języka Latte jest automatycznie parsowany przez BNFC, a następnie przekazany do statycznej analizy typów. Monada reprezentująca stan TypeCheckera wygląda następująco:

Egzekutor

Sat, 11 Feb 2023 00:00:00 +0000

Egzekutor to projekt z zakresu programowania współbieżnego. Jest to program, który wykonuje zadania, monitoruje ich ostatnie wypisane wyjścia (w trakcie działania), a także ubija je.

Obsługa procesów została zsynchronizowana w taki sposób, aby Egzekutor od razu informował o zakończeniu zadania oraz na bieżąco usuwał kończące się procesy lub wątki, które tworzy. Wszystko to odbywa się bez stosowania aktywnego oczekiwania, by nie marnować zasobów CPU.

Szczegółowy opis projektu można znaleźć pod poniższym linkiem.

Sokoban

Thu, 08 Dec 2022 00:00:00 +0000

Sokoban to gra logiczna napisana w ramach kursu programowania funkcyjnego w Haskellu.

Gra została zaimplementowana w Haskellu na platformie CodeWorld, gdzie można ją uruchomić klikając w ten link.

Sterowanie:

Spacja - rozpoczęcie gry
WSAD / Strzałki - poruszanie się
U - cofnięcie ruchu
B - poprzedni poziom
N - następny poziom
R - reset poziomu
Esc - reset gry

Kod źródłowy

Polynomial degree

Tue, 10 May 2022 00:00:00 +0000

Polynomial degree to projekt napisany w czystym asemblerze. Polega on na zaimplementowaniu funckji

int polynomial_degree(int const *y, size_t n);

Argumentami funkcji są wskaźnik y na tablicę liczb całkowitych $y_0,y_1,\ldots,y_{n-1}$ i n zawierający długość tej tablicy. Wynikiem funkcji jest najmniejszy stopień wielomianu $w(x)$ jednej zmiennej o współczynnikach rzeczywistych, takiego że $w(x+k\cdot r)=y_k$ dla pewnej liczby rzeczywistej $x$, pewnej niezerowej liczby rzeczywistej $r$ oraz $k=0,1,\ldots,n-1$.

Przykłady:

Dla $y=[-3,0,3]$, wynikiem będzie wielomian stopnia 1.
Dla $y=[1,4,9,16]$, wynikiem będzie wielomian stopnia 2.

Kod źródłowy

Pacman Rivals

Fri, 14 Jan 2022 00:00:00 +0000

Pacman Rivals jest grą wieloosobową napisaną w 4-osobowym zespole. Jest to klasyczna gra Pac-Man wzbogacona o tryb wieloosobowy oraz mechanikę PvP.

Gra polega na zebraniu jak największej liczby monet oraz unikaniu kontaktu z duszkami chodzącymi po mapie. Co jakiś czas na mapie pojawiają się różne bonusy zapewniające graczowi więcej punktów za monety, przenikanie przez ściany, nieśmiertelność i wiele innych.

Projekt został napisany w C++ za pomocą biblioteki SFML.

Kod źródłowy

Wielomiany Rzadkie Wielu Zmiennych

Mon, 21 Jun 2021 00:00:00 +0000

Jest to rozbudowany projekt napisany w języku C, którego celem jest implementacja podstawowych operacji na wielomianach rzadkich wielu zmiennych, takich jak dodawanie, odejmowanie, mnożenie oraz potęgowanie.

Drugą część projektu stanowi kalkulator wielomianów wykorzystujący odwrotną notację polską. Umożliwia on wykonywanie operacji arytmetycznych oraz wypisywanie aktualnego wielomianu znajdującego się na stosie.

Implementacja została zoptymalizowana pod kątem efektywnej alokacji dynamicznej, minimalizując zbędne alokacje i kopiowanie pamięci. Ponadto, program zapewnia pełne zwalnianie zaalokowanej pamięci, zapobiegając jej wyciekom. Całość została udokumentowana w formacie Doxygen.

Pętlik

Tue, 19 Jan 2021 00:00:00 +0000

Pętlik to mały język programowania, którego składnię opisuje gramatyka z symbolem początkowym Program:

Program → CiągInstrukcji
CiągInstrukcji → ε | CiągInstrukcji Instrukcja
Instrukcja → Zwiększ | Powtarzaj
Zwiększ → Zmienna
Powtarzaj → '(' Zmienna CiągInstrukcji ')'
Zmienna → 'a' | ... | 'z'

Instrukcje::

Zwiększ: równoważna instrukcji ++zmienna języka C.

Powtarzaj: równoważna instrukcji języka C:

while (zmienna > 0) {
 --zmienna;
 ...
}

Projekt składa się z dwóch części:

Kompilatora optymalizującego, generującego kod na maszynę wirtualną.
Interpretera kodu tej maszyny.

Instrukcje maszynowe:

Mon, 01 Jan 0001 00:00:00 +0000

Grzegorz Nowakowski Link to heading

Work Experience Link to heading

07.2025-present

Software Engineer II; Google

Developing and extending NodeOS (Google internal Linux-based OS) capabilities

08.2024-06.2025

Linux Intern; Samsung Electronics

Contributing to the development of the Tizen operating system
- Writing Rust bindings for Tizen components
- Developing Tizen C libraries
Working on operating system upgrade

07.2023-02.2024

Technology Development Intern; Point72

Developing a distributed analytical platform as part of the Risk Tech team
- Creating a standalone documentation server
- Improving the performance of the project’s core
Delivering a presentation on Rust features to the team

10.2022-06.2023

Bachelor’s Thesis Intern; ScyllaDB

Integrating Rust to the Seastar framework
- Implementing a macro similar to tokio::test
- Implementing the seatstar::submit_to function
- Exposing basic file I/O functionality
Creating a simple Seastar TCP server using C++ coroutines

Education Link to heading

10.2023-09.2025: MSc, Computer Science; University of Warsaw
Thesis title: NP-hard Metrics for Evaluating Participatory Budgeting Rules
10.2020-07.2023: BSc, Computer Science; University of Warsaw
Thesis title: Seastar as a Rust Asynchronous Runtime

Kontakt

Mon, 01 Jan 0001 00:00:00 +0000

W razie jakichkolwiek pytań napisz do mnie na adres: g.nowakowski.dev@gmail.com.

O mnie

Mon, 01 Jan 0001 00:00:00 +0000

Cześć, nazywam się Grzegorz i witam Cię na moim blogu.

Ukończyłem studia informatyczne otrzymując zarówno tytuł licencjata, jak i magistra. Pracuję jako inżynier oprogramowania, z zamiłowaniem do silnie typowanych języków, takich jak Haskell, ale nie zajmuję się tym zawodowo.

Podczas studiów uczęszczałem na przedmiot Algorytmiczna Ekonomia, który obejmował takie tematy jak teoria gier koalicyjnych oraz teoria wyboru społecznego. Szczególnie zafascynowała mnie ta druga dziedzina, do tego stopnia, że postanowiłem napisać moją pracę magisterską w tym temacie.