Preč s implicitnými konverziami
Od implicitných konverzií k typovým triedam v Scale.
Od implicitných konverzií k typovým triedam v Scale.
Skúmanie neznámych dát využitím informačnej entropie.
Problém zastavenia, limity počítačov a Church-Turingova ekvivalencia počítačov a mysle človeka.
Súvis matematiky a reality, alebo systematickým skúmaním všetkých možností aj tak nedôjdeme do všetkých kútov.
Rekurzívny parser a interpret reťazcového zápisu infixových výrazov v Haskelli.
Nespravodlivé hanenie jazyka Elm.
Pohľad laika programátora na to, ako by sa dala merať podobnosť zdrojových kódov.
Krátky príbeh o tom, ako vzniklo logo pre emuStudio.
Turingov stroj simulujúci RAM stroj, aj s plagátmi na stenu.
Krátky zoznam užitočných príkazov git-u pre tých, ktorí už vedia ako git funguje.