English version of this site is on the bottom of this page. Kto by pomyślał, że są uczniowie szkół podstawowych, którzy chcieliby poświęcić 5 dni swoich ferii zimowych na naukę programowania i algorytmiki. A jednak, w dniach 3-5 oraz 11-12 lutego przeprowadziłem warsztaty algorytmiczne, które odbyły się w budynku XIV liceum ogólnokształcącego we Wrocławiu. Ku Continue reading "[Pl/En] Piękne…
A short rant on bad proofs. Recently I came across a proof concerning orthonormal basis of the following theorem (don t worry if you know nothing about it): Theorem. Let be a vector space with inner (dot) product . Let be an orthonormal set of vectors, i.e. the vectors are pairwise orthogonal of norm . Then Continue reading "This isn t a proof by contradiction"
Debugging is of course a major part of programming. Arguably most of the time it s not the most satisfying part of the job, it s an unfortunate necessity rather than the goal itself. Moreover, I think that most of the bugs I make aren t interesting (e.g. typos, wrong usage of a library function, nullptr dereferences, off-by-one Continue reading "Story of a bug"
Alright, so you might think that there are better ways to spend your Easter break than sitting all of your evenings customizing Neovim with no prior knowledge. You re probably right. Sceptics may also say that I ve reproduced VSCode instead of simply using it. They are also probably right. Or are they? 🤔 First of all, Continue reading "Why I ve spent my Easter break customizing Neovim"
For some time I had this need to somehow share my thoughts with the outer world. I have a tendency to overwhelm people I talk with, so I decided to create this webpage. If you want to read some of my articles then I hope you may find something interesting or valuable. If you want Continue reading "What is this blog about?"