MD Tech Blog

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ć?

Co to znaczy, że język programowania jest leniwy? Jakie języki w ogóle mogą być leniwe? Poniżej odpowiem na te pytania, a także zrobię szybkie podsumowanie poprzedniego miesiąca.

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.

Zaczął się kwiecień, studia mi lecą pełną parą. Cały czas coś jest do zrobienia, a w szczególności nagromadziły mi się prezentacje. Jako, że przegapiłem podsumowanie marca, to dorzucę szybko kilka zdań.

Warto znać różne narzędzia programistyczne do rozwiązywania odpowiednich problemów. Czasem się zdarzy, że rozwiązanie danego problemu da się wyrazić w postaci zdań logicznych. Jednym z języków, które pozwalają na programowanie w logice jest Prolog. Aczkolwiek czasem chciałoby się coś więcej.

W językach imperatywnych rozróżniamy dwa rodzaje funkcji - takie, które zwracają wartość i takie, które nic nie zwracają (void). Chcielibyśmy się upewnić, że jeśli funkcja ma coś zwracać to zwraca wartość na każdej ścieżce wykonania.

Często problem złożoności obliczeniowej można odłożyć na później. Bo działa. Ale kiedy trafi się, że nasz algorytm będzie musiał przerobić większe ilości danych, to nagle to czy działa liniowo, kwadratowo, a może i sześciennie ma ogromne znaczenie i jest różnicą między otrzymaniem wyniku za 10 minut lub za 10 dni.

Pół lutego miałem ferie, a potem zaczął się nowy semestr. Spójrzmy co dokładniej się działo.

Dzisiejszy post jest super specyficzny do mojej sytuacji, ale może ktoś z niego skorzysta.

Podczas kompilacji dochodzi do wielu optymalizacji. Jest wiele operacji, które można wykonać raz podczas kompilacji, zamiast podczas każdego wykonania programu. Poniżej opiszę zwijanie stałych i propagację stałych.