【笔记】如何调教你的 gedit

Posted on

作为一个 Windows 党,在 CCF WC 这种场合就不得不使用 NOI Linux。因为自带的编程工具被我认为奇丑无比(并且我也用不来),我通常会使用文本编辑器 gedit 来写代码。 gedit 本并不是专业的 IDE,但它自带的 External Tools 功能可以帮助你快捷地编译运行你的代码。 在外部工具里添加如下命令即可。

【UOJ Round #6】懒癌 / 题解

Posted on

Hat puzzles are logic problems that date back to as early as 1961.[1] Such hat puzzles, frequently contextualized as prisoners and hats puzzles, are induction puzzles (a kind of logic puzzle) that involve reasoning about the actions of other people, drawing in aspects of Game theory sometimes called the hierarchy of beliefs. There are many variations, but the central theme remains the same.