Wskaźniki do funkcji w C#

Od początku semestru robiłem małe kroczki w stronę mojej pracy magisterskiej, ale dopiero po zakończeniu semestru ostro wziąłem się do pracy. Próbuję skompilować Haskell na .NET, tak żeby działał efektywnie. Oznacza to wyciskanie tyle ile się da z dostępnego środowiska.

W tym poście opowiem nieco o kompilowaniu aplikacji dotnetowych do kodu maszynowego, jak tworzenie delegatu spowalnia program i o modyfikowaniu kompilatora C#.

Czytaj dalej Wskaźniki do funkcji w C#

Wywiad na produkcji

SPAM - tak nazwałbym dużą część maili, która trafia do mojej skrzynki pocztowej. Jednak to nie ten typ spamu, który jest odfiltrowywany za moimi plecami przez GMail. Mówię o wszelakiej maści newsletterach, na które się zapisałem, mając nadzieję, że kiedyś jak będę potrzebował to je przeczytam.

Czytaj dalej Wywiad na produkcji

Skarpetki SSH

Od razu wyjaśnię ten tytuł - chodzi mi o protokół SOCKS, dzięki któremu możemy przekierować ruch sieciowy z przeglądarki internetowej przez serwer do którego mamy dostęp po SSH (i który pozwala na przekierowanie portów).

Czytaj dalej Skarpetki SSH

Podstawy Reacta

W ciągu ostatnich dwóch tygodni miałem okazję zaznajomić się z biblioteką React. Jest to narzędzie do tworzenia UI dla aplikacji webowych za pomocą JavaScriptu. Ja będę używał akurat TypeScriptu, żeby moje programy były bardziej poprawne. W tym artykule chcę opisać podstawy Reacta i jego testowania.

Czytaj dalej Podstawy Reacta

Odnawianie Let's Encrypt bez wyłączania serwera

W październiku pisałem o tym jak to postawiłem swój serwer WWW i użyłem Let’s Encrypt aby uzyskać certyfikat SSL. Minęło już pół roku, więc po raz drugi odnawiałem certyfikat i trochę zabolało mnie to zdanie:

Należy się jeszcze upewnić, że port 80 jest wolny (zatrzymać nasze proxy).

Nie chcę wyłączać mojej usługi na czas aktualizacji certyfikatu. Co więc mogę zrobić?

Czytaj dalej Odnawianie Let's Encrypt bez wyłączania serwera

Problem Boga vs P = NP

Zacząłem się pewnego razu zastanawiać, czy między nauką, a religią nie ma silnych powiązań, a konkretniej - czy można wyprowadzić pewne izomorfizmy między problemami z teizmu, a problemami z matematyki.

Ten post jest raczej satyryczny i filozoficzny niż merytoryczny. Zachęcam do czytania z przymrużeniem oka.

Czytaj dalej Problem Boga vs P = NP