Recenze a návod na koronahra.cz

Snímek obrazovky z hlavní obrazovky hry koronahra.cz

Hry o kontrole epidemie se často potýkají s problémem, že když provedete protiepidemická opatření včas a silně, tak můžete virus eliminovat a předejít tak komplikované fázi hry.

Na internetu se ale objevila simulační hra, koronahra.cz, která tomu předchází zaprvé tak, že začínáte už v rozvinuté epidemii, ale hlavně tak, že vám každý den přibyde 10 nemocných, ať děláte co chcete, a tedy epidemii nemůžete nikdy zastavit.

Continue reading Recenze a návod na koronahra.cz

I release my stories as CC-BY-40 and my games as GPL-3.0

I, Petr Hudeček, also working under the names Lesan, Oracions and Soothsilver, hereby release:

  • all of my released creative fiction (short stories; comic strips; novels) under CC BY 4.0. This means you are free to redistribute the stories anywhere you want, as long as you attribute me as the original author;
  • all of my released video games under GNU GPL 3.0. This means you are free to redistribute them anywhere you want, and you can create your own games based on my games, but if you do, then you must release those games under GNU GPL 3.0 as well.

Continue reading I release my stories as CC-BY-40 and my games as GPL-3.0

Cat Colony Crisis Walkthrough/Guide

Cat colony crisis screenshotCat Colony Crisis is a short simulation game about managing a disease outbreak. You are on a spaceship with 15 cats, 1 of them is infected, and your goal is to end the outbreak, preferably with as few infections as possible.

The game is quite fun, but when I first started, I played 3 times on the default difficulty settings and each time I lost and all of the cats fell sick. However, after I learned some tricks and got better, I now tend to win easily, usually with 1-3 infections only.

You can download it at https://devils-cider-games.itch.io/cat-colony-crisis  Continue reading Cat Colony Crisis Walkthrough/Guide

A formal grammar for Magic: the Gathering

I wrote an ANTLR4 formal grammar for Magic: the Gathering cards.

It turns this

A Magic: the Gathering card

Or, more specifically, it turns this

Reach
Undergrowth — When you cast this spell, reveal the top X cards of your library, where X is the number of creature cards in your graveyard. You may put a green permanent card with converted mana cost X or less from among them onto the battlefield. Put the rest on the bottom of your library in a random order.

Into this:

You can try it out here: https://soothsilver.github.io/mtg-grammar/ and you can download the grammar and the source code from https://github.com/Soothsilver/mtg-grammar.

Continue reading A formal grammar for Magic: the Gathering

Magisterské státnice na Matfyzu

Tento článek popisuje, jak fungovala ústní magisterská státní zkouška z informatiky na Matematicko-fyzikální fakultě Univerzity Karlovy (MFF, Matfyz) v září 2017. (verze v Google dokumentu)

Přihlášení

Magisterská státnice se nazývá “ústní část státní závěrečné zkoušky”. Žádná písemná část neexistuje. Slovo “ústní” ji pouze rozlišuje od “obhajoby diplomky,” což je druhá část zkoušky. Není dělená na několik zkoušek podle předmětu (matematika/informatika) na rozdíl od bakalářské zkoušky. Na zkoušku je třeba se přihlásit před termínem uvedeným v harmonogramu, ale nelze se přihlásit dříve, než máte splněné všechny ostatní studijní povinnosti vyjma diplomové práce.

Continue reading Magisterské státnice na Matfyzu

Java Pathfinder Inspector

In the summer of 2016, I participated in the Google Summer of Code program, during which I updated and significantly improved the Java Pathfinder Inspector.

Java Pathfinder (JPF) is a framework for formal checking of Java programs. Its core consists of a virtual machine for Java bytecode, running itself on Java; this allows JPF to instrument the code and provide its own functionality for critical instructions. JPF is very extensible and many modules exist for various kinds of verification such as symbolic execution. JPF Inspector is one such JPF module that focuses on debugging capability.

JPF Inspector is a tool for inspection and control of Java Pathfinder execution. It supports breakpoints and single-step execution (forward and backward) at different levels of granularity, and it allows the user to examine and modify program state (threads, call stacks, and heap objects). Unlike with standard debuggers (GDB), it is also possible to control thread scheduling explicitly.

This is the first software engineering project for which I received actual money.

It is programmed in Java.

It was created at the age of 23, in 2016.

 

Continue reading Java Pathfinder Inspector