Filter by: research, programming, games, or trip.

---

• Manipulating game files on Steam

  12.03.2024 | tags:[ tutorial game ]

• PC build

  08.02.2024 | tags:[ pc ]

• Over the Garden Wall

  30.10.2023 | tags:[ rant series ]

• Evolution

  22.10.2023 | tags:[ rant ]

• Note on AI

  22.10.2023 | tags:[ rant ]

• About rants

  21.10.2023 | tags:[ rant ]

• A short peek at Manim

  03.09.2023 | tags:[ video animation ]

• A note about XNLP-completeness

  17.08.2023 | tags:[ research complexity ]

• Partial preorders

  16.08.2023 | tags:[ math ]

• Mathjax

  09.08.2023 | tags:[ mathjax setup web latex ]

• Systems page update

  08.08.2023 | tags:[ material ]

• Small survey on tools used by mathematicians

  23.07.2023 | tags:[ research system latex ]

• Dredge

  01.07.2023 | tags:[ game rant ]

• Initialization of Parameters hierarchy website

  21.06.2023 | tags:[ rant ]

• Segre chart (Table of nuclides)

  31.05.2023 | tags:[ chemistry ]

• Forward and inverse serach in Okular with NeoVim and Lazy plugin loader

  26.05.2023 | tags:[ neovim latex tutorial ]

• LaTeX setup for writing a paper review response

  26.05.2023 | tags:[ science latex tutorial ]

• Logos

  04.05.2023 | tags:[ design ]

• NeoVim Setup

  30.04.2023 | tags:[ setup tutorial ]

• Wall world

  22.04.2023 | tags:[ game ]

• Manage versions of a scientific paper in LaTeX

  13.04.2023 | tags:[ latex setup ]

• Issue submitting paper to arXiv; dvips issue with colors

  27.03.2023 | tags:[ latex fix ]

• Patrick's Parabox

  20.03.2023 | tags:[ game rant ]

• Intense work

  14.03.2023 | tags:[ rant ]

• Modelling problems with SAT

  21.02.2023 | tags:[ tutorial ]

• Jak na pointery?!

  10.02.2023 | tags:[ programming tutorial ]

• Automation

  09.02.2023 | tags:[ programming rant ]

• Thought experiment on continuous consciousness within many worlds universe interpretation

  29.01.2023 | tags:[ philosophy ]

• Let old posts decompose

  26.01.2023 | tags:[ rant ]

• Posts in 2023?

  20.01.2023 | tags:[ rant ]

• Přenášky na podzimním soustředění FIKS 2022

  13.11.2022 | tags:[ talk ]

• Imagination

  23.08.2022

• Synctex setup for Vim with Okular

  21.07.2022 | tags:[ setup vim ]

• Combinatorial games talk at MATRIS

  20.07.2022 | tags:[ talk ]

• Simple data consistency with two-sided references

  04.06.2022 | tags:[ programming feature ]

• In Space with Markiplier diagram

  10.05.2022 | tags:[ analysis ]

• Jak funguje Věda

  27.04.2022 | tags:[ science ]

• Přenášky na soustředění FIKS 2022

  24.04.2022 | tags:[ talk ]

• On life, consciousness, and soul

  04.04.2022 | tags:[ philosophy ]

• Žádost o GAČR grant

  04.04.2022 | tags:[ grant gacr fit cvut ]

• How to write an Interactive story

  09.01.2022 | tags:[ text game editor tutorial ]

• Microphone

  25.10.2021 | tags:[ audio setup ]

• How to migrate static pages to another address

  30.06.2021 | tags:[ setup ]

• Easy-to-remember Rubik's cube solution

  10.06.2021 | tags:[ puzzle solution ]

• Profiling memory of C++ programs using Massif

  22.05.2021 | tags:[ setup c++ ]

• MBTI

  16.05.2021 | tags:[ psychology rant ]

• Imagemagick examples

  22.04.2021 | tags:[ image editor ]

• C++ makefile

  21.01.2021 | tags:[ make setup ]

• Structured information

  30.11.2020

• GD 2020 notes

  10.09.2020 | tags:[ research conference ]

• Notes from the 'Prague Summer School on Discrete Mathematics 2020'

  24.08.2020

• Fast Fourier Transform (FFT) c++ code explained

  19.08.2020 | tags:[ programming algorithm ]

• Command-line completion

  19.04.2020 | tags:[ system setup programming ]

• Teorie grafů

  01.04.2020

• Algorithmic game theory notes

  15.01.2020 | tags:[ notes ]

• Eleusis (card game)

  08.09.2019 | tags:[ games card games ]

• ICS 2019

  13.08.2019 | tags:[ teaching ]

• CSR 2019

  15.07.2019 | tags:[ research conference trip ]

• Jak rozběhnout výpočet na RCI serveru

  15.07.2019 | tags:[ research setup ]

• Extended graph structure for data persistance

  15.06.2019

• Dimea Days 2019

  12.06.2019 | tags:[ research workshop ]

• Scientific poster for poster session

  11.06.2019 | tags:[ research ]

• Musical notation - Guitar tabs

  10.06.2019

• Vědecká visa do Ruska

  29.05.2019

• Representing knowledge using graphs

  25.01.2019 | tags:[ system ]

• Kombinatorika a grafy III

  18.01.2019 | tags:[ school ]

• CERC - Prague 2018

  04.12.2018 | tags:[ programming ]

• p5js tutoriál - Uklízecí roboti

  21.11.2018 | tags:[ p5 ]

• MCW - výpisky

  30.07.2018 | tags:[ research conference ]

• ICALP 2018 - výpisky

  10.07.2018 | tags:[ research conference ]

• Historie

  11.06.2018 | tags:[ p5 ]

• PPA - Pokročilé Paralelní Algoritmy

  11.06.2018 | tags:[ school ]

• Grafové algoritmy 2

  04.06.2018 | tags:[ school ]

• Tréninky Závodního Programování

  23.04.2018

• Pravděpodobnostní techniky

  20.01.2018 | tags:[ school ]

• Pár fixů pro nové ubuntu

  09.12.2017 | tags:[ system ]

• CERC - Zagreb 2017

  21.11.2017 | tags:[ programming trip ]

• MACIS - Vienna 2017

  18.11.2017 | tags:[ research trip ]

• Počet koster úplného bipartitního grafu $K_{n,m}$

  24.10.2017 | tags:[ proof ]

• Grafy

  08.10.2017 | tags:[ school graphs ]

• Exact family of trees for which $\alpha(G)=\gamma(G)$

  30.09.2017 | tags:[ proof ]

• Matika na webu

  18.09.2017 | tags:[ web latex ]

• Bridge and torch problem

  12.09.2017

• Matrix screensaver

  07.08.2017 | tags:[ system setup ]

• NSFOCS

  22.07.2017 | tags:[ research trip ]

• Doktorát

  07.07.2017 | tags:[ school ]

• Plzeň - SVOČ

  02.06.2017 | tags:[ trip ]

• Diplomová práce

  08.05.2017 | tags:[ school research ]

• Klávesnice

  08.05.2017 | tags:[ system setup ]

• Latex - instalace, kompilace

  06.05.2017 | tags:[ setup latex ]

• London Stringology Days

  12.02.2017 | tags:[ research conference trip ]

• Zmatené prší

  25.12.2016 | tags:[ games ]

• CERC - Zagreb 2016

  21.11.2016 | tags:[ programming trip ]

• Autojump

  20.10.2016 | tags:[ setup ]

• Stigma 2016

  01.10.2016 | tags:[ research trip ]

• Petrozavodsk léto 2016

  05.09.2016 | tags:[ programming trip ]

• Make & Makefile

  30.07.2016 | tags:[ make program ]

• Forged Alliance na Linuxu

  11.06.2016 | tags:[ games setup ]

• Násobení polynomů

  29.11.2015 | tags:[ algorithm ]

• Bash cheetsheet

  23.11.2015 | tags:[ system script ]

• Karatsuba v c++

  23.11.2015 | tags:[ code ]

• CERC - Zagreb 2015

  16.11.2015 | tags:[ programming trip ]

• Přihlášení přes SSH bez hesla

  12.11.2015 | tags:[ system setup ]

• Make heap složitost

  08.11.2015 | tags:[ proof ]

• Bakalářská práce

  07.10.2015 | tags:[ school research ]