Michal Hantl hakunin
hakunin
/ 01_turing_machine_in_haskell.hs
Created
February 16, 2010 11:22
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- instruction | |
| tm_i s c w m n a | a == "state" = s | |
| | a == "char" = c | |
| | a == "write" = w | |
| | a == "move" = m | |
| | a == "next" = n | |
| -- TM instruction set, gives correct instruction if state and char given |
hakunin
/ haskell lecture 4.hs
Created
March 2, 2010 14:24
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -- Priklady resene v ramci cviceni c. 4 | |
| -- ==================================== | |
| -- | |
| -- 1) Vyhledani maximalni hodnoty ve stromu | |
| -- Implementujte pro tri varianty stromu uvedene na prednasce | |
| -- funkci, ktera vrati nejvyssi hodnotu obsazenou v uzlech stromu. | |
| -- Uvazujte strom s nejobecnejsim moznym typem prvku (tj. ne pouze Int). | |
| data Tree1 a = Leaf1 a | |
| | Branch1 (Tree1 a) (Tree1 a) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module Deque (Deque (First, Bottom), addFirst, addLast) where | |
| import Prelude hiding (print) | |
| data Deque a = First a (Deque a) | |
| | Bottom | |
| print :: (Show a)=> Deque a -> String | |
| print Bottom = "Prazdny" | |
| print (First f Bottom) = (show f) |
hakunin
/ Haskell Turing machine with datatypes.hs
Created
March 9, 2010 12:02
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module TuringMachine where | |
| -- Tape ------------------------------------------------------------------------ | |
| -- constructor | |
| tape symbols = Tapes EOT (load_tape symbols) R | |
| load_tape [] = EOT | |
| load_tape (symbol:symbols) = | |
| (Symbol (Char symbol)) (load_tape symbols) |
hakunin
/ for_breta_with_love:).php
Created
March 25, 2010 18:30
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| class FlightRouteDisplay { | |
| function __construct($path) { | |
| $this->path = $path; | |
| } | |
| function render() | |
| { | |
| $id = "route".(rand(100000, 999999)); | |
hakunin
/ how-haskell-improved-my-programming-skills.rb
Created
April 4, 2010 14:24
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # How learning Haskell changed my programming skill | |
| # Pascal's triangle BEFORE Haskell: | |
| def triangle_before_haskell iterations | |
| rows = [] | |
| iterations.times { |r| | |
| new_row = [1] | |
| if r >= 1 |
hakunin
/ post correspondence in prolog
Created
April 20, 2010 11:27
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| % Author: Michal Hantl, han345 | |
| % Date: 27/04/2010 | |
| % resici algoritmus ------------------------------------------------------------ | |
| solve_post(List1, List2, Sequence):- | |
| sequence([], [], List1, List2, List1, List2, Sequence, 1, [], [], 32). | |
hakunin
/ gist:378723
Created
April 25, 2010 20:58
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| michal@domov:~/dev/other/redcar$ jruby -S rake build | |
| (in /home/michal/dev/other/redcar) | |
| ant jar -f vendor/java-mateview/build.xml | |
| Buildfile: vendor/java-mateview/build.xml | |
| clean: | |
| debug: | |
| [echo] using platform: [linux] | |
| [echo] |-- compile classpath |
hakunin
/ gist:379052
Created
April 26, 2010 06:48
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| michal@domov:~/dev/other/redcar$ jruby -S rake build | |
| (in /home/michal/dev/other/redcar) | |
| ant jar -f vendor/java-mateview/build.xml | |
| Buildfile: vendor/java-mateview/build.xml | |
| clean: | |
| [delete] Deleting directory /home/michal/dev/other/redcar/vendor/java-mateview/bin | |
| debug: | |
| [echo] using platform: [linux] |
hakunin
/ application.html.erb
Created
July 29, 2010 08:35
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!DOCTYPE html> | |
| <link href="//fonts.googleapis.com/css?family=Yanone+Kaffeesatz:200,300,400,700" rel="stylesheet" type="text/css" > | |
| <style> | |
| body { | |
| font-family: 'Yanone Kaffeesatz', serif; | |
| } | |
| h1 { | |
| font-size:4em; | |
| } |